This site is supported by donations to The OEIS Foundation.

Irreducible elements

From OeisWiki
Jump to: navigation, search


This article page is a stub, please help by expanding it.


A nonzero nonunit element of an integral domain is said to be irreducible if it is not a product of two nonunits. If is irreducible and (where ), then either is a unit or is (and then the other is either an associate of or equal to it).

For example, 7 is irreducible in . It can be expressed as and there is no other such expression using only elements of . In the latter expression, –1 is a unit, and –7 is an associate of 7. But 10 is not irreducible in , which is to say that it is reducible, it can be expressed as , but neither 2, 5 nor are units, nor associates of 10.

Relationship of irreducibles to prime elements

Irreducible elements should not be confused with prime elements. (A nonunit element in a commutative ring is called prime if whenever for some and in , then or .) In an integral domain, every prime element is irreducible,[1] but the converse is not true in general. The converse is true for unique factorization domains (UFDs, or, more generally, GCD domains).

Prime and irreducible

If is a UFD, then all its irreducible elements are also prime elements. For example, 3 is both prime and irreducible in , since it's divisible only by the units 1 and –1, and by its associate, –3; and, in every case in which , then either or (or maybe both).

Irreducible but not prime

In all quadratic integer rings with class number greater than 1, the irreducible elements are not necessarily prime. This is a consequence of some elements having more than one factorization. Given some number , where , , , are all distinct, nonunit, nonzero numbers, it can happen that yet and .

For example, , it can be shown using field norm arguments that the number 3 is irreducible. However, it is not a prime in this ring since, for example, but 3 does not divide either of the two factors.[2]

Now, just because a given ring is not a UFD one should not assume that every element has more than one factorization; this applies to some reducible elements. For example, in , which is not a UFD, 2 and 5 are irreducible, but , though that is its only factorization. The classic example to show we're not dealing with a UFD here is . It therefore stands to reason that all positive multiples of 10 have more than one factorization, but we should not be led astray to think that all these numbers have more than two factorizations. For example, . But, as it turns out, that third factorization is not distinct because the two factors can factored further still, e.g., . There are even more traps of this sort in real rings, where the multitude of units can disguise incomplete factorizations to an even greater extent than in imaginary rings.

Prime but not irreducible

Whereas the concept of irreducibles may seem unnecessary in UFDs, it may seem downright nonsensical in reduced residue systems. Given a composite integer and consisting of the integers 0 to , the primes which divide in are still primes in , but they might be reducible to products of themselves.

For example, consider . There are only two elements, 1 and 3 itself, which divide 3 evenly. It happens that in this context that 3 is a zero-divisor, and there are only two nontrivial ways to obtain 0 as a product: , with 3 being one of the factors in both cases. But since , it follows that 3 can be reduced indefinitely.[3]

Relationship of irreducibles to ideals

Moreover, while an ideal generated by a prime element is a prime ideal, it is not true in general that an ideal generated by an irreducible element is an irreducible ideal. However, if is a GCD domain, and is an irreducible element of , then the ideal generated by is an irreducible ideal of .[4]

Irreducible factorizations

(...) (Irreducible factorizations)[5]

Notes

  1. Consider a prime that is reducible: . Then . Say , then we have: . Because is a domain we have: . So is a unit and is irreducible.
  2. William W. Adams and Larry Joel Goldstein (1976), Introduction to Number Theory, p. 250, Prentice-Hall, Inc., ISBN 0-13-491282-9.
  3. John J. Watkins, Topics in Commutative Ring Theory. Princeton and Oxford: Princeton University Press (2007): 91
  4. http://planetmath.org/encyclopedia/IrreducibleIdeal.html
  5. To do: Irreducible factorizations.