Definition 2

Tag 0716, permanent. Cite it as [Bourbaki, Tag 0716].

Algebra, chapter VII, § 1. Principal ideal domains

Let $A$ be an integral domain. A system of representatives of irreducible elements of $A$ is a family $(p_\alpha)$ of irreducible elements of $A$ such that every irreducible element of $A$ is an associate of precisely one $p_\alpha$ .

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

Cited by

Proposition 4, § 3

Cites

Nothing.