Log in Start free

Is this true?

Every integral domain is a UFD

No — it is false.

The counterexample

$Z [\sqrt - 5] : 6 = 2 \cdot 3 = (1 + \sqrt - 5) (1 - \sqrt - 5)$

The kind of mistake this is

Standard counterexample

There is a canonical object that settles this. Recognising it is the whole question.

Drill statements like this

Others that fail the same way

From Rings and Fields › Euclidean, PID, UFD hierarchy

ShareWhatsApp Telegram