Related papers: Structure of H-(co)module Lie algebras

We prove that a finite-dimensional irreducible Hopf algebra $H$ in positive characteristic is semisimple, if and only if it is commutative and semisimple, if and only if the restricted Lie algebra $P(H)$ of the primitives is a torus. This…

A Lie conformal algebra is an algebraic structure that encodes the singular part of the operator product expansion of chiral fields in conformal field theory. A Lie pseudoalgebra is a generalization of this structure, for which the algebra…

Recall that a finite group is called perfect if it does not have non-trivial 1-dimensional representations (over the field of complex numbers C). By analogy, let us say that a finite dimensional Hopf algebra H over C is perfect if any…

Let $H$ be a finite-dimensional Hopf algebra over an algebraically closed field of characteristic 0. If $H$ is not semisimple and $\dim(H)=2n$ for some odd integer $n$, then $H$ or $H^*$ is not unimodular. Using this result, we prove that…

We introduce the notion of idempotent radical class of module coalgebras over a bialgebra B. We prove that if R is an idempotent radical class of B-module coalgebras, then every B-module coalgebra contains a unique maximal B-submodule…

A finite-dimensional Lie algebra $L$ over a field $F$ is called an $A$-algebra if all of its nilpotent subalgebras are abelian. This is analogous to the concept of an $A$-group: a finite group with the property that all of its Sylow…

We study {\em disemisimple} Lie algebras, i.e., Lie algebras which can be written as a vector space sum of two semisimple subalgebras. We show that a Lie algebra $\mathfrak{g}$ is disemisimple if and only if its solvable radical coincides…

Let K be a field and A be a commutative associative K-algebra which is an integral domain. The Lie algebra Der A of all K-derivations of A is an A-module in a natural way and if R is the quotient field of A, then RDer A is a vector space…

We call a monoidal category ${\mathcal C}$ a Serre category if for any $C$, $D \in {\mathcal C}$ such that $C\ot D$ is semisimple, $C$ and $D$ are semisimple objects in ${\mathcal C}$. Let $H$ be an involutory Hopf algebra, $M$, $N$ two…

Levi's theorem decomposes any arbitrary Lie algebra over a field of characteristic zero, as a direct sum of a semisimple Lie algebra (named Levi factor) and its solvable radical. Given a solvable Lie algebra $R$, a semisimple Lie algebra…

Zassenhaus has proved that if U is a subnormal subalgebra of a finite-dimensional Lie algebra L and V is a finite-dimensional irreducible L-module, then all U-module composition factors of V are isomorphic. Schenkman has proved that if U is…

Let $H$ be a coradically graded Hopf algebra. For every Loewy-graded exact $H$-comodule algebra $A=\oplus_{n\geq 0} A(n)$ and $H_0$-equivariant Morita equivalence $A(0)\simeq_{H_0} X$, there exists a Loewy-graded $H$-comodule algebra $B$…

As an associative algebra, the Heisenberg-Weyl algebra $\mathcal{H}$ is generated by two elements $A$, $B$ subject to the relation $AB-BA=1$. As a Lie algebra, however, where the usual commutator serves as Lie bracket, the elements $A$ and…

If H is a quasi-Hopf algebra and B is a right H-comodule algebra such that there exists v:H\to B a morphism of right H-comodule algebras, we prove that there exists a left H-module algebra A such that B\simeq A# H. The main difference…

Let $H$ be the $16$-dimensional nontrivial (namely, noncommutative and noncocommutative) semisimple Hopf algebra $H_{b:x^2y}$ classified by Kashina. We figure out all simple Yetter-Drinfeld $H$-modules, and then determine all…

Let $\mathscr N$ be a 2-step nilpotent Lie algebra endowed with non-degenerate scalar product $\langle.\,,.\rangle$ and let $\mathscr N=V\oplus_{\perp}Z$, where $Z$ is the centre of the Lie algebra and $V$ its orthogonal complement with…

The space of Lie algebra cohomology is usually described by the dimensions of components of certain degree even for the adjoint module as coefficients when the spaces of cochains and cohomology can be endowed with a Lie superalgebra…

Let $G$ be a connected reductive linear algebraic group over a field $k$. Using ideas from geometric invariant theory, we study the notion of $G$-complete reducibility over $k$ for a Lie subalgebra $\mathfrak h$ of the Lie algebra…

The indecomposable solvable Lie algebras with graded nilradical of maximal nilindex and a Heisenberg subalgebra of codimension one are analyzed, and their generalized Casimir invariants calculated. It is shown that rank one solvable…

Any finite-dimensional Hopf algebra H is Frobenius and the stable category of H-modules is triangulated monoidal. To H-comodule algebras we assign triangulated module-categories over the stable category of H-modules. These module-categories…