Remark 4

Tag 008A, permanent. Cite it as [Bourbaki, Tag 008A].

Algebra, VIII, p. 122, § 7. Simple Rings

Let K be an algebraically closed commutative field, and let A be an algebra of finite degree over K. The algebra A is simple if and only if there exists an integer $n\geqslant 1$ such that A is isomorphic to $M_n(K)$ . Its center is then isomorphic to K.

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

Remark 2, § 8

Cites

Nothing.