Item:Q6179: Difference between revisions
Created claim: subclass of (P1): unique factorization domain (Q5537) |
Created claim: subclass of (P1): Dedekind domain (Q6181) |
||
(One intermediate revision by the same user not shown) | |||
Property / subclass of | |||
Property / subclass of: principal ideal ring / rank | |||
Normal rank | |||
Property / subclass of | |||
Property / subclass of: Dedekind domain / rank | |||
Normal rank |