In the usual (fomal) construction of the quantum general linear group $GL\_q(N)$, an Ore extension is used. See for example Kassel. Why is this necessary? Surely one can just augment the set of generators with an element det$^{-1}$ and the set of relations with the relations det.det$^{-1} = 1$ and det$^{-1}$.det$=1$ and get the same thing without going to all the trouble of considering Ore extensions?



Ore Extensions and the Construction of the Quantum General Linear Group
I have hard time understanding what is your notion of usual; most references indeed define the quantum linear group $M\_q(N)$ by generators and relations (or by the universal property as defined by Manin) and then localize at $det\_q$. So far as the construction goes. But it is of course very useful to know that one can start with the polynomial ring and then do the iterated Ore extension $N^2-1$ times to obtain $M\_q(N)$. This is useful to infer many useful ring-theoretic properties. For example, it follows that the [matrix bialgebra](http://ncatlab.org/nlab/show/matrix%20Hopf%20algebra) $M\_q(N)$ and its Hopf envelope $GL\_q(N)$ are Ore domains (the same O. Ore!), hence they are contained in the Ore quotient ring in which we can do many useful computations. Various intermediate Ore localizations are also useful. 


