In Rings, Fields, and Ideals, we talked about the concept of an ideal, which we described as a subset of a ring which is closed under addition among its own elements and under multiplication by the elements of the ring. Here is a more rigorous definition, lifted verbatim from the book Algebra by Michael Artin:
An ideal of a ring
is a nonempty subset of
with these properties:
(i) is closed under addition.
(ii) If is in
and
is in
, then
is in
.
Now we show two important examples of ideals that all rings have:
The first one we will present here is called the zero ideal, which we also write as . It is the ideal consisting only of one element, which is the zero element, which we will write as
regardless of whether or not we are working in the ring of integers
. It is good to mention at this point two important properties of
. First, it is the identity element under addition and subtraction; in other words,
added to or subtracted from any other element gives back that element. Second, any number multiplied to or by
gives back
. A familiar and intuitive example of these concepts is given in the arithmetic of
.
Now to show that the set consisting of the zero element alone is an ideal, we check if the properties that define the concept of an ideal hold:
For property (i) above, we see from
and
that whenever the left hand side contains only elements from , namely only
, then the right hand also only contains elements from
, which is, again,
.
As for property (ii), this is satisfied since any element of multiplied to or by
is once again
, which is the one and only element of the set
.
Therefore is indeed an ideal.
The second example of an ideal is called the unit ideal, which we write down using the symbol . It is none other than the entire ring
itself. Obviously, since the definition of a ring requires that it be closed under addition, subtraction and multiplication, the entire ring
is an ideal of itself, but in its context as an ideal we refer to it as the unit ideal.
Notice that can be considered to be the subset of
consisting of all multiples of
and that
can be considered to be the subset of
consisting of all multiples of
. These are special cases of a more general kind of ideal, called a principal ideal. Once again we take the rigorous definition almost verbatim from Artin’s Algebra:
In any , the multiples of a particular element
form an ideal called the principal ideal generated by
. An element
of
is in this ideal if and only if
is a multiple of
, which is to say, if and only if
divides
in
.
There are several notations for this principal ideal:
.
Principal ideals are the most basic kind of ideals, but they are not the only kind. As with most of mathematics, most of the interesting stuff happens when we go beyond the basics. Examples of ideals that are not principal will be tackled in future posts. For now, we will mention and take note of the fact that in the ring , every ideal is principal. We will discuss in this post two more special cases of ideals, maximal ideals and prime ideals, and we show concrete examples in the ring
.
Ideals are sets, and one of the most basic concepts involving sets is when one set is a subset of another. A set is said to be a subset of another set
when every element of
is also an element of
. In symbols we write
or
. For example, we can say that the set of all reptiles are a subset of the set of all animals, since every reptile is also an animal. We have been using this concept implicitly (hoping that intuition will carry the day) in the definition of ideals of a ring.
When all elements of are also elements of
, and at the same time all elements of
are also elements of
, then we may say that
and
have the same elements, and that
=
. In more symbolic notation, we say that whenever both
and
, then
. Whenever we can write
but not
, then we can write
and say that
is a proper subset of
. Intuitively we can think of
as containing
and being bigger than
.
We now show examples of ideals containing other ideals. Let us stay in the ring of integers . Consider the ideal made up of integer multiples of
, i.e.
. Its elements include
Consider also the ideal . Its elements include
Not all elements are displayed (since there are an infinite number of them) but one can see that every element of is also an element of
. We can therefore say that
. But since not all elements of
are elements of
, we cannot also write
. Instead we say that
. In other words,
is a proper subset of
.
A maximal ideal is an ideal that is a proper subset of the unit ideal (the entire ring itself) but is not a proper subset of any other ideal. So the ideal
is not maximal, because it is a proper subset of the ideal
.
, however, is maximal. And so are all the principal ideals of
of the form
where
is a prime number. Any other ideal that is not of this form, for example
,
, or
is a proper subset of an ideal of this form. One may now see some sort of an analogy with prime and composite numbers, since any natural number greater than
is either a prime or a product of primes.
Speaking of primes, a prime ideal is an ideal, once again not the unit ideal (therefore also a proper subset of the unit ideal), which we will now define. Let
and
be elements of the ring
. Let their product, the element
, be one of the elements of the ideal
. If this fact ensures that either
or
is also an element of the ideal the ideal
, then we say that
is a prime ideal.
Still staying in the ring , the ideal
is not a prime ideal since
is the product of
and
and yet neither
nor
is an element of
. Once again, principal ideals of the form
where
is a prime number, are prime ideals, because the only factors of
are
and itself, and while
cannot be in
(or else it would be the unit ideal), certainly
is in
. Therefore all maximal ideals in
are also prime ideals.
There is, however, one prime ideal in which is not a maximal ideal. It is the zero ideal
. It is a prime ideal since the only factor of
is itself, and it is certainly an element (in fact the only element) of
. It is not, however, a maximal ideal since its only element, the integer
, is also an element of every other ideal in
; therefore, the ideal
is a proper subset of every other ideal and is not maximal. The prime ideals in
are those of the form
where
is a prime number, i.e. the maximal ideals, as well as the zero ideal
.
References:
Algebra by Michael Artin
Pingback: Vector Spaces, Modules, and Linear Algebra | Theories and Theorems
Pingback: Presheaves | Theories and Theorems
Pingback: More Category Theory: The Grothendieck Topos | Theories and Theorems
Pingback: Basics of Algebraic Geometry | Theories and Theorems
Pingback: Algebraic Numbers | Theories and Theorems
Pingback: Localization | Theories and Theorems