Put and . These elementary matrices belong to the special linear group. Let have determinant one. If , elementary row elimination gives
The remaining diagonal matrix is also a product of the given generators. Indeed, for , direct multiplication gives
Hence . If , its determinant forces , and has upper-left entry . The established case applies to it, and is again generated. No division by two was used, so the proof works over every field. The upper and lower elementary unipotent matrices generate .

Articles by others on the same topic (0)

There are currently no matching articles.