every nonzero proper ideal factors uniquely into
1
triples
GPTKB property
Random triples
| Subject | Object |
|---|---|
| gptkb:Dedekind_domain | product of prime ideals |