Definition 4

Tag 04C1, permanent. Cite it as [Bourbaki, Tag 04C1].

A sub-A-module $M$ of $B$ is called invertible if there exists a sub-A-module $N$ of $B$ such that $M.N = A$ .

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

Cited by

Nothing.

Nothing.