Remark

Tag 06XS, permanent. Cite it as [Bourbaki, Tag 06XS].

Algebra, chapter VI, § 1. Ordered groups. Divisibility

Proposition 14 (DIV) can also be expressed as follows: if p is a non zero element of A such that the ideal (p) is prime (I, p. 117, Def. 3) then p is irreducible; conversely, if $\mathscr{P}^*$ is lattice ordered and p is irreducible then the ideal (p) is prime.

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

Cited by

Nothing.

Cites

I, p. 117, Def. 3
Proposition 14