Lemma 2
Tag 00FH, permanent. Cite it as [Bourbaki, Tag 00FH].
Algebra, VIII, p. 233, § 13. Absolutely Semisimple Algebras
Let L be an algebraically closed field and D a field containing L in its center. If D is distinct from L, then there exists an extension of L such that the ring is not left Artinian.
Let be an element of D - L; since L is algebraically closed, the extension of L is not algebraic and is transcendent over L. The ring is then an integral domain by Proposition 5 of V, §17, No. 4, p. 141.
The element of B is not zero, but if is the homomorphism from B to that sends to , then we have , so is not invertible in B. We view the ring as a right module over its subring B; it is a free module because D is a right vector space over its subfield . Since is a nonzero and noninvertible element of the integral domain B, right multiplication by in C is a mapping that is injective but not bijective. Now, is an endomorphism of the left C-module ; consequently (VIII, p. 28, Corollary 1), the ring C is not left Artinian.
Let us now prove that (i) implies (v). This is a consequence of the following lemma.
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.