Abstract:Let $\mathbb{K}$ be a field. We study the free bialgebra $\mathcal{T}$ generated by the coalgebra $C=\mathbb{K} g \oplus \mathbb{K} h$ and its quotient bialgebras (or Hopf algebras) over $\mathbb{K}$. We show that the free noncommutative Faà di Bruno bialgebra is a sub-bialgebra of $\mathcal{T}$, and the quotient bialgebra $\overline{\mathcal{T}}:=\mathcal{T}/(E_{\alpha}|~\alpha(g)\ge 2)$ is an Ore extension of the well-known Faà di Bruno bialgebra. The image of the free noncommutative Faà di Bruno bialgebra in the quotient $\overline{\mathcal{T}}$ gives a more reasonable non-commutative version of the commutative Faà di Bruno bialgebra from the PBW basis point view. If char $\mathbb{K}=p>0$, we obtain a chain of quotient Hopf algebras of $\overline{\mathcal{T}}$: $\overline{\mathcal{T}} \twoheadrightarrow \overline{\mathcal{T}}_{n}\twoheadrightarrow \overline{\mathcal{T}}_{n}'(p)\twoheadrightarrow \overline{\mathcal{T}}_{n}(p)\twoheadrightarrow \overline{\mathcal{T}}_{n}(p;d_{1}) \twoheadrightarrow \ldots \twoheadrightarrow \overline{\mathcal{T}}_{n}(p;d_{j},d_{j-1},\ldots,d_{1}) \twoheadrightarrow \ldots \twoheadrightarrow \overline{\mathcal{T}}_{n}(p;d_{p-2},d_{p-3},\ldots,d_{1})$ with finite GK-dimensions. Furthermore, we study the homological properties and the coradical filtrations of those quotient Hopf algebras.

Classification of affine prime regular Hopf algebras of GK-dimension one

A Classification Result on Prime Hopf Algebras of GK-dimension One

Hopf Algebras with Rigid Dualizing Complexes

On Noetherian Affine Prime Regular Hopf Algebras of Gelfand-Kirillov Dimension 1

Homological Integral of Hopf Algebras

The Structure of Connected (graded) Hopf Algebras

Artin–Schelter Regular Algebras of Dimension Five with Two Generators

Finite Duals of Affine Prime Regular Hopf Algebras of GK-dimension One

Connected Hopf algebras of Gelfand-Kirillov dimension four

On the Classification of Finite Quasi-Quantum Groups over Abelian Groups

Finite GK-dimensional Nichols algebras over the quaternion group $Q_8$

Regular Solutions of Quantum Yang-Baxter Equation from Weak Hopf Algebras

Existence of Hopf subalgebras of GK-dimension two

Pointed Hopf Algebras of Finite Corepresentation Type and Their Classifications

Gorenstein Global Dimension and Hopf Algebroid Actions

Non-simple Quasitriangular Hopf Algebras of Dimension Pq2

Finite Quasi-Quantum Groups of Diagonal Type

On classification of Hopf superalgebras of low dimension

Quotient Hopf algebras of the free bialgebra with PBW bases and GK-dimensions

Noetherian PI Hopf Algebras Are Gorenstein

Hopf algebras in the cohomology of $\mathcal{A}_g$, $\mathrm{GL}_n(\mathbb{Z})$, and $\mathrm{SL}_n(\mathbb{Z})$