Proposition 14

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

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

— For a nonzero element p of A to be irreducible it is sufficient that it not be a unit, and that it cannot divide a product of two elements of A without dividing one or other of them. This condition is necessary if $\mathscr{P}^*$ is lattice ordered.

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

Cited by

Remark, § 1
Theorem 2, § 1

Cites

Nothing.