A note on split extensions of bialgebras

We prove a universal characterization of Hopf algebras among cocommutative bialgebras over a field: a cocommutative bialgebra is a Hopf algebra precisely when every split extension over it admits a join decomposition. We also explain why this result cannot be extended to a non-cocommutative setting.


Similar Publications

The fundamental theorem of affine geometry says that a self-bijection $f$ of a finite-dimensional affine space over a possibly skew field takes left affine subspaces to left affine subspaces of the same dimension, then $f$ of the expected type, namely $f$ is a composition of an affine map and an automorphism of the field. We prove a two-sided analogue of this: namely, we consider self-bijections as above which take affine subspaces affine subspaces but which are allowed to take left subspaces to right ones and vice versa. We show that these maps again are of the expected type. Read More


We generalize Lusztig's nilpotent varieties, and Kashiwara and Saito's geometric construction of crystal graphs from the symmetric to the symmetrizable case. We also construct semicanonical functions in the convolution algebras of generalized preprojective algebras. Conjecturally these functions yield semicanonical bases of the enveloping algebras of the positive part of symmetrizable Kac-Moody algebras. Read More


Motivated by the concept of weakly clean rings, we introduce the concept of weakly $r$-clean rings. We define an element $x$ of a ring $R$ as weakly $r$-clean if it can be expressed as $x=r+e$ or $x=r-e$ where $e$ is an idempotent and $r$ is a regular element of $R$. If all the elements of $R$ are weakly $r$-clean then $R$ is called a weakly $r$-clean ring. Read More


Let $R$ be a ring with identity $1$. Jacobson's lemma states that for any $a,b\in R$, if $1-ab$ is invertible then so is $1-ba$. Jacobson's lemma has suitable analogues for several types of generalized inverses, e. Read More


This paper, we consider some properties of rings via q-potent and periodic elements. In this paper we give some results of rings in which every element is a sum of an idempotent and a q-potent that commute; periodic rings and k-potent elements of algebras. Read More


We show that the octonions can be defined as the $\mathbb{R}$-algebra with basis $\lbrace e^x \colon x \in \mathbb{F}_8 \rbrace$ and multiplication given by $e^x e^y = (-1)^{\varphi(x,y)}e^{x + y}$, where $\varphi(x,y) = \operatorname{tr}(y x^6)$. While it is well known that the octonions can be described as a twisted group algebra, our purpose is to point out that this is a useful description. We show how the basic properties of the octonions follow easily from our definition. Read More


Under binary matrices we mean matrices whose entries take one of two values. In this paper, explicit formulae for calculating the determinant of some type of binary Toeplitz matrices are obtained. Examples of the application of the determinant of binary Toeplitz matrices for the enumeration of even and odd permutations of different types are given. Read More


A ring $R$ is trinil clean if every element in $R$ is the sum of a tripotent and a nilpotent. If $R$ is a 2-primal strongly 2-nil-clean ring, we prove that $M_n(R)$ is trinil clean for all $n\in {\Bbb N}$. Furthermore, we show that the matrix ring over a strongly 2-nil-clean ring of bounded index is trinil clean. Read More


We describe the split extension classifiers in the semi-abelian category of cocommutative Hopf algebras over an algebraically closed field of characteristic zero. The categorical notions of centralizer and of center in the category of cocommutative Hopf algebras is then explored. We show that the categorical notion of center coincides with the one that is considered in the theory of general Hopf algebras. Read More


For abelian length categories the borderline between finite and infinite representation type is discussed. Characterisations of finite representation type are extended to length categories of infinite height, and the minimal length categories of infinite height are described. Read More