Quantum plane ($k_q[X,Y]$)

For a field $k$ and $q\in k^{\times }$, the quantum plane is $k_q[X,Y]=k⟨X,Y⟩/(YX-qXY)$. Its ordered monomials $X^i{Y}^j$, $i,j\ge 0$, are a basis, and their multiplication is $X^i{Y}^j{X}^u{Y}^v=q^{ju}{X}^{i+u}{Y}^{j+v}$. Leading monomials show it is a noncommutative domain. Some sources interchange $q$ with $q^{-1}$ in the defining relation.

The two-dimensional quantum torus is the algebra with invertible generators $X,Y$ and relation $YX=qXY$, for $q\in k^{\times }$. Its basis consists of $X^i{Y}^j$ with $i,j\in \mathbb{Z}$, with the same multiplication rule as the quantum plane. It is a right Noetherian ring: successive adjunction of $X^{-1}$, $Y$, and $Y^{-1}$ satisfies the hypotheses of the noncommutative Hilbert basis theorem.