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

Let $(\mathfrak{g},\omega)$ be a finite-dimensional non-Lie complex $\omega$-Lie algebra. We study the derivation algebra $Der(\mathfrak{g})$ and the automorphism group $Aut(\mathfrak{g})$ of $(\mathfrak{g},\omega)$. We introduce the notions of $\omega$-derivations and $\omega$-automorphisms of $(\mathfrak{g},\omega)$ which naturally preserve the bilinear form $\omega$. Read More

Let $R$ be a commutative integral unital domain and $L$ a free non-commutative Lie algebra over $R$. In this paper we show that the ring $R$ and its action on $L$ are 0-interpretable in $L$, viewed as a ring with the standard ring language $+, \cdot,0$. Furthermore, if $R$ has characteristic zero then we prove that the elementary theory $Th(L)$ of $L$ in the standard ring language is undecidable. Read More

These notes have been prepared for the Workshop on "(Non)-existence of complex structures on $\mathbb{S}^6$", to be celebrated in Marburg in March, 2017. The material is not intended to be original. It contains a survey about the smallest of the exceptional Lie groups: $G_2$, its definition and different characterizations joint with its relationship with $\mathbb{S}^6$ and with $\mathbb{S}^7$. Read More

Let K be a field of characteristic different from 2 and let V be a vector space of dimension n over K. Let M be a non-zero subspace of symmetric bilinear forms defined on V x V and let rank(M) denote the set of different positive integers that occur as the ranks of the non-zero elements of M. The main result of this paper is the inequality dim M is at most |rank(M)|n provided that |K| is at least n. Read More

Using the unfolding method given in \cite{HL}, we prove the conjectures on sign-coherence and a recurrence formula respectively of ${\bf g}$-vectors for acyclic sign-skew-symmetric cluster algebras. As a following consequence, the conjecture is affirmed in the same case which states that the ${\bf g}$-vectors of any cluster form a basis of $\mathbb Z^n$. Also, the additive categorification of an acyclic sign-skew-symmetric cluster algebra $\mathcal A(\Sigma)$ is given, which is realized as $(\mathcal C^{\widetilde Q},\Gamma)$ for a Frobenius $2$-Calabi-Yau category $\mathcal C^{\widetilde Q}$ constructed from an unfolding $(Q,\Gamma)$ of the acyclic exchange matrix $B$ of $\mathcal A(\Sigma)$. Read More

In this paper, we describe a general setting for dimer models on cylinders over Dynkin diagrams which in type A reduces to the well studied case of dimer models on a disc. We prove that all Berenstein--Fomin--Zelevinsky quivers for Schubert cells in a symmetric Kac--Moody algebra give rise to dimer models on the cylinder over the corresponding Dynkin diagram. We also give an independent proof of a result of Buan, Iyama, Reiten and Smith that the corresponding superpotentials are rigid using the dimer model structure of the quivers. Read More

Let R be a ring (not necessarily with 1) and G be a finite group of automorphisms of R. The set B(R, G) of primes p such that p | |G| and R is not p-torsion free, is called the set of bad primes. When the ring is |G|-torsion free, i. Read More

It is shown that an anisotropic orthogonal involution in characteristic two is totally decomposable if it is totally decomposable over a separable extension of the ground field. In particular, this settles a characteristic two analogue of a conjecture formulated by Bayer-Fluckiger et al. Read More

Let $\lambda_1 \geq \lambda_2 \geq \lambda_3 \geq \lambda_4 \geq \lambda_5 \geq -\lambda_1$ be real numbers such that $\sum_{i=1}^5 \lambda_i =0$. In \cite{oren}, O. Spector prove that a necessary and sufficient condition for $\lambda_1, \lambda_2, \lambda_3, \lambda_4, \lambda_5$ to be the eigenvalues of a symmetric nonnegative $5 \times 5$ matrix is "$\lambda_2+\lambda_5<0$ and $\sum_{i=1}^5 \lambda_{i}^{3} \geq 0"$. Read More