Difference between revisions of "Principle Ideal Domains"
From Queer Beagle Wiki
Kfagerstrom (talk | contribs) (Created page with "A ''Principal Ideal Domain'' (PID) is a domain, <math>R</math> with the property that every ideal is principal, i.e., for each ideal <math>I</math>, we have <math>I = (a) </ma...") |
Kfagerstrom (talk | contribs) |
||
| (2 intermediate revisions by the same user not shown) | |||
| Line 1: | Line 1: | ||
| + | :''see also'' [[817 - Algebra#Rings| Rings]] | ||
A ''Principal Ideal Domain'' (PID) is a | A ''Principal Ideal Domain'' (PID) is a | ||
domain, <math>R</math> with the property that every ideal is principal, i.e., for each ideal <math>I</math>, we have <math>I = (a) </math> for some <math>a \in R</math>. | domain, <math>R</math> with the property that every ideal is principal, i.e., for each ideal <math>I</math>, we have <math>I = (a) </math> for some <math>a \in R</math>. | ||
| Line 12: | Line 13: | ||
In a PID, irreducible elements are prime. | In a PID, irreducible elements are prime. | ||
| − | PID implies [[Noetherian| | + | PID implies [[Noetherian Ring| Noetherian]]. |
| + | |||
| + | [[Category: Ring Theory]] | ||
Latest revision as of 01:12, 8 March 2023
- see also Rings
A Principal Ideal Domain (PID) is a domain, \(R\) with the property that every ideal is principal, i.e., for each ideal \(I\), we have \(I = (a) \) for some \(a \in R\).
All PIDs are EDs, but the opposite is not true. For example the ring \(\mathbb{Z}[\frac{1+\sqrt{-19}}{2}]=\{a+b\frac{1+\sqrt{-19}}{2} | a,b \in \mathbb{Z}\} \)
If \(R\) is a PID with \(a,b\in \R\), then:
- \((a,b)=(g)\) for some \(g\in R \) and any such \(g\) is a gcd of \(a\) and \(b\).
- The gcd of \(a\) and \(b\) is unique up to multiplication by a unit
If R is not only a PID but a Euclidean domain with norm function \(N\), then the Euclidean algorithm can be used to compute a gcd of any two nonzero \(a, b \in R\).
In a PID, irreducible elements are prime.
PID implies Noetherian.
