Principal ideal domain
In abstract algebra, a principal ideal domain (PID) is an integral domain in which every ideal is principal (that is, generated by a single element).Examples are the ring of integers, all fields, and rings of polynomials in one variable with coefficients in a field. All euclidean domains are principal ideal domains, but the converse is not true. The ring Z[X] of all polynomials with integer coefficients is not principal, since for example the ideal generated by 2 and X cannot be generated by a single polynomial.
In a principal ideal domain, any two elements have a greatest common divisor (and may have more than one).
Every principal ideal domain is a unique factorization domain.The converse does not hold since for any field K, K[X,Y] is a UFD but is not a PID (to prove this look at the ideal generated by it is not the whole ring since it contains no polynomials of degree 0, but it cannot be generated by any one single element).
(1)Every principal ideal domain is Noetherian.
(2)In all rings, maximal ideals are prime. In principal ideal domains a near converse holds: every nonzero prime ideal is maximal.
(3)All principal ideal domains are integrally closed.
The previous three statements give the definition of a Dedekind domain, and hence every principal ideal domain is a Dedekind domain.
So that . However there is another theorem which states that any unique factorisation domain that is a Dedekind domain is also a principal ideal domain. Thus we get the reverse inclusion , but then this shows equality and hence, .
An example of a principal ideal domain that is not a euclidean domain is the ring (Wilson, J. C. "A Principal Ring that is Not a Euclidean Ring." Math. Mag. 34-38, 1973).