Math 2.0

Associative rings and algebras Definition

Growth of algebras

Builds on Associative algebraFieldVector spaceGrowth rate of a groupGroup algebra

Definition

Let kk be a field and let AA be a finitely generated associative algebra over kk with identity. Let V⊆AV \subseteq A be a finite-dimensional subspace that contains 11 and generates AA as an algebra. For n≥0n \ge 0, let VnV^n be the span of all products v1v2⋯vnv_1 v_2 \cdots v_n with vi∈Vv_i \in V, with V0=kV^0 = k. The growth function of AA with respect to VV is dV(n)=dim⁡kVn.d_V(n) = \dim_k V^n. For functions f,g ⁣:ℕ→ℕf, g \colon \N \to \N, write f⪯gf \preceq g if there is an integer c≥1c \ge 1 with f(n)≤g(cn)f(n) \le g(cn) for all nn, and f∼gf \sim g if f⪯gf \preceq g and g⪯fg \preceq f. The growth of AA is the class of dVd_V under ∼\sim.

Remarks

The growth does not depend on VV. If WW is another such subspace, then W⊆VcW \subseteq V^c for some cc, because WW is finite-dimensional and ⋃nVn=A\bigcup_n V^n = A; so dW(n)≤dV(cn)d_W(n) \le d_V(cn), and symmetrically.

The algebra AA has polynomial growth if dV(n)≤Cnrd_V(n) \le C n^r for some constants C,rC, r. It has exponential growth if dV(n)≥and_V(n) \ge a^n for some a>1a > 1 and all nn. Otherwise it has intermediate growth.

Example: for A=k[x,y]A = k[x, y] and V=k+kx+kyV = k + kx + ky, the space VnV^n has the basis of monomials xiyjx^i y^j with i+j≤ni + j \le n. So dV(n)=(n+1)(n+2)/2d_V(n) = (n+1)(n+2)/2, and AA has polynomial growth.

Non-example of the setting: the field k(x)k(x) of rational functions is not a finitely generated kk-algebra, so no growth function is defined for it in this way.

For a finitely generated group GG with a finite symmetric generating set SS, take A=k[G]A = k[G], the group algebra, and VV the span of {1}∪S\set{1} \cup S. Then VnV^n has the basis of group elements of word length at most nn, so the growth of k[G]k[G] is the growth of GG.

Reading path

To understand this page from the ground up, read these 6 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. Group algebra concept
  4. Growth rate of a group concept
  5. Vector space concept
  6. Growth of algebras definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Gelfand–Kirillov_dimension
About this page
TagKPJED63FT6
URIm2://KPJED63FT6
Kinddefinition
WritingW0 stub
MSC16P90
DefinesGrowth of algebras
UsesAssociative algebra, Field, Vector space, Growth rate of a group, Group algebra
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.