Definition 3

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

Let $M$ be a sub-A-module of $B$ . $M$ is called non-degenerate if $B.M = B$ .

If $B$ is a field, this condition simply means that $M$ is not reduced to 0.

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

Cited by

Nothing.

Nothing.