Related papers: When is a smash product semiprime?
In this paper we consider some properties of semisimple Hopf algebras of dimension pq where p and q are distinct primes. These properties are useful for classification of such Hopf algebras. In particular, we show that for such a Hopf…
Let $D(H)$ be the quantum double associated to a finite dimensional quasi-Hopf algebra $H$. In this note, we first generalize a result of Majid, stating that a finite dimensional Hopf algebra $H$ is quasitriangular if and only if there is a…
Let $A$ be an algebra over a commutative ring $R$. If $R$ is noetherian and $A^\circ$ is pure in $R^A$, then the categories of rational left $A$-modules and right $A^\circ$-comodules are isomorphic. In the Hopf algebra case, we can also…
We present two classes of examples of Hopf algebroids associated with noncommutative principal bundles. The first comes from deforming the principal bundle while leaving unchanged the structure Hopf algebra. The second is related to…
Let $k$ be an algebraically closed field of characteristic $0$ or $p>2$. Let $\mathcal{G}$ be an affine supergroup scheme over $k$. We classify the indecomposable exact module categories over the tensor category ${\rm sCoh}_{\rm…
Comodules over Hopf algebroids are of central importance in algebraic topology. It is well-known that a Hopf algebroid is the same thing as a presheaf of groupoids on Aff, the opposite category of commutative rings. We show in this paper…
The main goal of this paper is to investigate the structure of Hopf algebras with the property that either its Jacobson radical is a Hopf ideal or its coradical is a subalgebra. In order to do that we define the Hochschild cohomology of an…
The effectiveness of the aplication of constructions in $G$-graded $k$-categories to the computation of the fundamental group of a finite dimensional $k$-algebra, alongside with open problems still left untouched by those methods and new…
We address the general classification problem of all stable associative product structures in the complex cobordism theory. We show how to reduce this problem to the algebraic one in terms of the Hopf algebra $S$ (the Landweber-Novikov…
The finite dual $H^{\circ}$ of an affine commutative-by-finite Hopf algebra $H$ is studied. Such a Hopf algebra $H$ is an extension of an affine commutative Hopf algebra $A$ by a finite dimensional Hopf algebra $F$. The main theorem gives…
Let $L$ be a finite dimensional Lie algebra over a field of characteristic $0$. Then by the original Levi theorem, $L = B \oplus R$ where $R$ is the solvable radical and $B$ is some maximal semisimple subalgebra. We prove that if $L$ is an…
In this paper several characterizations of semi-compact modules are given. Among other results, we study rings whose semi-compact modules are injective. We introduce the property $\Sigma$-semi-compact for modules and we characterize the…
We develop the categorical algebra of the noncommutative base change of a comodule category by means of a Grothendieck category $\mathfrak S$. We describe when the resulting category of comodules is locally finitely generated, locally…
We generalize various properties of Yetter-Drinfeld modules over Hopf algebras to quasi-Hopf algebras. The dual of a finite dimensional Yetter-Drinfeld module is again a Yetter-Drinfeld module. The algebra $H_0$ in the category of…
Let $\sigma =\{\sigma_{i} | i\in I\}$ be some partition of the set of all primes $\Bbb{P}$ and $\Pi$ a non-empty subset of the set $\sigma$. A set ${\cal H}$ of subgroups of a finite group $G$ is said to be a \emph{ complete Hall $\Pi…
We study the relation between module and Hochschild cohomology groups of Banach algebras with a compatible module structure. More precisely, we show that for every commutative Banach $ \mathcal{A} $-$ \mathfrak{A}$-bimodule $ X $ and every…
We give explicit formulas for the coproduct and the antipode in the Connes-Moscovici Hopf algebra $\mathcal{H}_{\tmop{CM}}$. To do so, we first restrict ourselves to a sub-Hopf algebra $\mathcal{H}^1_{\tmop{CM}}$ containing the nontrivial…
We show that every finite-dimensional pointed Hopf algebra over a finite simple Chevalley group, different from $PSL_2(q)$ with q= 3 mod 4 (and from $PSL_3(2)\simeq PSL_2(7)$), is isomorphic to the corresponding group algebra. To do this,…
In formulating a generalized framework to study certain noncommutative algebras naturally arising in representation theory, K. A. Brown asked if every finitely generated Hopf algebra satisfying a polynomial identity was finite over a normal…
We define the concept of \emph{companion automorphism} of a Hopf algebra $H$ as an automorphism $\sigma:H \rightarrow H$: $\sigma^2=S^2$ --where $S$ denotes the antipode--. A Hopf algebra is said to be \emph{almost involutive} (AI) if it…