Bourbaki

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 L′L' of L such that the ring D⊗LL′D\otimes_LL' is not left Artinian.

Let xx be an element of D - L; since L is algebraically closed, the extension L′=L(x)L'= L(x) of L is not algebraic and xx is transcendent over L. The ring B=L′⊗LL′B = L'\otimes_LL' is then an integral domain by Proposition 5 of V, §17, No. 4, p. 141.

The element y=x⊗1−1⊗xy=x\otimes 1-1\otimes x of B is not zero, but if φ\varphi is the homomorphism from B to L′L' that sends ξ⊗η\xi \otimes \eta to ξη\xi \eta, then we have φ(y)=0\varphi (y) = 0, so yy is not invertible in B. We view the ring C=D⊗LL′C = D\otimes_LL' as a right module over its subring B; it is a free module because D is a right vector space over its subfield L′L'. Since yy is a nonzero and noninvertible element of the integral domain B, right multiplication by yy in C is a mapping RyR_y that is injective but not bijective. Now, RyR_y is an endomorphism of the left C-module CsC_s; 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.

Cited by

Cites

Transcribed from the printed edition, 2023, Springer Nature. Not translated.