A commutative but not cocommutative graded Hopf algebra HN , based on ordered (planar) rooted trees, is studied. This Hopf algebra is a generalization of the Hopf algebraic structure of unordered rooted trees HC , developed by Butcher in his study of Runge-Kutta methods and later rediscovered by Connes and Moscovici in the context of noncommutative geometry and by Kreimer where it is used to de...

This paper continues our study, begun in [MS], of the relationship between the prime ideals of an algebra A and of a subalgebra R such that R ⊂A is a faithfully flat H -Galois extension, for some finite-dimensional Hopf algebra H . In that paper we defined three basic Krull relations, Incomparability (INC), t-Lying Over (t-LO), and Going Up (GU), analogous to the classical Krull relations for p...

To any Hopf algebra H we associate two commutative Hopf algebras Hl1(H) and Hl2(H), which we call the lazy homology Hopf algebras of H . These Hopf algebras are built in such a way that they are “predual” to the lazy cohomology groups based on the so-called lazy cocycles. We establish two universal coefficient theorems relating the lazy cohomology to the lazy homology and we compute the lazy ho...

Tannaka reconstruction provides a close link between monoidal categories and (quasi-)Hopf algebras. We discuss some applications of the ideas of Tannaka reconstruction to the theory of Hopf algebra extensions, based on the following construction: For certain inclusions of a Hopf algebra into a coquasibialgebra one can consider a natural monoidal category consisting of Hopf modules, and one can ...

The main goal is to study the Hopf algebra structure on quivers. The main result obtained by C. Cibils and M. Rosso is improved. That is, in the case of infinite dimensional isotypic components it is shown that the path coalgebra kQ admits a graded Hopf algebra structure if and only if Q is a Hopf quiver. All nonisomorphic point path Hopf algebras and point co-path Hopf algebras are found. The ...

The category of Yetter-Drinfeld modules YD K over a Hopf algebra K (with bijektive antipode over a field k) is a braided monoidal category. If H is a Hopf algebra in this category then the primitive elements of H do not form an ordinary Lie algebra anymore. We introduce the notion of a (generalized) Lie algebra in YD K such that the set of primitive elements P (H) is a Lie algebra in this sense...

this paper introduces a new approach to topology, based on category theory and universal algebra, and called categorically-algebraic (catalg) topology. it incorporates the most important settings of lattice-valued topology, including poslat topology of s.~e.~rodabaugh, $(l,m)$-fuzzy topology of t.~kubiak and a.~v{s}ostak, and $m$-fuzzy topology on $l$-fuzzy sets of c.~guido. moreover, its respe...

We show that if a finite dimensional Hopf algebra over C has a basis such that all the structure constants are non-negative, then the Hopf algebra must be given by a finite group G and a factorization G = G+G− into two subgroups. We also show that Hopf algebras in the category of finite sets with correspondences as morphisms are classified in the similar way. Our results can be used to explain ...

Hopf–Galois extensions of rings generalize Galois extensions, with the coaction of a Hopf algebra replacing the action of a group. Galois extensions with respect to a group G are the Hopf–Galois extensions with respect to the dual of the group algebra of G . Rognes recently defined an analogous notion of Hopf–Galois extensions in the category of structured ring spectra, motivated by the fundame...

If H is a commutative connected graded Hopf algebra over a commutative ring k, then a certain canonical k-algebra homomorphism H → H⊗QSymk is defined, where QSymk denotes the Hopf algebra of quasisymmetric functions. This homomorphism generalizes the “internal comultiplication” on QSymk, and extends what Hazewinkel (in §18.24 of his “Witt vectors”) calls the Bernstein homomorphism. We construct...