Corollary 1

Tag 00LE, permanent. Cite it as [Bourbaki, Tag 00LE].

Algebra, VIII, p. 357, § 18. Simple Algebras over a Finite Field

Every finite simple ring is isomorphic to a matrix ring $\mathbf{M}_n(L)$ , where $n$ is a strictly positive integer and L is a finite commutative field.

This follows from Theorem 2 and the structure theorem for simple rings (VIII, p. 120, Theorem 1).

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

Theorem 2
VIII, p. 120, Theorem 1