In abstract algebra, a principal ideal domain, or PID, is an integral domain in which every ideal is principal, i.e., can be generated by a single element. More generally, a principal ideal ring is a nonzero commutative ring whose ideals are principal, although some authors (e.g., Bourbaki) refer to PIDs as principal rings. The distinction is that a principal ideal ring may have zero divisors whereas a principal ideal domain cannot.
Principal ideal domains are thus mathematical objects which behave somewhat like the integers, with respect to divisibility: any element of a PID has a unique decomposition into prime elements (so an analogue of the fundamental theorem of arithmetic holds); any two elements of a PID have a greatest common divisor (although it may not be possible to find it using the Euclidean algorithm). If x and y are elements of a PID without common divisors, then every element of the PID can be written in the form ax + by.
Principal ideal domains are noetherian, they are integrally closed, they are unique factorization domains and Dedekind rings. All Euclidean domains and all fields are principal ideal domains.
- Commutative rings ⊃ integral domains ⊃ integrally closed domains ⊃ unique factorization domains ⊃ principal ideal domains ⊃ Euclidean domains ⊃ fields
Read more about Principal Ideal Domain: Examples, Modules, Properties
Famous quotes containing the words principal, ideal and/or domain:
“For me, the principal fact of life is the free mind. For good and evil, man is a free creative spirit. This produces the very queer world we live in, a world in continuous creation and therefore continuous change and insecurity. A perpetually new and lively world, but a dangerous one, full of tragedy and injustice. A world in everlasting conflict between the new idea and the old allegiances, new arts and new inventions against the old establishment.”
—Joyce Cary (1888–1957)
“Mozart has the classic purity of light and the blue ocean; Beethoven the romantic grandeur which belongs to the storms of air and sea, and while the soul of Mozart seems to dwell on the ethereal peaks of Olympus, that of Beethoven climbs shuddering the storm-beaten sides of a Sinai. Blessed be they both! Each represents a moment of the ideal life, each does us good. Our love is due to both.”
—Henri-Frédéric Amiel (1821–1881)
“In the domain of art there is no light without heat.”
—Victor Hugo (1802–1885)