Example
Tag 00CG, permanent. Cite it as [Bourbaki, Tag 00CG].
Algebra, VIII, p. 177, § 10. Modules over an Artinian Ring
Take P equal to . For , denote the opposite field of the commutant of the simple A-module by and the dimension of viewed as a right vector space over the field by . We know that is equal to the multiplicity (VIII, p. 143, Proposition 11). Consequently, the A-module is isomorphic to .
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.