Put and . These elementary matrices belong to the special linear group. Let have determinant one. If , elementary row elimination givesThe remaining diagonal matrix is also a product of the given generators. Indeed, for , direct multiplication givesHence . 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
There are currently no matching articles.