Math 2.0

Associative rings and algebras Definition

Gelfand–Kirillov dimension

Builds on Associative algebraFieldVector spaceGrowth of algebrasLimit superiorPolynomial ring

Definition

Let kk be a field and let AA be an associative algebra over kk with identity. For a finite-dimensional subspace V⊆AV \subseteq A and n≥1n \ge 1, let VnV^n be the span of all products of nn elements of VV. The Gelfand–Kirillov dimension of AA is GKdim⁡A=sup⁡V lim sup⁡n→∞log⁡dim⁡k(k+V+V2+⋯+Vn)log⁡n,\operatorname{GKdim} A = \sup_{V} \, \limsup_{n \to \infty} \frac{\log \dim_k \big( k + V + V^2 + \cdots + V^n \big)}{\log n}, where the supremum runs over all finite-dimensional subspaces VV of AA and lim sup⁡\limsup is the limit superior. It is a number in [0,∞][0, \infty].

Remarks

If AA is finitely generated and VV is a finite-dimensional generating subspace with 1∈V1 \in V, then the supremum is attained at VV: GKdim⁡A=lim sup⁡nlog⁡dV(n)/log⁡n\operatorname{GKdim} A = \limsup_n \log d_V(n) / \log n, where dVd_V is the growth function of AA. So GKdim⁡A\operatorname{GKdim} A depends only on the growth of AA.

Example: let A=k[x1,…,xm]A = k[x_1, \ldots, x_m] be a polynomial ring and V=k+kx1+⋯+kxmV = k + k x_1 + \cdots + k x_m. The space VnV^n is spanned by the monomials of degree at most nn, so dim⁡Vn=(n+mm)\dim V^n = \binom{n + m}{m}, which is a polynomial of degree mm in nn. Hence GKdim⁡A=m\operatorname{GKdim} A = m.

Example: if AA is finite-dimensional, then dim⁡Vn≤dim⁡A\dim V^n \le \dim A for all nn, so GKdim⁡A=0\operatorname{GKdim} A = 0.

Non-example of finiteness: for the free algebra A=k⟨x,y⟩A = k\langle x, y \rangle and V=k+kx+kyV = k + kx + ky, one has dim⁡Vn=2n+1−1\dim V^n = 2^{n+1} - 1. Then log⁡dim⁡Vn/log⁡n→∞\log \dim V^n / \log n \to \infty, so GKdim⁡A=∞\operatorname{GKdim} A = \infty.

The base of the logarithm does not matter, because only the ratio of two logarithms appears.

Reading path

To understand this page from the ground up, read these 7 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Associative algebra concept
  2. Field concept
  3. Growth of algebras concept
  4. Limit superior concept
  5. Polynomial ring concept
  6. Vector space concept
  7. Gelfand–Kirillov dimension definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Gelfand–Kirillov_dimension
About this page
TagYY8CG0NZ9C
URIm2://YY8CG0NZ9C
Kinddefinition
WritingW0 stub
MSC16P90
DefinesGelfand–Kirillov dimension
UsesAssociative algebra, Field, Vector space, Growth of algebras, Limit superior, Polynomial ring
Changed2 November 2026

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.