Two new results concerning complements in a semisimple Hopf algebra are proved. They extend some well known results from group theory. The uniqueness of Krull Schmidt Remak type decomposition is proved for semisimple completely reducible Hopf algebras.
In this paper we introduce the notion of factorization in the Hopf quasigroup setting and we prove that, if $A$ and $H$ are Hopf quasigroups such that their antipodes are isomorphisms, a Hopf quasigroup $X$ admits a factorization as $X=AH$ iff $X$ is isomorphic to a double cross product $A\bowtie H$ as Hopf quasigroups.
We prove a variety results on tensor product factorizations of finite dimensional Hopf algebras (more generally Hopf algebras satisfying chain conditions in suitable braided categories). The results are analogs of well-known results on direct product factorizations of finite groups (or groups with chain conditions) such as Fitting's Lemma and the uniqueness of the Krull-Remak-Schmidt factorization. We analyze the notion of normal (and conormal) Hopf algebra endomorphisms, and the structure of endomorphisms and automorphisms of tensor products. The results are then applied to compute the automo…
In this paper, we obtain a canonical factorization of basis elements in free Rota-Baxter algebras built on bracketed words. This canonical factorization is applied to give a coalgebra structure on the free Rota-Baxter algebras. Together with the Rota-Baxter algebra multiplication, this coproduct gives a bialgebra structure on the free Rota-Baxter algebra of rooted forests. When the weight of the Rota-Baxter algebra is zero, we further obtain a Hopf algebra structure.
Factorization in algebra is an important problem. In this paper, we first obtain a unique factorization in free Nijenhuis algebras. By using of this unique factorization, we then define a coproduct and a left counital bialgebraic structure on a free Nijenhuis algebra. Finally, we prove that this left counital bialgebra is connected and hence obtain a left counital Hopf algebra on a free Nijenhuis algebra.
In these notes we review and further explore the Lie enveloping algebra of a post-Lie algebra. From a Hopf algebra point of view, one of the central results, which will be recalled in detail, is the existence of a second Hopf algebra structure. By comparing group-like elements in suitable completions of these two Hopf algebras, we derive a particular map which we dub post-Lie Magnus expansion. These results are then considered in the case of Semenov-Tian-Shansky's double Lie algebra, where a post-Lie algebra is defined in terms of solutions of modified classical Yang-Baxter equation. In this c…
We calculate Frobenius-Schur indicator values for some fusion categories obtained from inclusions of finite groups $H\subset G$, where more concretely $G$ is symmetric or alternating, and $H$ is a symmetric, alternating or cyclic group. Our work is strongly related to earlier results by Kashina-Mason-Montgomery, Jedwab-Montgomery, and Timmer for bismash product Hopf algebras obtained from exact factorizations of groups. We can generalize some of their results, settle some open questions and offer shorter proofs; this already pertains to the Hopf algebra case, while our results also cover fusio…
This is a study on pattern Hopf algebras in combinatorial structures. We introduce the notion of combinatorial presheaf, by adapting the algebraic framework of species to the study of substructures in combinatorics. Afterwards, we consider functions that count the number of patterns of objects and endow the linear span of these functions with a product and a coproduct. In this way, any well behaved family of combinatorial objects that admits a notion of substructure generates a Hopf algebra, and this association is functorial. For example, the Hopf algebra on permutations studied by Vargas in …
A noncommutative and noncocommutative Hopf algebra on finite topologies H_T is introduced and studied (freeness, cofreeness, self-duality...). Generalizing Stanley's definition of P-partitions associated to a special poset, we define the notion of T-partitions associated to a finite topology, and deduce a Hopf algebra morphism from H_T to the Hopf algebra of packed words WQSym. Generalizing Stanley's decomposition by linear extensions, we deduce a factorization of this morphism, which induces a combinatorial isomorphism from the shuffle product to the quasi-shuffle product of WQSym. It is stro…
In this note we further explore the properties of universal enveloping algebras associated to a post-Lie algebra. Emphasizing the role of the Magnus expansion, we analyze the properties of group like-elements belonging to (suitable completions) of those Hopf algebras. Of particular interest is the case of post-Lie algebras defined in terms of solutions of modified classical Yang-Baxter equations. In this setting we will study factorization properties of the aforementioned group-like elements.
We find a natural compatible condition between the Rota-Baxter operator and Turaev's (Hopf) group-(co)algebras, which leads to the concept of Rota-Baxter Turaev's (Hopf) group-(co)algebra. Two characterizations of Rota-Baxter Turaev's group-algebras (abbr. T-algebras) are obtained: one by Atkinson factorization and the other by T-quasi-idempotent elements. The relations among some related Turaev's group algebraic structures (such as (tri)dendriform T-algebras, Zinbiel T-algebras, pre-Lie T-algebras, Lie T-algebras) are discussed, and some concrete examples from the algebras of dimensions 2,3 a…
In this paper we explore minimum odd and minimum even depth sub algebra pairs in the context of double cross products of finite dimensional Hopf algebras. We start by defining factorization algebras and outline how subring depth in this context relates with the module depth of the regular left module representation of the given subalgebra. Next we study minimum odd depth for double cross product Hopf subalgebras and determine their value in terms of their related module depth, we conclude that minimum odd depth of Drinfeld double Hopf subalgebras is 3. Finaly we produce a necessary and suffici…
These lecture notes aim to present the algebraic theory of regularity structures as developed in arXiv:1303.5113, arXiv:1610.08468, and arXiv:1711.10239. The main aim of this theory is to build a systematic approach to renormalisation of singular SPDEs; together with complementary analytic results, these works give a general solution theory for a wide class of semilinear parabolic singular SPDEs in the subcritical regime. We demonstrate how "positive" and "negative" renormalisation can be described using interacting Hopf algebras, and how the renormalised non-linearities in SPDEs can be comput…