Bourbaki

Remark

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

Algebra, VIII, p. 441, Appendix 1. Algebras without Unit Element

Let xx and yy be elements of A; we say that xx is a left adverse of yy, or that yy is a right adverse of xx, if, in A~,x−e\widetilde{A},x-e is a left inverse of y−ey-e, that is, if we have x+y=xyx+y=xy. By Proposition 7 and Jacobson’s theorem (VIII, p. 156, Theorem 1), the radical of A consists of the elements xx of A such that ux−eux-e is left invertible in A~\widetilde{A} for every uu in A~\widetilde{A}. Since we have (a+λe)x−e=ax+λx−e(a+\lambda e)x-e=ax+\lambda x-e (for a∈A,λ∈ka\in A,\lambda \in k), the radical of A is the set of elements xx of A such that ax+λxax+\lambda x has a left adverse in A for every a∈Aa\in A and λ∈k\lambda \in 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

Nothing.

Cites

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