Remark
Tag 06XK, permanent. Cite it as [Bourbaki, Tag 06XK].
Algebra, chapter VI, § 1. Ordered groups. Divisibility
Prop. 7 of VI, p. 10 also shows that a necessary and sufficient condition for and to be coprime is that .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.