Related papers: A Milnor-Moore Type Theorem for Primitively Genera…
The paper is devoted to prove a version of Milnor-Moore Theorem for connected braided bialgebras that are infinitesimally cocommutative. Namely in characteristic different from 2, we prove that, for a given connected braided bialgebra $A$…
Over fields of characteristic zero, we construct equivalences between certain categories of bialgebras which are generated by grouplikes and generalized primitives, and certain categories of structured Lie algebras. The relevant families of…
The main aim of this paper is to investigate the structure of primitively generated connected braided bialgebras $A$ with respect to the braided vector space $P$ consisting of their primitive elements. When the Nichols algebra of $P$ is…
We introduce the notion of generalized bialgebra, which includes the classical notion of bialgebra (Hopf algebra) and many others. We prove that, under some mild conditions, a connected generalized bialgebra is completely determined by its…
In this paper, the notion of universal enveloping algebra introduced in [A. Ardizzoni, \emph{A First Sight Towards Primitively Generated Connected Braided Bialgebras}, submitted. (arXiv:0805.3391v3)] is specialized to the case of braided…
We prove that the Lie algebra of primitive elements of a graded and connected bialgebra, free as an associative algebra, over a eld of characteristic zero, is a free Lie algebra. The main tool is a ltration, which allows to embed the…
We introduce bidendriform bialgebras, which are bialgebras such that both product and coproduct can be split into two parts satisfying good compatibilities. For example, the Malvenuto-Reutenauer Hopf algebra and the non-commutative…
We continue our investigation of the general notion of universal enveloping algebra introduced in [A. Ardizzoni, \emph{A Milnor-Moore Type Theorem for Primitively Generated Braided Bialgebras}, J. Algebra \textbf{327} (2011), no. 1,…
We start from any small strict monoidal braided Ab-category and extend it to a monoidal nonstrict braided Ab-category which contains braided bialgebras. The objects of the original category turn out to be modules for these bialgebras
We define an equivalence of categories, quite similar to the classical Cartier-Milnor-Moore-Quillen theorem, between the category of connected dendriform bialgebras and the category of brace algebras. This equivalence is given by the…
We develop versions of the Poincar\'e-Birkhoff-Witt and Cartier-Milnor-Moore theorems in the setting of braided Hopf algebras. To do so, we introduce new analogues of a Lie algebra in the setting of a braided monoidal category, using the…
We introduce braided Lie bialgebras as the infinitesimal version of braided groups. They are Lie algebras and Lie coalgebras with the coboundary of the Lie cobracket an infinitesimal braiding. We provide theorems of transmutation, Lie…
The set of primitive elements of a Hopf algebra in the braided category of group graded vector spaces (with a commutative group) carry the structure of a generalized Lie algebra. In particular the graded derivations of an associative…
We review the extent to which the universal enveloping algebra of a Lie-Rinehart algebra resembles a Hopf algebra, and refer to this structure as a Rinehart bialgebra. We then prove a Cartier-Milnor-Moore type theorem for such Rinehart…
Braided bialgebras of type one in abelian braided monoidal categories are characterized as braided graded bialgebras which are strongly $\mathbb{N}$-graded both as an algebra and as a coalgebra.
Braided-Lie bialgebras have been introduced by Majid, as the Lie versions of Hopf algebras in braided categories. In this paper we extend previous work of Majid and of ours to show that there is a braided-Lie bialgebra associated to each…
The category of Yetter-Drinfeld modules over a Hopf algebra (with bijektive antipode over a field) is a braided monoidal category. Given a Hopf algebra in this category then the primitive elements of this Hopf algebra do not form an…
We develop an algebraic language theory based on the notion of an Eilenberg--Moore algebra. In comparison to previous such frameworks the main contribution is the support for algebras with infinitely many sorts and the connection to logic…
Multiplier bimonoids (or bialgebras) in arbitrary braided monoidal categories are defined. They are shown to possess monoidal categories of comodules and modules. These facts are explained by the structures carried by their induced…
Given a finitely generated free monoid $X$ and a morphism $\phi : X\to X$, we show that one can construct an algebra, which we call an iterative algebra, in a natural way. We show that many ring theoretic properties of iterative algebras…