Principal ideal domain: Difference between revisions

Revision as of 17:27, 17 January 2009

This article defines a property of integral domains, viz., a property that, given any integral domain, is either true or false for that.
The corrresponding general property for commutative unital rings is: principal ideal ring
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 it satisfies the following equivalent conditions:

Every ideal in it is principal, viz., it is a principal ideal ring
Every prime ideal in it is principal
It admits a Dedekind-Hasse valuation

Note that the two conditions need not be equivalent when the underlying ring is not a domain.

Relation with other properties

Expression as a conjunction of other properties

A principal ideal ring that is also an integral domain.
A Noetherian domain that is also a Bezout domain (equivalently, an integral domain that is both a Noetherian ring and a Bezout ring).
A unique factorization domain that is also a Dedekind domain.

Stronger properties

Euclidean domain: For proof of the implication, refer Euclidean implies PID and for proof of its strictness (i.e. the reverse implication being false) refer PID not implies Euclidean
Polynomial ring over a field

Weaker properties

Dedekind domain: For proof of the implication, refer PID implies Dedekind and for proof of its strictness (i.e. the reverse implication being false) refer Dedekind not implies PID
Bezout domain: For proof of the implication, refer PID implies Bezout and for proof of its strictness (i.e. the reverse implication being false) refer Bezout not implies PID
Noetherian domain
Unique factorization domain: For proof of the implication, refer PID implies UFD and for proof of its strictness (i.e. the reverse implication being false) refer UFD not implies PID
Normal domain
Noetherian normal domain
One-dimensional Noetherian domain
One-dimensional domain
Elementary divisor domain
gcd domain
Principal ideal ring
Noetherian ring
Bezout ring

Conjunction expressions

A ring is a principal ideal domain iff it is:

A principal ideal ring and an integral domain: This is a tautological statement
A Noetherian ring and a Bezout domain: Further information: Noetherian and Bezout iff principal ideal
A unique factorization domain and a Dedekind domain: Further information: Unique factorization and Dedekind iff principal ideal

Metaproperties

Polynomial-closedness

This property of commutative unital rings is not closed under passing to the polynomial ring

The polynomial ring over a PID need not be a PID. Two examples are the polynomial ring over the integers, and the polynomial ring in two variables over a field. In fact, the polynomial ring over a ring is a PID iff that ring is a field.

Closure under taking localizations

This property of integral domains is closed under taking localizations: the localization at a multiplicatively closed subset of a commutative unital ring with this property, also has this property. In particular, the localization at a prime ideal, and the localization at a maximal ideal, have the property.
View other localization-closed properties of integral domains | View other localization-closed properties of commutative unital rings

If we localize a principal ideal domain at any multiplicatively closed subset that does not contain zero, and in particular if we localize relative to a prime ideal, we continue to get a principal ideal domain. The reason is, roughly, that any ideal in the localization is generated by the element in the contraction that generates it.

Module theory

Further information: structure theory of modules over PIDs

Any finitely generated module $M$ over a PID $R$ can be expressed as follows:

$M=R/(d_{1})\oplus R/(d_{2})\oplus R/(d_{n})$

where $d_{1}|d_{2}|\ldots |d_{n}$ . Some of the $d_{n}$ could be zero.

The $d_{i}$ are unique upto units; the principal ideals they generate are unique.

There is another equivalent formulation:

$M=R/(p_{1}^{k_{1}})\oplus R/(p_{2}^{k_{2}})\oplus R/(p_{r}^{k_{r}})$

Where all the $p_{i}$ are prime.

Thus, a finitely generated module over a PID is projective if and only if it is free.

External links

Definition links

@@ Line 23: / Line 23: @@
 ===Stronger properties===
-* [[Euclidean domain]]: {{proofofstrictimplicationat|[[Euclidean implies PID]]|[[PID not implies Euclidean]]}}
+* [[Weaker than::Euclidean domain]]: {{proofofstrictimplicationat|[[Euclidean implies PID]]|[[PID not implies Euclidean]]}}
-* [[Polynomial ring over a field]]
+* [[Weaker than::Polynomial ring over a field]]
 ===Weaker properties===
-* [[Dedekind domain]]: {{proofofstrictimplicationat|[[PID implies Dedekind]]|[[Dedekind not implies PID]]}}
+* [[Stronger than::Dedekind domain]]: {{proofofstrictimplicationat|[[PID implies Dedekind]]|[[Dedekind not implies PID]]}}
-* [[Bezout domain]]: {{proofofstrictimplicationat|[[PID implies Bezout]]|[[Bezout not implies PID]]}}
+* [[Stronger than::Bezout domain]]: {{proofofstrictimplicationat|[[PID implies Bezout]]|[[Bezout not implies PID]]}}
-* [[Noetherian domain]]
+* [[Stronger than::Noetherian domain]]
-* [[Unique factorization domain]]: {{proofofstrictimplicationat|[[PID implies UFD]]|[[UFD not implies PID]]}}
+* [[Stronger than::Unique factorization domain]]: {{proofofstrictimplicationat|[[PID implies UFD]]|[[UFD not implies PID]]}}
-* [[Elementary divisor domain]]
+* [[Stronger than::Normal domain]]
+* [[Stronger than::Noetherian normal domain]]
+* [[Stronger than::One-dimensional Noetherian domain]]
+* [[Stronger than::One-dimensional domain]]
+* [[Stronger than::Elementary divisor domain]]
+* [[Stronger than::gcd domain]]
+* [[Stronger than::Principal ideal ring]]
+* [[Stronger than::Noetherian ring]]
+* [[Stronger than::Bezout ring]]
 ===Conjunction expressions===