Quantum function algebra at roots of 1.