Corollary
Tag 00RU, permanent. Cite it as [Bourbaki, Tag 00RU].
Algebra, VIII, p. 458, Appendix 2. Determinants over a Noncommutative Field
Let V be a right vector space over the field D, of finite dimension .
a) The subgroup of is generated by the transvections.
b) The subgroup is the derived group of unless we have and D has two elements.
c) The group is equal to its derived group unless we have and D has two or three elements.
Bourbaki sets the proof directly after the statement, and the corpus does not separate them, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.