Principal Ideal

In ring theory, a branch of abstract algebra, a principal ideal is an ideal I in a ring R that is generated by a single element a of R.

More specifically:

  • a left principal ideal of R is a subset of R of the form Ra := {ra : r in R};
  • a right principal ideal is a subset of the form aR := {ar : r in R};
  • a two-sided principal ideal is a subset of the form RaR := {r1as1 + ... + rnasn : r1,s1,...,rn,sn in R}.

If R is a commutative ring, then the above three notions are all the same. In that case, it is common to write the ideal generated by a as ⟨a⟩.

Not all ideals are principal. For example, consider the commutative ring C of all polynomials in two variables x and y, with complex coefficients. The ideal ⟨x,y⟩ generated by x and y, which consists of all the polynomials in C that have zero for the constant term, is not principal. To see this, suppose that p were a generator for ⟨x,y⟩; then x and y would both be divisible by p, which is impossible unless p is a nonzero constant. But zero is the only constant in ⟨x,y⟩, so we have a contradiction.

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 that is principal. Any PID must be a unique factorization domain; the normal proof of unique factorization in the integers (the so-called fundamental theorem of arithmetic) holds in any PID.

Also, 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 gcd(a,b) to be any generator of the ideal ⟨a,b⟩.

For a Dedekind domain R, we may also ask, given a non-principal ideal I of R, whether there is some extension S of R such that the ideal of S generated by I is principal (said more loosely, I becomes principal in 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 R (i.e. the ring of integers of some number field) is contained in a larger integer ring S which has the property that every ideal of R becomes a principal ideal of S. In this theorem we may take S to be the ring of integers of the Hilbert class field of R; that is, the maximal unramified abelian extension (that is, Galois extension whose Galois group is abelian) of the fraction field of R, and this is uniquely determined by R.

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

Other articles related to "principal ideal, ideal, ideals, principal":

Euclidean Algorithm - Mathematical Applications - Principal Ideals and Related Problems
... GCD is said to be the generator of the ideal of a and b ... This GCD definition led to the modern abstract algebraic concepts of a principal ideal (an ideal generated by a single element) and a principal ideal ...
Principal Ideal Theorem
... In mathematics, the principal ideal theorem of class field theory, a branch of algebraic number theory, is the statement that for any algebraic number field K and any ideal I of the ring of integers of K, if ... In other terms, extending ideals gives a mapping on the class group of K, to the class group of L, which sends all ideal classes to the class of a principal ...
List Of Abstract Algebra Topics - Ring Theory
... to rings Semiring, Nearring, Rig (algebra) Structure Subring, Subalgebra Center (algebra) Ring ideal Principal ideal Ideal quotient Maximal ideal, minimal ideal Primitive ideal, prime ideal, semiprime ideal ...
Krull's Principal Ideal Theorem
... In commutative algebra, Krull's principal ideal theorem, named after Wolfgang Krull (1899–1971), gives a bound on the height of a principal ideal in a Noetherian ring ... if R is a Noetherian ring and I is a principal, proper ideal of R, then I has height at most one ... This theorem can be generalized to ideals that are not principal, and the result is often called Krull's height theorem ...

Famous quotes containing the words ideal and/or principal:

    He who wishes to teach us a truth should not tell it to us, but simply suggest it with a brief gesture, a gesture which starts an ideal trajectory in the air along which we glide until we find ourselves at the feet of the new truth.
    José Ortega Y Gasset (1883–1955)

    The principal saloon was the Howlin’ Wilderness, an immense log cabin with a log fire always burning in the huge fireplace, where so many fights broke out that the common saying was, “We will have a man for breakfast tomorrow.”
    —For the State of California, U.S. public relief program (1935-1943)