On Hopf algebras related to triangular matrices (Q1337754)

A class of Hopf algebras is constructed which are neither commutative nor commutative. Drinfel'd considered these as the most interesting and mysterious ones. They are not obtained by the method of Drinfel'd quantization. The construction generalizes examples given by Sweedler and Pareigis. The invertible triangular \(n \times n\) matrices are considered as a group valued functor \(T_ n\) on the category (\(K\text{-Alg}\)) of associative, unital \(K\)-algebras. \(T_ n\) is represented by an algebra \(A_ n\) and the multiplication of \(T_ n\) induces a comultiplication on \(A_ n\) which turns it into a bigebra. The main point is the construction of the antipode \(s_ n\) of this bigebra. It is the unique anti-homomorphism \(s_ n\) which agrees on canonical generators \(x_{ij}\) of \(A_ n\) with the value of the algebra homomorphism induced by the inverse map of \(T_ n\). Also a few examples of Hopf ideals \(I\) of \(A_ n\) and its quotients \(A_ n / I\) are considered. One obtains deformations of Hopf algebras of unipotent algebraic group schemes and a Hopf algebra related to \(U_ h({\mathfrak sl}_ 2)\), the quantum universal enveloping algebra of \({\mathfrak sl}_ 2\).