Remark
Tag 00PJ, permanent. Cite it as [Bourbaki, Tag 00PJ].
Algebra, VIII, p. 441, Appendix 1. Algebras without Unit Element
Let and be elements of A; we say that is a left adverse of , or that is a right adverse of , if, in is a left inverse of , that is, if we have . By Proposition 7 and Jacobson’s theorem (VIII, p. 156, Theorem 1), the radical of A consists of the elements of A such that is left invertible in for every in . Since we have (for ), the radical of A is the set of elements of A such that has a left adverse in A for every and .
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.