National Open University of Nigeria: Course Code: MTH 211
National Open University of Nigeria: Course Code: MTH 211
MTH 211
SET THEORY AND ABSTRACT ALGEBRA
ii
MTH 211 COURSE GUIDE
Abuja Office
No. 5 Dar es Salaam Street
Off Aminu Kano Crescent
Wuse II, Abuja
Nigeria
E-mail: [email protected]
URL: www.nou.edu.ng
Published By:
National Open University of Nigeria
ISBN: 978-058-643-1
Printed by:
iii
MTH 211 COURSE GUIDE
CONTENTS PAGES
Introduction ………………………………………………….…… 1
What You Will Learn in This Course …………………………….. 1
Course Aims ……………………………………………………… 1
Course Objectives ………………………………………………… 1
Working through this Course ……………………………………… 2
Assignment File …………………………………………………... 2
Assessment ………………………………………………………… 2
How to Get the Most from the Course ……………………………. 2
iv
Introduction
You are welcome to Set Theory and Abstract Algebra. This course is a
3-credit course and it is offered at the undergraduate level.
Set Theory and Abstract Algebra is course that is compulsory for all
B.Sc (Hons) Mathematics students, Computer Science Students and
Communications Technology Students. All Students in Education
Majoring in Mathematics as teaching subjects are required to pass this
course. This text is an informal axiomatic treatment of Set Theory and
Abstract Algebra.
Course Aims
Course Objectives
Set out below are the wider objectives of the course as a whole. On
successful completion of this course you should be able to:
To complete this course, you are required to read the study units, read
the recommended textbooks and other materials provided by the NOUN.
Assignment File
The assignment File contains details of the work you must submit to
your tutor for marking. It contains a more compact form of the Tutor-
marked
Assessment
There are two aspects of the assessment of the course. First are the tutor-
marked assignments; second there is a written examination. In tackling
the assignments, you are expected to apply information, knowledge and
techniques gathered during the course. The assignments must be
submitted to your tutor for formal assessment in accordance with the
stipulated deadlines.
Each of the study units follows a common format. The first item is an
introduction to the subject matter of the unit and the course as a whole.
Next is a set of learning objectives. These objectives let you know what
you should be able to do by the time you have completed the unit. You
should use these objectives to guide your study. When you have
finished the unit you must go back and check whether you have
achieved the objectives. If you make a habit of doing this you will
significantly improve your chances of passing the course.
Exercises are interspersed within the units, and answers are given.
Working through these exercises will help you to achieve the objectives
of the unit and help you to prepare for the assignments and examination.
ii
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
4) Work through the unit. The content of the unit itself has been
arranged to provide a sequence for you to follow.
5) Review the objectives for each study unit to confirm that you
have achieved a unit’s objectives; you can then start on the next
unit. Proceed unit by unit through the course and try to pace your
study so that you keep yourself on schedule.
iii
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
iv
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
Abuja Office
No. 5 Dar es Salaam Street
Off Aminu Kano Crescent
Wuse II, Abuja
Nigeria
E-mail: [email protected]
URL: www.nou.edu.ng
Published By:
National Open University of Nigeria
ISBN: 978-058-643-1
Printed by:
v
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
CONTENTS PAGES
Module 1 ………………………………………………………. 1
vi
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
MODULE 1
CONTENTS
1.0 Introduction
2.0 Objectives
3.0 Main Content
3.1 Sets
3.2 Cartesian Products
3.3 Relation
3.4 Functions
3.5 Some Number Theory
3.5.1 Principle of Induction
3.5.2 Divisibility in Z
4.0 Conclusion
5.0 Summary
6.0 Tutor-Marked Assignment
7.0 References/Further Reading
1.0 INTRODUCTION
In this unit we first discuss some ideas concerning sets and functions.
These concepts are fundamental to the study of any branch of
mathematics, in particular, algebra.
We would like to repeat that this unit consists of very basic ideas that
will be used throughout the course. So go through it carefully.
1
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
2.0 OBJECTIVES
3.1 Sets
You must have used the word ‘set’ off and on in your conversations to
describe any collection. In mathematics the term set is used to describe
any well defined collection of objects, that is, every set should be so
described that given any object it should be clear whether the given
object belongs to the set or not.
For instance, the collection N of all natural numbers is well defined, and
hence is a set. But the collection of all rich people is not a set, because
there is no way of deciding whether a human is rich or not.
A set with no element in it is called the empty set, and is denoted by the
Greek φ (phi). For example, the set of all natural numbers less than 1
is φ .
2
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
Roster Method
In this method, we list all the elements of the set: within braces. For
instance, the collection of all positive divisors of 48 contains 1, 2, 3, 4,
6, 8, 12, 16, 24 and 48 as its elements. S0 this set may be written as '{1,
2, 3, 4, 6, 8, 12, 16, 24, 48}.
Convection 1
The order in which the elements of the set are listed is not important.
Convention 2
No element is written more than once, that is, every element must be
written exactly once.
1 1
For example, consider the set S of all integers between r and 4 .
2 4
Obviously, these integers are 2, 3 and 4. So we may write S = (2, 3, 4}.
We may also write S = (3, 2, 4}, but we must not write S = (2, 3, 2, 4}.
Why? Isn't this what Convention 2 says?
The roster method is sometimes used to list the elements of a large set
also. In this case we may not want to list all the elements of the set. We
list a few, enough to give an indication of the rest of the elements. For
example, the set of integers lying between 0 and 100 is {0, 1, 2… 100},
and the set of all integers is
Z = {0, ± 1, ± 2, ……}.
This is to be read as “the set all x such that x has property P”. For
example, the set of all integers can also be written as
3
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
Z = {x | x is an integer}.
a
Q, the set of rational numbers = a, b ∈ Z, b ∉ 0 .
b
R, the set of real numbers
Subsets
Consider the sets A = {1, 3, 4} and B = {1, 4}. Here every element of B
is also all element of A. in such a case, that is, when every element of a
set B is an element of a set A, we say that B is a subset of A, and we
write this as B ⊆ A.
‘ ∃' denotes ‘there exists’, Note that if B is not a subset of A, there must
be an element of B which is not an element of A. In mathematical
notation this can be written as ‘ ∃' x ∋ B such that x ∉ A’.
We can now say that two sets A and B are equal (i.e., have precisely
the same elements) if and only if A ⊆ B and B ⊆ A.
4
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
Let us now look at some operations on sets. We will briefly discuss the
operations of union, intersection and complementation on sets.
Union
A U B. Thus,
A U B = {x ∈ S x ∈ A or x ∈ B}
Try the following exercise now. While trying it remember that to show
that A ⊄ B you need to show that x ∈ A ⇒ x ∈ B
a. AB⊄ C
b. A B=B A
c. A φ= A
Now will extend the definition of union to define the union of more than
two sets.
5
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
k
The expression A1 A2 ….. Ak is often abbreviated to A i .
i=1
Now let us look at another way of obtaining a new set from two or more
given sets.
Intersection
If A and B are two subsets of a set S, we can collect the elements that
are common to both A and B. We call this set the intersection of A, and
B (denoted by A B, So,
A B = {x ∈ S x ∈ A and x ∈ B}
When the intersection of two sets is φ , we say that the two sets are
disjoint (or mutually disjoint). For example, the sets {1, 4} and {0, 5,
7, 14} are disjoint.
a. A B=B A
b. A ⊆B ⇒ A B = A
c. A φ=φ
6
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
k
We can shorten the expression A1 A2 …….Ak to A i .
i=1
A ∈℘}
a. (A B) C = A (B C)
b. (A B) C = A (B C)
c. A (B C) = (A U B) (A C)
d. A (B C) = (A B) (A C)
State whether the following are true or false. If false, give a counter-
example.
a. If A ⊆ B and B ⊆ C, then A ⊆ C
b. If A ⊄ B and B ⊄ A, then A and B are disjoint
c. A ⊄ AUB
d. If A U B = φ , then A = B = φ .
Differences
Consider the sets A = {1, 2, 3} and B = {2, 3, 4}. Now the set of all
elements of A that are not in B is {1}. We call this set the difference
A\B. Similarly, the difference B \ A is the set of elements of B that are
not in A, that is, {4}. Thus, for any two subsets ‘A and B of a set S,
{x ∈ X x ∈ A and x ∈ B}.
7
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
Thus,
A c = {x ∈ X x ∉ A}.
An interesting set that can be formed from two given sets is their
Cartesian product, named after a French philosopher and
mathematician Rene Descartes (1596 -1650). He also invented the
Cartesian coordinate system.
Let A and B be two sets. Consider the pair (a, b), in which the first
element is from A and the second from B. Then (a, b) is called an
ordered pair. In an ordered pair in order in which the two elements are
written is important. Thus, (a, b) and (b, a) are different ordered
pairs. Two ordered pairs (a, b) and (c, d) are called equal, or the
same, if a = c and b = d.
Definition
For example, if A = {1, 2,2 3} and B = {4, 6}, then A X B = { (1, 4), (1,
6), (2, 4), (2, 6), (3, 4), (3, 6)}.
8
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
Remarks:
i. A x B = φ if A = φ or B = φ .
ii. If A has m elements and B has n elements, then A x B has mn
elements. B x A also has mn elements. But the elements of B x A
need not be the same as the elements of A x B, as you have just
seen.
We can also define the Cartesian product of more than two sets in a
similar way. Thus, if A1, A2, A3 …..... An are n sets, we can define their
Cartesian product as
Now, you know that every point in a plane has two coordinates, x and y.
Also, every ordered pair (x, y) of real numbers defines the coordinates
of a point in the plane. So, we can say that R2 represents a plane. In fact,
R2 is the Cartesian product of the x-axis and the y-axis. In the same way
R3 represents three-dimensional space, and Rn represents n-dimensional
space, for any n ≥1. Note that R represents a line.
If A x B = {(7, 2), (7, 3), (7, 4), (2, 2), (2, 4)}, determine A and B.
9
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
3.3 Relations
Definition
Again, if Q is the set of all rational numbers and R is the relation ‘is
greater than’, then 3 R 2 (because 3> 2).
Let N be the set of all natural numbers and R the relation {(a, a2) a ∈
N}. State whether the following are true or false:
a. 2 R 3, b. 3 R 9, c. 9 R 3.
Definition
10
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
Example 1
Consider the relation R on Z given by ‘aRb iff and only if a> b’.
Determine whether R is reflexive, symmetric and transitive.
Solution
Since a > a is not true, aRa is not true. Hence, R is not reflexive.
If a > b, then certainly b > a is not true. That is, aRb does not imply
bRa. Hence, it is into symmetric,
Since a > b and b > c implies a > c, we find that aRb, bRc implies aRc.
Thus, R is transitive.
Example 2
Let S be a non-empty set. Let ℘ (S) denote the set of all S, i.e., ℘ (S) =
{A : A ⊆ S}. We call ℘ (S) the power set of S.
Solution
11
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
This is
[1] = {n | 1Rn, n ∈ N}
= { n | n ∈ N and 5 divides 1-n}
= { n | n ∈ N and 5 divides n-1}
= {1, 6, 11, 16, 21 ...},
Similarly,
Note that
i. [1] and [6] are not disjoint. In fact, [1] = [6]. Similarly, [2] = [7],
and so on.
ii N = [1] [2] [3] [4] [5], and the sets on the right hand
side are mutually disjoint.
12
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
Theorem 1
a. a ∈ [a],
b. b ∈ [a] ⇔ [a] = [b],
c. S = [a]
a∈S
∴ aRa V a ∈ S, ∴ a ∈ [a].
b. Firstly, assume that b ∈ [a]. We will show that [a] ⊆ [b] and [b]
⊆ [a]. For this, let x ∈ [a]. Then xRa.
Exercise 2).
Note that in Theorem 1, distinct sets on the right hand side of (c) are
mutually disjoint because of (d). Therefore, (c) expresses S as a union of
13
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
Examples 3
Solution
L L1
O X
Let L be the line through (0, 0) and parallel to L1. Then L ∈ [L1]. Thus,
[L] = [L1]. In this way the distinct through (0, 0) give distinct
equivalence classes into which S is partitioned. Each equivalence class
[L] consists of all the lines in the planes that are parallel to L.
14
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
In the next section we will briefly discuss a concept that you may be
familiar with namely, functions.
3.4 Functions
Note that
Remark
Definition
15
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
Definition
Consider the following example that you will use again and again.
Example 4
Solution
For any a ∈ A, IA(a) = a. Thus, the range of IA is the whole of A. That is,
IA is onto.
IA is also: because if a1, a2, ∈ A such that a1 ≠ a2, then IA (a1) ≠ IA(a2).
Thus, IA is bijective.
16
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
Convention
The next exercise deals with a function that you will often come across,
namely, the constant function f: A → B: f(a) = c, where c is a fixed
element of B.
Definition
17
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
Theorem 2
Proof
We will prove (a) and you can prove (b) (see Self Assessment Exercise
17). Let b ∈ f(f-1(S)). Then, by definition, ∃ a ∈ f-1(S) such that b =
f(a). But a ∈ f-1(S) ⇒ f(a) ∈ S. That is, b ∈ S. Thus, f(f-1(S) ⊆ S.
The theorem will be proved once you solve Self Assessment Exercise
17.
Now let us look at the most important way of producing new functions
from given ones.
Composition of Functions
18
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
Example 5
Solution
Example 6
Solution
19
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
Theorem 3
Proof
You can try the next self assessment exercise on the lines of this
theorem.
In the case of real numbers, you know that given any real number x ≠ 0,
∃y ≠ 0 such that xy = 1. y is called the inverse of x. Similarly, we can
define an inverse function for a given function.
Definition
20
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
Example 7
Solution
Theorem 4
21
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
Proof
a. f(x) = x2 V x∈ R.
b. f(x) = 0 V x∈ R.
c. f(x) = 11x + 7 V x∈ R.
22
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
We will first state an axiom of the integers that we will often use
implicitly, namely, the well-ordering principle. We start with a
definition.
Definition
The following axiom tells us of some sets that have a least element.
Theorem 5
i. 1 ∈ S, and
ii. Whenever k ∈ S, then k + 1 ∈ S
Then S = N
Theorem 6
i. 1 ∈ S, and
ii. if m ∈ S V m < k, then k ∈ S.
then S = N
23
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
Let us rewrite Theorem 5 and 6 in the forms that we will normally use.
Theorem 5’: Let P(n) be a statement about a positive integer n such that
Theorem 6’: Let P(n) be a statement about a positive integer n such that
The equivalence statements given above are very useful for proving a lot
of results in algebra. As we go along, we will often use the principle of
induction in whichever form is convenient. Let us look at an example.
Example 8
n 2 ( n + 1)2
Prove that 13 + 23 +.............. + n3 = for every n ∈ N.
4
Solution
12 x 2 2
Since S1 = , P(1) is true.
4
( n - 1)2 n 2
Now, suppose P(n – 1) is true, i.e., Sn-1 =
4
24
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
n 2 ( n + 1)2
=
4
3.5.2 Divisibility in Z
Definition
a. a | 0, ± 1 | a, ± a | a.
b. a | b ⇒ ac | bc.
c. a | b and b | c ⇒ a | c.
d. a | b and b | a ⇔ a = ± b.
e. c | a and c | b ⇒ c | (ax + by) V x, y ∈ Z.
25
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
Theorem 7
Proof
We will first prove that q and r exist. Then we will show that they are
unique. To prove their existence, we will consider three different
situations: a = 0, a > 0, a < 0.
This shows that P (n) is true. Hence, by theorem 5’, P(n) is true, for any
n ∈ N. That is, for a > 0, a = qb + r, q, r ∈ Z, 0 ≤ r < b.
Case 3 (a < 0): Here (-a) > 0. Therefore, by Case 2, we can write
26
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
Definition
Definition
i. d | a and d | b, and
ii. if c | a and c | b, then c | d.
Note that if d and d’ are two g.c.d s of a and b, then (ii) says that d | d’
and d’ | d. Thus, d = ± d’ (see Self-Assessment Exercise 24). But then
only one of them is positive. This unique positive g.c.d. is denoted by
(a, b).
We will now show that (a, b) exists for any non-zero integers a and b.
You will also see how useful the well-ordering principle is.
Theorem 8
Any two non-zero integers a and b have a g.c.d, and (a, b) = ma + nb, for
some m, n ∈ Z.
Proof
27
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
For example, the g.c.d. is 2 and 10 is 2 = 1.2 + 0.10, and the g.c.d. of 2
and 3 is 1 = (-1) 2+ 1(3).
Definition
Using Theorem 8, we can say that a and b are co prime to each other
iff there exists m, a ∈ Z such that 1 = ma + nb.
Theorem 9
Proof
28
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
Definition
If p is a prime and p| a1a2 ...... an, then show that p ai for some i = 1, ..., n.
Theorem 10
Proof
We will first prove the existence of such a factorization. Let P (n) be the
statement that n + 1 is a product of primes. P (1) is true, because 2 is a
prime number itself.
Now let us assume that P (m) is true for all positive integers m < k. We
want to show that P (k) is true. If (k + 1) is a prime, P (k) is true. If k + 1
is not a prime, then we can write k + 1 = m1m2, where 1 < m1 < k + 1
and 1 < m2 < k + 1. But then P (m1 - 1) and P(m2 – 1) are both true.
Thus, m1 = p1p2.........pr, m2 = q1 q2 ............ qs, where p1, p2... pr, q1, q2,
………, qs are primes. Thus,
29
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
Theorem 11
Proof
30
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
4.0 CONCLUSION
5.0 SUMMARY
31
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
- if P(m) is true for every positive integer m < k, then P(k) is true,
then P(n) is true for every n ∈ N,
a) T b) F c) F d) T
a. x ∈ A B ⇒ x ∈ A or x ∈ B ⇒x ∈ C, since A ⊆ C and B ⊆
C.
b. x ∈ A B ⇔ x ∈ A or x ∈ B ⇔ x ∈ B or x ∈ A Û x ∈ B
A. ∴ A B = B A.
b. x ∈ A B ⇒ x ∈ A and x ∈ B ⇒ x ∈ A, since A ⊆ B.
∴ A B ⊆ A.
32
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
a. x ∈ (A B) C ⇔ x ∈ A B or x ∈ C
⇔ x ∈ A or x ∈ B or x ∈ C.
⇔ x ∈ A or x ∈ B C
⇔ x ∈ A (B C)
∴ (A B) C = A (B C)
c. B C ⊆ B ⇒ A (B C) ⊆ A B.
Similarly, A (B C) ⊆ A C.
∴ A (B C) ⊆ (A B) (A C)
Conversely, x ∈ (A B) (A C)
⇒ x ∈ A B and x ∈ A C
⇒ x ∈ A or x ∈ B and x ∈ A or x ∈ C.
⇒ x ∈ A or x ∈ B C
⇒ x ∈ A (B C)
∴ (A B) (A C) ⊆ A (B C).
a. T
b. F. For example, if A = [0, 1] and B = [0, 2], then
A ⊄ B, B ⊄ and A B = (0) ≠ φ .
c. F, In fact, for any set A, A ⊆ B.
d. T.
e. T.
a. x ∈ A iff x ∉ Ac.
c. x ∈ A ⇔ x ∉ Ac ⇔ x ∈ (Ac)c. ∴A = (Ac)c.
33
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
(x, y) ∈ (A B) x C ⇔ x ∈ A B and y ∈ C
⇔ x ∈ A or x ∈ B and y ∈ C
⇔ x ∈ A and y ∈ C or x ∈ B and y ∈ C
⇔ (x, y) ∈ A x C or (x, y) ∈ B x C
⇔ (x, y) ∈ (A x C) (B x C).
(A B) x C = (A x C) (B x C).
a. F b. T c. F
2 R 2 is false
(2, 4) ∈ R, but (4, 2) ∉ R.
(2, 4) ∈ R, (4, 16) ∈ R, but (2, 16) ∉ R.
34
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
∴, R is an equivalence relation.
f(x) = c V x ∈ X.
Suppose X has at least two elements, say x and y. Then f(x) = c = f(y),
but x ≠ y. That is, f is not 1 – 1. Therefore, if f is 1 – 1, then X consists
of only one element.
b. x ∈ f-1 (S T) ⇔ f(x) ∈ S T
⇔ f(x) ∈ S or f(x) ∈ T
⇔ x ∈ f-1 (S) or x ∈ f-1 (T)
⇔ x ∈ f-1 (S) f-1 (T)
35
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
b. f g (x) = g f (x) = x V x ∈ R.
c. f g (x) = x2 = g f (x) V x ∈ R.
g : R → R : g(x) = 3x.
a. Since a.0 = 0, a | 0.
( ± 1) ( ± a) = a. ∴ ± 1 | a and ± a | a.
36
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
Suppose P (m – 1) is true.
37
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
38
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
UNIT 2 GROUPS
CONTENTS
1.0 Introduction
2.0 Objectives
3.0 Main Content
3.1 Binary Operations
3.2 What is a Group?
3.3 Properties of Groups
3.4 Three Groups
3.4.1 Integers modulo n
3.4.2 Symmetric Group
3.4.3 Complex Numbers
4.0 Conclusion
5.0 Summary
6.0 Tutor-Marked Assignment
7.0 References/Further Readings
1.0 INTRODUCTION
In Unit 1 we have discussed some basic properties of sets and functions.
In this unit we are going to discuss certain sets with algebraic structures.
We call them groups.
In this unit we start the study of this theory. We define groups and give
some examples. Then we give details of some properties that the
elements of a group satisfy. We finally discuss three well known and
often used groups. In future units we will be developing group theory
further.
2.0 OBJECTIVES
39
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
You are familiar with the usual operations of addition and multiplication
in R, Q and C. these operations are examples of binary operations, a
term that we will now define.
Definition
ii. Let ℘ (S) be the set of all subsets of S. Then the operations
and are binary operations on ℘ (S), since A B and A B
are in ℘ (S) for all subsets A and B of S.
iii. Let X be a non-empty set and F(X) be the family of all functions
f: X → X. Then the composition of functions is a binary
operation on F (X), since f g ∈ F (X) " f, g ∈ F (X).
Definition
i. * is closed on a subset T of S, if a * b ∈ T V a, b ∈ T.
40
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
1. x ⊕ y=x+y–5
2. x * y = 2(x + y)
x- y
3. x∆y=
2
for all x, y ∈ R.
In calculations you must have often used the fact that a(b + c) = ab + ac
and (b + c) a = bc + ba V a, b, c ∈ R. This fact says that multiplication
distributes over addition in R. In general, we have the following
definition.
Definition
a+ b b+c
For example, let a * b = V a, b ∈ R. Then a(b * c) = a =
2 2
ab + ac
= ab * ac, and
2
b+c ba + ca
(b * c)a = a = = ba * ca V a, b, c ∈ R.
2 2
41
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
Let us now look deeper at some binary operations. You know that, for
any a ∈ R, a + 0 = a, 0 + a = a and a + (-a) = (-a) + a = 0. We say that 0
is the identity element for addition and (-a) is the negative or additive
inverse of a. In general, we have the following definition.
Definition
Theorem 1
Proof
42
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
That is, a = b.
This uniqueness theorem allows us to say the identity element and the
inverse, henceforth.
Example 1
Solution
Example 2
Let S be a non-empty set. Consider ℘ (S), the set of all subsets of S. Are
and commutative or associative operations on ℘ (S)? Do identity
elements and inverses of elements of ℘ (S) exist with respect to these
operations?
Solution
43
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
2. For x ∈ R, obtain x-1 (if it exists) for each of the operations given
in Self Assessment Exercise 1.
When the set S under consideration is small, we can represent the way a
binary operation on S acts by a table.
Operation Table
-1 0 1
44
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
* 1 2 3
1 1 2 3
2 3 1 2
3 2 3 1
Again, (2 * 1) * 3 = 3 * 3 = 1 and 2 * (1 * 3) = 2.
∴ (2 * 1) * 3 ≠ 2 * (1 * 3). ∴, * is not associative.
The following exercise will give you some practice in drawing Cayley
tables.
Draw the operation table for the set ℘ (S) (ref. Example 2), where S =
{0, 1} and the operation in .
Definition
Let * be a binary operation on a non-empty set S and let a1, .., ak+1 ∈ S.
45
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
Theorem 2
Proof
We use induction on n. That is, we will show that the statement is true
for n = 1.
Then
Now that we have discussed binary operations let us talk about groups.
46
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
Definition
G1) * is associative,
G2) G contains an identity element e for * , and
G3) every element in G has an inverse in G with respect to * .
Example 3
Solution
Therefore, it is a group.
Note that (Z,.) is a semi group since it satisfies G1. So, there exist semi
groups that aren’t groups!
The following self assessment exercise gives you two more examples of
groups.
G1’) * is associative.
G2’) ∃ e ∈ G such that a * e = a V a ∈ G.
G3’) Given a ∈ G, ∃ b ∈ G such that a * b = e.
47
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
What we are saying is that the two sets of axioms are equivalent. The
difference between them is the following:
In the first set we need to prove that e is a two-sided identity and that the
inverse b of any a ∈ G satisfies a * b = e and b * a = e. In the second
set we only need to prove that e is a one-sided identity and that the
inverse b of any a ∈ G only satisfies a * b = e.
G1”) * is associative.
G2”) ∃ e ∈ G such that e * a = a V a ∈ G.
G3”) Given a ∈ G ∃ b ∈ G such that b * a = e.
Clearly, if * satisfies G1, G2 and G3, then it also satisfies G1’, G2’ and
G3’. The following theorem tells us that if * satisfies the second set of
axioms, then it satisfies the first set too.
Theorem 3
Let (G, * ) satisfy G1’, G2’ and G3’. Then e * a = a " a ∈ G. Also,
given a ∈ G, if ∃ b ∈ G such that a * b = e, then b * a = e. Thus, (G, * )
satisfies G1, G2 and G3.
Lemma 1
Let (G, * ) satisfy G1’, G2’ and G3’. If ∃ a ∈ G such that a * a = a, then
a = e.
Proof
Now (a * a) * b = a * b = e.
48
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
Proof to Theorem 3
G1 holds since G1 and G1’ are the same axioms. We will next prove
that G3 is true. Let a ∈ G such that a * b = e. We will show that b * a =
e. Now,
(b * a) * (b * a) = (b * (a * b) * a = (b * e) * a = b * a.
Example 4
Solution
1 -1 i -i
1 1 -1 i -i
-1 -1 1 -i i
i i -i -1 1
-i -i i 1 -1
From Example 4 you can see how we can use Theorem 3 to decrease the
amount of checking we have to do while proving that a system is a
group.
49
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
Note that the group in Example 4 has only 4 elements, while those in
Example 3 and Self Assessment Exercise 4 have infinitely many
elements. We have the following definitions.
Definition
Example 5
Let G be the set of all 2 x 2 matrices with non-zero determinant. That is,
a b
G = a, b, c, d ∈ R, ad-bc ≠ 0
c d
a b p q ap + br aq + bs
A= and P = r s in G, A.P = cp + dr cq + ds
c d
Now,
50
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
1 0
We also know that matrix multiplication is associative and .
0 1
a b
is the multiplicative identity. Now, for A = in G, the matrix
c d
d −b
ad − bc ad − bc 1
B= is such that det B = ≠ 0 and AB
−c a ad - bc
ad − bc ad − bc
1 0
= .
0 1
Thus, B = A-1. (Note that we have used the axiom G3’ here, and not G3.)
This shows that the act set of all 2 x 2 matrices over R with non-zero
determinant forms a group under multiplication. Since
1 2 0 1 2 1
3 4 1 0 4
=
3
and
0 1 1 2 3 4
1 0 3 4 1
=
2
’
Example 6
51
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
Solution
Thus, (T, ) satisfies G1’, G2’ and G3’, and hence is a group.
Note that fa,b fc,d = fc,d fa,b V fa,b fc,d ∈ T. Therefore, (T, ) is abelian.
Let Q*, R* and Z* denote the sets of non-zero rationals, reals and
integers. Are the following statements true? If not, give reasons.
52
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
Convention
Theorem 4
Proof
Theorem 5
For a, b, c in a group G,
a. ab = ac ⇒ b = c. (This is known as the left cancellation law.)
b. ba = ca ⇒ b = c. (This is known as the right cancellation law.)
53
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
Proof
We will prove (a) and leave you to prove (b) (see Self Assessment 7).
a. Let ab = ac. Multiplying both sides on the left hand side by a-1 ∈
G, we get
a-1(ab) = a-1(ac)
⇒ (a-1 a)b = (a-1a)c
⇒ eb = ec, e being the identity element.
⇒ b = c.
Theorem 6
Proof
Similarly, using the right cancellation law, we can show that ba-1 is the
unique solution of ya = b in G.
54
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
Example 7
2 3 1 5
Consider A = ,B= in GL2 (R) (see Example 5).
1 2 0 4
Find the solution of AX = B.
Solution
2 − 3
A-1 = (see Example 5).
− 1 2
2 − 2
∴ A-1 B = = X.
− 1 3
Example 8
Show that (℘ (S), ∆) is an abelian group. What is the unique solution for
the equation Y ∆ A = B?
Solution
55
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
Definition
i. a0 = e.
Note: When the notation used for the binary operation is addition, an
becomes na. For example, for any a ∈ Z,
na = 0 if a = 0,
na = a + a + … + a (n times) if n > 0;
na = (-a) + (-a) + … + (-a) (-n times) if n < 0.
Theorem 7
56
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
Proof
We prove (a) and (b), and leave the proof of (c) to you (see Self
Assessment Exercise 10).
Case 2 (m < 0 and n < 0): Then (-m) > 0 and (-n) > 0. Thus, by Case 1,
a-n.a-m = a-(n+m) = a-(m+n). Taking inverses of both the sides and using (a),
we get,
am+n = (a-n.a-m)-1 = (a-m)-1.(a-n)-1 = am.an.
Case 4 (m > 0, n < 0 such that m + n < 0): By Case 2, a-m.am+n = an.
Multiplying both on the left by am = (a-m)-1, we get am+n = am.an.
57
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
The cases when m < 0 and n > 0 are similar to Case 3 and 4. Hence, am+n
= am.an for all a ∈ G and m, n ∈ Z.
To finish the proof of this theorem try self assessment exercise 10.
In this section we shall look at three groups that we will use as examples
very often throughout this course – the group of integers modulo n, the
symmetric group and the set of complex numbers.
≡ is an equivalent relation (see Sec. 3.3 of Unit 1), and hence partitions
Z into disjoint equivalence classes called congruence classes modulo n.
We denote the class containing r by r .
∴ r = {r + kn | k Î Z}.
58
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
+ 0 1 2 3
0
1
2
3
Now, a ≡ b (mod n) and c ≡ d (mod n). Hence, there exist integers k1 and
k2 such that a - b = k1n and c – d = k2n. But then (a + c) – (b + d) =
(a – b) + (c – d) = (k1 + k2)n.
∴ a+ c = b+ d.
i. a + b = a + b = b + a = b + a V a , b ∈ Zn, i.e.,
addition is commutative in Zn.
ii. a + ( b + c ) = a + ( b + c ) = a + ( b + c)
= (a + b ) + c = ( a + b ) + c = ( a + b ) + c V a , b , c ∈ Zn,
i.e., addition is associative in Zn.
59
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
But (Zn,.) is not a group. This is because every element of Zn, for
example 0 does not have a multiplicative inverse.
But, suppose we consider the non-zero elements of Zn, that is, ( Z*n , .) Is
this a group? For example Z*4 = { 1 , 2 , 3 } is not a group because . is
not even a binary operation on Z*4 , since 2 . 2 = 0 ∉ Z*4 . But ( Z*p ,.). is
an abelian group for any prime p.
We will now discuss the symmetric group briefly. In MTH 312 we will
discuss this group in more detail.
60
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
So f ∈ S(X) iff f-1: X → X exists. Remember that f f-1 = f-1 f = IX. This
also shows that f-1 ∈ S(X).
1 2 .............. n
f (1) f (2) ............... f (n )
1 2 3 4
For example, represents the function f:
2 4 3 1
2 1 3 4
Thus, also represents the same function f.
4 2 3 1
61
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
Consider S3, the set of all permutations on 3 symbols. This has 3! (=6)
1 2 3
elements. One is the identify function, I. Another is . Can
2 1 3
you list the other four.
Now, while solving Self Assessment Exercise one of the elements you
1 2 3
must have obtained is f = .
2 3 1
Definition
1 2 3 4 5 6 7 8 9 10
i.e., f =
1 4 3 5 10 6 7 8 9 2
Note that, in the notation of a cycle, we don’t mention the elements that
are left fixed by the permutation. Similarly, the permutation.
1 2 3 4 5
is the cycle ( 1 2 5 3 4) in S5,
2 5 4 1 3
62
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
1 2 3 4 5 1 2 3 4 5
α β =
2 5 4 3 1 5 3 4 1 2
1 2 3 4 5
=
αβ(1) αβ(2) αβ(3) αβ(4) αβ(5)
1 2 3 4 5
=
α(5) α(3) α(4) α(1) α(2)
1 2 3 4 5
= = (2,4),
1 4 3 2 5
The following exercises will give you some practice in computing the
product of elements in Sn.
Calculate (1 3) (1 2) in S3.
a. (1 2)
b. (1 3 2)
And now let us talk of a group that you may be familiar with, without
knowing that it is a group.j
In this sub-section we will show that the set of complex numbers forms
a group with respect to addition. Some of you may not be acquainted
with some basic properties of complex numbers. We have placed these
properties in the appendix to this unit.
Consider the set C of all ordered pairs (x, y) of real numbers, i.e., we
take C = R x R.
63
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
This gives us an algebraic system (C, +,.) called the system of complex
numbers. We must remember that two complex numbers (x1, y1) and
(x2, y2) are equal iff x1 = x2 and y1 = y2.
Moreover,
x −y
(x, y). , 2
x + y x + y2
2 2
x ( − y) −y x
= x ⋅ 2 −y ⋅ 2 , x ⋅ 2 +y 2
x +y 2
x +y 2
x +y 2
x + y 2
= (1, 0)
Thus, (C, +) is a group and (C*,.) is a group. (AS usual, C* denotes the
set of non-zero complex numbers).
4.0 CONCLUSION
5.0 SUMMARY
64
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
• proved and used the cancellation laws and laws of indices for
group elements.
• discussed the group of integers modulo n, the symmetric group
and the group of complex numbers.
1. a. x ⊕ y = y ⊕ x, V x, y ∈
Therefore, ⊕ is commutative
(x ⊕ y) ⊕ z = ( x + y – 5) ⊕ z = ( x +y – 5) + z - 5
= x + y + z – 10
= x ⊕ (y ⊕ z)
Therefore, ⊕ is associative.
N φ {0} {1} S
φ φ φ φ {1}
65
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
ba = ca ⇒ (ba)a-1 ⇒ (ca)a-1 ⇒ b = c
∴ G = {e},
66
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
When n = 0, the statement is clearly true. Now, let n > 0. We will apply
induction on n. For n = 1, the statement is true.
+ 0 1 2 3
0 0 1 2 3
1 1 2 3 0
2 2 3 0 1
3 3 0 1 2
67
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
1 2 3 1 2 3 1 2 3 1 2 3
, , ,
3 2 1 1 3 2 2 3 1 3 1 2
f = (1 3), g = (1 2).
1 2 3 1 2 3
Then f o g =
3 2 1 2 1 3
1 2 3
=
fg(2) fg(1) fg(3)
1 2 3
=
r (2) r (1) r (3)
1 2 3
= = (1 2 3)
2 3 1
68
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
1 2 3 2 1 3
a. Let f = (1 2) = . ∴f-1 = ,
2 1 3 1 2 3
just interchanging the rows.
∴ f-1 = (1 2).
b. (1 3 2)-1 = (2 3 1).
1 2 3
Now, (1 2) o (1 3 2) =
3 2 1
3 2 1
Its inverse is = (1 3).
1 2 3
On other hand,
(1 2)-1- o (1 3 2)-1- o = (1 2) o (1 2 3) = (2 3) ≠ (1 3).
C = { (x, y) x, y ∈ R }.
While working~ with complex numbers, We' will sometimes use the
notation x + iy and sometimes the fact that the elements of C can be
represented by points in R2.
69
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
Definition
Now, let us denote | z | by r and the angle made by OP with the positive
x-axis by θ. Then θ is called an argument of the non-zero complex:
number z. If θ is an argument of z, then 0 + 2nπ is also an argument of
z for all n ∈ Z,. However, there is a unique value of these arguments
which lies in the interval [-π,π]. It is called the principal argument of
x + iy, and is denoted by Arg (x +iy).
From fig. 3 you can see that x = r cosθ, y = sinθ = r sinθ that is, z =
(rcosθ, rsinθ) = r(cosθ + i sinθ) = re10.
70
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
z1 z 2 = r1 r2 e i ( θ + θ ) .
1 2
71
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
UNIT 3 SUBGROUPS
CONTENTS
1.0 Introduction
2.0 Objectives
3.0 Main Content
3.1 Subgroups
3.2 Properties of Subgroups
3.3 Cyclic Groups
4.0 Conclusion
5.0 Summary
6.0 Tutor-Marked Assignment
7.0 References/Further Reading
1.0 INTRODUCTION
In this unit you will study more examples of subsets of groups which are
groups in their own right. Such structures are rightfully named
subgroups. In Sec. 3.3 we will discuss some of their properties also.
In Sec. 3.4 we will see some cases in which we obtain a group from a
few elements of the group. In particular, we will study cases of groups
that can be built up by a single element of the group.
2.0 OBJECTIVES
72
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
3.1 Subgroups
You may have already noted that the groups (Z,+), (Q,+) and (R,+) are
contained in the bigger group (C,+) of complex numbers, not just as
subsets but as groups. All these are examples of subgroups, as you will
see.
Definition
Therefore h * a = e * a.
By right cancellation in (G,*). We get h = e.
Thus, whenever (H, *) is a subgroup of (G,*). e ∈ H.
Remark 1
i. e ∈ H.
ii. a, b ∈ H ⇒ a * b ∈ H
iii. a ∈ H ⇒ a-1 ∈ H.
73
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
Remark 2
Theorem 1
Proof
Example 1
S = {z ∈ C | |z| = 1} is a subgroup of C*
Solution
1
|z1z2-1 | = |z1| |z21| = |z1| = 1.
| z2 |
Hence, z1 z2-1 ∈ S. Therefore, by Theorem 1, S ≤ C*.
74
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
Example 2
Consider G = M2x3 (C), the set of all 2 x 3 matrices over C. Check that
(G,+) is an abelian group. Show that
0 a b
S = a , b, c ∈ C is a subgroup of G.
0 0 c
Solution
We define addition on G by
a b c p q r a + p b + q c + r
d e f + s t u = d + s e + t f + u
.
− a − b − c a b c
− d − e − f is the inverse of d e f ∈ G.
0 a b 0 d e
0 0 c , 0 0 f ∈ S, we see that
H ≤ (G, +) ⇔
0 a b 0 d e 0 a − d b − e H ≠ φ and
0 0 c - 0 0 f = 0 0 c − f ∈ S. a – b ∈ H.
∴ S ≤ G.
Example 3
Consider the set of all invertible 3 x 3 matrices over R, GL3 (R). That is,
A ∈ GL3(R) iff det (A) ≠ 0. Show that SL3 (R) = (A E GL3(R) det(A)
1} is a subgroup of (GL3(R),.).
75
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
Solution
The next example is very important, and you may use it quite often.
Example 4
Solution
Therefore, mZ is a subgroup of Z.
Hence, S ≠ φ.
76
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
If t = 0, then st = 0 ∈ H.
If t > 0, then st = s +s +….. + s (t times) ∈ H.
If t < 0, then st = (-s) + (-s) + …...+ (-s) (-t times) ∈ H.
Before going to the next example, let us see what the nth roots of unity
are, that is; for which complex numbers z is zn = 1.
From Unit 2, you know that the polar form of a non-zero complex
number z ∈ C is z = r(cosθ + i sinθ), where r = |z| and θ ia an argument
of z. Moreover, if θ1 is an argument of z1 and θ2 that of z2, then θ1 + θ2
is an argument of z1 z2. Using this we will try to find the nth roots of 1,
where n ∈ N.
77
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
For example, if n = 6, we get the 6th roots of 1 as z0, z1, z2, z3, z4, and z5,
2πj 2πj
where zj, + i sin , j1, 2, 3, 4, 5, 6. In Fig. 1 you can see that
6 6
all these lie on the unit circle (i.1., the circle of radius one with centre (0,
0)). They form the vertices of a regular hexagon.
Z1
Z2
O
Z3 Z0 X
2π 2π
Now, let ω = cos + i sin . Then all the nth roots of 1 are 1, ω, ω2,
n n
2πj 2πj
……., ωn-1, since ωj, = cos + i sin for 0 ≤ j ≤ n – 1 (using De
n n
Moivre’s theorem).
Let n = {1, ω, ω2, ……., ωn-1}. The following exercise shows you an
interesting property of the elements of n .
2π 2π
If n > 1 and ω = cos + i sin , then show that 1 + ω + ω2 + ω3 +….+
n n
ωn-1 = 0.
Now we are in a position to obtain a finite subgroup of C*.
Example 5
78
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
Solution
Before ending this section we will introduces you a subgroup that you
will use off and on.
Definition
Thus, Z(G) is the set of some elements of G that commute with every
element of G.
Theorem 2
Proof
a ∈ Z(G) ⇒ ax V x ∈ G.
⇒ x = a-1 xa V x ∈ G, pre-multiplying by a-1.
⇒ x = a-1 = a-1 x V x ∈ G, post-multiplying by a-1.
⇒ a-1 ∈ Z(G).
79
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
The following exercise will give you some practice in obtaining the
centre of a group.
Let us start with showing that the relation ‘is a subgroup of’ is transitive.
The proof is very simple.
Theorem 3
Proof
Example 6
Solution
Conversely, suppose k | m.
80
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
Hence, mZ ⊆ kZ
Thus, mZ ≤ kZ iff k | m.
Theorem 4
Proof
Thus, H∩K ≠ φ.
Hi is also a subgroup of G.
Now, do you think the union of two (or more) subgroups is again a
subgroup? Consider the two subgroups 2Z and 3Z of Z. Let S = 2Z
3Z. Now, 3 ∈ 3Z ⊆ S, 2 ∈ 2Z ⊆ S, but 1 = 3 – 2 is neither in 2Z nor
in 3Z. Hence, S is not a subgroup of (Z,+). Thus, if A and B are
81
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
Definition
S1 = {1, (1 2), (1 3), (2 3), (1 2 3), (1 3 2)}, and its subgroups H = {1, (1
2)} and K = {1, (1 3)}.
1 2 3
Remember, (1 2) is the permutation and (1 2 3) is the
2 1 3
1 2 3
permutation .)
2 3 1
82
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
Theorem 5
Proof
Now, we will show that KH ⊆ HK. Let kh ∈ KH. Then (kh)-1 = h-1 k-1
∈ HK. But HK ≤ G. Therefore, (kh) -1)-1 ∈ HK, that is, kh ∈ HK. Thus,
KH ⊆ HK.
Now (kk 1−1 ) h 1−1 ∈ KH = HK. Therefore, ∃ h2k2 ∈ HK such that (kk 1−1 )
h 1−1 = h2k2.
+Then, ab-1 = h(h2k2) = (hh2)k2 ∈ HK.
Thus, by Theorem 1, HK ≤ G.
83
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
In this section we will briefly discuss generating sets, and then talk
about cyclic groups in detail.
F = {H | H ≤ G and S ⊆ H}.
a subgroup of G.
Note that
i S ⊆ H.
H∈F
Definition
Theorem 6
84
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
Proof
= (a 1n a n2 .......a nk ) (b r− m .......b1m ) ∈ A.
1 2 k r 1
Show that a subset S of N generates the group Z of all integers iff there
exist
S1….. , Sk in Sand nl, ….. nk in Z such that n1s1 + …...+ nksk =1.
85
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
Definition
Remark 3
Then < (1 2)> = {I, (1 2)}, since (1 2)2 = I, (1 2)3 = (1 2), and so on.
Theorem 7
86
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
Proof
Note that Theorem 7 says that every cyclic group is abelian. But this
does not mean that every abelian group of is cyclic. Consider the
following example.
Example 7
Consider the set K4 = {e, a, b, ab} and the binary operation of K4 given
by the table.
• e a b ab
e e a b ab
a a e ab b
b b ab e a
ab ab b a e
This group is called the Klein 4-group, after the pioneering German
group theorist Felix Klein.
From the table we can see that K4 is abelian. If it were cyclic, it would
have to be generated by e, a,. b or ab. Now, < e > = {e}. Also, al =a,a2 =
e,a3 = a, and so on.
Therefore, < a > = {e, a}. Similarly, < b > = {e, b} and < ab > = { e, ab}.
87
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
Theorem 8
Proof
A=<1>
88
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
B = <12>
C = < (1 3) >
D = < (2 3) >
E = <123>
As you can see, all these are cyclic. But, by Self Assessment Exercise
you know that S3 itself is not cyclic.
Corollary: Let H ≠{e} be a subgroup of < a >. Then H = < an >, where
n is the least positive integer such that an ∈ H.
Show that any non-abelian group must have a proper subgroup other
than {e}.
Obtain all the subgroups of Z4, which you know is < 1 >.
4.0 CONCLUSION
Subgroups play important roles in group theory. In MTH 312 you will
be introduced to another important subgroups called the normal
subgroups which has a lot of application in some other sciences such as
Molecular Chemistry, You are to read carefully and master all the
materials in this unit.
5.0 SUMMARY
I
n this unit we have covered the following points.
89
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
Since ω n = 1, (1 − ω n ) = 0 i.e.,
(1 - ω)(1 + ω + ω 2 + ...... + ω n −1 = 0.
Since ω ≠ 1,1 + ω 2 + ...... + ω n −1 = 0.
90
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
Since S ⊆ T, s1 ∈ T Vi = 1, …., k.
∴ by Theorem 6, we see that G = < T >.
We will show that < a > ⊆ < a-1> and < a-1> ⊆ < a >.
Now, any element of < a > is an = (a-1) -n, for n ∈ Z.
∴ an ∈ < a-1 >. ∴< a > ⊆ < a-1 >.
91
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
92
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
CONTENTS
1.0 Introduction
2.0 Objectives
3.0 Main Content
3.1 Cosets
3.2 Lagrange’s Theorem
4.0 Conclusion
5.0 Summary
6.0 Tutor-Marked Assignment
7.0 References/Further Reading
1.0 INTRODUCTION
In Sec. 4.3 we use cosets to prove a very useful result about the number
of elements in a subgroup. The beginnings of this result were made in a
research paper on the solvability of algebraic equations by the famous
mathematician Lagrange. Today this elementary theorem is known as
Lagrange’s theorem, though Lagrange proved it for subgroups of Sn
only.
While studying MTH 312 you will be using Lagrange’s theorem again
and again. So, make sure that you read this unit carefully.
2.0 OBJECTIVES
3.1 Cosets
93
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
Definition
xH {xh | h E H}
Note that, if the group operation is +, then the right and left cosets of H
in (G,+) represented} x ∈ G are
Example 1
Solution
Similarly, eH = H.
Example 2
Solution
94
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
Similarly, you can see that H+5 = H+1, H+6 = H+2, and so on.
You can also check that H-1 = H+3, H-2= H+2, H-3 = H+1, and so on
Thus, the distinct right co sets are H, H+1, H+2 and H+3.
Theorem 1
Then
a. x ∈ Hx
b. Hx = H ⇔ x ∈ H.
c. Hx = H ⇔ xy-1 ∈ H.
Proof
∴ H ⊆ Hx.
∴ H = Hx.
95
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
The properties listed in Theorem 1, are not only true for right cosets.
We make the following observations.
Note: Along the lines of the proof of Theorem 1, we can prove that if H
is a subgroup of G and x, y ∈ G,
a. x ∈ xH.
b. xH = H ⇔ x ∈ H.
c. xH = yH ⇔ x-ly ∈ H.
Example 3
Let G = S3 = {I, (1 2), (1 3), (2 3), (1 23), (13 2) and H be the cyclic
subgroup of G generated by (1 2 3). Obtain the left cosets of H in G.
Solution
For the other cosets you can apply Theorem 1 to see that
Obtain the left and right cosets of H = < (1 2) > in S3. Show that Hx ≠
xH for some x ∈ S3.
Let us now look at the cosets of a very important group, the quaternion
group.
96
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
Example 4
1 0 0 1 0 i i 0
I = ’ A = − 1 0 , B = 0 − i , C = 0 − i and i = − 1.
0 1
You can check that the following relations hold between the elements of
Q8:
I2 = I, A2 = B2 = C2 =-I,
AB = C = -BA, BC = A = -CB, CA = B = -AC.
Show that the subgroup H = < A > has only two distinct right cosets in
Q8 .
Solution
Show that K = {I, -I} is a subgroup of Q8, Obtain all its right cosets in
Q8 .
We will show that each group can be written as the union of disjoint
cosets of any of its subgroups. For this we define a relation on the
elements of G.
97
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
Definition
We will prove that this relation is an equivalence relation (see unit 1).
Theorem 2
Proof
That is ~ is transitive.
Thus, ~ is an equivalence relation.
The equivalence class determined by x ∈ G is {x | = {y ∈ G | y – x} =
{y ∈ G | xy-1 ∈ H}.
Now, we will show that [x] = Hx. So, let y ∈ [x]. Then Hy = Hx, by
Theorem 1. And since y ∈ Hy, y ∈ Hx.
Now, consider any element hx of Hx. Then x(hx)-1 = xx-1 h-1 = h-1 ∈ H.
98
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
Remark
Note that what Theorem 2 and the remark above say is that any
subgroup H of a group G partitions G into disjoint right cosets.
So, for example, S3 = < (1 23) > (1*2) < (1 2 3) > (using Example 3).
We will use this fact to prove an elementary theorem about the number
of cosets of a subgroup of a finite group 10, the next section.
In this section we will first define the order of a finite group and then
show that the order of any subgroup divides the order of the group.
So let us start with a definition.
99
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
Definition
You can also see that o(Zn> = n. And, from Sec. 2.5.2 you know that
o(Sn> = n! .
Definition
Note that, if we take H = {e}, then | G: {e} | = o(G), since {e}g = {g} V
g ∈ G and {e}g ≠ {c}g′ if g ≠g′ .
Now let us look at the order of subgroups. In Sec. 3.4 you saw that the
orders of the subgroups of S3 are 1, 2, 3 and 6. All these divide o(S3) =
6. This fact is part of a fundamental theorem about finite groups. Its
beginnings appeared in a paper in 1770, written by the famous French
mathematician Lagrange. He proved the result for permutation groups
only. The general result was probably proved by the famous
mathematician Evariste Galois in 1839.
100
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
Theorem 3 (Lagrange)
Proof
Thus the total number of elements in the union on the right hand side of
(l) is element o(H) + o(I I) +….. + o(H) (r times) = r o(H).
You will see the power of Lagrange's theorem when we get down to
obtaining all the subgroup of a finite group.
For example, suppose we are asked to find all the subgroups of a group
G of order 35. Then the only possible subgroups are those of order 1, 5,
7 and 35. So, for example, we don't need to waste time looking for
subgroups of order 2 or 4.
Definition
Now, let g ∈ G have finite order. Then the set {e, g, g2, ...} is finite,
since G is finite. Therefore, all the powers of g can't be distinct.
101
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
Then
(Note that. if g ∈ (G, + ), then o(g) is the least positive integer n such
that gn = e.)
Theorem 5
0 1
a) (1 2) ∈ S3, b) I ∈ S4, c) − 1 0 ∈ Qg,
d) 3 ∈ Z4 , e) 1 ∈ R?
Theorem 4
Proof
We will first show that gm e ⇒ n | m. For this & consider the set
S = {r ∈ Z | gr = e}.
102
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
Theorem 5
Proof
Let d = (n, m). We can then write n = n1d, m = m1d, where (ml nl) =1.
n n
Then n1 =
d ( n , m)
103
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
Also, (g m ) n = g m
dn1
= gm
d
= g m = (g n ) m = e m = e.
n
1 1 1 1 1 1 1
12
Using this result we know that o ( 4 ) , in Z12 is = 3.
(12,4)
The next exercise will give you some practice in using Theorem 5.
Let G be a finite group and x ∈ G. Then, show that o(x) divides o(G).
In particular, show that xo(G) = e.
Theorem 6
Proof
Thus, o(a) = p, i.e., o(< a >) = p. So, < a > ≤ G such that o(< a >) =
o(G). Therefore, < a> = G. That is, G is cyclic.
Using Theorem 3 and 6, we can immediately say that all the proper
subgroups of a group of order 35 are subgroups.
104
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
Theorem 7
If G is a finite group such that o(G) is neither 1 nor a prime, then G has
non-trivial proper subgroups.
Proof
Now suppose G is acyclic, say G = < x >, where o(x) = mn (m, n ≠ 1).
Definition
φ(i) = 1, and
φ(u) = number of natural numbers < n and relatively prime to n, for
n ≥ 2.
For example, φ(2) = 1 and φ(6) = 2 (since the only positive integers < 6
and relatively prime to 6 are 1 and 5).
We will now prove a lemma, which will be needed to prove the theorem
that follows it. This lemma also gives us examples of subgroups of Zn,
for every
n ≥ 2.
105
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
Proof
Theorem 8 (Euler-Fermat)
Proof
106
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
What is the remainder left on dividing 347 by 23? (Note that φ(23) = 22,
since each of the numbers 1, 2, …, 22 are relatively prime to 23.)
You have seen how important Lagrange’s theorem is. Now, is it true that
if
m | o(G), then G has a subgroup of order m? IF G is cyclic, it is true.
(You can prove this on the lines of the proof of Theorem 7.) But, if G is
not cyclic, the converse of Lagrange’s theorem is not true.
4.0 CONCLUSION
5.0 SUMMARY
107
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
H = {I, (1 2)},
Therefore, f is 1 – 1.
F is clearly surjective. Thus, f is a bijection.
And hence, there is a one-to-one correspondence between the elements
of H and those of Hx.
108
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
Therefore, f is a bijection.
Since o(x) = o(< x >) and o(< x >) | o(G), o(x) | o(G).
Thus, using Theorem 4, xo(G) = e.
o(Z8) = 8 = 2 x 4.
2 ∈ Z8 such that o( 2 ) = 4. Then < 2 > < Z 8 .
Similarly, 4 ∈ Z 8 such that o ( 4 ) = 2. ∴< 4 > < Z8.
109
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
We get the result immediately by using Theorem 8 and the fact that φ (p)
= p – 1.
110
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
MODULE 2
CONTENTS
1.0 Introduction
2.0 Objectives
3.0 Main Content
3.1 Integral Domains
3.2 Fields
3.3 Prime and Maximal Ideals
3.4 Field of Quotients
4.0 Conclusion
5.0 Summary
6.0 Tutor-Marked Assignment
7.0 References/Further Readings
1.0 INTRODUCTION
Related to integral domains and fields are certain special ideals called
prime ideals and maximal ideals. In this unit we will also discuss them
and their corresponding quotient rings.
Finally, we shall see how to construct the smallest field that contains a
given integral domain. This is essentially the way that Q is constructed
from Z. we call such a field the field of quotients of the corresponding
integral domain.
111
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
In this unit, we have tried to introduce you to a lot of new concepts. You
may need some time to grasp them. Don’t worry; take as much time as
you need. But by the time you finish it, make sure that you have attained
the following objectives. Only then will you be comfortable in the
remaining units of this course.
2.0 OBJECTIVES
Definition
112
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
_
E 1) Let n e N and m | n, 1 < m < n. Then show that m is a zero
divisor in Zn.
1
x − , 0 ≤ x ≤1 / 2
f ( x) = 2
0 ,1 / 2 ≤ x ≤1
0, 0 ≤ x ≤ 1 / 2
g ( x) =
x − 1 / 2,1 / 2 ≤ x ≤ 1
Now let us look al the ring ℘(X), where X is a set with at least two
elements. Each non empty proper subset A of X is a zero divisor
because A.Ac = A ∩ A c = φ , the zero element of ℘(X).
Definition
113
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
Theorem 1
Proof
Firstly, let us assume that p is a prime number. Then you know that Zp is
a non-zero ring with identity. Let us see if it has zero divisors/ for this,
suppose a, b∈ Z p satisfy a, b = 0 then a b = 0 , i.e., p | ab. Since p is a prime
number, using E 25 of Unit 1 we see that p | a or p | b. Thus, a =
a = 0 or b = 0. What we have shown is that if a ≠ 0 and b ≠ 0 , then ab ≠ 0.
Thus, Zp is the trivial ring, which is not a domain.
Now consider a ring R. we know that the cancellation law for addition
holds in R, i.e whether a+b = a+c in R, then b = c. But, does ab = ac
imply b = c? it need not. For example, o.1 = 0.2 in Z but 1 ≠ 2. So, if a =
0, ab = ac need not imply b = c. But, if a ≠ 0 and ab = ac, is it true that b
= c? We will prove that this is true for integral domains.
114
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
Theorem 2
A ring R has no zero divisors if and only if the cancellation law for
multiplication holds in R (i.e., if a,b,c ∈ R such that a ≠ 0, and ab = ac,
then b = c)
Proof
Now, you can use this property of domains to solve the following
exercises.
Definition
The following exercises will give you some practice in obtaining the
characteristic of a ring.
115
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
Theorem 3
a) m 1 = 0.
b) ma = 0 for all a ∈ R.
c) ma = 0 for some a ≠ in R.
Proof
116
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
Theorem 4
Proof
So suppose m = st, where s,t ∈ N, 1 < s < m and 1 < t < m. Then m.1 =
0 ⇒ (st). l = 0 ⇒ (s.l) (t.1) = 0. As R is without zero divisors, we get s.l
= 0 or t.1 = 0. But, s and t are less than m. So, we reach a contradiction
to the fact that m = char R. Therefore, our assumption that m = st, where
1 < s < m, 1 < t < m is wrong. Thus, the only factors of m are 1 and
itself. That is, m is a prime number.
We will now see what algebraic structure we get after we impose certain
restrictions on the multiplication of a domain. If you have gone through
our course Linear Algebra, you will already be familiar with the
algebraic system that we are going to discuss, namely, a field.
117
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
3.2 Field
Let (R, +,.) be a ring. We know that (R, +) is an abelian group. We also
know that the operation is commutative and associative. But (R,.) is not
an abelian group. Actually, even if R has identity, (R.,) will never be a
group since there is no element a ∈ R such that a.0 = 1. But can (R\{0}.,)
be a group? It can, in some cases. For example, from Unit 2 you know
that Q* and R* are groups with respect to multiplication. This allows us
to say that Q and R are fields a term we will now define.
Definition
Thus, for a system (R, +.,) to be a field it must satisfy the ring axioms
R1 to R6 as well as the following axioms.
i) is commutative,
ii) R has identity (which we denote by 1) and 1 ≠ 0, and
iii) every non-zero element x in R has a multiplicative inverse, which
we denote by x-1.
Just as a matter of information we would like to tell you that a ring that
satisfies only (ii) and (iii) above, is called a division ring or a shew
field or a non-commutative field. Such rings are very important in the
study of algebra, but we will not be discussing them in this course.
Let us go back to fields now. The notion of a field evolved during the
19th century through the research of the German mathematicians Richard
Dedekind and Leopold Kronecker in algebraic number theory. Dedekind
used the German word Korper, which assdfsdf field, for this concept.
This is why you will often find that a field is denoted by K.
As you may have realized, two of the best known examples of fields are
R and C. These were the fields that Dedekind considered. Yet another
example of a field is the following ring.
Example 1
118
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
Solution
a (−b)
= + 2 ∈F
2 − 2b 2
2
2 − 2b 2
2
Can you think of an example of a ring that is not a field? Does every
non-zero integer have a multiplicative inverse in Z? No. Thus, Z is not a
field.
By now you have seen several examples of fields. Have you observed
that all of them happen to be integral domains also? This is not a
coincidence. In fact, we have the following result.
Theorem 5
Proof
119
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
Theorem 6
Proof
Also, aa1, aa2,…, aan are all distinct elements of the set {a1,…..,an},
since aaj = aak ⇒ aj = ak, using the cancellation law for multiplication.
Using this result we can now prove a theorem which generates several
examples of finite fields.
Theorem 7
Proof
Theorem 7 unleashes a load of examples of fields: Z2, Z3, Z5, Z7, and so
on. Looking at these examples, and other examples of fields, can you
say anything about the characteristic of a field? In fact. Using Theorems
4 and 5 we can say that.
120
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
Theorem 8
So far the examples of finite fields that you have seen have consisted of
p elements, for some prime p. In the following exercise we give you an
example of a finite field for which this is not so.
E 15) Let R = {0,1,a,1+a}. Define + and in R as given in the following
Cayley tables
+ 0 1 a 1+a . 0 1 a 1+a
0 0 1 a 1+a 0 0 0 0 0
1 1 0 1+a a and 1 0 1 a 1+a
a a 1+a 0 1 a 0 a 1+a 1
1+a 1+a a 1 0 1+a 0 1+a 1 a
Theorem 9
Let R be a ring with identity. Then R is a field if and only if Rand {0}
are the only ideals of R.
Proof
Thus, by Theorem 4 of Unit 10, I = R. So, the only ideals of R are {0}
and R.
Conversely, assume that Rand {0} are the only ideals of R. Now, let a ≠
0 be an element of R. Then you know that the set Ra = {ra | r ∈ R} is a
non-zero ideal of R. Therefore, Ra = R. Now, 1 ∈ R = Ra. Therefore, 1
= ba for some b ∈ R, i.e., a-1 exists. Thus, every non-zero element of R
has a multiplicative inverse. Therefore, R is a field.
.
This result is very useful. You will be applying it again and again in the
rest of the units of this block.
121
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
Now that we have discussed domains and fields, let us look at certain
ideals of a ring, with respect to which the. quotient rings are domains or
fields.
Definition
You can see that {0} is a prime ideal of Z because ab ∈ {0} ⇒ a ∈ {0}
or b ∈ {0}, where a,b ∈ Z.
Examp1e 2
Solution
122
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
Try the following exercises now. They will help you get used to prime
ideals.
Now we will prove the relationship between integral domains and prime
ideals.
Theorem 10
Proof
Conversely, assume that R/P is an integral domain. Let a,b ∈ R such that
ab ∈ P. Then ab + P = P in R/P, i.e., (a+P) (b+P) = P in R/P. As R/P is an
integral domain, either a+P = P or b+P = P, i.e., either a ∈ P or b ∈ P. This
shows that P is a prime ideal of R.
Definition
123
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
Definition
Can you say what the prime elements of Z are? They are precisely the
prime numbers and their negatives.
Now that we know what a prime element is, let us see if we can relate
prime ideals and prime elements in an integral domain.
Theorem 11
Proof
Let us first assume that p is a prime element in R. Since p does not have
a multiplicative inverse, 1 ∉ Rp. Thus, Rp is a proper ideal of R. Now
let a, b ∈ R such that ab ∈ Rp. Then ab = rp for some r ∈ R.
⇒ p | ab
⇒ p | a or p | b, since p is a prime element
⇒ a = xp or b = xp for some x ∈ R
⇒ a ∈ Rp or b ∈ Rp
124
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
ideal. For example, now we can use E 19 to say that 0 is a prime element
of R iff R is a domain.
This shows that no ideal can lie between 2Z and Z. That is, 2Z is
maximal among the proper ideals of Z that contain it. So we say that it is
a "maximal ideal", Let us define this expression.
Definition
Theorem 12
Proof
125
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
zero proper ideals (see theorem 9). So, let 1 be an ideal of R/M.
Consider the canonical homomorphism η : R → R/M: η (r) = r + M.
Then, from Theorem 3 of Unit 11, you know that η -1 (I) is an ideal of R
containing M, the kernel of η . Since M is a maximal ideal of R, η -1 (I) =
M or η -1 (I) = R. Therefore, I = η ( η -1 (I)) is either η (M) or η (R), That
is, I = { 0 } or I = R/M, where 0 = 0+M = M. Thus, RIM is a field.
Corollary
Example 3
Solution
126
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
Example 4
Now, {0, 4, 8} = 4Z 12 ⊂ 2Z 12 ⊂ Z 12 .
Try the following exercises now
So, let us see what we have done in this section. We first introduced you
to a special ideal of a ring, called a prime ideal. Its speciality lies in the
fact that the quotient ring corresponding to it is an integral domain.
Now, if we restrict our attention to domains, can you think of any other
method of obtaining a field from a domain? In the next section we look
at such a method.
a
Consider Z and Q. You know that every element of Q is of the form ,
b
a
where a ∈ Z and b ∈ Z*. Actually, we can also denote by the ordered
b
a c
pair (a,b) ∈ Z x Z*. Now, in Q we know that = iff ad = bc. Let use
b d
put a similar relation on the elements of Z x Z*.
127
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
We define a relation ~ in K by
ii) Let (a,b), (c.d) ∈ K such that (a,b) ~ (c.d). Then ad = bc, i.e., cb =
da. Therefore, (c,d) ~ (a,b). Thus, ~ is symmetric.
iii) Finally, let (a,b), (c,d), (u,v) ∈ K such that (a.b) ~ (c,d) and (c,d)
~ (u,v). Then ad = bc and cv = du. Therefore, (ad) v = (bc)v =
bdu, i.e., avd = bud. Thus, by the cancellation law for
multiplication (which is valid for a domain), we get av = bu, i.e.,
(a,b) ~ (u,v). Thus, ~ is transitive.
128
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
So, let [a,b] = [a´,b´] and [c´,d´] = [c´,d´]. We have to show that [a,b] +
[c,d] = [a´,b´] + [c´,d´], i.e:, [ad+bc,bd] = [a´d´+b´c´,b´d´].
= 0.
= ab´cd´ - ba´dc´ = ba´cd´ - ba´cd´, since ab´ = ba´ and cd´ = dc´
=0
129
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
Firstly, for a, b ∈ R,
Next, let a,b ∈ R such that f(a) = f(b). Then [a, 1] = [b,I], i.e., a = b.
Therefore, f is 1 – 1.
Thus, f is a homomorphism.
All that we have discussed in this section adds up to the proof of the
following theorem.
Theorem 13
130
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
The field F whose existence we have just proved is called the field of
quotients (or the field of fractions) of R.
Theorem 14
We will not prove this result here, since it is a little technical. But let u~
look at this theorem closely. It says that the field of quotients of an
integral domain is the smallest field containing it. Thus, the field of
quotients of any field is the field itself. So, the field of quotients of R is
R and of Zp is Zp, where p is a prime number.
Let us now wind up this unit with a summary of what we have done in
it.
5.0 SUMMARY
131
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
Then m r = n = 0 in Z n
⇒ x = 0 or x = 1.
∴char℘ (X) = 2
132
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
Thus, n ≤ m
∴ n(r,0) = (0,0).
i.e., nr = 0
∴ m ≤ n.
∴ (a+b)p = ap + bp.
b) Let S = {ap | a ∈ R}
Firstly, S ≠ φ .
133
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
Ker f = {n ∈ Z | n.1 = 0}
= mZ4, since char R = m.
But 3 (1, 0) ≠ (0, 0). Thus, Theorem 3(a) and Theorem 3(c) arc not
equivalent in this case
E 15) From the tables you can see that R is commutative with identity
and every non-zero element has an inverse: Thus, R is a field.
134
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
Thus, char R = 2.
If Ker f = F, then f = 0.
Thus, R is a field
T ∈ C[0.I], f ∈ I ⇒ Tf ∈ I.)
iff ab = 0 ⇒ a = 0 or b = 0
135
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
E 20) a) From Theorem 3 of Unit 11, you know that f-1 (J) is an
ideal of R. Since f is syrjective and J ≠ S, f-1 (J) ∈ R
⇒ f(ab) ∈ J.
⇒ f(a) f(b) ∈ J.
⇒ a ∈ f (J) or b ∈ f (J).
-1 -1
E 22) M is maximal in R
⇒ R/M is a field, by Theorem 12
136
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
⇒ M is prime in R, by Theorem 10
E 24) In Unit 11 we have shown that this ideal in the kernel of the onto
1
homomorphism φ :C[0,1] → R: φ (f) = f ( ).
2
∴ C[0,l]/Ker φ ~ R, a field.
E 25) You can prove all these properties by using the corresponding
properties of R.
a+b 2 a + b 2 c + d 2 ac − 2bd bc − ad
Now, ,= = 2 2
+ 2 2 2
∈ Q + 2Q
c+d 2 c − 2d
2 2
c − 2d c − 2d
Thus, F ⊆ Q + 2Q.
a c
Also, any element of Q + 2Q is + 2 , a,b,c,d ∈ Z, b ≠ 0, d ≠ 0
b d
1 c ad + bc 2 ad + bc 2
Now + 2 = = with ad, bc, bd ∈ Z
2 d bd bd +0 2
a c
Thus, + 2 ∈F.
b d
Hence, Q + 2Q ⊆ F
Thus, F = Q + 2Q
137
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
CONTENTS
1.0 Introduction
2.0 Objectives
3.0 Main Content
3.1 Ring of Polynomials
3.2 Some Properties of R [x]
3.3 The Division Algorithm
3.4 Roots of Polynomials
4.0 Conclusion
5.0 Summary
6.0 Tutor-Marked Assignment
7.0 References/Further Reading
1.0 INTRODUCTION
In the past you must have come across expressions of the form x+1,
x2+2x+1, and so on. These are examples of polynomials. You have also
dealt with polynomials in the course Linear Algebra. In this unit we will
discuss sets whose elements are polynomials of the type a0 + a1 x +….+
an xn, where a0,a1……,an are elements of a ring R. You will see that this
set, denoted by R [x], is a ring also.
You may wonder why we are talking of polynomial rings in a block on,
domains and fields. The reason for this is that we want to focus on a
particular case, namely, R [x], where R is a domain. This will turnout to
be a domain also, with 'a lot of useful properties. In particlI1ar, the ring
of polynomials over a field satisfies a division algorithm, which is
similar to the one satisfied by Z (see Sec. 1.6.2). We will prove this
property and use it to show how many roots any polynomial over a field
can have.
In the next two units we will continue to work with polynomials and
polynomial rings. So read this unit carefully and make sure that you
have achieved the following objectives.
2.0 OBJECTIVES
138
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
Definition
ii) write x1 as x.
Thus, the polynomial 2 + 3x2 - l.x3 is 2x0 +0.x1 + 3x2 + (-1 )x3
Definition
139
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
Definition
n
deg ( ∑ ai x i ) = n, if a n ≠ 0
i=0
Notation
We will denote the set of all polynomials over a ring R by R[x]. (Please
note the use of the square brackets [ ]. Do not use any other kind of
brackets because R [x] and R (x) denote different sets).
n
Thus, R[ x] = ∑ ai x i ) ai ∈ R ∀ i = 0,1,.......,.. n, wheren ≥ 0, n ∈ Z
i = 0
140
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
To check your understanding of what we have said so far, you can try
these exercises now.
a) x6 + x5 + x4 + x2 + x + 1
2 1
b) 2
+ + x + x2
x x
c) 3 x2 + 2 x + 5
1 1 1
d) 1+ x + x2 + x3
2 3 4
f) -5.
a) 2 x+7
b) 1- 7x3 + 3x
c) 1 + x3 + x4 + 0.x5
1 1 1
d) x + x2 + x3
3 5 7
e) 0.
Now, for any ring R, we would like to see if we can define operations on
the set R [x] so that it becomes a ring. For this purpose we define the
operations of addition and multiplication of polynomials.
141
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
Definition
m
= ∑ (a1 + bi ) x i , where ai = 0 for i > n.
i=0
For example, consider the two polynomials p(x),q(x) in Z[x] given by
p(x) =1+2x + 3x2, q(x) = 4 + 5x + 7x3
Then
From the definition given above, it seems that deg (f(x)+g(x)) = max
(deg f (x), deg g (x)). But this is not always the case. For example,
consider p(x) = 1 + x2 and q (x) = 2 + 3x -x2 in Z [x].
Here deg (p(x) + q (x)) = 1 < max (deg p(x), deg q(x)).
Definition
142
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
Here a0 = 1, ai = -1, a2 = 0, a3 = 2, b0 = 2, b1 = 5, b2 = 7.
5
Thus, p(x) q (x) = ∑ ci x i , where
i=0
c0 = a0b0 = 2,
c1 = a1b0 + a0b1 = 3,
Note that p(x), q(x) ∈ Z[x], and deg (p(x) q(x)) = 5 = deg p(x) + deg
q(x)
Here, deg (p(x).q(x) = 2 < deg p (x) + deg q (x) (since deg p (x) = 1, deg
q(x) = 2).
Now try the following exercise. It will give you some practice in adding
and multiplying polynomials.
143
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
E3) Calculate
Now let us prove the following theorem. It is true for any ring,
commutative or not.
Theorem 1
Proof
Similarly,
So we have
144
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
= a0 + at K + ...+ anxn.
= p(x)
iv) Additive invers: For p (x) = a0 + a1x +... + anxn ∈ R[x], consider
the polynomial
v) Multiplication is associative:
Then
Therefore,
145
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
Similarly, we can show that the coefficient of xk (for any k > 0).in p(x)
{q (x) t(x)1}
(akb0+ak-1b1+…+a0bk)+(akd0+ak-1d1 +…+a0dk),
Note that the definitions and theorem in this section are true for any
ring. We have not restricted ourselves to commutative rings. But, the
case that we are really interested in is when R is a domain. In the next
section we will progress, towards this case.
146
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
In the previous section you must have realised the intimate relationship
between the operations on a ring R and the operations on R [x]. The next
theorem reinforces this fact.
Theorem 2
Let R be a ring.
a) If R is commutative, ~o is R [x].
b) If R has identity, so does R [x].
Proof
= bka0 + bk-1al + ...+ b1ak-1 + b0ak, since both addition and multiplication
are commutative in R.
Thus, for every > 0 the coefficients of xi in p(x) q(x) and q(x) p(x) are
equal
147
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
a) is R commutative?
Now let us explicitly state a result which will help in showing us that R
is a domain iff R [x] is a domain. This result follows just from the
definition of multiplication of polynomial
Theorem 3
Let R be a ring and f(x) and g (x) be two non-zero elements of R [x).
Then deg (f (x) g (x) < deg f(x) + deg g (x),
cm+n = anbm .
On the other hand, if R has zero divisors, it can happen that anbm = O. In
this case,
148
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
Theorem 4
Proof
Conversely, let us assume that R [x] is without zero divisors. Let a and
be non-zero elements of R: Then they are non-zero elements of R [x]
also. Therefore, ab ≠ 0. Thus, R is without zero divisors. So, we have
proved the theorem.
149
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
Now, you have seen that many properties of the ring R carry over to R
[x1. Thus, if F is a field, we 'should expect F[x] to be a field also. But
this is not so. F [x] can never be a field
This is because any polynomial of positive degree in F [x] does not have
a multiplicative inverse. Let us see why.
Let f (x) ∈ F [x] and deg f (x) = n > 0. Suppose g (x) ∈ F [x] such that
0 = deg 1 = deg (f(x) g (x) = deg f(x) + deg g (x), since F [x] is a
domain.
We reach a contradiction.
But there are several very interesting properties of F [x], which are
similar to those of Z, the set of integers. In the next section we shall
discuss the properties of division in F [x]. You will see how similar they
are to the properties of Z that we have discussed in Sec. 1.6,2.
Let F be a field. I.-et f(x) and g(x) be two polynomials in F [x], with g(x)
≠ 0. Then
a) there exist two polynomials q(x) and r (x) in F [x] such that
f (x) = q (x) g (x) + r (x), where deg r(x) < deg g (x).
150
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
Proof
Then f, (x) = 0. g(x) + f (x), where deg f(x) < deg g (x).
We shall apply the principle of induction (see Sec. 1.6.1) on deg f(x),
i.e., n.
f(x) = (a0 b0 + 0 = q(x) g (x) + r (x), where q(x) = a0b0-1 and r(x) = 0.
Thus,
f(x) = q(x) g(x) + r(x), where deg r(x) < deg g(x).
F[x] such that fl (x) = ql (x) g(x) + r(x), where deg r(x) < deg g(x).
151
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
Therefore, the algorithm is true for f(x). and hence, for all polynomials
in F[x].
b) Now let us show that q(x) and r(x) are uniquely determined.
If possible, let
Then
But this contradicts Equation (1). Hence, Equation (l) will remain valid
only if q1(x) –q2(x) = 0. And then r2(x) –r1(x) = 0,
Thus we have proved the uniqueness of q(x) and r(x) in the expression
f(x) = q(x) g(x)+r(x).
Here q(x) is called the quotient and r(x) is called the remainder obtained
on dividing f(x) by g(x).
Notation
152
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
Proof
Let g(x) = x-b. Then, applying the division algorithm to f(x) and g(x),
we can find unique q(x) and r(x) in F[x], such that
f(x) = q(x) g(x)+r(x)
= 0.q(b)+a = a
Thus, a = f(b).
Example 1
Express x4+x3+5x2 -x as
153
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
Solution
x2 + 4
x 2 + x +1 x 4 + x 3 + 5 x 2 − x
x4 + x3 + x2
4 x 2\ x
4x 2 + 4 x + 4
−5 x −4
Now, since the degree of the remainder -5x- 4 is less than deg (x2+x+ I),
we stop the process, We get
a) f = x4+1, g = x3 in Q[x]
b) f = x3 + 2 x2 – x + 1 in Z3 [x]
c) f = x3 – 1, g = x – 1 in R[x]
p
E 9) You know that if p,q ∈ Z, q ≠ 0, then can be written as the
q
m
sum of an integer and a fraction with | m | < | q |. What is the
q
analogous property, fur elements of F[x]?
Now, let us see what happens when the remainder in the expression f =
pg+r is zero
In Sec. 12.4 you have seen when we can say that an element in a ring
divides another element. Let us recall the definition in the context of
F[x], where F is a field.
154
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
Definition
Let f(x) and g(x) be in F[x], where F IS a field and g (x) ≠ 0. We say
that g(x) divides f(x)(or g(x) is a factor of f(x), or f(x) is divisible by
g(x) if there-exists q(x) ∈ F[xl such that
We write g(x) j f(x) for 'g(x) divides f(x), and g(x) ~ f(x) for 'g(x) does
not divide f(x).
Now, if f(x) ∈ F[x] and g(x) ∈ F[x], where g(x) ≠ 0, then does
Theorem say when g(x) | f(x)? It does, We find that g(x) | f(x) if r(x) = 0
in Theorem 5.
E 10) Let F be a field and f(x) ∈ F[x] with deg f(x) > 1. Let a ∈ F.
Definition
1 1
Similarly, - 1 is a root of f(x) = x3+x2+ x + ∈ Q [x], since- .
2 2
1 1
f(-1) = 1+1 - + = 0.
2 2
Not that, in E 10 you have proved the following criterion for an element
to be a root of a polynomial:
Let f be a field and f (x) ∈ F[x]. Then a ∈ F is a root of f(x) if and only
if (x-a)|f(x).
155
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
Definition
Now is it easy to obtain all the roots of a given polynomial? Any linear
polynomial ax+b ∈ F[x] will have only one root namely, -a-lb. This is
because ax+b = 0 iff x = -a-lb.
− b ± b 2 − 4ac
x=
2a
E 11) Find the roots of the following polynomials, along with their
multiplicity.
1 2 1
a) f(x) = x - x + 3 ∈ Q[x]
2 2
b) f(x) = x + x + 1 ∈ Z3 [x]
2
Show that
156
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
As we have just seen; it is not easy to find all the roots of a given
polynomial. But we can give a definite result about the number of roots
of a polynomial.
Theorem 7
Proof
So, let us assume that n > 1. We will use the principle of induction on n.
If deg t(x) = 1, then
Now assume that the theorem is true for all polynomials in F[x] of
degree < n. We will show that the number of roots of f(x), < n.
If f(x) has no root in F, then the number of root of f(x) in F is 0 < n. So,
suppose f(x) has a root a ∈ F.
Hence, by the induction hypothesis g(x) has at most n-1 roots in F, say
al,...,an-1 Now,
Now, b ∈ F is a root off(x) iff f(b) = 0, i.e., iff (b-a) g(b) = 0, i.e., iff b-a
= 0 or g(b) = 0, since F is an integral domain. Thus, b is a root of f(x) iff
b = a or b is a root of g(x). So, the only roots of f(x) are a and a1…,an-1.
Thus, f(x) has at the most n roots, and so, the theorem is true for n.
157
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
Using this result we know that, for example, x3-1 ∈ Q[x] can't have
more than 3 roots in Q.
In Theorem 7 we have not spoken about the roots being distinct. But an
obvious corollary of Theorem 7 is that
Theorem 8
Let f(x) and g(x) be two non-zero polynomials of degree, n over the
field F if there exist n+1 distinct elements al,...,an+1 in F such that f(ai) =
g(a) ∀ i = 1, ..., n+1, then f(x) = g(x).
Proof
Then deg h(x) < n, but it has n+1 distinct roots a1,..., an+1.
We will now give you an example to show you that Theorem 7 (and
hence Theorem 8) need not be true for polynomials over a general ring.
Example 2
Prove that x3 + 5 x ∈ Z6 [x] has more roots than its degree. (Note that Z6
is not a field.)
Solution
Since the ring is finite, it is easy for us to run through all its elements
and check which of them, are roots of
f(x) = x3 + 5 x.
f(0) = 0 = f( 1 ) = f( 2 ) =f( 3 ) = f( 4 ) = f( 4 ).
158
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
E 13) Let p be a prime number. Consider xp-l - 1 ∈ Zp[x]. Use the fact
that Zp is a group of order p to show that every non-zero element
of Zp is a root of xp-1 - 1 .
4.0 CONCLUSION
5.0 SUMMARY
159
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
(b) and (e) are not polynomials since they involve negative and
fractional powers of x.
t
Then φ (p(x)+q(x)) = φ ( ∑ (ai+bi)xi), where t = max (m,n)
i=0
160
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
t
= ∑ f(ai+bi)xi
i=0
t
= ∑ [f(ai)+f(bi)]xi
i=0
t t
= ∑ f(ai)x + ∑ f(bi)xi
i
i=0 i=0
Whenever ai = 0, bj = 0.
m+n
Also, φ (p(x)q(x)) = φ ( ∑ cixi), where ci = aib0+ai-1b1+…+a0bi
i=0
m+n
= ∑ f(ci)xi
i=0
m+n
= ∑ [f(ai)f(b0) + f(ai-1) f(b1) +…+(a0) f(bi)]xi
i=0
= φ (p(x)) φ (q(x)).
8a. f = x.g+l, q = x, r = l
161
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
x2 + x − 2
b) x +1
x 3 + 2x 2 − x + 1
x3 = x2
x2 − x +1
x2 + x
− 2x + 1
− 2x + 1
3
c) f = (x2 + x + 1)g + 0
f ( x) r ( x)
= q( x) + , where deg r(x) < deg g(x).
g ( x) g ( x)
10. By Theorem 6,
11a. By the quadratic formula, the roots are 3 and 2, each with
multiplicity 1.
b. x2+x+ 1 = (x- 1 )2, since - 2 = 1 in Z3
i=0 i=0
162
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
t
Then φ (f(x)+g(x)) = φ ( ∑ (ai+bi) xi), where t = max(m,n).
i=0
t
= ∑ (ai + bi)ai
i=0
t t
= ∑ aia + ∑ biai
i
i=0 i=0
= f(a)+g(a)
m + n
φ (f(x) g(x)) = φ ∑ (ai b0 + ai −1b1 + ... + a 0 bi ) x
i
i=0
m+n
= ∑ (ai b0 + ai −1b1 + ... + a 0 bi )a i
i=0
= f(a) g(a)
= φ (f(x)) φ (g(x)).
Thus, φ is a homomorphism.
Thus, φ is surjective.
163
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
F[x]/<x-a> ~ F.
Since, xp-1- 1 can have at most p-1 rots in Zp, we find that the (p-1)
elements of Z *p are yjr only rooyd of xp-1- 1 .
164
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
CONTENTS
1.0 Introduction
2.0 Objectives
3.0 Main Content
3.1 Euclidean Domain 37
3.2 Principal Ideal Domain (PID)
3.3 Unique Factorization Domain (UFD)
4.0 Conclusion
5.0 Summary
6.0 Tutor-Marked Assignment
7.0 References/Further Reading
1.0 INTRODUCTION
In this unit we shall look lit three special kinds of integral domains.
These domains were mainly studied with a view to develop number
theory. Let us say a few introductory sentences about them.
In Unit 6 you saw that the division algorithm holds for F[x] where F is a
field. In Unit 1 you saw that it holds for Z. Actually, there are lots of
other domains for which this algorithm is true. Such integral domains
are called Euclidean domains. We shall discuss their properties in Sec.
7.2
While going through the unit you will also see the relationship between
Euclidean domains, principal ideal domains and unique factorisation
domains.
165
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
2.0 OBJECTIVES
In this course you have seen that Z and F[x] satisfy a division algorithm.
There are many other domains that have this property. In this section we
will introduce you to them and discuss some of their properties. Let us
start with a definition.
Definition
Example 1
166
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
Solution
d(ab) = |ab| = |a| |b| > |a| (since |b| > 1 for b ≠ 0)
= d(a),
Definition
For example, both 1 and -1 are units in Z since 1.1 = 1 and (-1).(-1) = 1.
167
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
Caution
Note the difference between a unit in R and the unity in R. The unity is
the identity with respect to multiplication and is certainly a unit. But a
ring can have other units too, as you have just seen in the case of Z.
Now, can we obtain all the units in a domain? You know that every non-
zero element in a field F is invertible. Thus, the set of units of F is F \
{0}. Let us look at some other cases also.
Example 2
Solution
Let f(x) ∈ F[x] be a unit. Then ∃ g(x) ∈ F[x] such that f(x) g(x) = 1.
Therefore,
Since deg f(x) and deg g(x) are non-negative integers this equation can
hold only if deg f(x) = 0 = deg g(x). Thus, f(x) must be a non-zero
constant, i.e. an element of F\ {0}. Thus, the units of F[x] are the non-
zero element of F. That is, the units of F and F[x] coincide.
Example 3
Solution
(a+b − 5 ) (c+d − 5 ) = 1
(ac-5bd)+(bc+ad − 5 ) = 1
168
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
(a2+5b2)d =-b
∴ b = 0.
We have asked you to find these elements and other units in E 3 below
a) Z, b) Z6, c) Z+iZ.
Ru = R
Theorem 1
Proof
Now, if r ≠ 0, d(r) = d(r.1) > d(1). Thus, d(d) d(1) can't happen.
169
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
Theorem 2
Proof
Rb ⊆ I. …….(1)
But r = 0 or d(r) < d(b). The way we have chosen d(b), d(r) < q(b) is not
possible.
1= Rb.
So, for example, every ideal of Z is principal, a fact that you have
already proved in Unit 10.
170
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
In the previous section you have proved that every ideal of F[x] is
principal, where F is a field. There are several other integral domains,
apart from Euclidean domains, which have this property. We give such
rings a very appropriate name.
Definition
b
For example, the ring of all complex numbers of the form a+ (1 + i 19 ),
2
where a, b ∈ Z, is a principal ideal domain, but not it Euclidean domain.
The proof of this too technical for this course, so you can take our word
for it for the present!
Example 4
Solution
You know that Z[x] is a domain, since Z is one. We will show that all
its ideals are not principal. Consider the ideal of Z[x] generated by 2 and
171
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
x, i.e., < 2,x>. We want to show that < 2, x > ≠ <f(x)> for any f(x) ∈
Z[x).
On the contrary, suppose that ∃ f(x) ∈ Z[x] such that <2,x> = <f(x)>.
Clearly, f(x) ≠ 0. Also, ∃ g(x), h(x) ∈ Z[x] such that
Then (2) shows that deg h(x) = 1. Let h(x) = ax+b with a,b ∈ Z
Now, on comparing the constant term on either side we see that 1 = 2b0.
This can’t be true, since 2 is not invertible in Z. So we reach a
contradiction.
172
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
Now we would like to generalize the definition of some terms that you
came across in Unit 1 in the context of Z.
Definition
i) d | a and d | b, and
We will show you that if the g.c.d of two elements exists, it is unique up
to units, i.e., if d and d` are two g.c.ds of a and, then d=ud`, for some
unit u. For this we need a result that you can prove in the following
exercise.
a) u is a unit in R iff u | 1.
b) for a, b ∈ R, a | b and b | a iff a and b are associates in R.
Theorem 3
Proof
173
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
product turned out to be the required g.c.d. We will use the same method
in the following example.
Example 5
q(x) = 6x2 – 10 x – 4
Solution
By the quadratic formula, we know that the roots of p(x) are 2 and – 5,
and the roots of q(x) are 2 and – 1 / 3
Therefore, p(x) = (x-2) (x+5) and q(x) is the product of the common
factors of p(x) and q(x), which is (x-2).
a) 2 and 6 in Z / <8>
b) x2+8x15 and x2+12x+35 in Z[x].
c) x3-2x2+6x-5 and x2-2x+1 in Q[x].
Theorem 4
Let R be a PID and a, b ∈ R. Then (a,b) exists and is of the form ax+by
for some x,y ∈ R.
Proof
Consider the dieal <a,b>. Since R is a PID, this ideal must be principal
also. Let d ∈ R such that <a,b> = <d>. we will show that the g.c.d of a
and b is d.
174
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
Thus, we have shown that d = (a,b), and d = ax+by for some x,y ∈ R.
The fact that F[x] is a PID gives us the following corollary to Theorem
a.
Corollary
Let F be a field. Then any two polynomials f(x) and g(x) in F[x] have a
g.c.d which is of the form a(x) f(x) + b(x) g(x) for some a(x) ∈ F[x].
1 3 (− x) 2
For example, in 10 (c), (x–1) = ( x − 2 x 2 + 6 x − 5) + ( x − 2 x + 1)
5 5
Now you can use Theorem 4 to prove the following exercise about
relatively prime elements in a PID, i.e., pairs of elements whose g.c.d is
1.
E 11) Let R be a PID and a,b,c ∈ R such that a | bc. Show that if (a,b) =
1, then a | c.
Definition
So, for example, the irreducible elements of Z are the prime, numbers
and their associates. This means that an element in Z is prime iff it is
irreducible.
175
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
theorem about polynomials in C[x]. You have already come across this
in the Linear Algebra course.
Any non-constant polynomial in C[x] has a rot in C. (In fact, it has all
its roots in C).
Theorem 5
Theorem 6
We will not prove these results here but we will use them often when
discussing polynomials over R or C. You can use them to solve the
following exercise.
a) x2-2x+1 ∈ R[x]
b) x2+x+1 ∈ C[x]
c) x-i ∈ C[x]
d) x3-3x2+2x+5 ∈ R[x]
Theorem 7
Proof
176
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
Now, why do you think we have said that Theorem,7 is true for a PID
only? From E 13 you can see that one way is true for any domain. Is the
other way true for any domain? That is, is every irreducible element of a
domain prime? You will get an answer to this question in Example 6.
Just now we will look at some uses of Theorem 7.
Theorem 8
I1 ⊆ I 2 ⊆ .... r an ass(
Proof
∞
Consider the set I = I1 I 2 .... In. We will prove that .I is Firstly, I
n =1
≠ φ , sin ce I1 ≠ φ and I1 ⊆ I .
177
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
Theorem 9
Proof
Conversely, let a be prime and let I be an ideal of R such that < a > ~ I.
Since R is a PID, I = <b> for some b e R. We will show that b is a unit
in R; and hence, by E 4, <b>=R, i.e., I = R.
What Theorem 9 says is ~hat the prime ideals and maximal ideals
coincide in a PID.
E 14) Which of the following ideal are maximal? Give reasons for your
choice.
a) < 5 > in Z,
b) < x2-1 > in Q [
c) <x2+x+1 > in R[x],
d) < x > in Z[x].
178
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
Theorem 10
Proof
By Theorem 8, this chain stops with some <an>. Then an with be prime,
since it doesn’t have any non-trivial factors. Take p = an, and the
theorem is proved.
Theorem 11
Proof
In the PID R. Just as in the proof of Theorem 10, this chain ends at <am>
for some m ∈ N, and am is irreducible.
179
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
Hence, the process stops after m steps, i.e., we can write a = p1p2… pm,
where pi is a prime element of R ∀ i = 1,…, m.
Theorem 12
Before going into the proof of this result, we ask you to prove a property
of prime elements that you will need in the proof.
Proof
Thus, by E 15, p1|qj for some j = 1,……,m. By changing the order of the
qi, if necessary, we can assume that j = 1, i.e., p1 | q1. Let q1 = p1u1.
Since q1 is irreducible, u1 must be a unit in R. So p1 and q1 are
associates. New we have
p2p3…pn = u1q2…qm.
Now, if m > n, we can apply the same process to p2,p3, and so on.
1 = u1u2…un qn+1…qm.
This shows that qn+1 is a unit. But this contradicts the fact that qn+1 is
irreducible.
180
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
Thus, m < n.
Thus, n = m.
During the proof we have also shown that each pi is an associate of some
qi, and vice versa.
E 16) Give the prime factorization of 2x2–3 x+1 in Q[x] and Z2[x].
Definition
181
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
Example 6
Solution
You can check that this function has the property that
182
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
Since f(α), f(β) ∈ N and α, β are not units, the only possibilities are f(α)
= 3 = f(β).
From this example you can also see that an irreducible element need not
be a prime element. For example, 2+ + 5 is irreducible and 2+ + 5 |3.3,
but 2+ + 5 χ3. Thus, 2+ + 5 is not a prime element.
Now let us discuss some properties of a UFO. The first property says
that any two elements of a UFD have a g.c.d; and their g;c.d is the
183
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
product of all their common factors. Here we will use the fact any
element a in a UFD R can be written as
A = p1r1p2r2…pnrn
Theorem 13
Proof
Therefore, c | d.
Hence, d = (a,b).
This theorem tells us that the method we used for obtaining the g.c.d in
Example 5 and E 10 is correct.
184
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
Theorem 14
Proof
If(a,b) = a, a | b.
Hence, a is prime.
For the final property of UFDs that we are going to state, let us go back
of Example 4 for a moment. Over there we gave you an example of a
PID R, for which R [x] if R is a UFD. We state the following result.
Theorem 15
We will not prove this result here, even though it is very useful to
mathematicians. But let us apply it. Y 011 can use it to solve the
following exercises.
185
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
Let us wind up this unit now, with a brief description of what we have
covered in it.
4.0 CONCLUSION
5.0 SUMMARY
2) Z, any field and any polynomial ring over a field arc Euclidean
domains.
10) Every PID is a UFD, but the converse is not true. Thus Z. F an~
F[x] are UFDs, for any field F
186
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
d(ab) = 1 = d(a).
a = (ab-1)b+0,
Now, use Theorem 5 of Unit 13, and you will have proved the result.
Thus, from Sec. 1.6.2 we see that m is a unit if the g.c.d of m and 6 is 1.
∴ m = 1 or 5
c) Z/5Z is a field. Thus, the units are all its non-zer6 elements.
(a+ib) (c+id) = 1,
⇒ (ac-bc)+(ad+bc)I = 1
187
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
b. a | b and b | a
10a. 2.
188
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
15. The result is clearly true for n = 1. Assume that it holds for all m
< n, i.e., whenever m < n and p | al a2...am then p | ai for some I =
1,2,…,m.
If p | a1…an-1, p | an.
189
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
Hence, it is true ∀ n ∈ N.
17. Let f(x) be a non-zero non-unit in F[x] and let deg f(x) = n.
Now suppose that the result is true for polynomials of degree < n. Now
take f(x). If f(x) is irreducible, there is nothing to prove. Otherwise,
there is a prime f1(x) such that f1(x) | f(x). Let f(x) = f1(x)g1(x). Note that
deg f1(x) > 0.
Hence, deg g1(x),< deg f(x). If g1(x) is prime, we are through. Otherwise
we can find a prime element f2(x) such that gl(x) = f2(x)g2(x). Then deg
g2(x) < deg gl(x). This process must stop after a finite number of steps,
since, each time we get polynomials of lower degree. Thus, we shall
finally get
Now, to show that the factorization is unique you go along the lines of
the proof of Theorem 12. .'
18. 10 = 2 x 5 = x 2.
Using the norm function you should check that each of 2,3,1+ − 5 and 1
- − 5 are irreducible in Z [ − 5 ].
20. Z[x].
190
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
Also, even if the quotient ring is a domain, it may not be a UFD. For
example, Z[ − 5 ] ~ Z[x]/< x2+5 > is not a UFD, while Z[x] is
191
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
CONTENTS
1.0 Introduction
2.0 Objectives
3.0 Main Content
3.1 Irreducibility in Q[x]
3.2 Field Extensions
3.2.1 Prime Fields
3.2.2 Finite Fields
4.0 Conclusion
5.0 Summary
6.0 Tutor-Marked Assignment
7.0 References/Further Reading
1.0 INTRODUCTION
192
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
Before reading this unit we suggest that you go through the definitions
of irreducibility from Unit l4. We also suggest that you go through Units
3 and 4 of the Linear Algebra course if you want to understand the proof
of Theorem 7 of this unit. We have kept the proof optional. But once
you know what a vector space and its basis are, then the proof IS very.
2.0 OBJECTIVES
193
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
Definition
Let f(x) = a0 + a1x +...+ anxn ∈ Z[x]. We define the content of f[x] to be
the g.c.d of the integers a0, al,…, an,
For example, the content of 3x2 + 6x+ 12 is the g.c.d. of 3,6 and 12, i.e.,
3. Thus, this polynomial is not primitive. But x5 + 3x2 + 4x -5 is
primitive, since the g.c.d of 1,0,0,3,4,-5 is 1.
a) 1 + x + x 2 + x 3 + x4
b) 7x4 - 7
c) 5(2x2 -l)(x+ 2)
Theorem 1
Proof
To prove the result we shall assume that it is false and then reach a
contradiction. So, suppose that f(x) g(x) is not primitive. Then the g.c.d
of c0, c1,..., cm+n is greater than 1, and hence some prime p must divide it.
194
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
Now consider
Therefore, p | cr+s - (a0br+s +... + ar-1 bs+1 + ar+1 bs-l+ ...+ ar+sb0)
i.e., p | ar bs
⇒ p | ar or p | bs since p is a prime.
3 3 1 2 1
Consider any polynomial over Q, say f(x) = x + x + 3 x + . If we
2 5 3
take the kcm of all the denominators, i.e., of 2,5, 1 and 3, i.e., 30 and
multiply f(x) by it what do we get?
Using the same process, we can multiply any f(x) ∈ Q[x] by a suitable
integer d so that df(x) ∈ Z[x]. We will use this fact while relating
irreducibility in Q[x] with irreducibility in Z[x].
Theorem 2
Proof
Let us suppose that f(x) is not irreducible over Q[x]. Then we should
reach a contradiction. So let f(x) = g(x) h(x) in Q[x], where neither g(x)
nor h(x) is a unit, i.e., deg g(x) > 0, deg h(x) > 0. Since g(x) ∈ Q[x], ∃ m
∈ Z such that mg(x) ∈ Z[x]. Similarly, ∃ n∈ Z such that nh(x) ∈ Z[x].
195
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
Then,
Now, let us use E2. By E2, f(x) = rf1(x), mg(x) = sg1 (x), nh(x) = th1 (x),
where r, s and t are the contents of f(x), mg (x) and nh (x) and f1(x),
g1(x), h1(x) are primitive polynomials of positive degree.
Since g1(x) and h1(x) are primitive, Theorem 1 says that g1(x) h1(x) is
primitive. Thus, the content of the right hand side polynomial in (2) is st.
But the content of the left hand side polynomial in (2) is mnr. Thus. (2)
says that mnr = st.
Hence, using the cancellation law in (2), we get f1(x) = g1(x) h1(x).
Therefore, f(x) = rf1(x) = (rg1(x)) h1(x) in Z[x], where neither rg1(x) nor
h1(x) is a unit. This contradicts the fact that f(x) is irreducible in Z[x].
Let f(x) = a0 + a1x + ... + anxn ∈ Z[x] Suppose that for some prime
number p,
i) f | an,
iii) p2 | a0
Proof
196
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
ak = b0 ck + b1 ck-1 + … + bk c0 ∀ k = 0, 1 …, n.
Now let us look at an = bm cr. Since p | an, we see that p | bm and p | cr.
Thus, we see that for some I, p | bi. Let k be the least integer such that p
| bk. Note that 0 < k < m < n.
Therefore, p | ak.
Example 1
Solution
Example 2
197
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
Solution
From Unit 14 you know that for any field F, if f(x) is irreducible in F[x],
then <f(x)> is a maximal ideal of F[x].
From Unit 12 you also know that if R is a ring, and M is a maximal ideal
of R. then R/M is a field.
Example 3
Solution
To start with we would like you to note that f(x) = g(x) h(x) in Z[x] iff
f(x+1) = g(x+1) h(x+1) in Z[x]. Thus, f(x) is irreducible in Z[x] iff
f(x+1) is irreducible in Z[x].
x p −1
Now, f(x) =
x −1
x + 1 p −1
∴ f(x+1) =
x
1 p p p −1
= ( x + C1 x + ... + p C p −1 x + 1 −1), (by the binomial theorem)
x
198
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
a) x2-12 ..
c) 5x + 1
So far we have used the fact that if f(x) E Z[x] IS irreducible over. Z.
then it is also irreducible over Q, Do you think we can have a similar
relationship between irreducibility in Q[x] and R[x]? To answer this
consider f(x) = x2- 2. This is irreducible in Q[x], but f(x) = (x - 2) (x
+ 2) ) in R[x]. Thus, we cannot extend irreducibility over Q to
irreducibility over R.
Theorem 4
199
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
The proof of this result is on the same lines as that of Theorems 2 and 3.
We will not be doing it here. But if you are interested, you should try
and prove the result yourself.
Definition
Theorem 5
i) a ∈ S, b ∈ S ⇒ a-b ∈ S, and
ii) a ∈ S, b ∈ S, b ≠ 0 ab-l ∈ S.
200
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
E 8) Show that
a) Q + iQ is a subfield of C
b) Z + 2 Z is not a subfield or R.
Now, given any f(x) ∈ F[x], such that deg f(x) > 0, we will show that
there is a field monomorphism from F into F[x]/<f(x). This will show
that F[x)/<f(x» contains an isomorphic copy of F; and hence, we can say
that it contains F.
= {a ∈ F | a + ∈ <f(x)>}
= {a ∈ F | f(x) | a}
201
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
a) Q[x]/<x3 + 10>,
b) R[x]/<x2 + 2>,
c) Q,
d) Q[x]/<x2-5x + 6>.
Well, we have looked at field extensions of any field F. Now let us look
at certain fields, one of which F will be an extension of.
Let us consider any field F. Can we say anything about what its
subfields look like? Yes, we can say something about one of its
subfields. Let us prove this very startling and useful fact. Before goi1lg
into the proof we suggest that you do a quick revision of Theorems 3. 4
al1d 8 of Unit 12. Well, here’s the result.
Theorem 6
Proof
Case 1
202
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
Case 2
Let F be a field.
E 10) Show that the smallest subfield of any field is its prime subfield.
203
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
E 13) Show that given any field, if we know its characteristic then we
can obtain its prime subfield and vice versa.
You have dealt a lot with the finite fields Zp. Now we will look at field
extensions of these fields. You know that any finite F has characteristic
p, for some prime p. And then F is an extension of Zp. Suppose F
contains q elements. Then q must be a power of p. That is what we will
prove now.
Theorem 7
The proof of this result uses the concepts of a vector space and its basis.
These are discussed in Block 1 of the Linear Algebra course. So, if you
want to go through the proof, we suggest that you quickly revise Units 3
and 4 of the Linear Algebra course. If you are not interested in the proof,
you may skip it.
Proof of Theorem 7
a. (v + w) = a.v +a.w
204
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
(ab). V = a. (b. v)
1.v = v.
Now, we know1hat (P, +)'is an abelian group. We also know that the
multiplication in F will satisfy till the conditions that the scalar
multiplication should satisfy. Thus, F is a vector space over Zp. Since F
is a finite field, it has a finite dimension over Zp. Let dim Z p F = n. Then
we can find al,…, an ∈ F such that
Theorem 8
For any prime number p and n∈ N, there exists Ii field with pn elements.
Moreover, any two finite fields having the same number of elements, are
isomorphic
Now, you call utilize your knowledge of finite fields to solve tile
following exercises. The first exercise is a generalization of E 13 in Unit
13.
205
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
And hence,
n Π
show that x p - x = (x-ai).
ai ∈ F
a) What is char F?
b) Is Z ⊂ F?
c) Is Q ⊆ F?
d) Is F ⊆ Q? Why?
E 11) Any two infinite fields are isomorphic. True or false? Why?
Remember that isomorphic structures must have the same
algebraic properties.
4.0 CONCLUSION
5.0 SUMMARY
iii) p2 | a0,
206
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
Now we have reached the end of this unit as well as this course. We
hope that we have been able to give you a basic understanding of the
nature of groups, rings and fields. We also hope that you enjoyed going
through this course.
1. a) 1, b) 7, c) 5
3. f(x) = xn – P = a0 + al x + … + anxn,
where a0 = p, al = 0 = … = an-1, an = 1
4. Not necessarily
207
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
5. All of them (a) and (b), because of Eisenstein's criterion; and (c),
because any linear polynomial is irreducible.
Xp + a ∈ Zp[x]
( p − a )p + a = p − a + a = p = 0 Zp
c − id
Then (c + id) – 1 =
c2 + d 2
(c − id )
Thus, (a + ib) (c + id)-1 = (a + ib)
c2 + d 2
(ac − bd ) (ac − bd )
= +i 2 ∈Q + i Q.
c2 + d 2 c +d2
Thus, Q + iQ is a subfield of C.
208
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
Thus, we have shown that every subfield of F must contain its prime
subfields. Hence, this is the smallest subfield of F.
12. Q, Z5, Z2, since their characteristic's are 0,5 and 2, respectively.
∀ a ∈ F \ {0}.
∴ ap = a ∀ a ∈ F\ {0}. Also 0 P = 0.
n n
Thus, a P = a ∀ a ∈ F.
n
Unit 13).
Also, each of the pn elements of F is a root. Thus, these are all the roots
n
of x P - x.
Π
∴ xP - x =
n
(x – ai)
ai ∈ F
= f(a) + f(b).
209
MTH 211 SET THEORY AND ABSTRACT ALGEBRA
Hence, f is an automorphism.
∴ fn = I.
Hence, o(f) = n.
a) Char F = 3.
b) No, since char Z2 ≠ char F.
c) No.
e) No, since F ⊆ Q ⇒ char F = char Q = 0.
17. False.
For example, Q and R are both infinite, but Q has no proper subfields,
while R does. Thus, Q and R are not isomorphic.
210