Skip to content
Counterexample

Is this true?

Every integral domain is a UFD

No — it is false.

The counterexample

Z[√−5]:6=2⋅3=(1+√−5)(1−√−5)\mathbb{Z}[\surd-5]: 6 = 2\cdot3 = (1+\surd-5)(1-\surd-5)

Keep practicing

Finite-dimensional intuition

Something true in ℝⁿ, or in a nice space, assumed in general.

Go deeper· Explained in full in The ring hierarchy and where each inclusion is strict· Asked in CSIR NET December 2024· From Rings and Fields › Euclidean, PID, UFD hierarchy

Published . Found a mistake? Tell us — corrections are the fastest thing we act on.

ShareWhatsAppTelegram