Bourbaki

Proposition 3

Tag 065X, permanent. Cite it as [Bourbaki, Tag 065X].

Algebra, chapter III, § 9. Norms and traces

Let A be a K-algebra admitting a finite basis. For an element a∈Aa \in A to be invertible, it is necessary and sufficient that its NA/K(a)N_{A/\mathbf{K}}(a) be invertible in K\mathbf{K}.

If aa admits an inverse a′a' in AA, then

NA/K(a)NA/K(a′)=NA/K(aa′)=NA/K(1)=1 N_{A/\mathbf{K}}(a) N_{A/\mathbf{K}}(a') = N_{A/\mathbf{K}}(aa') = N_{A/\mathbf{K}}(1) = 1

by formula (3) of no. 1. Conversely, if NA/K(a)N_{A/\mathbf{K}}(a) is invertible, the endomorphism h:x↦axh : x \mapsto ax is bijective (§ 8, no. 2, Theorem 1). Then there exists a′∈Aa' \in A such that aa′=1aa' = 1; then h(a′a−1)=aa′a−a=(aa′−1)a=0h(a'a - 1) = aa'a - a = (aa' - 1)a = 0, whence aa′=1aa' = 1 since hh is injective. Hence a′a' is the inverse of aa.

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Cites

Transcribed from the printed edition, 1998, Springer. Not translated.