Principal ideal domain: Difference between revisions
| Line 15: | Line 15: | ||
===Weaker properties=== | ===Weaker properties=== | ||
* [[Dedekind domain]] | |||
* [[Bezout domain]] | * [[Bezout domain]] | ||
* [[Noetherian domain]] | * [[Noetherian domain]] | ||
* [[Unique factorization domain]] | * [[Unique factorization domain]] | ||
* [[Elementary divisor domain]] | * [[Elementary divisor domain]] | ||
Revision as of 22:46, 16 December 2007
This article defines a property of integral domains, viz., a property that, given any integral domain, is either true or false for that.
View other properties of integral domains | View all properties of commutative unital rings
VIEW RELATED: Commutative unital ring property implications | Commutative unital ring property non-implications |Commutative unital ring metaproperty satisfactions | Commutative unital ring metaproperty dissatisfactions | Commutative unital ring property satisfactions | Commutative unital ring property dissatisfactions
Definition
Symbol-free definition
An integral domain is termed a PID or Principal Ideal Domain if every ideal in it is principal.