Steinberg relations
Definition
Let be a ring with identity, and let . Let be a group, and let be elements of , one for each pair of indices with and each . For , write for their commutator. The elements satisfy the Steinberg relations if, for all :
- .
- when , , are pairwise distinct.
- when and .
Remarks
Example: the elementary matrices in satisfy the Steinberg relations, where is the matrix with at position and elsewhere. Indeed equals if and otherwise. So , because for . For pairwise distinct , a direct product of the four factors gives . If and , then , so the two matrices commute.
Non-example: the case is excluded in clause 2. For and , the matrices and have commutator , which is not an elementary matrix. So no relation of the form of clause 2 holds for the pair .
Clause 1 implies and .
Reading path
To understand this page from the ground up, read these 4 pages in order. The foundations come first.
Show the path as a graph
- no evidence level
- Commutator of two elements concept
- Elementary matrix concept
- Ring concept
- Steinberg relations definition
Further reading
About this page
| Tag | EXNG4ABYWD |
|---|---|
| URI | m2://EXNG4ABYWD |
| Kind | definition |
| Writing | W0 stub |
| MSC | 19C20, 19C09 |
| Defines | Steinberg relations |
| Uses | Ring, Elementary matrix, Commutator of two elements |
| Changed | 3 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.