O_e(G) is a free module over O(G)
  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). 
K.A. Brown, I. Gordon and J.T. Stafford