Bourbaki

Exercise 27, § 9

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

Algebra, VIII, p. 171

Bourbaki marks this one as harder than the rest.

A ring A is called absolutely flat, or von Neumann regular, if for every element aa of A, there exists an x∈Ax\in A such that axa=aaxa=a.

a) A ring A is absolutely flat if and only if every monogenous left (or right) ideal of A admits a supplement in AsA_s (that is, is generated by an idempotent).

b) Show that every finitely generated ideal of an absolutely flat ring is generated by an idempotent. (Reduce to the case of an ideal Ae+AfAe+ Af, where ee and ff are idempotents. Then, by replacing AeAe with Ae(1−f)Ae(1-f), reduce to the case when ef=0ef= 0, and consider the element e+f−fe.e+f-f e.) AA (left or right) Noetherian absolutely flat ring is semisimple.

c) Deduce from b) that the intersection of two monogenous left (resp. right) ideals of an absolutely flat ring is monogenous (consider the right annihilators).

d) Every quotient ring of an absolutely flat ring is absolutely flat, as is every product of absolutely flat rings.

e) Prove that the radical of an absolutely flat ring is reduced to 0. Deduce that every two-sided ideal of A is the intersection of the maximal left ideals containing it. f ) The center of an absolutely flat ring is absolutely flat (prove that if a∈Za\in Z and x∈Ax\in A satisfy a2x=aa^2x=a, then we have a2xn∈Za^2x^n\in Z for every n⩾0n\geqslant 0 and a(a2x3)a=aa(a^2x^3)a=a). g) Prove that the endomorphism ring of a vector space is an absolutely flat ring.

Solution

No solution has been written yet.

Cited by

Cites

Nothing.

Transcribed from the printed volume. Not translated.