Proposition 3
Tag 06OM, permanent. Cite it as [Bourbaki, Tag 06OM].
Algebra, chapter V, § 11. Abelian extensions
Let and be two integers. Then the following assertions are equivalent:
a) the residue class of mod is invertible in the ring ; b) the residue class of mod generates the cyclic group ; c) the integers and are relatively prime (I, p. 112).
Each of the conditions a) and b) means that there exists an integer such that , that is, there exist two integers and such that . This latter condition just means that and are relatively prime.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Cites
Nothing.