Alternatively, one can define an integrity ring as a commutative ring with 1, in which the zero ideal is a prime ideal , or as a partial ring of a body . There is also a weakened definition in which no one element is required, only that there is at least one non-zero element in the ring. However, many sentences about integrity rings require a one, so this property is usually included in the definition.
- The best known example is the ring of whole numbers.
- Every body is a ring of integrity. Conversely, every Artinian integrity ring is a body. In particular, every finite integrity ring is a finite field : it is easy to verify that the mapping is injective for one . Since is finite, the bijectivity of . So there exists a unique element of , so . Since any other than zero was chosen, it follows that each has an inverse in , that is, that it is a body.
- A polynomial ring is an integrity ring if and only if the coefficients come from an integrity ring. For example, the ring of polynomials with integer coefficients is an integrity ring, as is the ring of real polynomials in two variables.
- The ring of all real numbers of the form with integers is an integrity ring because it is a partial ring of . In general, the whole ring of an algebraic number field is always an integrity ring.
- Is a commutative ring with 1, so is factor ring if and only an integrity ring when a prime ideal in is. The remainder class ring is an integrity ring (for ) if and only if is a prime number .
- If there is a domain (a connected open subset) in the complex numbers , the ring of holomorphic functions is an integrity ring.
- For an integrity ring and a natural number , the matrix ring is an integrity ring if and only if applies.
If and are elements of the integrity ring , then one calls a divisor of and a multiple of (and also says: divides ), if there is an element in such that . Then you write , otherwise .
The following rules of divisibility apply:
- If and , then it follows .
- Applies , then also applies to everyone , especially also .
- Applies and then applies and .
Ring elements that divide the figure 1 are called units of . The units are identical to the invertible elements and share all other elements. The set of units of is denoted by and together with the ring multiplication forms an Abelian group - the so-called unit group of . A ring element that is not a unit is called a non-unit .
A finite subgroup of the unit group of an integrity ring is always cyclic . This statement becomes wrong if one waives the freedom from zero divisors. The unit group is finite and not cyclical by itself. The statement becomes just as wrong if one maintains the zero divisor freedom, but renounces the commutativity: The quaternion group is a finite subgroup of the unit group of the zero divisor -free, but not commutative ring of quaternions and is not cyclic.
Apply and , then called and associated with each other . Two ring elements and are associated if and only if there is a unity such that .
An element is called reducible if it is a unit or a product of two (not necessarily different) non-units, otherwise it is called irreducible .
An element is called a prime element (or prime for short ) if it is neither 0 nor a unit and the following also applies: From follows or . The main ideal is then a prime ideal . Conversely, if the main ideal of a nonunity different from zero is a prime ideal, then it is prime. (The zero ideal is a prime ideal in integrity rings, the main ideals of units are already the entire ring.)
Relationship between prime and irreducible elements
Every prime element is irreducible (for this statement the zero divisor of the ring is required), but every irreducible element is not always prime. In the ring are , , and irreducible but not prime: shares, for example, not yet , but their product.
In main ideal rings and more generally in factorial rings, however, both terms are identical. Thus, in the primes usually only as a positive, irreducible elements defined. However, these elements are also prime elements, since factorial and therefore every irreducible element is prime. However, there are also the negative counterparts of the prim numbers, prim elements , which shows that the concept of the prime element is more general than the concept of the prime number.
If there is an integrity ring, then there is a smallest body that contains as a partial ring. The body is uniquely determined except for isomorphism and is called the quotient body of . Its elements have the form with The quotient field is an example of a construction with an integrity ring, in which no one (in the definition of the integrity ring) is required, only some non-zero element.
Alternatively, one can construct quotient fields via localizations of according to the zero ideal .
In the abstract, quotient bodies are defined by the following universal property :
- A quotient of a ring body , a pair of a field K and a homomorphism from according with the property that for every body with homomorphism exactly one Körperhomomorphismus with exist.
The characteristic of an integrity ring is either 0 or a prime number, because if a ring has a characteristic , then it follows (due to the fact that it is not divided by zero) either or . But this is already the definition of the characteristic (smallest with ), which is why either is or and is therefore prime. Note that an integrity ring (more precisely: the commutativity of a ring) is not absolutely necessary for this proof, a zero-divisor-free ring with 1 is sufficient.
If an integrity ring with the prime number characteristic , then the mapping is an injective ring homomorphism and is called Frobenius homomorphism . If the considered ring is finite, it is even bijective, i.e. an automorphism.
- Siegfried Bosch : Algebra (= Springer textbook ). 5th revised edition. Springer, Berlin a. a. 2004, ISBN 3-540-40388-4 , doi : 10.1007 / 978-3-540-92812-6 .
- Jens Carsten Jantzen, Joachim Schwermer : Algebra (= Springer textbook ). Springer, Berlin a. a. 2006, ISBN 3-540-21380-5 , doi : 10.1007 / 3-540-29287-X .
- Kurt Meyberg: Algebra. (= Mathematical basics for mathematicians, physicists and engineers. Part 1). Carl Hanser Verlag, Munich a. a. 1975, ISBN 3-446-11965-5 .
- Kurt Meyberg: Algebra. (= Mathematical basics for mathematicians, physicists and engineers. Part 2). Carl Hanser Verlag, Munich a. a. 1976, ISBN 3-446-12172-2 .