isDedekindDomain

Indicates that a ring is a Dedekind domain, meaning it is a Noetherian, integrally closed integral domain of Krull dimension one in which every nonzero ideal factors uniquely into prime ideals.

Sample triples (1)