Abstract:Let $H$ be a pointed Hopf algebra with abelian coradical. Let $A\supseteq B$ be left (or right) coideal subalgebras of $H$ that contain the coradical of $H$. We show that $A$ has a PBW basis over $B$, provided that $H$ satisfies certain mild conditions. In the case that $H$ is a connected graded Hopf algebra of characteristic zero and $A$ and $B$ are both homogeneous of finite Gelfand-Kirillov dimension, we show that $A$ is a graded iterated Ore extension of $B$. These results turn out to be conceptual consequences of a structure theorem for each pair $S\supseteq T$ of homogeneous coideal subalgebras of a connected graded braided bialgebra $R$ with braiding satisfying certain mild conditions. The structure theorem claims the existence of a well-behaved PBW basis of $S$ over $T$. The approach to the structure theorem is constructive by means of a combinatorial method based on Lyndon words and braided commutators, which is originally developed by V. K. Kharchenko for primitively generated braided Hopf algebras of diagonal type. Since in our context we don't priorilly assume $R$ to be primitively generated, new methods and ideas are introduced to handle the corresponding difficulties, among others.

Radford [N,(n,l)]-Biproduct Theorem for Generalized Hom-crossed Coproducts

Characterization of automorphisms of Radford's biproduct of Hopf group-coalgebra

On bicrossed modules of Hopf algebras

Cylinder Coalgebras and Cylinder Coproducts for Quasitriangular Hopf Algebras

Hopf brace, braid equation and bicrossed coproduct

On Quasi-Bicrossed Products of Weak Hopf Algebras

Quasigroups, Braided Hopf (Co)quasigroups and Radford's Biproducts of Quasi-Diagonal Type

Noncommutative differential geometry on crossed product algebras

The R-Coring and the ×R-Hopf Algebra

New Braided Monoidal Categories over Monoidal Hom-Hopf Algebras

Derived Representation Type and Gorenstein Projective Modules of an Algebra under Crossed Product

The Monoidal Hom–Hopf Algebra Arising From Partial Hom-Actions

Gorenstein Global Dimension and Hopf Algebroid Actions

The extra basis in noncommuting variables

(Co)homology and crossed module for BiHom-associative algebras

Coideal subalgebras of pointed and connected Hopf algebras

Higher structures on homology groups

THE GENERALIZED SMASH PRODUCT AND COPRODUCT

Braided Hochschild cohomology and Hopf actions

Partial-isometric crossed products by semigroups of endomorphisms

Commutators and crossed modules of color Hopf algebras