Remark 3
Tag 0086, permanent. Cite it as [Bourbaki, Tag 0086].
Algebra, VIII, p. 121, § 7. Simple Rings
Let A be a simple ring, S a simple A-module, and D the opposite ring of the field End. Then the A-module has finite length, and dim is equal to long(A). Indeed, by Lemma 1, the ring A is isomorphic to End; we then apply Lemma 2.
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.