Alphabeta Math
LemmaStatement: Literature-sourcedProof: AI-adaptedprecheck passjudge pass (gpt-6.1-sol)audited 2026-10-08
How statement and proof provenance work

The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.

  • Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
  • AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
  • AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.

These labels describe origin, not correctness: citations and verification chips remain separate evidence.

Bounded elementary generation of SLn(R) by transvections

Statement

Let n≥2. Throughout this item, label rows and columns by 1,…,n: an entry with labels (i,j) is the entry indexed by (i−1,j−1) in the zero-based matrix interfaces below. Products and determinants use those interfaces under this relabeling. For 1≤i≠j≤n, let eij be the standard matrix unit and put Eij(t):=In+teij for t∈R, the elementary transvection (Elementary matrices obtained by applying one elementary row operation to an identity matrix, Elementary row operations and row equivalence for finite matrices over a field, Rectangular matrix multiplication and the identity matrix In, including zero-sized shapes). Define SLn(R):={g∈Mn(R):det⁡g=1} using the determinant (For n≥1, the determinant over a commutative ring by the Leibniz formula, and ∣det⁡A∣ for a real matrix). Then every g∈SLn(R) is a product of at most M(n):=2n2+6n elementary transvections Eij(t) (factors Eij(0)=In are allowed). In particular, SLn(R) is boundedly generated by its elementary root subgroups Hij:={Eij(t):t∈R}.

Facts & Assumptions

Given: An integer n≥2 and a matrix g∈Mn(R) with det⁡g=1.

[F1]

For i≠j, eij2=0, and multiplication on the left by Eij(t) adds t times row j to row i, while multiplication on the right adds t times column i to column j (Elementary matrices obtained by applying one elementary row operation to an identity matrix, Elementary row operations and row equivalence for finite matrices over a field, Rectangular matrix multiplication and the identity matrix In, including zero-sized shapes).

[F2]
[F4]

Every elementary transvection is invertible, with inverse given by the inverse row-add operation (Every elementary matrix is invertible, with inverse given by the reverse elementary operation).

Proof

technique · simultaneous row and column elimination, followed by a six-transvection diagonal factorization
1.1F1F2F3F4algebra

Each Eij(t) has determinant 1: in its Leibniz expansion the identity permutation contributes 1, and every nonidentity permutation term vanishes because the only nonzero off-diagonal entry is at (i,j). By [F4], its inverse is the transvection Eij(−t); also Eij(s)Eij(t)=Eij(s+t) by [F1]–[F2], so each Hij is a subgroup.

2.1F1F2F3step 1.1

Start with M=g. At stage k, where 1≤k<n, the first k−1 rows and columns have already been cleared off the diagonal, their pivots d1,…,dk−1 are nonzero, and det⁡M=1. If Mkk=0, row k is not zero because det⁡M≠0; its entries in columns j<k are zero, so some j>k has Mkj≠0. Choose the least such j and replace M by MEj,k(1), which adds column j to column k and makes the pivot Mkk+Mkj=Mkj≠0. The cleared earlier rows remain unchanged because their entries in columns j and k are zero. This uses at most one transvection for pivot repair.

3.1F1F2step 2.1

With p:=Mkk≠0, for each j>k right-multiply by Ek,j(−Mkj/p) to clear entry (k,j), then for each i>k left-multiply by Ei,k(−Mik/p) to clear entry (i,k). These operations leave the earlier rows and columns cleared: earlier rows have zero entries in columns k,j, and row k has zero entries outside its pivot after the first set of operations. Thus row and column k are isolated with a nonzero pivot dk=p. This costs at most 2(n−k) further transvections.

4.1F1F2F3step 2.1step 3.1

The operations in steps 2.1–3.1 are transvections, so [F1]–[F3] preserve det⁡M=1. Associativity collects the left multiplications into a product U and the right multiplications into a product V, giving UgV=D:=diag⁡(d1,…,dn). Summing the stage costs gives ∑k=1n−1(2(n−k)+1)=n2−1, so each of U,V has at most n2−1 factors. Every pivot di is nonzero, and ∏i=1ndi=det⁡D=1.

5.1F2F3step 4.1

For 1≤k<n, put sk=d1⋯dk and let Dk be diagonal with sk at position k, sk−1 at position k+1, and 1 elsewhere. Then D=∏k=1n−1Dk: the first diagonal entry is s1=d1, an interior entry j is sj−1−1sj=dj, and the last is sn−1−1=dn because ∏idi=1.

6.1F1F2step 5.1algebra

In the (k,k+1) block write T+(u)=Ek,k+1(u) and T−(v)=Ek+1,k(v). For every nonzero a, direct multiplication gives T+(a)T−(−a−1)T+(a)=(0a−a−10) and T+(−1)T−(1)T+(−1)=(0−110), so their product is diag⁡(a,a−1). Taking a=sk shows that each Dk is a product of six transvections; therefore D is a product of at most 6(n−1) transvections.

7.1F4step 4.1step 6.1algebra∎

From UgV=D we have g=U−1DV−1. By [F4], the inverses of the transvections in U and V are transvections, so U−1 and V−1 each use at most n2−1 factors. Together with step 6.1, this writes g as a product of at most 2(n2−1)+6(n−1)=2n2+6n−8≤M(n) transvections. Thus the stated bounded-generation claim holds.

Depends on

Used by

Dependency tree · two levels

25 results within two dependency steps of this one, each drawn at its shortest distance from it. An arrow runs from a result to what uses it, so the chart reads left to right and ends at this result, which carries a heavier outline. Every node is a link to that result. Click elsewhere on the chart to enlarge it.

Sources