For a finitely generated algebra over , choose a finite-dimensional generating subspace containing one. Its Gelfand–Kirillov dimension is
Changing generators bounds the two filtrations by constant rescalings of the index, so the value is independent of .
For the noncommutative Krull dimension, set the zero module's dimension to . A nonzero module has dimension zero exactly when it is an Artinian module. Recursively, dimension at most means that in every descending chain of submodules the successive factors eventually have dimension less than ; use the ordinal version of this definition if necessary. The left Krull dimension of is that of its left regular module. For commutative Noetherian rings this agrees with the usual prime-chain Krull dimension, but prime-chain counting alone is not its definition for a noncommutative ring.
Write with , , . By the Poincaré-Birkhoff-Witt theorem, form a basis. In the total-degree filtration there are such monomials of degree at most , so
The commutators lower degree, giving , which also proves that is left and right Noetherian by finite leading-term cancellation.
To determine the module-theoretic Krull dimension, use the generalized Weyl algebra description and verify the dimension criterion, rather than substituting the three-dimensional graded ring. Put
Commutation with is immediate; with , the contributions are , using . The corresponding calculation with also vanishes. Thus is a Casimir element. The subalgebra is a polynomial ring in two variables: for a nonzero polynomial in with coefficients in , its highest power contributes a nonzero PBW term with that many copies of both and , and no lower power can cancel it.
Take , and . The relations become
They identify with . Surjectivity follows from its generators; injectivity follows from PBW: the graded pieces , and for are linearly independent, using the difference between the and exponents and then the highest paired exponent. Every PBW monomial lies in one of these pieces by replacing paired powers with polynomials in .
We use the following general Krull dimension criterion for rank-one generalized Weyl algebras: for a commutative Noetherian base of dimension , the generalized Weyl algebra has Krull dimension provided no height- maximal ideal is periodic under and none contains infinitely many translates . This is Theorem 5.3, specialized to the commutative base, in Krull dimension of Generalized Weyl Algebras with non-commutative coefficients.
Here every maximal ideal is and has height two. Its translates have coordinate , so no nonzero power of fixes it. Further,
This is a nonzero quadratic polynomial in , so it vanishes for at most two integers. Both exceptional mechanisms are excluded for every maximal ideal, and the base has dimension two. The criterion consequently gives
The orbit and root calculations are needed for this upper bound on the entire left-ideal lattice; merely exhibiting a length-two chain of prime ideals would only prove a lower bound.