Department of Mathematics
Homepages
(hier geht es zur ggf. vollständigeren Homepage im alten Layout)
(this way to the possibly more complete Homepage in the old layout)
The Hopf envelope of the K-bialgebra associated to the multiplication of
invertible n x n - matrices over associative algebras is given as residue class
algebra of the free algebra K< X^(h)_ij : i,j=1,...,n, h = 0,1,2,... >
in non-commuting variables X^(h)_ij modulo the ideal I generated by
\sum_{k=1}^n X^(h)_ik X^(h+1)_jk - \delta_ij,
\sum_{k=1}^n X^(h+1)_ki X^(h)_kj - \delta_ij, all i,j,h.
It is representing a functor Q=QGL_n, which is a subfunctor
(called quantum general linear group) of
the functor general linear group of n x n - matrices
GL_n: (associative algebras with 1) -> (sets).
(this way to the possibly more complete Homepage in the old layout)
The Hopf envelope of the K-bialgebra associated to the multiplication of
invertible n x n - matrices over associative algebras is given as residue class
algebra of the free algebra K< X^(h)_ij : i,j=1,...,n, h = 0,1,2,... >
in non-commuting variables X^(h)_ij modulo the ideal I generated by
\sum_{k=1}^n X^(h)_ik X^(h+1)_jk - \delta_ij,
\sum_{k=1}^n X^(h+1)_ki X^(h)_kj - \delta_ij, all i,j,h.
It is representing a functor Q=QGL_n, which is a subfunctor
(called quantum general linear group) of
the functor general linear group of n x n - matrices
GL_n: (associative algebras with 1) -> (sets).
We also study canonical subfunctors Q*=Q*GL_n, Q^m of GL_n and give
(noncommutative) Gröbner bases for the ideals in K< X^(h)_ij
: i,j=1,...,n, h = 0,1,2,... >
which define the coordinate algebras O(Q), O(Q*), O(GL_n).
O(Q*) is the envelope of O(GL_n) in the class of Hopf algebras with
bijective
antipode. O(Q^m) is the general residue class Hopf algebra of O(Q*)
whose
antipode has order 2m. Our main result is a degree formula for A=
O(Q), O(Q*), O(GL_n). It follows that there are no non-constant units
in A.