# Every irreducible is prime implies any two irreducible factorizations are equal upto ordering and associates

From Commalg

This article gives the statement and possibly, proof, of an implication relation between two integral domain properties. That is, it states that every integral domain satisfying the first integral domain property (i.e., integral domain in which every irreducible is prime) must also satisfy the second integral domain property (i.e., integral domain in which any two irreducible factorizations are equal upto ordering and associates)

View all integral domain property implications | View all integral domain property non-implications |Get help on looking up integral domain property implications/non-implications

Get more facts about integral domain in which every irreducible is prime|Get more facts about integral domain in which any two irreducible factorizations are equal upto ordering and associates

## Statement

In an integral domain with the property that every irreducible element is a prime element, it is true that any two factorizations of an element into irreducibles are equal upto ordering and associates.

## Facts used

## Proof

Fact (1) says that if a factorization into primes exists, it must equal any factorization into irreducibles, upto ordering and associates. If every irreducible is prime, then this translates to saying that any two factorizations into irreducibles are equal upto ordering and associates.