Principal ideal

This article has multiple issues. Please help improve it or discuss these issues on the talk page. (Learn how and when to remove these messages) This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed. Find sources: "Principal ideal" – news · newspapers · books · scholar · JSTOR (October 2013) (Learn how and when to remove this message) This article includes a list of references, related reading, or external links, but its sources remain unclear because it lacks inline citations. Please help improve this article by introducing more precise citations. (October 2013) (Learn how and when to remove this message) (Learn how and when to remove this message)

In mathematics, specifically ring theory, a principal ideal is an ideal ${\displaystyle I}$ in a ring ${\displaystyle R}$ that is generated by a single element ${\displaystyle a}$ of ${\displaystyle R}$ through multiplication by every element of ${\displaystyle R.}$ The term also has another, similar meaning in order theory, where it refers to an (order) ideal in a poset ${\displaystyle P}$ generated by a single element ${\displaystyle x\in P,}$ which is to say the set of all elements less than or equal to ${\displaystyle x}$ in ${\displaystyle P.}$

The remainder of this article addresses the ring-theoretic concept.

• a left principal ideal of ${\displaystyle R}$ is a subset of ${\displaystyle R}$ given by ${\displaystyle Ra=\{ra:r\in R\}}$ for some element ${\displaystyle a,}$
• a right principal ideal of ${\displaystyle R}$ is a subset of ${\displaystyle R}$ given by ${\displaystyle aR=\{ar:r\in R\}}$ for some element ${\displaystyle a,}$
• a two-sided principal ideal of ${\displaystyle R}$ is a subset of ${\displaystyle R}$ given by ${\displaystyle RaR=\{r_{1}as_{1}+\ldots +r_{n}as_{n}:r_{1},s_{1},\ldots ,r_{n},s_{n}\in R\}}$ for some element ${\displaystyle a,}$ namely, the set of all finite sums of elements of the form ${\displaystyle ras.}$

While this definition for two-sided principal ideal may seem more complicated than the others, it is necessary to ensure that the ideal remains closed under addition.^{[citation needed]}

If ${\displaystyle R}$ is a commutative ring with identity, then the above three notions are all the same. In that case, it is common to write the ideal generated by ${\displaystyle a}$ as ${\displaystyle \langle a\rangle }$ or ${\displaystyle (a).}$

Not all ideals are principal. For example, consider the commutative ring ${\displaystyle \mathbb {C} [x,y]}$ of all polynomials in two variables ${\displaystyle x}$ and ${\displaystyle y,}$ with complex coefficients. The ideal ${\displaystyle \langle x,y\rangle }$ generated by ${\displaystyle x}$ and ${\displaystyle y,}$ which consists of all the polynomials in ${\displaystyle \mathbb {C} [x,y]}$ that have zero for the constant term, is not principal. To see this, suppose that ${\displaystyle p}$ were a generator for ${\displaystyle \langle x,y\rangle .}$ Then ${\displaystyle x}$ and ${\displaystyle y}$ would both be divisible by ${\displaystyle p,}$ which is impossible unless ${\displaystyle p}$ is a nonzero constant. But zero is the only constant in ${\displaystyle \langle x,y\rangle ,}$ so we have a contradiction.

In the ring ${\displaystyle \mathbb {Z} [{\sqrt {-3}}]=\{a+b{\sqrt {-3}}:a,b\in \mathbb {Z} \},}$ the numbers where ${\displaystyle a+b}$ is even form a non-principal ideal. This ideal forms a regular hexagonal lattice in the complex plane. Consider ${\displaystyle (a,b)=(2,0)}$ and ${\displaystyle (1,1).}$ These numbers are elements of this ideal with the same norm (two), but because the only units in the ring are ${\displaystyle 1}$ and ${\displaystyle -1,}$ they are not associates.

A ring in which every ideal is principal is called principal, or a principal ideal ring. A principal ideal domain (PID) is an integral domain in which every ideal is principal. Any PID is a unique factorization domain; the normal proof of unique factorization in the integers (the so-called fundamental theorem of arithmetic) holds in any PID.

