Ring Theory
Ring Theory
September 4, 2018
Contents
0 Review 1
0.1 Groups . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1 Ring Theory 5
1.1 Rings . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.2 Subrings . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
1.4 Fields . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
1.5 Isomorphism . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
2 Ring of Polynomials 39
2.1 Polynomials . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
3 Quotient Rings 57
4 Field Extension 79
i
ii CONTENTS
0 Review
Definition 0.1.1
• If a and b are two elements in S such that b ∗ a = e = a ∗ b, then we say that b is the
inverse of a in S with respect to ∗.
Remark 0.1.1
In a set S with some operation ∗, we write a−1 for the multiplicative inverse so that aa−1 =
e = a−1 a. While, we write −a for the additive inverse with a + (−a) = O = (−a) + a.
Definition 0.1.2
A group (G, ∗) is a set G closed under the operation ∗ satisfying the following conditions:
G1 : ∗ is associative.
1
2 Chapter 0. Review
Definition 0.1.3
Theorem 0.1.1
If a, b ∈ Z with b > 0, then there exist unique integers (quotient) q and (remainder) r such
that
a = b · q + r; 0 ≤ r < b.
Notation:
For any integers m and n, we write (m, n) and [m, n] to denote their greatest common
divisor and least common multiple, respectively.
Two integers m and n are said to be relatively prime (or coprime) if (m, n) = 1. For instance,
4 and 9 are coprime but 4 and 8 are not.
Definition 0.1.4
Theorem 0.1.2
The group Zm × Zn ≈ Zmn iff (m, n) = 1. Moreover, for any n ∈ Z+ , there is a cyclic group
of order n and each cyclic group of order n is isomorphic to (Zn , +).
Note that Z2 × Z4 is not cyclic and it is not isomorphic to Z8 since (2, 4) = 2 6= 1. While Z2 × Z3
is a cyclic group isomorphic to Z6 .
Remark 0.1.2
• If G is a cyclic group, then G is an abelian group. The converse is not true in general,
for instace Z2 × Z2 (The Klein 4-group) is abelian group which is not cyclic.
1 Ring Theory
Definition 1.1.1
A ring (R, +, ·) is a set R together with two (binary) operations + and ·, which are called
addition and multiplication, defined on R such that:
Remark 1.1.1
We note that the group formed by R with addition, namely (R, +), is referred to as the
additive group of R. Its identity 0 is the zero of R, and the additive inverse for each a ∈ R,
is denoted by (−a).
Definition 1.1.2
5
6 Chapter 1. Ring Theory
Theorem 1.1.1
Theorem 1.1.2
1. 0a = a0 = 0. 3. (−a)(−b) = ab.
Proof:
Example 1.1.1
Each of the set (Z, +, ·), (2Z, +, ·), (Q, +, ·), (R, +, ·), and (C, +, ·) are commutative rings.
Solution:
We only show that Z is a commutative ring. Note that (Z, +) is an abelian group. Also,
(a b) c = a (b c) for all a, b, c ∈ Z. That is · is associative on Z. Finally, for each a, b, c ∈ Z,
we have
a (b + c) = ab + ac & (a + b) c = ac + bc.
Example 1.1.2
Solution:
We first show that (Zn , ⊕) is an abelian group. This part is an exercise for YOU.
Note that for any [a], [b], [c] ∈ Zn , we have:
([a] [b]) [c] = [ab] [c] = [(ab)c] = [a(bc)] = [a] [bc] = [a] ([b] [c]),
[a] ([b] ⊕ [c]) = [a] ([b + c]) = [a(b + c)] = [ab + ac]
where the distribution laws are hold in Z. The proof of right distribution law is similar.
Moreover, [a] [b] = [ab] = [ba] = [b] [a] since ab = ba in Z. Therefore, is commutative
in Zn , and hence (Zn , ⊕, ) is a commutative ring.
Example 1.1.3
for f, g ∈ F and for any x ∈ R. Show that F is a commutative ring with respect to these
addition and multiplication operations.
Solution:
G1 : + is associative on F:
[(f + g) + h](x) = [f + g](x) + h(x) = [f (x) + g(x)] + h(x) = f (x) + [g(x) + h(x)]
= f (x)[(gh)(x)] = [f (gh)](x).
Moreover, (f g)(x) = f (x)g(x) = g(x)f (x) = (gf )(x). Therefore, · is associative and commu-
tative on F.
• We now prove the left distribution law:
Definition 1.1.3
If R and S are two rings, then the Cartesian product R × S = {(r, s) : r ∈ R and s ∈ S},
where for any (r1 , s1 ), (r2 , s2 ) ∈ R × S, we have
Example 1.1.4
Solution:
Therefore, (R × S, +) is a group.
• We now show that · is associative on R × S. Note that · is associative on R and S.
[(r1 , s1 )(r2 , s2 )](r3 , s3 ) = (r1 r2 , s1 s2 )(r3 , s3 ) = ((r1 r2 )r3 , (s1 s2 )s3 ) = (r1 (r2 r3 ), s1 (s2 s3 ))
• We now prove the left distribution law: Note that left distribution law hold on R and S.
Theorem 1.1.3
Solution:
= a2 − ab + ba − b2 .
Exercise 1.1.1
Show that (Mn (R), +, ·) is a ring, where Mn (R) is the set of all n × n matrices with real
entries. The same result can be proved for Mn (Z) and Mn (Q).
Exercise 1.1.2
√ n √ o
Let R = Z[ 2] = a + b 2 : a, b ∈ Z . Then show that:
Let F deonte all the functions on R. Define (f + g)(x) = f (x) + g(x), and (f ◦ g)(x) = f (g(x))
for f, g ∈ F and for any x ∈ R. Show that (F, +, ◦) is not a ring.
Let E denote the set of even integers. Show that with the usual addition and with multipli-
cation defined by m ∗ n = 12 mn, E is a commutative ring. Is there a unity.
Show that (a + b)2 = a2 + 2ab + b2 for all a and b in a ring R iff R is commutative.
Show that if A is an abelian group with addition as the operation, and an operation ∗ is
defined on A by a ∗ b = 0 for all a, b ∈ A, then (A, +, ∗) is a commutative ring.
12 Chapter 1. Ring Theory
Definition 1.2.1
For example, nZ is a subring of Z, even integer is a subring of Z. But the odd integer is not a
subring of Z. Moreover, the set {0, 2, 4} and {0, 3} are two subrings of Z6 .
Theorem 1.2.1
Proof:
Example 1.2.1
Let F denote the ring of all functions f : R → R, where (f + g)(x) = f (x) + g(x) and
(f g)(x) = f (x)g(x) for all f, g ∈ F for each x ∈ R. Show that S = {f ∈ F : f (1) = 0} is a
subring of F.
Solution:
Clearly,
1.2. Subrings 13
Therefore, S is a subring of F.
Example 1.2.2
The center of a ring R is defined to be Z(R) = {x ∈ R : ax = xa for all a ∈ R}. Show that
Z(R) is a subring of R.
Solution:
Exercise 1.2.1
a b
Decide whether S = : a, b, c ∈ Z is a subring of M2 (Z). How about T =
0 c
a b
: a, b, c ∈ Z?
c 0
Exercise 1.2.2
a a + 2b
Decide whether S = : a, b ∈ Z is a subring of M2 (Z).
a + 2b b
Exercise 1.2.3
a b
Show that S = : a, b ∈ R is a subring of M2 (R). Try to get back to this problem
−b a
(after the isomorphism section) to show that S ≈ C.
Exercise 1.2.4
Prove that if C denotes any collection of subrings of a ring R, then the intersection of all of
the rings in C is also a subring of R. What about the union of subrings of R?
1.3. Integral Domains 15
Note that, in the usual system of numbers, if ab = 0, then we conclude that either a = 0 or b = 0.
This is not the case, in general, in rings.
Definition 1.3.1
For example, Z has no zero divisors, while [2] and [3] are two zero divisors in Z6 .
Theorem 1.3.1
In the ring Zn , the zero divisors are precisely those elements that are not coprime to n.
Proof:
n m m
Let 0 6= m ∈ Zn , and let (m, n) = d 6= 1. Then m d
= d
n = 0 as d
n is a multiple of
n
n. Thus, m d
= 0 in Zn , while m, nd 6= 0. Thus, m is a zero divisor in Zn .
On the other hand, let m ∈ Zn with (m, n) = 1. If for s ∈ Zn , ms = 0, then n | ms. But
since (m, n) = 1, we have n | s and hence s = 0 in Zn .
Corollary 1.3.1
As an example, the zero divisors in Z12 are S = {2, 3, 4, 6, 8, 9, 10} since (12, i) 6= 1 for any i ∈ S.
Furthermore, 1, 5, 7, and 11 are units in Z12 .
Definition 1.3.2
A commutative ring D with unity e 6= 0 and no zero divisors is called an integral domain.
Consequently, the set of nonzero elements in D is closed under multiplication.
16 Chapter 1. Ring Theory
Example 1.3.1
Theorem 1.3.2
Proof:
” ⇒ ”: Assume that D is an integral domain. Then D has no zero divisors and hence for
a 6= 0, ab = ac implies ab − ac = a(b − c) = 0 which impies that b − c = 0. That is b = c.
Thus the left cancellation law holds (similarly, we can use right cancellation law).
” ⇐ ”: Assume that the left cancellation law holds in D. Then we only need to show that
D has no zero divisors. Assume that a 6= 0 and ab = 0. Then ab = 0 = a0. By the left
cancellation law, b = 0. Thus D has no zero diviros and hence it is an integral domain.
Remark 1.3.1
An integral domain is a commutative ring with unity e 6= 0 satisfying the cancellation laws.
Theorem 1.3.3
Proof:
Theorem 1.3.4
Proof:
Example 1.3.2
√ n √ o
Show that Z 2 = a + b 2 : a, b ∈ Z is an integral domain.
Solution:
√
Z 2 is an integral domain since it is a subring of R which is an integral domain.
Example 1.3.3
Let F denote the ring of all functions f : R → R, where (f + g)(x) = f (x) + g(x) and
(f g)(x) = f (x)g(x) for all f, g ∈ F for each x ∈ R. Show that F is not an integral domain.
Solution:
Let f, g ∈ F defined by
1, if x = 0 1, for x = 1
f (x) = , and g(x) =
0,
otherwise 0,
otherwise
Then, f (x)g(x) = 0 for all x, yet f (x) 6= O(x) 6= g(x). Thus F is not an integral domain.
Example 1.3.4
Example 1.3.5
Show that a zero divisor a in a commutative ring R with unity can have no multiplicative
inverse.
Solution:
Let a ∈ R be a zero divisor. Then there is b ∈ R such that b 6= 0 and ab = 0. Assume that
a−1 exists in R, then a−1 ab = a−1 0 = 0, and hence b = 0 which is not the case. Thus a−1
does not exist.
Example 1.3.6
1 2
Show that D = is a zero divisor in M2 (Z).
2 4
Solution:
a b 2 0
Simply find a matrix A = such that AD = 0 or DA = 0. Thus, if A = , we
c d −1 0
have DA = 0.
Example 1.3.7
Solution:
Example 1.3.8
Solution:
Example 1.3.9
Solution:
Exercise 1.3.1
Exercise 1.3.2
Exercise 1.3.3
Let p be a prime. Show that in the ring Zp , we have (a + b)p = ap + bp for all a, b ∈ Zp .
1.4. Fields 21
Definition 1.4.1
Remark 1.4.1
(F, +, ·) is a field if: (F, +) is an abelian group with identity 0, (F ∗ , ·) is an abelian group
with identity e and the distribution law a(b + c) = ab + ac holds for all a, b, c ∈ F .
Example 1.4.1
Solution:
Example 1.4.2
Let R be a commutative ring. Show that if a and b are nilpotent elements in R, then so is
a + b.
Solution:
We have an = 0 and bm = 0 for some n, m ∈ Z+ . Hence, using the binomial expansion (valid
in commutative rings), we have
m+n
!
m+n
X m + n i m+n−i
(a + b) = a b .
i=0 i
Example 1.4.3
Let R be a commutative ring. Show that the set of all idempotent elements in R is closed
under multiplication.
Solution:
Example 1.4.4
(Z, +, ·) is not a field since for instance 2 has no multiplicative inverse in Z. However, Q, R,
and C are fields since each nonzero element a has its multiplicative inverse a1 .
Note that an integral domain (R, +, ·) has no zero divisors and hence its set of nonzero elements,
say S, is closed under multiplication. Also, multiplication is associative on S since S ⊆ R. R has its
unity e 6= 0 and hence e ∈ S. Therefore, (S, ·) is a group unless there is a ∈ S which is not a unit.
Theorem 1.4.1
Proof:
Let a, b ∈ F and suppose that a 6= 0. Then if ab = 0, we have a−1 (ab) = a−1 0 = 0 which
implies that b = 0. Thus, there is no zero divisors in F and hence it is an integral domain.
Theorem 1.4.2
Proof:
1.4. Fields 23
Theorem 1.4.3
Proof:
If Zp is a field, then it is an integral domain (by Theorem 1.4.1) and hence p is prime by
Theorem 1.3.3. On the other hand, if p is a prime, then Zp is an integral domain by Theorem
1.3.3. Since Zp is finite, Theorem 1.4.2 implies that Zp is a field.
Definition 1.4.2
Theorem 1.4.4
Proof:
divisors and hence K has none as well. The last condition implies that each nonzero element
of K has an inverse. Therefore, K is a field.
Example 1.4.5
√ n √ o
Consider the integral domain Z 2 = a + b 2 : a, b ∈ Z .
√ −1 √
1. Compute (−2 + 2) in Z 2 .
√
2. Is Z 2 a field? Explain.
√ n √ o
3. Is Q 2 = a + b 2 : a, b ∈ Q a field? Explain.
Solution:
√ √ √ √
1. Consider −2 + 2 a + b 2 = 1 + 0 2 (the unity of Z 2 ). Thus, −2a + 2b = 1
and a − 2b = 0 which implies that a = −1 and b = − 21 . Therefore,
√ −1
1√
√
(−2 + 2) = −1 − 2 ∈6 Z 2 .
2
√ √ √
2. Clearly Z 2 is not a field as −2 + 2 has no inverse in Z 2 .
√
3. Yes. The unity is 1 and the inverse of a nonzero element a + b 2 is computed as
√
√ −1 1 1 a−b 2 a −b √
a+b 2 = √ = √ = √ = 2 + 2,
a+b 2 a+b 2 a−b 2 a − 2b2 a2 − 2b2
√
which is indeed in Q 2 .
1.5. Isomorphism 25
Definition 1.5.1
Note that the operation a + b and ab are both in R while θ(a) + θ(b) and θ(a)θ(b) are in S.
Remark 1.5.1
Definition 1.5.2
Example 1.5.1
Show that if R and S are two rings, θ : R → S is an isomorphism, and e is the unity of R,
then θ(e) is the unity of S.
Solution:
Let b ∈ S. Then there is a ∈ R with θ(a) = b. Then, b = θ(a) = θ(ae) = θ(a)θ(e) = bθ(e). In
a similar way, we can prove that b = θ(e)b. Therefore, θ(e) is the unity of S.
Example 1.5.2
Solution:
Remark 1.5.2
In order to show that two rings are isomorphic, we find an isomorphism mapping from one
to the other.
On the other hand, to show that two rings are not isomorphic, it is enough to find a property
that is preserved by isomorphism and in the same time the two rings do not share it. Examples
for such properties are commutativity, existance of unity, and some other properties we will
introduce later.
Example 1.5.3
Solution:
Definition 1.5.3
Let R be a ring. If there is a positive integer n such that na = 0 for each a ∈ R, then the least
such integer is called the characteristic of R. Otherwise, R is said to have characteristic 0.
Theorem 1.5.1
Remark 1.5.3
Theorem 1.5.2
Prove that if R and S are isomorphic rings and R is an integral domain, then S is an integral
domain as well.
Solution:
xy = θ(a)θ(b) = θ(ab) = 0S .
Prove that if R and S are isomorphic rings, then their characteristic are equal.
Solution:
Prove that if R and S are isomorphic rings and R is commutative, then S is commutative as
well.
Prove that if R and S are isomorphic rings and R is a field, then S is a field as well.
Recall that an integral domain (e.g. Z) is not a field (e.g. Q) if it has an element with no multiplicative
inverse (e.g. 2 in Z).
In this section, we construct (show how) that every integral domain can be regarded as being
contained in a certain (minimal) field, a field of quotients of the integral domain.
The construction procedure of a field of quotient of an integral domain is exactly the same as the
construction of the rational numbers (field) from the integer numbers (integral domain).
? The Construction
Let D be a given integral domain and consider D × D = {(a, b) : a, b ∈ D}. Here (a, b) is representing
a/b. That is if D = Z, (2, 3) represents 23 . Let S ⊆ D × D∗ given by S = {(a, b) : a, b ∈ D, b 6= 0}.
This is to ensure that elements like (2, 0) is not in F . But then (2, 3) and (4, 6) are representing the
same element in S.
Definition 1.6.1
Two elements (a, b) and (c, d) in S = {(x, y) ∈ D × D∗ } are said to be equivalent, denoted
(a, b) ∼ (c, d), iff ad = bc.
Lemma 1.6.1
Proof:
• transitive: Let (a, b) ∼ (c, d) and (c, d) ∼ (m, n) in S. Then ad = bc and cn = dm.
Thus
(an)d = (ad)n = (bc)n = b(cn) = b(dm) = (bm)d.
We remark that [(a, b)] denotes the equivalence class of (a, b) in S. Then, F = {[(a, b)] : (a, b) ∈ S}.
a
That is if D = Z, then [(a, b)] is viewed as b
∈ Q.
Lemma 1.6.2
Let [(a, b)] and [(c, d)] be any two elements in F , then the equations
[(a, b)] + [(c, d)] = [(ad + bc, bd)] and [(a, b)][(c, d)] = [(ac, bd)],
[(a, b)] + [(c, d)] = [(ad + bc, bd)] = [(cb + da, db)] = [(c, d)] + [(a, b)]
([(a, b)] + [(c, d)]) + [(m, n)] = [(ad + bc, bd)] + [(m, n)] = [((ad + bc)n + (bd)m, (bd)n)]
3. 0 = [(0, 1)] is the additive zero in F : Clearly [(a, b)] + [(0, 1)] = [(a, b)] = [(0, 1)] + [(a, b)].
4. [(a, b)]−1 = [(−a, b)] in F : Clearly [(a, b)]+[(−a, b)] = [(ab − ab, b2 )] = [(0, b2 )], where [(0, b2 )] =
[(0, 1)] as equivalence classes.
1.6. The Field of Quotients of Integral Domain 31
Example 1.6.1
Solution:
We simply show that (a, −b) ∼ (−a, b). But this is true since ab = (−a)(−b).
[(a, b)]([(c, d)] + [(m, n)]) = [(a, b)][(c, d)] + [(a, b)][(m, n)].
[(a, b)][(c, d)] = [(ac, bd)] = [(ca, db)] = [(c, d)][(a, b)].
9. For each 0 6= [(a, b)] ∈ F , we have [(a, b)]−1 = [(b, a)]: If 0 6= [(a, b)] ∈ F , then [(a, b)] 6=
[(0, 1)]. That is a, b 6= 0. Then
Therefore, F is a field.
Theorem 1.6.1
Proof:
Clearly, θ(a + b) = [(a + b, 1)] = [(a · 1 + 1 · b, 1)] = [(a, 1)] + [(b, 1)] = θ(a) + θ(b) and
θ(ab) = [(ab, 1)] = [(a, 1)][(b, 1)] = θ(a)θ(b). Thus θ is a homomorphism onto θ(D) (the onto
part is clear by the definition of θ(D)).
To show that θ is 1-1, we assume that θ(a) = θ(b) which implies that [(a, 1)] = [(b, 1)]. That
is (a, 1) ∼ (b, 1) which implies that a · 1 = b · 1. Thus a = b and hence θ is 1-1 and therefore
it is an isomorphism.
If D is an integral domain, then there exists a field F , the field of qoutients of D, such that:
Note that we say that an integral domain D can be embedded (or enlarged) to a field F . This
field is the field of quotients of D.
Example 1.6.2
Solution:
Since c2 + d2 ∈ Z, then the complex number reduces to one of the form x + yi where x, y ∈ Q.
Thus F = {x + yi : x, y ∈ Q}.
1.6. The Field of Quotients of Integral Domain 33
Example 1.6.3
n √ o
Describe the field of quotients F of the integral domain D = a + b 2 : a, b ∈ Z of R.
”Describe” here means give the elements of R that make up the field F .
Solution:
√
a+b 2
Looking for elements of the form √ where a, b, c, d ∈ Z. Thus
c+d 2
√ √ √ √
a+b 2 c−d 2 a + b 2 c − d 2
√ · √ = .
c+d 2 c−d 2 c2 − 2d2
n √ o
Since c2 − 2d2 ∈ Z, we get F = x + y 2 : x, y ∈ Q .
34 Chapter 1. Ring Theory
Math-261
Recall: (Z∗p , ) is a group off p is a prime. Note that Z∗p = {1, 2, · · · , p − 1} with Z∗p = p − 1.
Moreover, the order of element a in a group G is the smallest positive integer n such that
an = e (if such n exists).
Corollary 1.7.1
Example 1.7.1
Solution:
By Fermat’s Little Theorem, 26 ≡ 1 (mod 7). Thus 214 = ((26 )2 )22 ≡ 12 · 4 ≡ 4 (mod 7).
Example 1.7.2
Solution:
Example 1.7.3
Solution:
1.7. Fermat’s and Euler’s Theorem 35
We simply show that 211,213 − 1 6≡ 0 (mod 11), or that 211,213 6≡ 1 (mod 11). Note that
11, 213 = 10 · 1, 121 + 3. Thus
Definition 1.7.1
Let n be a positive integer. Let φ(n) be defined as the number of positive integers less than
or equal to n and relatively prime to n.
Remark 1.7.1
By Theorem 1.3.1, φ(n) is the number of elements in Zn that are not zero divisors. It is called
the ”Euler phi-function”.
Definition 1.7.2
Let Gn denote the set of nonzero elements of Zn that are not zero divisors. That is Gn =
{k : 1 ≤ k ≤ n and (k, n) = 1}.
Theorem 1.7.2
Math-261
Recall: φ(p) = p−1 for any prime number p. For any positive integer n, with n = pe11 pe22 · · · pekk
where pe11 < pe22 < · · · < pekk are primes and e1 , e2 , · · · , ek are positive integer, we have
! ! !
1 1 1
φ(n) = n 1 − 1− ··· 1 − .
p1 p2 pk
Example 1.7.4
Solution:
36 Chapter 1. Ring Theory
1 1 1 4
φ(10) = 10 1 − 1− = 10 = 4 , and
2 5 2 5
1 1 1 4
φ(40) = 40 1 − 1− = 40 = 16 , and
2 5 2 5
Theorem 1.7.3
Example 1.7.5
Solution:
Note that 12 is not a prime, but (7, 12) = 1. Hence 7φ(12) ≡ 1 (mod 12). But, φ(12) =
1 1
12 1 − 2
1− 3
= 4. Therefore, 7φ(12) ≡ 1 (mod 12) and hence x = 1.
Example 1.7.6
Solution:
Clearly 17 ≡ 5 (mod 12). Thus, we consider 523 ≡ x (mod 12). Note that 12 is not a prime,
but (5, 12) = 1 and by Euler’s Theorem, 5φ(12) ≡ 54 ≡ 1 (mod 12). Thus,
5
523 ≡ 520 53 ≡ 54 53 ≡ 1 · 25 · 51 ≡ 1 · 5 ≡ 5 (mod 12).
Thus, x = 5.
Example 1.7.7
Use Fermat’s Little Theorem to find the remainder of 347 when it is divisible by 23.
Solution:
1.7. Fermat’s and Euler’s Theorem 37
2
347 ≡ 322 · 33 12 · 27 ≡ 4 (mod 23).
38 Chapter 1. Ring Theory
Chapter
2 Ring of Polynomials
Definition 2.1.1
where ai ∈ R and ai = 0 for all but a finite number of values of i. The set of all polynomials
in x over R will be denoted by R[x].
The ai are the coefficients of f (x). The degree of f (x) is the largest value of i for which
ai 6= 0. If all ai = 0, then the degree of f (x) is undefined, and f (x) is the zero element of R.
An element of R of degree 0 is a constant polynomial, f (x) = a ∈ R.
Remark 2.1.1
f (x) = a0 + a1 x + a2 x2 + · · · + an xn , (2.1.2)
and omit all terms 0xk for any k > n. In that case, we say that an is the leading coefficient
of f (x). If furthermore an = 1, we say that f (x) is a monic polynomial. For instance,
x3 − x + 1, 1 + 4x2 , 5, 2 + x are all examples of polynomials.
f (x) + g(x) = c0 + c1 x + c2 x2 + · · · + ck xk ,
f (x)g(x) = c0 + c1 x + c2 x2 + · · · + ck xk ,
39
40 Chapter 2. Ring of Polynomials
i
X
where k = n + m and di = a0 bk + a1 bk−1 + a2 bk−2 + · · · + ak b0 = aj bi−j . Note that if R is
j=0
i
X i
X
not commutative, we get aj bi−j 6= bj ai−j .
j=0 j=0
Example 2.1.1
Solution:
f (x)g(x) = (1 + 0 · x + 1 · x2 )(3 + 1 · x)
= 3 + x + 3x2 + x3 .
Theorem 2.1.1
The set R[x], polynomial rings, is a ring with respect to addition and multiplication defined
above.
Example 2.1.2
Solution:
• (f (x))2 = (1 + x)(1 + x) = 1 + 2x + x2 = 1 + x2 .
• 2f (x) = f (x) + f (x) = (1 + x) + (1 + x) = 2 + 2x = 0.
2.1. Polynomials 41
Remark 2.1.2
Note that R[x], Q[x], Z[x], Z3 [x] are all examples of polynomial rings. Moreover,
Example 2.1.3
Prove that if p is a zero divisor for every element of R, then it is a zero divisor for every
element of R[x].
Solution:
Let p be a zero divisor for every element of R. Then for any r ∈ R, we have pr = 0. Thus,
for any f (x) = a0 + a1 x + · · · + an xn ∈ R[x] of degree n, we have
Example 2.1.4
Prove that if R is a commutaive ring with unity e. Then, R is an integral domain iff R[x] is
an integral domain.
Solution:
Note that if R is a commutative ring with unity e, then R[x] is also a commutative ring with
unity e.
” ⇒ ”: Assume that R is an integral domain. Let f (x) = a0 +· · ·+an xn , g(x) = b0 +· · ·+bm xm
be any two nonzero elements in R[x] so that an , bm 6= 0. Then the leading coefficient of
42 Chapter 2. Ring of Polynomials
Exercise 2.1.1
Find the sum and the product of the following polynomials in the given polynomial ring:
Exercise 2.1.2
There are four different polynomials of degree 2 in Z2 [x]. List them all.
44 Chapter 2. Ring of Polynomials
If f (x) and g(x) are polynomials over a field F , with g(x) 6= 0, then there exist unique
polynomials q(x) and r(x) over F such that
f (x) = g(x) q(x) + r(x), with r(x) = 0 or deg(r(x)) < deg (g(x)). (2.2.1)
The polynomials q(x) and r(x) are called the quotient and remainder, respectively, in the
division of f (x) by g(x).
Example 2.2.1
Let f (x) = 2x4 + x2 − x + 1 and g(x) = 2x − 1 be two polynomials over R. Find q(x) and
r(x) using the Division Algorithm.
Solution:
x3 + 12 x2 + 3
4
x − 1
8
2x − 1 2x4 + x2 − x + 1
2x4 − x3
x3 + x2 − x + 1
x3 − 12 x2
3 2
2
x − x + 1
3 2
2
x − 34 x
− 41 x + 1
− 14 x + 1
8
7
8
Remark 2.2.1
Example 2.2.2
Determine q(x) and r(x) when applying the Division Algorithm for: f (x) = 3 + x − 3x4 and
g(x) = x − 2 in Z5 [x]. Find f (2).
Solution:
2x3 + 4x2 + 3x + 2
x − 2 −3x4 + x + 3
2x4 − 4x3
4x3 + x + 3
4x3 − 3x2
3x2 + x + 3
3x2 − x
2x + 3
2x − 4
2
If f (x) ∈ F [x] and c ∈ F , then the remainder in the division of f (x) by x − c is f (c).
Proof:
Note that deg(x − c) = 1. By the Division Algorithm, the remainder in the division of f (x)
by (x − c) must be either 0 or of degree 0. Thus, for some q(x) ∈ F [x],
Definition 2.2.1
If f (x), g(x) ∈ F [x], with g(x) 6= 0, then f (x) is divisible by g(x) over F if f (x) = g(x)q(x)
for some q(x) ∈ F [x]. That is, the remainder in the Division Algorithm is zero. Furthermore,
we say that g(x) is a factor of f (x) over F .
Definition 2.2.2
Example 2.2.3
Use the Remainder Theorem to determine the remainder when f (x) = 2x5 − 3x3 + 2x + 1 is
divided by x − 2 in Z7 [x].
Solution:
Example 2.2.4
Solution:
Example 2.2.5
Use the Factor Theorem to construct a polynomial f (x) ∈ Z5 [x] such that every element of
Z5 is a root for f (x).
Solution:
Note that Z5 is a cyclic group of order 5. Thus, [a]6 = [a] for any [a] ∈ Z5 . That is
f (a) = a5 − a = 0 for any a. Therefore, every a ∈ Z5 is a root for f (x) = x5 − x.
Theorem 2.2.3
A nonzero polynomial f (x) ∈ F [x] of degree n can have at most n roots in a field F .
Proof:
By the Factor Theorem, if a1 ∈ F is a root of f (x), then f (x) = (x − a1 )q1 (x), where q1 (x)
is of degree n − 1. A root a2 ∈ F of q1 (x) implies that f (x) = (x − a1 )(x − a2 )q2 (x), where
q2 (x) is of degree n − 2. Continuing in this way, we get
where qr (x) has no further roots in F . Since deg(f ) = n, at most n factors x − ai can appear.
So r ≤ n. Also, if b 6= ai for i = 1, 2, · · · , r and b ∈ F , then
since F has no zero divisors and none of b − ai or qr (b) are zero by construction. Hence the
ai for i = 1, 2, · · · , r ≤ n are all zeros in F of f (x).
48 Chapter 2. Ring of Polynomials
Exercise 2.2.1
Exercise 2.2.2
Exercise 2.2.3
Determine q(x) and r(x) when applying the Division Algorithm for f (x) = x3 − 2x2 + 2 and
g(x) = x − 3 in R[x]. Find f (3).
Exercise 2.2.4
Find q(x) and r(x) when dividing f (x) = x4 − 1 by g(x) = −x2 + 2 in Q[x].
Exercise 2.2.5
Find q(x) and r(x) when dividing f (x) = 3x4 + 2x2 − 1 by g(x) = 2x2 + 4x in Z5 [x].
Exercise 2.2.6
Use the Remainder Theorem to determine the remainder when f (x) = 2x5 − 3x3 + 2x + 1 is
divided by x − 2 in R[x].
Exercise 2.2.7
Exercise 2.2.8
Exercise 2.2.9
If a(x) and b(x) are two polynomials over a field F , not both the zero polynomial, then there
is a unique polynomial d(x) over F such that
The polynomial d(x) is called the greatest common divisors of a(x) and b(x). Such a
polynomial can be computed by the Euclidean Algorithm for polynomials.
Theorem 2.3.2
If a(x) and b(x) are polynomials over a field F , not both the zero polynomial, and
(a(x), b(x)) = d(x), then there exist polynomials u(x) and v(x) over F such that d(x) =
a(x)u(x) + b(x)v(x).
Example 2.3.1
Use the Euclidean Algorithm to compute (a(x), b(x)), where a(x) = x4 − x3 − x2 + 1, and
b(x) = x3 − 1 in Q[x].
Solution:
We simply apply the Division Algorithm to compute (a(x), b(x)) by dividing a(x) by b(x):
x − 1
x4 − x3 − x2 + 1 = (x3 − 1)(x − 1) + (−x2 + x)
x3 − 1 x4 − x3 − x2 +1
3 2
x − 1 = (−x + x)(−x − 1) + (x − 1) x4 −x
−x2 + x = (x − 1)(−x). −x3 − x2 + x + 1
−x3 +1
Thus, (a(x), b(x)) = x−1. Note that x3 −1 diveded
2
−x2 + x
by −x +x results in −x−1 with a remainder x−1.
50 Chapter 2. Ring of Polynomials
Definition 2.3.1
• Two polynomial are said to be associates if f (x) = cg(x) for some nonzero elements
c ∈ F . For instance, f (x) = 6x − 4 and g(x) = 3x − 2 are associates since f (x) = 2g(x)
• A nonconstant polynomial (of degree ≥ 1) f (x) ∈ F [x] is called irreducible (or prime)
over F if f (x) cannot be expressed as a product g(x)h(x) of two polynomials in F [x] with
0 < deg g(x), deg h(x) < deg f (x). That is, if f (x) = g(x)h(x) and f (x) is irreducible,
then one of g(x) and h(x) is of zero degree and the other is an associate of f (x).
If f (x) is not irreducible, then we say that f (x) is reducible.
Theorem 2.3.3
If F is a field, a(x), b(x), p(x) ∈ F [x], p(x) is irreducible, and p(x) | a(x)b(x), then either
p(x) | a(x) or p(x) | b(x).
Proof:
Assume that p(x) - a(x), then (p(x), a(x)) = e (the unity of F ). Then there are polynomials
u(x) and v(x) such that e = p(x)u(x) + a(x)v(x). Multiplying both sides by b(x), we get
b(x) = p(x)u(x)b(x) + a(x)v(x)b(x). Since p(x) | p(x) and p(x) | a(x)b(x), we get
Corollary 2.3.1
If p(x), a1 (x), a2 (x), · · · , an (x) are polynomials over F , with p(x) irreducible and p(x) |
a1 (x) · · · an (x), then p(x) | ai (x) for some i, where i = 1, 2, · · · , n.
Each polynomial of degree at least one over a field F can be written as an element of F times
a product of irreducible polynomials (each with leading coefficient e) over F , and, except for
the order in which these irreducible polynomials are written, this can be done in only way.
2.3. Factorization of Polynomials 51
Theorem 2.3.5
Suppose that f (x) ∈ F [x] is of degree 2 or 3. Then f (x) is reducible over F iff f (x) has a
root in F .
Proof:
Then, one of g(x) or h(x) is of degree 1 taking the form x − a for some a ∈ F . By the Factor
Theorem, f (a) = 0 and hence f (x) has a root in F .
” ⇐ ”: If a ∈ F is a root of f (x), then by the Factor theorem x − a is a factor of f (x). Then
f (x) is reducible.
Example 2.3.2
Solution:
Note that f (x) is of degree 3. Thus, it is reducible over Z5 iff f (x) has a root in Z5 . Thus
and f (4) = 64 + 4 + 1 = 4 6= 0.
Example 2.3.3
Solution:
Note that f (0) = 1, f (1) = 4, f (2) = 3, f (3) = 4, and f (4) = 2. Since none of these is zero,
f (x) has no factor x − a for any a ∈ Z5 . Assume that f (x) = (x2 + ax + b)(x2 + cx + d) for
some a, b, c, d ∈ Z5 . Thus
Hence, a + c = 0 which implies that a = −c and bd = 1. Thus (b, d) = (1, 1), (2, 3), (3, 2), or
(4, 4). Also, (ad + bc) = a(d − b) = 1. Therefore, (b, d, a) = (2, 3, 1) or (3, 2, 4). But in both
cases ac + b + d = 4 6= 1. Therefore, f (x) is irreducible over Z5 .
Example 2.3.4
Solution:
We first try to find a root for f (x) in Z7 . Clearly, f (2) = 14 = 0. Thus, x − 2 is a factor for
f (x). We now use the Division Algorithm to divide f (x) by x − 2:
x2 + 2x + 6
Therefore, 2x2 − 4x
6x + 2
2 2
f (x) = (x − 2) (x + 4) = (x + 4)(x + 5) . 6x − 12
0
Example 2.3.5
Solution:
Clearly,
f (x) = x4 + 2 = x4 − 1 = (x2 − 1)(x2 + 1) = (x − 1)(x + 1)(x2 + 1).
Solution:
Theorem 2.3.7
If f (x) ∈ Z[x], then f (x) factors into a product of two polynomials of lower degrees m and n
in Q[x] if and only if it has such a factorization with polynomials of the same degrees m and
n in Z[x].
Corollary 2.3.2
Example 2.3.7
Solution:
Assume that f (x) has a zero in Q (linear factor), then f (x) has a zero m in Z that divides
+1. Thus, the only two possibilities are ±1. But f (1) = 8 and f (−1) = −8. That is f (x)
has no linear factor in Q[x].
If we assume that f (x) can be factored in two quadratic factors in Q[x], then it has a fac-
54 Chapter 2. Ring of Polynomials
Exercise 2.3.1
Use the Euclidean Algorithm to compute (f (x), g(x)), where f (x) = x3 − 3x2 + 3x − 2, and
g(x) = x2 − 5x + 6 over Q.
Exercise 2.3.2
Use the Euclidean Algorithm to compute (f (x), g(x)), where f (x) = x4 + x3 − 4x2 − 2x + 4,
and g(x) = x2 + x − 1 over Q.
Exercise 2.3.3
Exercise 2.3.4
Exercise 2.3.5
Exercise 2.3.6
Use the Euclidean Algorithm to compute (f (x), g(x)), where f (x) = x3 − 2x + 1, and g(x) =
x2 − x − 2 over Z5 .
Exercise 2.3.7
Exercise 2.3.8
Let F be a field, and f (x) ∈ F [x]. Show that f (x) is irreducible over F iff f (x + c) is
irreducible over F , for any c ∈ F . You may use a contrapositive proof in both directions.
56 Chapter 2. Ring of Polynomials
xp − 1
f (x) = = xp−1 + xp−2 + · · · + x + 1,
x−1
Exercise 2.3.10
Exercise 2.3.11
Exercise 2.3.12
Exercise 2.3.13
Show that for a prime p, f (x) = xp + a ∈ Zp [x] is not irreducible for any a ∈ Zp .
Chapter
3 Quotient Rings
Definition 3.1.1
Example 3.1.1
Solution:
Solution:
57
58 Chapter 3. Quotient Rings
Definition 3.1.2
Let θ : R → S be a ring homomorphism. The kernel of θ, ker θ, is the set of all elements
r ∈ R such that θ(r) = 0S .
Note that the kernel of ring homomorphism θ : R → S is just the kernel of θ as a homomorphism
of the additive group of the rings. Recall that ker θ is a (normal) subgroup of the additive group of
R. In rings, ker θ is forming a subring of R that is called an ideal.
Definition 3.1.3
We note that if R is a commutative ring, then the conditions ra and ar are equivalent. Moreover,
recall that I is being a subring of R means that I is being closed under multiplication and subtraction.
Thus, we get the following Theorem.
Theorem 3.1.1
1. if a, b ∈ I, then a − b ∈ I, and
2. if r ∈ R and a ∈ I, then ar ∈ I and ra ∈ I.
1
Note that Z is a subring of Q, but Z is not an ideal of Q since 1 ∈ Z and 2
∈ Q, but 1 · 12 = 1
2
6∈ Z.
1. θ(0R ) = 0S .
2. θ(−a) = −θ(a) for all a ∈ R.
3. If N is a subring of R, then θ(N ) is a subring of S.
4. If M is a subring of S, then θ−1 (M ) is a subring of R.
5. If R has a unity e, then θ(e) is unity of θ(R).
6. ker θ is a subring of R.
7. θ is one-to-one iff ker θ = {0R }.
3.1. Homomorphism of Rings and Ideals 59
Theorem 3.1.3
1. θ(R) is a subring of S.
2. ker θ is an ideal of R.
Proof:
Clearly, θ(R) is an additive group of S (From Math-261). So θ(R) is not empty, closed under
addition, and contains the negative of each of its elements.
Example 3.1.3
Example 3.1.4
Show that θ : Z6 → Z3 defined by θ([a]6 ) = [a]3 is a ring homomorphism and find its kernel.
Is the mapping f : Z3 → Z6 defined by f ([a]3 ) = [a]6 well-defined? Explain.
Solution:
Example 3.1.5
Let θ : R → S be a ring homomorphism with θ(R) 6= {0}. Show that if R has a unity e and
S has no zero divisors, then θ(e) is the unity of S.
Solution:
By Theorem 3.1.2, θ(e) is the unity of θ(R) 6= {0}. If θ(e) = 0, then for any r ∈ R we have
θ(r) = θ(re) = θ(r)θ(e) = 0 and hence θ(R) = {0} which is not the case. Then we may
assume that θ(e) 6= 0. Assume that e0 is the unity of S. Then e0 θ(e) = θ(e) = θ(e)θ(e) which
implies that (e0 − θ(e))θ(e) = 0. Since, S has no zero divisors and θ(e) 6= 0, then e0 − θ(e) = 0
and hence e0 = θ(e).
3.1. Homomorphism of Rings and Ideals 61
Exercise 3.1.1
Exercise 3.1.2
a b a c
Determine whether θ : M2 (Z) → M2 (Z) defined by θ = is a ring homomor-
c d b d
phism? If so, find its kernel.
Show that if R and S are rings, and θ : R → S is defined by θ(r) = 0S for each r ∈ R, then θ
is a ring homomorphism.
Show that if R is a ring with unity e, then every homomorphic image of R has a unity.
Exercise 3.1.7
Let R be a ring with unity e, and let I be an ideal of R. If I contains a unit u of R, then
I = R.
62 Chapter 3. Quotient Rings
Exercise 3.1.8
Exercise 3.1.9
Let θ be a homomorphism of a ring R with unity e onto a nonzero ring S. Let u be a unit in
R. Show that θ(u) is a unit in S.
3.2. More on Ideals 63
Definition 3.2.1
Let R be a commutative ring with unity e, and let a ∈ R. Then (a) is the set of all multiple
of a by elements of R. That is (a) = {ra : r ∈ R}. A set of the form (a) is an ideal of R and
this ideal is called a principal ideal.
Theorem 3.2.1
Theorem 3.2.2
Let R be a commutative ring with a ∈ R. The set (a) is an ideal of R. It is called the
principal ideal of R generated by a. Moreover, (a) is the smallest ideal of R containing a.
Proof:
1. Clearly, 0 = 0a ∈ (a) 6= φ.
2. If ra, sa ∈ (a) for some r, s ∈ R, then ra − sa = (r − s)a ∈ (a) as r − s ∈ R.
3. If ra ∈ (a) and s ∈ R, then s(ra) = (sr)a ∈ (a) as sr ∈ R. Therefore, (a) is an ideal of
R. It is clear that if I is an ideal containing a, then I must contains all multiple of a.
That is, (a) ⊆ I.
Example 3.2.1
Show that if F is a field, then F has no ideals other than (0) and F .
Solution:
Assume that I 6= (0) is an ideal of F . We will show that I = F . Let 0 6= a ∈ I. Then a−1 ∈ F
(F is field). If e is the unity of F , then e = a−1 a ∈ I since I is an ideal of F . Thus for any
r ∈ F , r = re ∈ I. Therefore, I = F .
64 Chapter 3. Quotient Rings
Show that if R is a commutative ring with unity e, and R has no ideals other than (0) and
R, then R is a field.
Solution:
For each 0 6= a ∈ R, we have a ∈ (a) 6= {0} and hence (a) = R. We show that R is a field
by showing that each nonzero element in (a) = R has a multiplicative inverse. Note that
e ∈ R = (a). Thus, there is r ∈ R with ra = e ∈ (a). Thus, for each nonzero element a, we
have r ∈ R such that ra = e. Thus each nonzero element in R has a multiplicative inverse in
R. We now need to show that R has no zero divisors. Assume that ab = 0 and a 6= 0 for any
a, b ∈ R. Then a−1 ab = a−1 0 = 0. Then b = 0. Therefore, R has no zero divisors and hence
R is a field.
Prove that if I is an ideal of Z, then either I = (0) or I = (n), where n is the least positive
integer in I.
Solution:
Definition 3.2.2
Definition 3.2.3
Example 3.2.4
Solution:
” ⇒ ”: Assume that (m) ⊆ (n). Then m ∈ (m) ⊆ (n) and hence m ∈ (n). Thus, m = nk for
some k ∈ Z. Therefore, n | m.
” ⇐ ”: Assume that n | m. Then m = nk for some k ∈ Z. Thus, m ∈ (n) since (m) is the
smallest ideal of Z containing m, we have (m) ⊆ (n).
Show that if n is a positive integer, then (n) is a prime ideal of Z iff n is a prime.
Solution:
” ⇒ ”: Suppose that n is not a prime. Then there are a, b ∈ Z such that ab = n where
1 < a, b < n. Clearly, ab ∈ (ab) = (n). Thus, ab | ab, but ab - a and ab - b. Hence (ab) is not
a prime ideal of Z.
” ⇐ ”: Assume that n is a prime. If ab ∈ (n), then n | ab which implies that n | a or n | b.
That is a ∈ (n) or b ∈ (n). Therefore, (n) is a prime ideal of Z.
Theorem 3.2.3
Proof:
Let I be an ideal of F [x]. If I = {0}, then I = (0) and we are done. Otherwise, assume that
I 6= {0}. Let f (x) be a nonzero element of I of minimal degree. If the degree of f (x) is 0
(constant element), then f (x) ∈ F and is a unit (F is a field). Thus I = F = (e). Assume
that the degree of f (x) is at least 1. Let g(x) ∈ I. Then by the Division Algorithm there are
q(x), r(x) ∈ F [x] such that g(x) = f (x)q(x)+r(x) with r(x) = 0 or deg r(x) < deg f (x). Since
g(x), f (x)q(x) ∈ I, we have r(x) = g(x) − f (x)q(x) ∈ I (ideal properties). But since f (x) is
of minimal degree in I, we get r(x) = 0 and hence g(x) = f (x)q(x). Therefore, I = (f (x)).
66 Chapter 3. Quotient Rings
Example 3.2.6
Solution:
Note that 1, 2, 3, and 6 are divisors of 6. While the divisors of 9 are 1, 3, and 9 and hence for
Z9 we have
And the divisors of 12 are 1, 2, 3, 4, 6, and 12. Thus the ideals of Z12 are:
Show that the constant polynomials in Z[x] form a subring that is not an ideal of Z[x].
Show that if R is a commutative ring with unity e, and a ∈ R, then (a) is the smallest ideal
of R containing a.
Let I denote the set of all polynomials in Z[x] that have an even number as the constant
term.
Exercise 3.2.5
Exercise 3.2.6
x y
Given the set S = 0
: x, y, z ∈ Z is a ring with respect to matrix addition and
z
a b
multiplication. Show that I = : a, b ∈ Z is an ideal of S.
0 0
Exercise 3.2.7
Show that the set of all nilpotent elements in a commutative ring R forms an ideal of R.
68 Chapter 3. Quotient Rings
Exercise 3.2.8
Let R be a commutative ring with unity and that I is an ideal of R. Show that S =
{a ∈ R : an ∈ I, for some n ∈ N} is an ideal of R.
Remark 3.3.1
Theorem 3.3.1
Let I be an ideal of a ring R, and let R / I denote the set of all left cosets of I considered as
a subgroup of the additive subgroup of R. For a + I, b + I ∈ R / I, for any a, b ∈ R let
(a + I) + (b + I) = (a + b) + I, and (a + I)(b + I) = ab + I.
With these operations, R / I is a ring. This ring is called the quotient ring of R by I.
Proof:
Thus, the left distribution law is satisfied. The proof of right distribution law is similar.
Therefore R / I is ring.
Theorem 3.3.2
Solution:
iff ab − ba ∈ I.
Theorem 3.3.3
Proof:
Let R and S be rings, and let θ : R → S be a homomorphism from R onto S with ker θ = I.
Then the mapping φ : R / I → S defined by
Theorem 3.3.5
Proof:
Example 3.3.2
Exercise 3.3.1
Show that if R is a finite commutative ring with unity, then every prime ideal in R is maximal.
Exercise 3.3.2
Consider the ring R = Z[x] and let I = (x) = {xf (x) : f (x) ∈ R} be an ideal of R. Show
that R / I ≈ Z.
Hint: Use the Fundamental Homomorphism Theorem For Rings with θ : R → Z defined by
θ(an xn + · · · + a0 ) = a0 .
Let I and J be two ideals of a ring R, and define I + J = {a + b : a ∈ I and b ∈ J}. Then
Theorem 3.4.1
For a field F an ideal I = (p(x)) 6= {0} of F [x] is maximal iff p(x) is irreducible in F [x].
Proof:
Theorem 3.4.2
If F is a field and p(x) is a nonzero element in F [x], then F [x] / I is a field iff (p(x)) is maximal
of F [x] iff p(x) is irreducible over F .
Example 3.4.1
Solution:
Simply Z3 [x] / (x2 + c) is a field iff x2 + c is irreducible over Z3 . Let f (x) = x2 ∈ Z3 [x]. Then
f (0) = 0, f (1) = 1, and f (2) = 1. We need to find a value for c ∈ Z3 so that 0 + c and 1 + c
are both nonzero. Therefore c = 1.
74 Chapter 3. Quotient Rings
Example 3.4.2
Solution:
Simply Z3 [x] / (x3 + cx2 + 1) is a field iff f (x) = x3 + cx2 + 1 is irreducible over Z3 . If c = 0,
then f (2) = 0 and when c = 1, then f (1) = 0. But if c = 2, we get f (x) = x3 + 2x + 1 with
no zeros. Thus c = 2 is the only choice.
Theorem 3.4.3
Assume that F is a field, p(x) is a polynomial of degree n over F , and I = (p(x)) is an ideal
of F [x]. Then each element of F [x] / I can be expressed uniquely in the form
Proof:
If f (x) + I ∈ F [x] / I, then by the Division Algorithm, f (x) = p(x)q(x) + r(x) for some
q(x), r(x) ∈ F [x] with r(x) = 0 or deg r(x) < deg p(x). Thus, f (x) − r(x) = p(x)q(x) ∈ I,
and hence f (x) + I = r(x) + I. Therefore, each element of F [x] / I can be expressed in at
least one way in the form (3.4.1).
On the other hand, if
then
(b0 − c0 ) + (b1 − c1 )x + · · · + (bn−1 − cn−1 )xn−1 ∈ I,
so that p(x) divides (b0 − c0 ) + · · · + (bn−1 − cn−1 )xn−1 . But since deg p(x) = n > n − 1, we
have (b0 − c0 ) + · · · + (bn−1 − cn−1 )xn−1 = 0. Therefore, b0 = c0 , b1 = c1 , · · · , bn−1 = cn−1 . This
proves uniqueness.
Let θ : F → E, defined by θ(b) = b + I, where E = {b + I : b ∈ F }, where b is a polynomial
of degree at most n − 1. Clearly, θ is onto homomorphism. Also θ is one-to-one as it is proved
above. Therefore, θ is an isomorphism and then E ≈ F .
3.4. Quotient Rings of F[x] 75
Remark 3.4.1
The proof of the previous Theorem shows that if f (x) ∈ F [x], and if f (x) = p(x)q(x) + r(x)
with r(x) = 0 or deg r(x) < deg p(x), then f (x) + I = r(x) + I. This allows us to represent
elements of F [x] / (p(x)) by polynomials of degree less than deg p(x).
Example 3.4.3
Construct the field C from the field R. Or: Let I = (1 + x2 ). Show that R[x] / I ≈ C.
Solution:
Let p(x) = 1 + x2 and I = (p(x)). Note that p(x) is irreducible over R and hence R[x] / I is
a field. By Theorem 3.4.3, each element of R[x] / I can be written uniquely as (a + bx) + I
with a, b ∈ R.
Define θ : R[x] / I → C by θ((a + bx) + I) = a + bi. Then we show that θ an isomorphism:
• θ is 1-1: Let θ((a + bx) + I) = θ((c + dx) + I). Then a + bi = c + di which implies that
a = c and b = d. Thus, a + bx = c + dx and hence the result.
• θ is onto: For any a + bi ∈ C, a, b ∈ R with θ((a + bx) + I) = a + bi. Thus, θ is onto.
• θ is homomorphism: Let (a + bx) + I, (c + dx) + I ∈ R[x] / I. Then:
= (a + bi) + (c + di)
θ(((a + bx) + I)((c + dx) + I)) = θ((ac + (ad + bc)x + (bd)x2 ) + I).
So, we use Theorem 3.4.3 to represent (ac + (ad + bc)x + (bd)x2 ) + I as (u + vx) + I. We use
long division to get: ac + (ad + bc)x + (bd)x2 = (1 + x2 )bd + (ac − bd) + (ad + bc)x. So that
u + vx = (ac − bd) + (ad + bc)x. Thus,
Example 3.4.4
Show that if F is a field, then every proper nontrivial prime ideal of F [x] is maximal.
Solution:
Recall that every ideal of F [x] is principal. Let (f (x)) 6= {0} be a proper prime ideal of F [x].
Then every polynomial in (f (x)) is of degree greater than or equal to degree of f (x). Thus if
f (x) = g(x)h(x) ∈ F [x] where deg g(x) and deg h(x) are less than deg f (x), then neither g(x)
nor h(x) can be in (f (x)). But this contradict the definition of prime ideals. Therefore, no
factorization of f (x) in F [x] can exist. That is f (x) is irreducible in F [x]. Therefore, (f (x))
is maximal ideal in F [x].
3.4. Quotient Rings of F[x] 77
Show that if F is a field with unity e, and I is an ideal of F [x], then F [x] / I is commutative
with unity e + I.
Prove that if F is a field and f (x), p(x) ∈ F [x], with p(x) is irreducible and p(x) - f (x), then
(p(x), f (x)) = e, the unity of F .
Prove that if F is a subfield of a field E, c ∈ E, then θ : F [x] → E defined by θ(f (x)) = f (c)
is a homomorphism.
Suppose that F is a field and f (x), g(x) ∈ F [x]. Show that (f (x)) = (g(x)) iff f (x) and g(x)
are associates.
Exercise 3.4.5
Exercise 3.4.6
Exercise 3.4.7
4 Field Extension
Definition 4.1.1
Theorem 4.1.1
Let F be a field and let f (x) be a nonconstant polynomial in F [x]. Then there exists an
extension field E of F and an a ∈ E such that f (a) = 0.
Definition 4.1.2
79
80 Chapter 4. Field Extension
Theorem 4.1.2
If E is an extension field of a field F , with E = F (a) and a algebraic over F , then there is a
unique (up to a constant factor in F ) irreducible nonconstant polynomial of minimal degree
in F [x] having a as a root. That is
E ≈ F [x] / (p(x)),
Moreover, if f (a) = 0 for a nonzero f (x) ∈ F [x], then p(x) divides f (x).
Definition 4.1.3
Let E be an extension field of a field F , and let a ∈ E be algebraic over F . The unique monic
polynomial p(x) having the property described in Theorem 4.1.2 is called the irreducible
polynomial for a over F and will be denoted by irr(a, F ). The degree of irr(a, F ) is the
degree of a over F , denoted by deg(a, F ).
Remark 4.1.1
Theorem 3.4.3 states that if F is a field and p(x) ∈ F [x] is irreducible over F , then each
element of F [x] / (p(x)) can be expressed uniquely in the form
Example 4.1.1
The polynomial p(x) = x2 − 2 is irreducible over Q. Thus, Q[x] / (p(x)) is an extension field
√
of Q, which contains a root α of p(x). Clearly, 2 is a root of p(x) which is algebraic over Q.
√ √
To see that, α = 2 implies that α2 = 2 and hence α2 − 2 = 0. Therefore, α = 2 is a root
for p(x) = x2 − 2 ∈ Q[x].
Thus, each element in Q[x] / (p(x)) can be written uniquely in the form a + bα, where a, b ∈ Q
√
and α = x + (x2 − 2). Moreover, irr 2, Q = x2 − 2 with degree 2.
4.1. Adjoining Roots 81
Theorem 4.1.3
Assume that F is a field and p(x) ∈ F [x] is irreducible over F . Then F [x] / (p(x)) is a field
extension of F , and p(x) has a root in F [x] / (p(x)).
Proof:
Let I = (p(x)). Since F is a field and p(x) is irreducible in F [x], then F [x] / I is a field. Note
that {b + I : b ∈ F } is a subfield of F [x] / I that is isomorphic to F . Hence F [x] / I is an
extension of F .
Assume that p(x) = a0 + a1 x + · · · + an xn , and let α denote the element x + I ∈ F [x] / I.
Then
p(α) = a0 + a1 (x + I) + · · · an (x + I)n
= (a0 + a1 x + · · · + an xn ) + I = p(x) + I = I
Corollary 4.1.1
Assume that F is a field and p(x) ∈ F [x] is irreducible over F . Then F [x] / (p(x)) contains a
root α of p(x), and each element of F [x] / (p(x)) can be expressed uniquely in the form (4.1.2).
Moreover, elements of the form (4.1.2) are added and subtracted using the usual addition and
subtraction of polynomials. To multiply elements f (α) and g(α) of the form (4.1.2), multiply
them as polynomials and divide the result by p(α); the remainder will equal f (α) g(α).
Example 4.1.2
√ √
Show that every element in Q 5 can be written in the form a + b 5 with a, b ∈ Q.
Solution:
√
Note that Q[x] / (x2 − 5) ≈ Q 5 and hence every element in Q[x] / (x2 − 5) can be written
as a + bα, where α is a root of x2 − 5 and a, b ∈ Q. Thus, using the isomorphism mapping
√ √
θ : Q[x] / (x2 − 5) → Q 5 defined by θ(a + bα) = a + b 5, we can see that every element
√ √
of Q 5 can be expressed in the form a + b 5 with a, b ∈ Q.
We discuss the same problem in the next example in more details.
82 Chapter 4. Field Extension
Example 4.1.3
√ √
Show that θ : Q[x] / (x2 − 2) → Q( 2) defined by θ(a + bα) = a + b 2, where α is a root of
x2 − 2 ∈ Q[x], is an isomorphism and compute (1 − 2α)(2 + α) in Q[x] / (x2 − 2).
Solution:
√
θ((a + bα) + (c + dα)) = θ((a + c) + (b + d)α) = (a + c) + (b + d) 2
√ √
= a + b 2 + c + d 2 = θ(a + bα) + θ(c + dα).
(a + bα)(c + dα) = ac + (ad + bc)α + bdα2 = bdα2 − 2bd + 2bd + ac + (ad + bc)α
That is (a + bα)(c + dα) = (ac + 2bd) + (ad + bc)α in Q[x] / (x2 − 2). Hence
√
θ((a + bα)(c + dα)) = θ((ac + 2bd) + (ad + bc)α) = (ac + 2bd) + (ad + bc) 2
√ √
= a + b 2 c + d 2 = θ(a + bα)θ(c + dα).
√
Therefore, θ is an isomorphism and hence Q[x] / (x2 − 2) ≈ Q( 2).
To compute (1 − 2α)(2 + α), we compute it first in Q[x] / (x2 − 2) as
h i
(1 − 2α)(2 + α) = 2 − 3α − 2α2 = − 2α2 + 3α − 2 + (4 − 4)
h i
= − 2(α2 − 2) + 3α + 2 = −2(α2 − 2) − 3α − 2 = −3α − 2.
√
Or we compute it in Q( 2) as
√ √ √ √ √
1 − 2 2 2 + 2 = 2 + 2 − 4 2 − 4 = −3 2 − 2.
√
Here you can see how θ simplified in Q( 2).
4.1. Adjoining Roots 83
√ √
We note that 2, i, and 3 3 are all algebraic over Q as they are zeros of x2 − 2, x2 + 1, and x3 − 3,
respectively.
Example 4.1.4
√ √ √ √ √ √ n √ √ o
Show that Q 2, 3 = Q 2 + 3 , where Q 2, 3 = a + b 2 + c 3 : a, b, c ∈ Q
√ √ n √ √ o
and Q 2 + 3 = a + b 2 + 3 : a, b ∈ Q .
Solution:
√ √ √ √ √ √ √ √
Clearly, 2, 3 ∈ Q 2, 3 and hence 2 + 3 ∈ Q 2, 3 which implies that
√ √ √ √
Q 2 + 3 ⊆ Q 2, 3 .
√ √
We need now to prove the other direction of the inclusion by showing that both 2 and 3
√ √ √ √ √ √
are contained in Q 2 + 3 . Clearly, 2 + 3 ∈ Q 2 + 3 and so is its inverse
√ √ √ √
√ √ −1 1 2− 3 2− 3 √ √ √ √
2+ 3 =√ √ √ √ = = 3− 2∈Q 2+ 3 .
2+ 3 2− 3 −1
√ √ √ √ √ √ √ √ √ √
Therefore, 2+ 3 + 3 − 2 = 2 3 ∈ Q 2 + 3 , and thus 3 ∈ Q 2 + 3 .
√ √ √ √ √ √ √ √ √ √
Similarly 2+ 3 − 3 − 2 = 2 2 ∈ Q 2 + 3 implies 2 ∈ Q 2 + 3 .
√ √ √ √ √ √ √ √
So 2, 3 ∈ Q 2 + 3 which implies that Q 2, 3 ⊆ Q 2 + 3 and therefore
√ √ √ √
Q 2 + 3 = Q 2, 3 .
Example 4.1.5
√ √
Show that β = 2+ 3 is algebraic over Q. Find deg(β, Q).
Solution:
√ √ √ √
Note that β = 2+ 3 implies that β 2 = 2 + 2 6 + 3. Then β 2 − 5 = 2 6. Squaring both
sides again, we get β 4 − 10β 2 + 25 = 24. That is, β 4 − 10β 2 + 1 = 0.
Therefore, f (x) = x4 − 10x2 + 1 ∈ Q[x] (irreducible over Q, prove it!) with β is a root of
f (x).
Note that irr(β, Q) = f (x) of degree 4. Hence deg(β, Q) = 4. Hence f (x) is a nonzero
polynomial in Q[x] whose root is β and hence β is algebraic.
84 Chapter 4. Field Extension
Exercise 4.1.1
Let α ∈ Q[x] / (x2 − 7) be a root of the irreducible polynomial x2 − 7 ∈ Q[x]. Express each
of the following elements in the form a + bα with a, b ∈ Q.
1. α3 ,
2. (1 − α)(2 + α),
3. (1 + α)2 , and
4. (1 + α)−1 .
Exercise 4.1.4
q √
Show that α = 1+ 3 is algebraic over Q and find deg(α, Q).
Exercise 4.1.5
√ √
Let p and q be two distinct primes. Show that α = p + q is algebraic over Q by finding
an appropriate (quartic) polynomial in Q[x] with α as a root.
Exercise 4.1.6
√ √ √ √
For any positive integers a and b, show that Q a, b =Q a+ b .
Exercise 4.1.7
√ √ √ √ √
Show that Q 2, i = Q 2 + i 2 . Show that Q 2, i = Q 2 + i
4.2. Splitting Fields 85
Definition 4.2.1
A nonconstant polynomial p(x) over a field F splits over an extension field E of F if p(x)
can be factored into linear factors over E, that is
Every nonconstant polynomial f (x) ∈ C[x] has a root in C. That is, C is algebraically closed.
In other words, each polynomial of degree n ≥ 1 over C has n roots.
Definition 4.2.2
An extension field E of a field F is called a splitting field for f (x) ∈ F [x] over F if:
Theorem 4.2.2
For any field F and f (x) ∈ F [x], there is an extension field E of F which is a splitting field
for f (x) over F .
Theorem 4.2.3
Example 4.2.1
Any first degree polynomial over F splits over F , since ax + b with a 6= 0 has the form
ax + b = a(x − α) root α = −a−1 b ∈ F .
86 Chapter 4. Field Extension
Example 4.2.2
√ √
Note that f (x) = x2 − 2 ∈ Q[x] does not splits over Q. Clearly, f (x) = (x − 2)(x + 2)
which splits over the extension field R of Q. But R is not a splitting field for f (x) over Q
√ √
since f (x) splits over a smaller extension field Q 2 which is contained in R. Thus Q 2
is a splitting field for f (x) over Q.
Another example is g(x) = x2 + 1 ∈ R[x] which does not split in R[x]. It does split in C[x]
since g(x) = (x − i)(x + i) ∈ C[x]. Here C = R(i) is a splitting field for g(x) over R.
Example 4.2.3
Solution:
Clearly f (x) is irreducible over Q using for instance Eisenstein criterion for p = 2. Note that
√ √
f (x) = x2 − 2 = x − 2 x+ 2 ,
n√ √ o √
with roots 2, − 2 6∈ Q. But 2 generates all roots of f (x).
√
Therefore, Q 2 ≈ Q[x] / (x2 − 2) is a splitting field for f (x) over Q.
Example 4.2.4
Solution:
Clearly f (x) = x4 − 4 = (x2 − 2)(x2 + 2) where both factors irreducible over Q using for
instance Eisenstein criterion for p = 2 for both factors. Factoring f (x), we get
√ √ √ √
f (x) = (x2 − 2)(x2 + 2) = x − 2 x+ 2 x−i 2 x+i 2 .
n√ √ √ √ o √
So the roots of f (x) are 2, − 2, i 2, −i 2 6∈ Q. Note that 2 and i generate all the
roots of f (x).
√
Therefore, Q 2, i ≈ Q[x] / (x4 − 4) is the splitting field for f (x) over Q.
4.2. Splitting Fields 87
Example 4.2.5
q √
Find a polynomial f (x) ∈ Q[x] so that F = Q 1 + 5 is the splitting field for f (x) over
Q.
Solution:
√
q
We simply need to find an irreducible polynomial f (x) ∈ Q[x] which has 1 + 5 as a root.
q √ √ √
Let α = 1 + 5. Then α2 = 1 + 5 and hence α2 − 1 = 5. That is, α4 − 2α2 + 1 = 5 and
thus α4 − 2α2 − 6 = 0. Therefore, if f (x) = x4 − 2x2 − 6 ∈ Q[x], then it is irreducible over Q
q √
and it has 1 + 5 among its roots.
Thus, f (x) is a polynomial whose splitting field is F over Q.
88 Chapter 4. Field Extension
Exercise 4.2.1
Exercise 4.2.2
Exercise 4.2.3
Exercise 4.2.4
√
Show that f (x) = x4 − 2x2 − 3 splits over Q i, 3 .
Exercise 4.2.5
√
Show that Q 7, i is the splitting field for f (x) = x4 − 6x2 − 7 over Q.
Exercise 4.2.6
√ √
Find a polynomial f (x) ∈ Q[x] so that F = Q 2, 3 is the splitting field for f (x) over Q.
Exercise 4.2.7
√ √
Find a polynomial f (x) ∈ Q[x] so that F = Q 2 + i 3 is the splitting field for f (x) over
Q.
4.3. Finite Fields 89
Recall that Zp is a (finite) field if and only if p is a prime number. Here we write Fp to denote a field
of size p.
Theorem 4.3.1
Remark 4.3.1
Theorem 4.3.2
For a prime p and a monic irreducible polynomial p(x) ∈ Fp [x] of degree n, the ring
Fp [x] / (p(x)) is a field of order pn .
Example 4.3.1
Consider the ring Z2 [x] / (x2 ). Construct the addition and multiplication Cayley tables for
Z2 [x] / (x2 ). Show that Z2 [x] / (x2 ) is not a field.
Solution:
Note that Z2 [x] / (x2 ) = {0 + (x2 ), 1 + (x2 ), x + (x2 ), 1 + x + (x2 )}. For simplicity, we write
Z2 [x] / (x2 ) = {0, 1, x, 1 + x}. Hence, the addition and multiplication tables are:
+ 0 1 x 1+x · 0 1 x 1+x
0 0 1 x 1+x 0 0 0 0 0
1 1 0 1+x x 1 0 1 x 1+x
x x 1+x 0 1 x 0 x 0 x
1+x 1+x x 1 0 1+x 0 1+x x 1
Clearly, Z2 [x] / (x2 ) is not a field since it has x · x = 0 (in the table). Moreover, x2 is not
irreducible in Z2 [x] as x2 = x · x.
90 Chapter 4. Field Extension
Example 4.3.2
Construct a field of order 4. Find a generator for the multiplicative group of that field.
Solution:
Note that 4 = 22 . Since x2 +x+1 is an irreducible polynomial in Z2 [x] (using Factor Theorem
for instance), We conclude that F = Z2 [x] / (x2 + x + 1) is a field with 22 = 4 elements. The
field F contains a root α of x2 + x + 1. Therefore, any element in Z2 (α) ≈ Z2 [x] / (x2 + x + 1)
can be uniquely expressed as a + bα, where a, b ∈ Z2 . That is Z2 (α) = {0, 1, α, 1 + α}. The
addition and multiplication tables of Z2 (α) are:
+ 0 1 α 1+α · 0 1 α 1+α
0 0 1 α 1+α 0 0 0 0 0
1 1 0 1+α α 1 0 1 α 1+α
α α 1+α 0 1 α 0 α 1+α 1
1+α 1+α α 1 0 1+α 0 1+α 1 α
We note that the addition table is clearly done. In the multiplication table, we consider some
entries as follows:
The entry α · α = α2 = −1 − α since α2 + α + 1 = 0. But then α2 = −1 − α = 1 + α in Z2 .
Moreover, we have (1 + α)(1 + α) = α2 + 2α + 1. Since 2α = 0 in Z2 and α2 = 1 + α as we
have proved, we get (1 + α)(1 + α) = α2 + 2α + 1 = 1 + α + 0 + 1 = 2 + α = α.
To find a generator for the multiplicative group (not including 0) of Z2 (α), we try to find an
element in Z∗2 (α) whose powers generate all elements in the group.
Note that α1 = α, α2 = 1 + α (as we have seen), and α3 = α α2 = α(1 + α) = α + α2 =
1 + 2α = 1. Therefore, Z∗2 (α) = {α, α2 , α3 }, and hence α is a generator for the multiplicative
group of Z2 (α).
It is also true that Z∗2 (α) = {1 + α, (1 + α)2 , (1 + α)3 }. Can you show that?
Example 4.3.3
Construct a field of order 9. Find a generator for the multiplicative group of that field.
Solution:
4.3. Finite Fields 91
+ 0 1 2 α 2α 1+α 1 + 2α 2+α 2 + 2α
0 0 1 2 α 2α 1+α 1 + 2α 2+α 2 + 2α
1 1 2 0 1+α 1 + 2α 2+α 2 + 2α α 2α
2 2 0 1 2+α 2 + 2α α 2α 1+α 1 + 2α
α α 1+α 2+α 2α 0 1 + 2α 1 2 + 2α 2
2α 2α 1 + 2α 2 + 2α 0 α 1 1+α 2 2+α
1+α 1+α 2+α α 1 + 2α 1 2 + 2α 2 2α 0
1 + 2α 1 + 2α 2 + 2α 2α 1 1+α 2 2+α 0 α
2+α 2+α α 1+α 2 + 2α 2 2α 0 1 + 2α 1
2 + 2α 2 + 2α 2α 1 + 2α 2 2+α 0 α 1 1+α
· 0 1 2 α 2α 1+α 1 + 2α 2+α 2 + 2α
0 0 0 0 0 0 0 0 0 0
1 0 1 2 α 2α 1+α 1 + 2α 2+α 2 + 2α
2 0 2 1 2α α 2 + 2α 2+α 1 + 2α 1+α
α 0 α 2α 2 1 2+α 1+α 2 + 2α 1 + 2α
2α 0 2α α 1 2 1 + 2α 2 + 2α 1+α 2+α
1+α 0 1+α 2 + 2α 2+α 1 + 2α 2α 2 1 α
1 + 2α 0 1 + 2α 2+α 1+α 2 + 2α 2 α 2α 1
2+α 0 2+α 1 + 2α 2 + 2α 1+α 1 2α α 2
2 + 2α 0 2 + 2α 1+α 1 + 2α 2+α α 1 2 2α
Here, we note that α2 + 1 = 0 and the coefficients are reduced by the rules in Z3 . Thus, in
the multiplication table, we have α · α = α2 = −1 = 2. Hence
Exercise 4.3.1
Construct a field of order 8. Find a generator for the multiplicative group of that field.
Exercise 4.3.2
Find an appropriate irreducible polynomial p(x) in Z2 [x] so that Z2 [x] / (p(x)) is a finite filed
of order 16.
The Index
A E
abelian . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 Eisenstein criterion . . . . . . . . . . . . . . . . . . . . . . . 53
additive group of a ring . . . . . . . . . . . . . . . . . . . . 5 equivalent . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .29
additive inverse . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5 Euclidean Algorithm . . . . . . . . . . . . . . . . . . . . . . 49
algebraic . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 79 Euler phi-function . . . . . . . . . . . . . . . . . . . . . . . . 35
algebraic extension . . . . . . . . . . . . . . . . . . . . . . . . 79 extension
associates . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50 algebraic . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 79
associative . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 simple . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 79
B simple algebraic . . . . . . . . . . . . . . . . . . . . . . . 79
C
F
cancellation law
factor . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
left . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
field . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
right . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
extension . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 79
Cartesian product . . . . . . . . . . . . . . . . . . . . . . . . . . 9
skew . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
characteristic . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26
splitting . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .85
commutative . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
subfield . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
commutative ring . . . . . . . . . . . . . . . . . . . . . . . . . . 5
coprime . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
G
cyclic . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
generator . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
D greatest common divisor . . . . . . . . . . . . . . . . . . . 2
degree . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39 greatest common divisors . . . . . . . . . . . . . . . . . 49
degree of irr(a, F ) . . . . . . . . . . . . . . . . . . . . . . . . 80 group . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
distribution laws . . . . . . . . . . . . . . . . . . . . . . . . . . . 5 abelian . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
left . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5 subgroup . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
right . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
division ring . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21 H
divisor of zero . . . . . . . . . . . . . . . . . . . . . . . . . . . . .15 homomorphism . . . . . . . . . . . . . . . . . . . . . . . . 25, 57
93
94 THE INDEX
I Euclidean Algorithm . . . . . . . . . . . . . . . . . . 49
ideal . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 58 greatest common divisors . . . . . . . . . . . . . .49
maximal . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 64 irreducible . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50
prime . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 64 monic . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
principal . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63 prime . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50
idempotent . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21 reducible . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50
identity . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .1, 5 root . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
integral domain . . . . . . . . . . . . . . . . . . . . . . . . . . . 15 splits . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .85
inverse . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 zero . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
irreducible . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50 polynomial ring . . . . . . . . . . . . . . . . . . . . . . . . . . . 40
irr(a, F ) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 80 prime . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50
isomorphic . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25 prime ideal . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .64
isomorphism . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25 principal ideal . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63
K Q
kernel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 58 quotient . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .2
quotient ring . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 69
L
least common multiple . . . . . . . . . . . . . . . . . . . . . 2 R
left distribution laws . . . . . . . . . . . . . . . . . . . . . . . 5 reducible . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50
relatively prime . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
M
remainder . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
maximal ideal . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 64
right distribution laws . . . . . . . . . . . . . . . . . . . . . . 5
monic polynomial . . . . . . . . . . . . . . . . . . . . . . . . . 39
ring . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
N Cartesian product . . . . . . . . . . . . . . . . . . . . . . 9
nilpotent . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21 characteristic . . . . . . . . . . . . . . . . . . . . . . . . . .26
commutative . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
O
division ring . . . . . . . . . . . . . . . . . . . . . . . . . . 21
operation
homomorphism . . . . . . . . . . . . . . . . . . . . . . . 25
binary . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .1
ideal . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 58
P isomorphism . . . . . . . . . . . . . . . . . . . . . . . . . . 25
polynomial . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39 quotient . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .69
associates . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50 subring . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
degree . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39 unit . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
THE INDEX 95
root . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .46 T
transcendental . . . . . . . . . . . . . . . . . . . . . . . . . . . . 79
S
simple algebraic extension . . . . . . . . . . . . . . . . . 79
U
simple extension . . . . . . . . . . . . . . . . . . . . . . . . . . 79
unit . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .15
skew field . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
unity . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .5
splits . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 85
splitting field . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 85 Z
subfield . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23 zero . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .46
subgroup . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2 zero divisor . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
subring . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12 zero element . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5