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 . Throughout this item, label rows and columns by : an entry with labels is the entry indexed by in the zero-based matrix interfaces below. Products and determinants use those interfaces under this relabeling. For , let be the standard matrix unit and put for , 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 , including zero-sized shapes). Define using the determinant (For , the determinant over a commutative ring by the Leibniz formula, and for a real matrix). Then every is a product of at most elementary transvections (factors are allowed). In particular, is boundedly generated by its elementary root subgroups .
Facts & Assumptions
Given: An integer and a matrix with .
For , , and multiplication on the left by adds times row to row , while multiplication on the right adds times column to column (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 , including zero-sized shapes).
Matrix multiplication is associative, distributive and unital (Matrix multiplication is associative, unital, distributive, and compatible with scalar multiplication).
The determinant is given by its finite Leibniz formula and is multiplicative for square matrices over a commutative ring (For , the determinant over a commutative ring by the Leibniz formula, and for a real matrix, For same-sized finite square matrices over a commutative ring, ).
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
Each has determinant : in its Leibniz expansion the identity permutation contributes , and every nonidentity permutation term vanishes because the only nonzero off-diagonal entry is at . By [F4], its inverse is the transvection ; also by [F1]–[F2], so each is a subgroup.
Start with . At stage , where , the first rows and columns have already been cleared off the diagonal, their pivots are nonzero, and . If , row is not zero because ; its entries in columns are zero, so some has . Choose the least such and replace by , which adds column to column and makes the pivot . The cleared earlier rows remain unchanged because their entries in columns and are zero. This uses at most one transvection for pivot repair.
With , for each right-multiply by to clear entry , then for each left-multiply by to clear entry . These operations leave the earlier rows and columns cleared: earlier rows have zero entries in columns , and row has zero entries outside its pivot after the first set of operations. Thus row and column are isolated with a nonzero pivot . This costs at most further transvections.
The operations in steps 2.1–3.1 are transvections, so [F1]–[F3] preserve . Associativity collects the left multiplications into a product and the right multiplications into a product , giving . Summing the stage costs gives , so each of has at most factors. Every pivot is nonzero, and .
For , put and let be diagonal with at position , at position , and elsewhere. Then : the first diagonal entry is , an interior entry is , and the last is because .
In the block write and . For every nonzero , direct multiplication gives and , so their product is . Taking shows that each is a product of six transvections; therefore is a product of at most transvections.
From we have . By [F4], the inverses of the transvections in and are transvections, so and each use at most factors. Together with step 6.1, this writes as a product of at most transvections. Thus the stated bounded-generation claim holds.
Depends on
- 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
- Every elementary matrix is invertible, with inverse given by the reverse elementary operation
- Matrix multiplication is associative, unital, distributive, and compatible with scalar multiplication
- Rectangular matrix multiplication and the identity matrix $I_n$, including zero-sized shapes
- For $n\ge1$, the determinant over a commutative ring by the Leibniz formula, and $|\det A|$ for a real matrix
- For same-sized finite square matrices over a commutative ring, $\det(AB)=\det(A)\det(B)$
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
- Emmanuel Breuillard, PCMI Lecture Notes on Property (T), Expander Graphs and Approximate Groups, complete notes with exercise sheets (standard reference, not scraped)
- Bachir Bekka, Pierre de la Harpe and Alain Valette, Kazhdan's Property (T), Cambridge University Press 2008; author-hosted complete text (standard reference, not scraped)