The principal ideals in ${\displaystyle \mathbb {Z} }$ are of the form ${\displaystyle \langle n\rangle =n\mathbb {Z} .}$ In fact, ${\displaystyle \mathbb {Z} }$ is a principal ideal domain, which can be shown as follows. Suppose ${\displaystyle I=\langle n_{1},n_{2},\ldots \rangle }$ where ${\displaystyle n_{1}\neq 0,}$ and consider the surjective homomorphisms ${\displaystyle \mathbb {Z} /\langle n_{1}\rangle \rightarrow \mathbb {Z} /\langle n_{1},n_{2}\rangle \rightarrow \mathbb {Z} /\langle n_{1},n_{2},n_{3}\rangle \rightarrow \cdots .}$ Since ${\displaystyle \mathbb {Z} /\langle n_{1}\rangle }$ is finite, for sufficiently large ${\displaystyle k}$ we have ${\displaystyle \mathbb {Z} /\langle n_{1},n_{2},\ldots ,n_{k}\rangle =\mathbb {Z} /\langle n_{1},n_{2},\ldots ,n_{k+1}\rangle =\cdots .}$ Thus ${\displaystyle I=\langle n_{1},n_{2},\ldots ,n_{k}\rangle ,}$ which implies ${\displaystyle I}$ is always finitely generated. Since the ideal ${\displaystyle \langle a,b\rangle }$ generated by any integers ${\displaystyle a}$ and ${\displaystyle b}$ is exactly ${\displaystyle \langle \mathop {\mathrm {gcd} } (a,b)\rangle ,}$ by induction on the number of generators it follows that ${\displaystyle I}$ is principal.

However, all rings have principal ideals, namely, any ideal generated by exactly one element. For example, the ideal ${\displaystyle \langle x\rangle }$ is a principal ideal of ${\displaystyle \mathbb {C} [x,y],}$ and ${\displaystyle \langle {\sqrt {-3}}\rangle }$ is a principal ideal of ${\displaystyle \mathbb {Z} [{\sqrt {-3}}].}$ In fact, ${\displaystyle \{0\}=\langle 0\rangle }$ and ${\displaystyle R=\langle 1\rangle }$ are principal ideals of any ring ${\displaystyle R.}$

Any Euclidean domain is a PID; the algorithm used to calculate greatest common divisors may be used to find a generator of any ideal. More generally, any two principal ideals in a commutative ring have a greatest common divisor in the sense of ideal multiplication. In principal ideal domains, this allows us to calculate greatest common divisors of elements of the ring, up to multiplication by a unit; we define ${\displaystyle \gcd(a,b)}$ to be any generator of the ideal ${\displaystyle \langle a,b\rangle .}$

For a Dedekind domain ${\displaystyle R,}$ we may also ask, given a non-principal ideal ${\displaystyle I}$ of ${\displaystyle R,}$ whether there is some extension ${\displaystyle S}$ of ${\displaystyle R}$ such that the ideal of ${\displaystyle S}$ generated by ${\displaystyle I}$ is principal (said more loosely, ${\displaystyle I}$ becomes principal in ${\displaystyle S}$). This question arose in connection with the study of rings of algebraic integers (which are examples of Dedekind domains) in number theory, and led to the development of class field theory by Teiji Takagi, Emil Artin, David Hilbert, and many others.

The principal ideal theorem of class field theory states that every integer ring ${\displaystyle R}$ (i.e. the ring of integers of some number field) is contained in a larger integer ring ${\displaystyle S}$ which has the property that every ideal of ${\displaystyle R}$ becomes a principal ideal of ${\displaystyle S.}$ In this theorem we may take ${\displaystyle S}$ to be the ring of integers of the Hilbert class field of ${\displaystyle R}$; that is, the maximal unramified abelian extension (that is, Galois extension whose Galois group is abelian) of the fraction field of ${\displaystyle R,}$ and this is uniquely determined by ${\displaystyle R.}$

Krull's principal ideal theorem states that if ${\displaystyle R}$ is a Noetherian ring and ${\displaystyle I}$ is a principal, proper ideal of ${\displaystyle R,}$ then ${\displaystyle I}$ has height at most one.

• Ascending chain condition for principal ideals

• Gallian, Joseph A. (2017). Contemporary Abstract Algebra (9th ed.). Cengage Learning. ISBN 978-1-305-65796-0.