O_e(G) is a free module over O(G)

Abstract

We show that the quantised function algebra O_e(G) of a simply-connected semisimple algebraic group G at a root of unity is a free module over the subring isomorphic to O(G).

arXiv comment3 pages

References in corpus (1)

• A[Sl_q(2)] at roots of unity is a free module over A[Sl(2)]

Cited by in corpus (3)

• Quantum subgroups of simple twisted quantum groups at roots of one
• Unrestricted Quantum Moduli Algebras, II: Noetherianity and Simple Fraction Rings at Roots of 1
• Co-Frobenius Hopf algebras and the coradical filtration