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 to be invertible, it is necessary and sufficient that its be invertible in .
If admits an inverse in , then
by formula (3) of no. 1. Conversely, if is invertible, the endomorphism is bijective (§ 8, no. 2, Theorem 1). Then there exists such that ; then , whence since is injective. Hence is the inverse of .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.