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

K. A. Brown, I. Gordon, J. T. Stafford

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).