Let R be a ring, and let I be a (two-sided) ideal. Considering just the operation of addition, R is a group and I is a subgroup. In fact, since R is an abelian group under addition, I is a {\it normal} subgroup, and the quotient group is defined. Addition of cosets is defined by adding coset representatives:
The zero coset is , and the additive inverse of a coset is given by .
However, R also comes with a multiplication, and it's natural to ask whether you can turn into a ring by multiplying coset representatives:
I need to check that that this operation is well-defined, and that the ring axioms are satisfied. In fact, everything works, and you'll see in the proof that it depends on the fact that I is an {\it ideal}. Specifically, it depends on the fact that I is closed under multiplication by elements of R.
By the way, I'll sometimes write " " and sometimes " "; they mean the same thing.
Theorem. If I is a two-sided ideal in a ring R, then has the structure of a ring under coset addition and multiplication.
Proof. Suppose that I is a two-sided ideal in R. Let .
Coset addition is well-defined, because R is an abelian group and I a normal subgroup under addition. I proved that coset addition was well-defined when I constructed quotient groups.
I need to show that coset multiplication is well-defined:
As before, suppose that
Then
( , because I is an ideal; hence .) Therefore, coset multiplication is well-defined.
Verification of the ring axioms is easy but tedious: It reduces to the axioms for R.
For instance, suppose I want to verify associativity of multiplication. Take . Then
(Notice how I used associativity of multiplication in R in the middle of the proof.) The proofs of the other axioms are similar.
Definition. If R is a ring and I is a two-sided ideal, the quotient ring of R mod I is the group of cosets with the operations of coset addition and coset multiplication.
Proposition. Let R be a ring, and let I be an ideal
(a) If R is a commutative ring, so is .
(b) If R has a multiplicative identity 1, then is a multiplicative identity for . In this case, if is a unit, then so is , and .
Proof. (a) Let . Since R is commutative,
Therefore, is commutative.
(b) Suppose R has a multiplicative identity 1. Let . Then
Therefore, is the identity of .
If is a unit, then
Therefore, .
Example. ( A quotient ring of the integers) , the set of even integers, is an ideal in . Form the quotient ring . Here are some cosets:
But two cosets and are the same exactly when a and b differ by an even integer. Every even integer differs from 0 by an even integer. Every odd integer differs from 1 by an even integer. So there are really only two cosets (up to renaming): and .
Here are the addition and multiplication tables:
You can see that is isomorphic to !
In general, is isomorphic to . What's the difference? The difference is that in I write and ; in I abuse notation and write 0 and 1. The elements of the quotient ring are cosets --- remember that each coset is a subset of the original ring! --- while the elements of are "single elements" (though in a sense they also stand for congruence classes).
Example. ( A quotient ring of a polynomial ring) denotes the ring of polynomials with coefficients in .
The constant polynomials are 0 and 1.
The polynomials of degree 1 are x and .
The polynomials of degree 2 are , , , and .
In general, if , there are polynomials of degree n in .
The set consists of all multiples of by elements of . Here are some elements of :
(In the last case, the middle term is 0 because multiples of 2 are 0 in .)
is an ideal in .
is in .
If , then its additive inverse is in as well.
If , then
Finally, if and , then
Form the quotient ring . Cosets look like . Here are some cosets:
You add and multiply cosets by adding and multiplying representatives:
Remember that multiples of equal 0 in the quotient ring. Thus,
This shows that is a zero divisor in the quotient ring .
Again, since multiples of equal 0 in the quotient ring,
At the moment, this may seem like a lot of meaningless symbol manipulation. However, the same idea is used to construct the complex numbers from the real numbers.
The next result is true for group maps, and I could cite the group map version as a quick proof; however, I'll write the proof out to remind you of how it goes.
Lemma. Let be a ring map. is injective if and only if .
Proof. Suppose is injective, and let . This means . But , so by injectivity. Therefore, .
Conversely, suppose . Suppose . Then , so . But , so , and hence . This shows is injective.
Lemma. Let R be a ring, I a two-sided ideal. Define by . Then is a surjective ring map, and .
Proof. preserves addition:
is also preserves multiplication:
Therefore, is a ring map.
If , then . Hence, is surjective.
Finally, suppose . Then (remember that I is the zero element of ), i.e. . By an earlier remarks, . This proves .
Conversely, suppose . Then , so . This means , so . Hence, .
The map is called the canonical quotient map, or the canonical projection map.
I showed earlier that the kernel of a ring map is a two-sided ideal. The last lemma shows that every two-sided ideal is the kernel of at least one ring map. It follows that ideals are exactly the subsets of rings which are kernels of ring maps. This is one reason why ideals are so important in ring theory.
The next result is the analog of the Universal Property of the Quotient for groups. I'll prove it from scratch, even though I could save some writing by citing the result for groups.
Theorem. (Universal Property of the Quotient) Let be a ring map, and let . There is a unique ring map such that the following diagram commutes:
To say that the diagram commutes means that if you follow that arrows around the diagram in the two possible ways, you get the same thing.
Proof. Define by
I first need to show that is well-defined (independent of the choice of the coset representative r). Suppose . This means by an earlier remark that for some . Then
( because .) This proves that is well-defined.
Note that
Therefore, makes the diagram commute.
Finally, I need to verify that is a ring map.
The Universal Property of the Quotient tells you how to construct a ring map that starts in a quotient ring and ends in some other ring S. It says: First construct a ring map which sends I to 0 --- i.e. such that . The Universal Property then produces a map automatically.
The point is that it's usually easy to check that a map you're defining sends an ideal I to 0. It's messier to verify that a map is well-defined, in the sense above. The proof of the Universal Property has done the verification of well-definedness once and for all, so you should never have to do it again. The Universal Property is the right way to define a map out of a quotient ring.
As you'd expect, the First Isomorphism Theorem for groups has an analog for rings. I'll prove this from scratch as well; you might try to write a shorter proof, citing the First Isomorphism Theorem for groups.
Theorem. (The First Isomorphism Theorem) Let be a ring map. There is an isomorphism such that the following diagram commutes:
Proof. is produced via the Universal Property of the Quotient, so it is a ring map which makes the diagram commute. I only need to show it's bijective.
If , then . Hence, is surjective.
I will show is injective by showing . Since the zero element of is , this amounts to saying that .
Take . This means that , or by definition of . But then , so . Hence, , is injective, and therefore is an isomorphism.
Example. ( Applying the First Isomorphism Theorem) Consider the ring and the ideal .
There is a ring map given by
That is, evaluates the polynomial f at 1. It is routine to verify that is a ring map. Moreover, for all , so is surjective.
Obviously . Conversely, suppose . Write . Then
Therefore, , and
But for all , so . Therefore, , and .
Since , the First Isomorphism Theorem gives
Copyright 2008 by Bruce Ikenaga