Basic Abstract Algebra
Basic Abstract Algebra
Algebra
Otto F. G. Schilling
Purdue University
W. Stephen Piper
Purdue University
and the Center for Naval Analyses
an affiliate of the University of Rochester
Bibliography: p.
I. Algebra, Abstract. I. Piper, William Stephen
1940- joint author. 11. Title.
QA162.S34 512'.02 74-4547
Contents
Preface ix
Bibliography 363
Index of Mathematicians 367
Index of Notation 373
Index of Mathematical Terms 379
Preface
Perspective
Why study abstract algebra? What good is it? The answer to such
questions lies, of course, in the questing human intellect that admits no
restraints upon its probes. nor limits to its adventures. Utility marches after
discovery. The formal systems we are about to study have played important
roles in the physical sciences and are of increasing importance in the
biological and social sciences. While the algebra may be abstract, it none-
theless provides the setting or language for consideration of concrete physical
and social problems.
Our approach to abstract algebra involves thinking of abstract as a
verb form, not as an adjective. The development of algebraic structures as
abstractions of the properties of integers and polynomials is shown. Thus
familiar properties, observed in examples, are given a more general axiomatic
setting. The intent is to involve the student in the evolution of algebraic
concepts as a participant, rather than as a spectator having to assimilate
lists of axiomatic descriptions. Besides the pedagogical merit of this
approach, there is the mathematical merit of more closely indicating methods
of mathematical research and advancement. Thus our proofs are designed
to show details of arguments that later facilitate solution of exercises.
Content
This book is intended as a text for the first undergraduate and
introductory graduate courses in abstract algebra. It has been so used at
Purdue University. The order of topics and discussion derives from class-
ix
x Preface
Course Selections
A variety of courses can be designed from the material offered,
each tailored to the objectives of the students and instructors. We suggest
the following for consideration as content of a typical
Appreciation
No undertaking of the nature of this text can be the sole work of
two individuals. Our manuscript has evolved over many semesters of trial.
It owes its present existence and form to the provocative probes of colleagues
and students. We wish to thank especially Michael Drazin for his helpful
criticism, April Kihlstrom for her valuable comments, Bonnie Schnitta for
editorial assistance, and Betty Lewis and Judy Snyder for their patience in
typing and retyping the manuscript. We are also grateful to the several
reviewers for their assessments, notably Thomas R. Berger of Trinity
College, Connecticut, Richard L. Faber of Boston College, David Hertzig
Preface xiii
Otto Schilling died in June 1973 just as our manuscript was entering
the production process. In reviewing the editing and composition phases of this
project I have tried to be faithful to the writing done it was a joint project,
and 1 have been guided by the senior author's insistence on mathematical
quality.
His Purdue University colleagues wrote of him: "Otto was a
dedicated teacher. He tried to awaken enthusiasm for mathematics by
absolute integrity and strict adherence to rigorous standards." This book,
which he never saw in final form, caps the end of his long career in algebra.
Otto Schilling's interests developed at Gottingen, where he was writing a
thesis on algebraic number fields under Professor Emnzy Noether when she
was compelled to leave her native Germany. Upon her recommendation,
Otto Schilling completed his thesis under Professor 1-lelmut Hasse at Marburg.
He then left Germany (in 1934) for a year at Trinity College, Cambridge
and a long teaching career in the United States. His last twelve years were at
Purdue University, after twenty-two years at tile University of chicago.
W. Stephen Piper
Falls Church, Virginia
June 1974
1
A = {l,2,3,4,8,9} asetof6integers
or S = {integers n such that n is even}.
The standard abbreviation for "there exists" is 3, and for "for all" is V,
although we shall not need to use them in this text.
The set S mentioned above can also be expressed as
S= {n€Z:niseven}.
The set with no elements belonging to it is called the empty or null
set, designated by 0. A set A is said to be a subset of a second set B if
(*)
(Implicitly the sign means that this holds for all a e A.) Translated into
English words this says that if a is an element of A, then it is also an element
of B. Alternatively, we can say that every element in A belongs to B. The
relationship in line (*) is denoted by
A c B.
in B, meaning that the set B contains A and also elements not belonging to A.
We say then that A is a proper subset of B. Thus,
A
B B, and there isan elementbEBsuch
For every set S,
ØcS and ScS.
The subsets 0 and Sofa set S are commonly called trivial subsets; any other
subset is called a nontrivial subset.
Many proofs involve proving that two sets Consist of the same
elements; that is, that they are equal. The customary technique for proving
the equality of two sets A and B is to prove that each is contained in the other;
that is, to show that
a A aE B (and hence A c B),
and conversely that
b B beA (and hence B A).
Union: AuB={x:x€AorxeB}.
(The "or" used here is inclusive and means that x belongs to A or B, or to
both.)
Intersection: A B= (x:xeA andxeB}.
Symmetric difference:
A B = (A t.s B)\(A B)
and ØcB\AcBcAuB.
The preceding definitions are commonly illustrated by Venn diagrams,
named after the English logician John Venn (1834—1923). For given sets
0E115
Notation and Introductory Concepts chapter 1
Ar'1B
AAB
REMARK. Use of an index set in referring to the union and intersection of sets in
a collection E is convenient, but can be avoided by using
se1
and fls
SeE
to denote the union and intersection, respectively, of all sets in the collection Z.
A, x A2 x x = i= 1,...,n},
the set of ordered n-tuples of elements a, E A., I = I, ...,n.
Exercises
A (A B) (A C)
A C) = C)
h.
I.
5. For sets A, B, C verify that
a.
b. (AxB)U(AxC)=Ax(BUC)
c. (AxB)\(AXC)=Ax(B\C)
d. (AxC) = A
xB A B
a one-one correspondence between (A x B) x C and
Ax(BxC).
Notation and Introductory Concepts cimpter I
[3] = {3+6k:kEZJ,
[6] = (6k : k e Z} = [0].
[a] = {a' : a' a}. again by transitivity we have a' s for all a' e [a].
Hence [a] [s]. Similarly, [s] [a], and thus [s] = [a], as was to be
shown.
S:= US1.
1€,
Exercises
1. Verify that the third and fourth examples of sets with equivalence relations
satisfy the properties of an equivalence relation.
2. With reference to Example 3, show that every real number,• is equivalent
tosomer',Or'< 1.
3. a. In Example 4 let m be 7 and write out all the equivalence classes.
b. Repeat part (a) with m 10.
4. Show by example that a given set might have several equivalence relations
defined on it, and that in general different relations will give rise to
different equivalence classes.
5. How many distinct equivalence relations can be defined on a set of three
elements?
6. In a set S with equivalence relation prove that [s] = [a] s a.
7. Prove that the equivalence relations in Examples 3 and 4 satisfy the
following statement:
x y, x' y+y,.
8. Prove that the equivalence relation in Example 4, but not that in Example
3, satisfies the following statement:
x y, x' V xx'
9. Let be an equivalence relation on the finite set S. If each of the m
equivalence classes with respect to has n distinct elements, how many
elements are there in the set S? Why?
10. Consider arbitrary sets S. T and a mapping 1: S T, defined for all
s e S. Define s' to be -equivalent to s if f(s) = f(s') T. Prove that is
an equivalence relation on S.
§1.2 Equivalence Relations and Classes
11. a. With the naappingf and relation defined in Exercise 10, iff satisfies
the surjective property that for each Ic T the set
{suS:f(s)=:} 0,
show that there is a one-to-one correspondence between -equiva-
lence classes in S and elements of T.
b. Show that every equivalence relation on S determines a surjective
map f to the set of -equivalence classes of elements of S.
12. Show that the set of all lines in the cartesian planeR2 which are parallel
to a given line constitute a partition of R2.
2
Arithmetic of Integers
I0
§2.1 Mgebraic Properties of Integers 11
Note that this result is stronger than Property I because of the weaker
hypothesis.
Property6. ForanyaeZ,a0=0.
Since a = a + 0, we have, using the uniqueness of multiplication,
aa = a(a+O) = aa + by distributivity.
Therefore = 0 by Property 2.
Property 9. The rule of signs for multiplication states that for all a, b e Z,
(—a)(—b) = ab.
Property 10: The cancellation law (v*) under III (Multiplication) above is
equivalent to the statement that the product of two nonzero integers is not
zero.
where the symbol > is read "greater than." The set N has the following
properties:
Additive closure: x,y e N x+y N.
REMARK. The algebraic and analytic properties of the integers described so far
are shared by other systems of numbers; for example, the rational numbers Q, the
real numbers R, and real numbers of the form a+b where a,b e Z [see §3.6].
We now consider an ordering property that distinguishes Z from these other systems
of numbers.
Let Q(s) be the proposition that P(k) is true for all Ic <s. First
note that Q(l) is true, and then note that the truth of Q(s) implies that of
Q(s+ I), for all s N, because the truth of P(k) for all k s was assumed
to imply the truth of P(s+ 1), i.e., of P(k) for all k s+ I. Applying the
original form of induction to Q(s), we conclude that Q(n) is true for all
n E N. But then P(n) is true for all n e N, which establishes the alternate
form of induction.
Conversely, if P(n), for each n E N, is a proposition for which P(l)
is true and if, for any se N, the truth of P(s) implies that of P(s+ 1), we can
conclude, using the alternate form of induction, that P(n) is true for all
n E N. The hypotheses of the original form certainly imply those of the
alternate; i.e., if the truth of P(s) implies the truth of P(s+ I), then, afortiori,
the truth of P(k), k s, implies the truth of P(s+ I). Thus the validity of
the alternate form of induction implies that of the original. Consequently the
two forms are equivalent, and we shall not distinguish between them in
what follows.
where
= (n—i)!(i)! =
an integer [see Exercise 10], and n!=n(n—l)(n—2)•"3.2.l. Note that
= eN = 1. We verify that
fs+l\ / s \ fs\
and then show by induction on n that c = ('fle Z. Later it will be observed
that the formula for holds for elements a and b in an arbitrary com-
mutative ring. Then c•a"1b1 will be interpreted as the c4-fold sum of
For thoroughness of discussion we cite an additional fundamental
property of integers. The Archimedean Principle (attributed to Archimedes
of Syracuse, 287—2 12 B.c.), used primarily in analysis, says that for integers
a and b, satisfying 0 <a < b, there exists an integer t such that b at.
Exercises
= = n(n+l)(6n3±9n2+n—I)
c. d.
= n(2n— I)(2n+ 1)
e. =
n+l
1. E (21_l)2
4=1 3
" I
4. a. Prove that i2 < 2—— for ii 2.
i=I fl
I,
b. Prove that — 3 — — for n 1.
i=O1! ii
= i=o
E \i/
The Binomial Theorem for integral powers has several independent origins.
The Precious Mirror of the Four Elements (1303) by Chu Shih-chieh (fi. 1280—
1303) begins with a diagram of the binomial coefficients through n = 8. In
his Algebra the Persian poet and mathematician Omar Khayyam (C. 1050—
1121/3) claimed to have found a rule for writing the sixth and higher powers
of a binomial. The binomial theorem in array form for the coefficients appears
The Division Algorithm 21
in the work of al-Kashi (died c. 1436). The array of binomial coefficients for
integral powers, illustrated in Figure 2.1 [cf. Exercise 8], is known in the
Western world as Pascal's triangle (after Rlaise Pascal, 1623—1662) although
it was printed on the title page of the 1527 algebra Rechnung by Peter Apian
(1495—I 552).
/\l
/l\3\/3\/
etc.
Figure 2.1
§2.4 Ideals in Z
In and 2.3 of this chapter we considered properties of integers
or pairs of integers. We now begin a more thorough examination of the
algebraic structure of the integers by introducing the concept of an ideal.
In §3.1 we shalt consider ideals in more general rings, again as a tool for analysis
of algebraic structure.
An ideal in the ring of integers Z is a nonempty subset A satisfying
the following axiomatic properties:
(i)
(ii)
Example 1. The (trivial) subsets and Z are ideals in Z, and are often referred
to as the trivial ideals in Z.
(a1, = : r1 z}
i.e., the set of all linear combinations of the elements a1 with integral co-
efficients. By the preceding theorem the ideal (a1, . . ., is principal, that is,
k1a1, e Z.
=
Of particular interest will be the case of an ideal generated by two
integers a, b. Let d denote the positive generator of the ideal (a, b), assuming
§2.5 DivIsibility 25
Exercises
§2.5 Divisibility
In this section we consider the divisibility or factorization of integers.
Its most significant aspect is the existence of the greatest common divisor
of two integers. Proof of the existence and uniqueness follows from the
Division Algorithm of §2.3 and the theorem in §2.4 that all ideals in Z are
principal. Our discussion of factorization of integers culminates in the
statement of unique factorization in §2.7.
An integer h 0 is said to divide an integer a if there exists an integer
q such that a = bq. The notational shorthand is hi a, read "b divides a" or
26 Arithmetic of Integers chapter 2
= i.e.. r,,_1 = 0.
Let n be the smallest positive integer such that the remainder upon
28 ArIthmetic of Integers chapter 2
= —
= +
Continuing this process, in the end we eliminate the remainders r1
in the expression for = d. Collecting terms yields d as a linear combination
of a and b.
Explicit examples will help clarify the preceding argument.
38 = 7•5 + 3,
5=1.3+2,
3 = 1•2+ 1.
Divisibility 29
Then, 1=3—2
= 3— (5—1•3) = 2•3 —5
= 2•(38—7•5)— 5 = 2.3g—
= 2•38 — 15.(119—3.38) = 47•38— 15•119.
a0n + + a2n3 + + +r
= + w2 n2 + w5n',
letting co0 = r and w. = as.. for 1> 0. Thus, existence of a unique n-adic
expansion for all a < k implies existence of a unique n-adic expansion for k.
Applying induction, we conclude, for all positive integers a, the existence of
a unique n-adic expansion.
Such expansions have become extremely important in the arith-
inetization of the theory of algebraic functions of one variable.
NOTE. The n-adic expansion of a negative integer need not terminate after a finite
number of steps. This remark will be developed, with an example, in §2.9 following
discussion of residue classes of integers.
Exercises
h1a, + h2a2 + I.
Many, but not all, authors consider only positive prime numbers. However
it is more convenient for the subsequent development of irreducible elements in rings
and 9.8] to consider —2, —3, —5, etc., as prime numbers as well as 2, 3, 5.
Obviously p is prime if and only if —p is also prime.
where ..., are nonnegative integers and the Pi, I I, .. ., .r, are distinct primes.
Proposition 2. The (.CD and LCM for arbitrary nonzero integers a and b
satisfy
labi = (a,h)[a,b].
Exercises
v9(a) = 0, if pta,
= but pa*ira.
in other words, is the greatest integer such that pa a. Now given
an arbitrary prime p, prove the following for a, b E Z.
a.
b. = +
c. =
d. v,([a,b]) =
15. Extending the function in Exercise 14 to rational numbers, define
= a for a e Q if a = pa(e/d) where c, dare relatively prime integers,
such that pi'c, Prove the first two parts of Exercise 14 for every
pair of rational numbers a and b.
16. Take a e Q, as defined in Exercise 15, and define the p-norm of a:
= = 0.
19. a. Prove that a necessary and sufficient condition that the equation
ax + by = c, a,b,cc Z,
b. Show further that if there exists a solution x0, then there will be
infinitely many solutions of the form
x=-x0+(b/d)t, y—y0—(a/d)t, teZ.
c. Construct explicit numerical examples of equations of the type cited
in part (a). Give multiple solutions, as in part (b) for those which
have solutions.
d. Suppose that a1 are integers. Prove that the Diophantine
equation (after the Greek mathematician Diophantos, c. 250 A.D.)
ô(n) =
b. (ab,cd) = (a,c)(b,d)i—,
Ia d\Ic
ii—, — b
\(a,c) (b,d)/ \(a,c) (b,d)
23. For a prime number p and integers a,b answer the following questions.
a. If(a,p2) = p and (b,p3) =p2, then what is (pa+b,p5)?
b. !f(a,b)=p, what is(a2,b5)?
But note that ac be (mod m) for some c e Z does not necessarily imply a b
(mod in). That is, a multiplicative cancellation law for integers modulo in does not
hold (see *2.1, axiom HI(v*)J.
For example, 8•9 6.9 (mod 18), but 8 6 (mod 18) because 8—6 is not
a multiple of 18.
Since a a (mod in), the coset [a] is nonempty for all a e Z. Note
that [a] contains a unique r e Z such that 0 r Write, by the Division
Algorithm
a = 'nq+r. 0r
and observer a (mod,,,) [cf. Exercise 2, §1.2].
Thus a' e [a] means that a and a' have the same remainder r upon
division by in; each a' [a] can be written as a' = sin+r for some SE Z.
To say that [a] [bJ means that the residue classes [a] and [b],
considered as subsets of Z, have no element in common. Since congruence
modulo in is an equivalence relation, the corresponding equivalence classes
(i.e., the congruence classes modulo in) form a partition of Z. By the
proposition we then have either [a] [b] or [a] [b] = 0.
We denote the collection of distinct residue classes in Z modulo m
by either Z/(m) or Zm. and refer to an element a' c [a] as a representath'e
of the coset [a]. Note that there are mi "elements" in Zm.
Exercises
residue classes modulo n is used. For example let ii = 5 and take 0, 1, 2, 3, and 4 to
be she representatives of the cosets of Z5. Then — 1 4 (mod 5), where — I =
and Consequently,
—l
4.50 + +
4.50+4.51+4.52+_l.53, etc.
Thus — I = an infinite sum which does not make sense for the ordinary
constructions of real and complex analysis with the customary absolute value I
Exercises
a, 0(mod3).
i=O
The following problem furnishes the basis for the bookkeeper's rule of
casling out nines, which is used for checking addition and multiplication.
2. a. Let s be the sum of the decimal digits of an integer a. Show that
a 0 (mod 9) if s 0 (mod 9).
b. Prove that the remainder of a sum upon division by 9 is equal to the
sum (reduced modulo 9) of the remainders of the addends upon
division by 9.
c. Prove that the remainder of a product upon division by 9 is equal to
the product (reduced modulo 9) of the remainders upon division
by 9.
d. Prove that if an integer in is obtained from ii by permuting the digits
of n, then in ii (mod 9).
"It is often said that. . . the out of nines' is a Hindu invention, but
it appears that the Greeks knew earlier of this property, without using it
extensively, and that the method came into common use only with the Arabs
of the eleventh century."t
3. Find all powers of the following.
a. [6],3inZ13 b. 12]1oinZ1o
c. in d. [6127 Ifl Z27.
holds modulo 8.
From Carl Boyer, History of Mathematics, p. 241, © 1968 by John Wiley & Sons, Inc.
Definitions and Examples 43
Example I. For rn = 2.
Addition Multiplication
0 1 5 1
0 1 0 1
Example 2. For in = 3.
Addition Multiplication
0 1 2 '0 1 2
5,0 2 0 0
is
1
r 1 2 o r 2
2 2 0 1 2 1
Example 3. For nz = 4.
0123 123
1 2 3 ojo O S
T 2 3
0 2 2
3 1
Example 4. For m = 6.
Addition Multiplication
1 2 3 4 3 0 1 2 3 4 3
01 2 3 4 5
1012343
2024024
2i234501
3345012 3030303
4430123
5501234 4042042
5054321
Note that no nontrivial zero
divisor is nilpotent.
Proof: First, if [a] is a zero divisor, then there exists a coset [bJ [0],
such that m ab. If (a, m) = 1, then by Proposition 3. §2.6, rn b, and [h] [0],
a contradiction. Hence (a, m) I. Now conversely, if (a, tn) = d> I we may
write
m=qd, 0<q<,n, and a=ds, 0<s<a.
Then, ms = qdc = qa, and so [q][a] = [0]. Since 0< q < rn, and so
[qJ # 0. Therefore [a] is a zero divisor.
b = qd = qsa + qim
Exercises
or 7k 15 9 (mod 12).
Since (7, 12) = 1, we can write I 7s+ 121. In fact,
= _5.7 + 3.12.
Now multiplying by 9, we have
—45-7 = +9—27.12
from which we see that k = —45 3 (mod 12) satisfies congruence (*). Substituting
k =3 into y = 18+7k, we obtain y = 39 as a particular solution of the double
congruence. The general solution is
y = 18+7(3+12q) =
Example 2. Consider the system of congruences
2x —3 (modl),
4x 1 (mod 9),
x 5 (mod 13).
§2.11 Simultaneous Systems of Congruences 49
x aj (mod in,)
z (mod
and consider the pair of congruences
x z (mod,,,1 m2 in,,... and x a,, (modm,,).
Since (m, rn,,.. ,,nz,,) = I, this pair of congruences has a solution x
by the proof for the case n = 2. This element x Z satisfies the original
system of congruences, because x z (modm1 m,,_ implies that x—z
is divisible by or (modm1), I j<n.
Hence by the assumption
on z,
x (modm1), 1j < n.
In addition x satisfies xa,, (modm,,), so that x is a solution of the entire
system. By the Principle of Induction such systems of n congruences are
solvable for all n.
§2.11 Simultaneous Systems of Congtuences 51
Exercises
co(m)=nI(l_..i_)...(l (pa_I).
We noted in §2.10 that [a] e Z,, is a unit if and only if [a] is a prime
residue, or equivalently, if and only if (a,rn)= 1. Euler's then
expresses the number of units in Zm as a function of m.
We make several further observations about the set of all units
Of It is closed with respect to multiplication of cosets; that is, if
[a],[b]eUm, then [a]{b]EUm. Furthermore [aJ[b]=[b]{a], and every
[a] e has a multiplicative inverse. In other words, Urn is an example of a
finite corn?nutative group with q(m) elements, a concept discussed in
Chapter 6.
§2.12 Two Topics In Number Theory 53
The ring Z,, has q(p) =p— I units and has in common with the real
numbers R. the complex numbers C, and the rational numbers Q the property
that every nonzero element has a multiplicative inverse. Rings with such
properties are called fields [see §3.6 for further details].
En addition to ([a] [b]V = [a]"[b]", we prove for [a], [b] E Z,, that
= [a)" + [b]".
From the Binomial Theorem we have
([a]+[b])" =
where =I
fp\I = p!
Z.
\iJ (p—i)!(i!)
Here denotes the product added to itself c. times
in Z,,. Observe that for I because (p—i)!(i!) divides p! and
so must divide the factor (p—I)! of p! [see Proposition 3, §2.6, and §2.7].
Now set [t,J = For I i<p, c.{1,) = [c,tj =[O] e Z,,, since
Consequently
([a] + [bfl" = + [0] + + [0] + [hJ".
Next, by a recursive argument, we can obtain the following theorem.
Exercises
Introduction to Ring
Theory
55
Introduction to Ring Theory chapter 3
given. Second, techniques for analyzing ring structures are established. They
are general enough to apply to rings of polynomials and ultimately
provide the model for generalization to advanced topics in number theory
and function theory.
A natural continuation of the ring-theoretic development of §3.1 is
the examination in §3.6 of rings with either of two additional properties:
a multiplicative law of cancellation or existence of a multiplicative inverse
for each nonzero element. Here we abstract properties of the integers and
the rationals. The student is asked to examine prime, primary, and maximal
ideals in the exercises for two reasons: first, they provide further experience
in abstracting properties of Z and Zm to more general rings; and second,
significant theorems involving these special ideals can be proved only if
restrictive assumptions, such as the chain conditions, are imposed on the
rings.
The definitions, as presented and as typically applied in a first course
in algebra, do not lead to important theorems, but not for any lack of sig-
nificant ring and ideal theory. Such topics are customarily reserved for
graduate level study. Thus we provide a basic introduction to the subject
with emphasis on those aspects to be used later, first in a detailed analysis
of residue class of integers and field theory [Chapter 8]. In Chapters
8 and 9 the proofs of the existence of algebraically closed fields and the
Fundamental Theorem of Algebra utilize ideal-theoretic arguments.
for a, b1,.. , E R. We defer the proof of the general associative law to §6.1.
Introduction to Ring Theory chapter 3
Example 2. The subset {[0], [10)) of Z20 is not a subring. It has no multiplicative
identity, but does satisfy the other properties of a subring.
REMARK I. In particular note that a subring is itself a ring; that is, its elements
satisfy the axiomatic properties of a ring.
Left ideals. a e A, r R ra e A.
Right ideals. a e A, r R ar E A.
Two-sided ideals. a e A, r c R ar a A, ra a A.
For commutative rings, ra = ar implies that all ideals are two-sided.
We have already encountered ideals in the ring of integers Z In
any commutative ring R, a given element a generates an ideal (a) = {ra: r E R},
also denoted Ra. More generally, if S= {s1, ...,Sm} is any finite subset of R,
the ideal generated by S is the subset of all elements of R of the form
r1 s, +rmsm. where r. a R, I <i rn. Such an ideal is commonly denoted
bY(Si,...,Sm)OFRS1+"+RSm.
There is a considerable arithmetic of ideals paralleling and general-
izing that of the integers. For ideals A and B in a (commutative) ring R, we
define terms as follows.
1. Product:
A c (A,B).
B (A,B).
A c C,B c C (A,B) c C.
Introduction to Ring Theory chapter 3
Cc A,C c B Cc [A,B].
These properties are all immediate consequences of the definitions.
Less immediate is a second proposition.
Exercises
The ideal of Exercise 7(b) is sometimes referred to as the radical of the ring,
denoted either Rad(O) or Rad R [cf. Exercise 8, below].
p: R S
§3.2 Ring Homomorphisms 63
q(ab) = q(a)q(b)
I I multiplication
multiplication
as defined in R as defined tn S
The subset of S
= {seS:s=.q(a), for someae R)
= (q(a):aeR}
is a subring of S, called the image of R by ço. The image is also denoted
Example 1. The ring contains the subring (which happens also to be an ideal)
S = {(O]20,[5]2o,(1O]20,[15}2o}.
Introduction to Ring Theory chapter 3
4'([15]2o[lO]2o) = 4'([150)20)
= [3]4[2]4
= 49((l5]20)q.'((l0]2o).
The complete verification of the multiplicative property (ii) for follows easily from
the fact that the elements of S are integral multiples of [5)20. Since general elements
[a]20, [b]20 e Scan be expressed as [5m)20, [Sn)20,
4'([5fl1)20 [511)20) ç([25inn]20 = qi([5mn]20)
= by property (I)
= = [mn]4
= [ni]4 [n]4
= ço([5m]20)ço([5n}20).
Example 2. A similar example is the mapping çb of the subring S' {[0]20, [4]2o,
(8)20, (12120, [16)20) C z20 to Z5 given by = [l]5 and more generally
n-[l]5
[a+20s]4 = [a]4
where S=
hence there is some element in Z20 which is mapped by to any given element in Z4.
Example 10. Only the homomorphisms and ifr in Examples 1, 2, and 5 are
isomorphisms.
Example 11. To illustrate that not all one-one, surjective mappings of rings need
be isomorphisms, consider the function T: Z Z defined by T(n) = n+ 1. Since
T(0) 0, T is not a homomorphism by Proposition I. Therefore T cannot be an
isomorphism.
Similarly the one-one mapping T': Z Z, defined by T'(n) = 2tz, is not a
homomorphism, even though T'(O) = 0. The image T'(Z) has no multiplicative
identity, and so is not a subring; hence T' cannot be a ring homomorphism. More
explicitly, observe, for example, that 16 = T'(S) = T'(2•4) 48 = 32.
= {reR:ço(r)=s}
is called the complete inverse image of s S with respect to the homomorphism
q,. Note that '(s) 0
for all s S is equivalent to saying is onto, and
that is one-one if and only if - i(s) has at most one element for each
se S. For an isomorphism q the inverse image 1(i) consists of preeise/t
one element for each s S.
Proposition 2 concerns ideals and inverse images.
§3.2 Ring Homomorphisms 67
Example 12. The mapping Z20 Z20 given by [a]20 —+ [5a]20 is an endo-
morphism whose kernel {[4n]20 : n a Z} is isomorphic to
Exercises
1. Consider subrings
S= ([Os, [5],[10], [15]),
T = ([0], [4], [8], [12],
of Z20, and define the following ring homomorphisms:
S Z4 by = [114,
Z5 by =
a: Z4 Z20 by c([l]4) = [5120,
t: Z5 Z20 by =
p': Z20 Z4 by = [a]4,
u": by = [a]5.
§3.2 Ring Homomorphisms
= EA1 = 1=
In 1878 Georg Frobenius (1849—1917) proved that the quaternions are the only
vector space (of any dimension) over R with a noncommutative associative
product for which every nonzero element is a unit. The complex numbers are
a two-dimensional vector space over R, but with a commutative product.
Ic. The ring in Exercise 14 is called the ring of (real) quaternions. Define
the ring of rational quaternions by replacing real numbers in Exercise 14
with rational numbers.
a. Prove that for each A 0 in this new system AA* is a positive
rational number.
b. Show that every nonzero element is a unit.
16. In Exercise 15, replace the rational numbers by the set of complex
numbers of the form a+b where a,b eQ. Assume that
i,j,k and that commutes with i,j,k. Prove that the
resulting ring contains nontrivial zero divisors.
17. An ideal I in a ring R is said to be a prime ideal if ab c J implies either
a I
or b E J. Suppose is a surjective homomorphism of the ring R
onto the ring S, and P is a prime ideal in S. Prove that the inverse image
9i1(P) is a prime ideal in R.
IS. Consider an ideal A contained in Rad R [cf. Exercise 8, §3.!]. Assume
that x eR satisfies x2 x (mod A), i.e., x is idempotent modulo A.
Prove the existence of an idempotent y e R such that y x (mod A).
Hint: Try y = x+t(I —2x) with ze R, requiring that y2 = y, and use
the /órrnal expansion z = —(I +4zY 112], letting z = x2—x.
of all n-tuplcs a = (a1. ..., a,,), b (b1 h,,) e = (e1, . .., e,,) of elements
in R1,...,R,,. Define (a1,.. ,a,,)=(b1,...,b,,) if and only 1 in.
72 IntroductIon to Ring Theory chapter 3
which are two distinct expressions for a1 as the sum of elements in the ideals
Ak, contradicting the hypothesis that the sum A1 ... is direct.
Therefore we have
a, = ae = a,(e,+• = a,e,,
for all a, A4. Hence e4 is the multiplicative identity in A,, which is then a
subring as asserted.
§3.3 Direct Sums of Rings 73
The terms external and internal refer to the fact that the external direct sum
R of rings R1 is outside of ("external to") the rings ..., whereas
expressing R as the internal direct sum of ideals A1, ..., emphasizes the structure
within R. The following proposition relates these two concepts.
Exercises
I (mod in1)
0 (mod
or briefly, (mod in), I j n,
where = 0 for j I, and = 1. (We refer to as the Kronecker delta,
after Leopold Kronecker.) Each of then systems of congruences has a solution
e5 which is unique modulo in by the Chinese Remainder Theorem of §2.11.
Furthermore,
e2 e. 1j n.
Consequently e12 e1 (modm) [cf. Proposition 4, §2.6]. In terms of elements
Of 4,, have [e1j2 [ej and [e4) # [0], [e1] # [I]; thus each coset [e,]
we
is a nontrivial idempotent in the residue class ring
Moreover,
9, (mod I i,j, h n,
and so for h 1,
Therefore, whenever Ii
e,eh 0 (modnz),
and in
[e'] [eh] = [0].
In other words, [e1] and [eh] are orthogonal idempotents in Zm. Finally,
for I
e1+ + e1+ + =
and therefore
e1 + + e, + + I (mod in).
Equivalently in Zm,
{e1] + + [e1] + .. + [en] = [1].
Thus we have proved the following proposition.
Exercises
= 9i h1 + . + h, + - -. + g• (mod rn.)
and 94h1 0 (mod for everyj I.
— =
because of the assumption that (in,,mj) = I for Thus [b1 —c1] [0]
and [c1] = [b1]. Examining in turn the dillerences on the left side,
we find that [ei] = [by], which completes the proof.
(1) We first observe that the image (p,([aJ,) does not depend upon
the choice of the representative a e [a],. For any other representative
a' e [a],, we have a' = a+km, for some k e Z. Hence
[a'] [e,] = [a + kin,] [e,] = [a] [e,] + [k] [m, g, h,]
[a] [es] + [k] [inh,] = [a] [e,] + [k] [0]
= [a][e,] =
since e1 g,h, (modm) and gm, = m. Thus the map 'p, is well-defined on
the residue classes [a],.
(ii) Next, ça, is a homomorphism of Z, into Zm. Let a,b be
representatives of [a],. fb],. respectively. Then
[a],+ [b], = [a+b],
I
sum in Z,
I
sum in Z
= 9i h1 + ... + g h, + ... +
we note that (m,,h1)= I. and therefore ,n1Ix'; that is. [x']1=[0]1, as was
to be shown.
The element A ([a]) does not depend on the choice of the representative a.
For arbitrary a' E [a], we have a' = a + qm with q E Z and hence
[a'], = [a+qm], = [a]1 + [qin]1 = [a]1,
since m 0 (mod in1), I I ii.
Proposition 4. The map A defined above is an isomorphism:
[a+h]5)
'F
Sum in Z_
I
sum in Z
I
sum in R
and where the p, are distinct positive primes, the Euler is given by
n /
q(rn) = p(m1) = fj ——
I
For the proof we use the fact (proven below) that there is a one-one
correspondence between the units U,, of Z,,, and the cartesian product
U1 x .. U,, of units U. in the rings Z,. I I ii. [See §2.12.] Since U, has
q (ni,) elements, Urn has q (m) = fl7 q (m1) elements. Writing m, =
recall from §2.12 that (p(m1) — Hence we have the formula
(,o(rn) =
x a1 (mod m1)
has a unique solution a modulo in by the Chinese Remainder Theorem
lntroductioa to Ring Theory chapter 3
(since the integers are pairwise relatively prime). Further (a, in) = 1, since
(a1,in1) = I and a1 imply that (a,i;:1) = I. We conclude then that
a E Urn. and note that
= [a],,) = ([a1] [a,,],,).
Thus maps Urn onto the cartesian product of units U1 x x U,,, which
completes the proof.
Exercises
The argument in Exercise 7(a) and (b) is used again in our discussion of cyclic
groups [ci. Propositions 2 and 3, §6.61.
qi(rn) = q(l) + + + +
b. For the inductive step, consider in = p°,,, (n, p) = I, and show that
+
dim din din din din
Z[i] = :a,bEZ},
named for Carl Friedrich Gauss. (Test what conditions on the coefficients
aj,bj,j = 1,2, are required for the product
(a1+b1
of two gaussian integers to be zero.)
5. More generally, systems of real (or complex if rn < 0) numbers of the form
6.
7. The set of all polynomials p(x) with integral (also rational, real, or complex)
coefficients. (Polynomials will be formally introduced in §5.1.)
That is, the real number (3 + belongs to Q( but not to the given integral
domain with coefficients a,b in Z.
An alternate proof follows from the fact that (3+ =
implies
3,, + 2v = 1 and 3v + ii = 0.
This pair of linear equations has a unique rational, but no integral, solution.
Theorem. For a given integral domain D there exists a field Q(D), and an
embedding 1: .D—4Q(D).
Prcof. (I) Consider the totality of pairs of elements in D, such as (a, b),
(a*,b*), (e,d), (c.*,d*), in which the second components h,b*,d,d*, ..., are
dqfferentfron, zero. In this set of pairs introduce the relation
(a,h) (a*,b*) if ab* = ba* in D
Introduction to Ring Theory chapter 3
ço([a,b]) =
from Q(D) into F. Using the definitions of sum and product in Q(D) and the
rules for sums and products of elements a/b and c/din F, we note immediately
that q is a single-valued homomorphism on [a, b]. Observe here that if
(a*,b*) E [a,b], then a*/b* = a/b in F. Furthermore,
(p([a,b] + [e,d]) = +
since [a, b] + [e, d] = [ad+ bc, bd] has the image (ad+ bc)/(bd) equal to
a/b + c/d in F. Also
p([a,b][e,d])
=
= = + (u').(aPlb) +
+(").(abPI)+bP
= + b" = cop(a) +
since p divides the binomial coefficients (i), 1 i <p. For the product, the
equation = holds trivially. The kernel of being an ideal in the
field F, is zero, for = 0 fora 0, then qp(e) = ')= 1) = 0,
a contradiction.
Introduction to Ring Theory chapter 3
Exercises
II. Prove that R/A is an integral domain if and only if for any a, b e R, for
which ab E A, either a A or b e A. (Such an ideal A is called a prime
ideal.)
12. If R is the ring of integers and A = (m), mE Z, for what in is Z/(m) = Z,
an integral domain?
13. Prove that R/A has only nilpotent zero divisors if and only if for any
a,be R, for which abe A, either a e A or E A, for some n EN. (Such
an ideal A is called a primary ideal.)
14. As in Exercise 12, for what in does 4, have only nonzero nilpotent
elements for zero divisors? In other words, describe all primary ideals
in Z. [cf. Proposition 3, §2.10].
15. Prove that R/A is a field if and only if no proper ideal of R properly
contains A; that is, any ideal A' for which A c A' R must be R itself.
(Such an ideal A is called a maximal idea!.)
16. Find all maximal ideals in Z.
17. Conclude from Exercises II and 15 that in any ring R every maximal
ideal is prime, and from Exercise 16 that in Z every prime ideal is maximal.
18. Let be a ring homomorphism from a ring R into a field F. Prove that
is a prime ideal in R.
19. For a given maximal ideal M in a ring R, prove that the residue class
rings ii c N, each contain a unique maximal ideal.
20. Let F be the ring of real-valued continuous functions defined on the
interval [— 1, 1] C R [cf. Exercise 8, §3.2). Prove that for a fixed x0 in
this interval the set .5' (fe F :f(x0) = is a maximal ideal.
21. a. In §3.3 we defined the concept of the (external) direct sum R of rings
R1 Observe that the Cartesian product
R2 = R + R = {(x, y) x, y C R},
is a ring, but not a field.
b. Prove by examples that the (external) direct sum of integral domains
is not an integral domain.
22. a. Prove that R/A has no nonzero nilpotent elements if and only if
A = Rad A. (Such an ideal A is called a semiprime ideal.)
b. Describe all semiprime ideals in Z.
c. Prove that a prime ideal in a ring is also a semiprime ideal.
23. a. Using the notation in the construction of the field of rational numbers
Q as the quotient field of the integral domain Z, define [a,b) > 0
if a'b' > 0, where (a', b') represents the class [a, bi. Prove that an
ordering [see §2.2] of Q is defined and that the customary rules for
the absolute value hold.
Prove that this ordering of Q extends the customary ordering of
b.
Z(b > and that the Archimedian Principle
holds in Q.
24. Prove that any ring isomorphism Z Z must be the identity map.
25. Repeat Exercise 24 for Q —' Q. However, exhibit an isomorphism of
the complex numbers C, which is not the identity map.
92 Introduction to Ring Theory chapter 3
26. Determine the smallest integral domain containing 1/3 and — 1/21 in
the field Q.
27. For a prime number p. define
= (a/b eQ a,be Z, (a,b)= I, (b,p) = l}.
Prove the following statements.
a. is a ring.
b. Every ideal A c is principal and is equal to
= :c
where a = v9(x), as defined in Exercise 14, §2.7.
c. The residue class ring is isomorphic to Z,,.
d. fl,, R,, = Z. where the intersection is taken over all prime integers p.
28. With reference to Exercise 27, prove that
R let N denote the ideal of nilpotent elements
[cf. Exercise 7, §3.1]. Prove that the residue class ring RIN has no nonzero
nilpotent elements.
30. Find a field F and two nonzero elements x, y e F such that x2 +y2 = 0.
31. Let be a (ring) homomorphism of a field F to a ring R such that
0. Prove that ker and hence that isa monomorphism of F
into (not necessarily onto) R.
32. Consider N with the customary properties of addition and ordering.
a. Construct the integral domain of integers analogous to the con-
struction of the field of rational numbers Q from Z. Thus let [a,b]
be the set of all pairs of numbers u,i' in N such that a+v = u+b
for a,b in N.
b. Show that an equivalence relation is defined. Then define sum and
product for these equivalence classes. What role does the class [1, 1]
play?
c. What is the multiplicative unit in Z thus constructed?
d. Is the map a—p [a+ 1,1] an embedding of N into Z?
33. Consider N with the customary properties of addition and ordering.
Prove that the ordering for N can be extended to an ordering of Z,
constructed as in Exercise 32, by defining (a,bJ > [1, I] to mean a > b.
34. Associate to each element a e N a symbol — a; also introduce a symbol
0, defining 0+x = x+0 x for all xc S.
a. Fora,beN,define
(I) a+(—b)=(--b)+a = c, ifa b+e with eeN.
(ii) (—a)+b= b+(—a)= —c€ 5, if 0;
and (—a)+b b+(—a) = 0, ifa = b.
(iii) (—a)+(—b) = —(a+b).
Verify that the set S has all the customary properties of addition; in
particular, that there exists in San element t such that s+ t = t+s = 0
for every element s e S.
b. Next define a product in S as follows:
(iv) Os=sO=Oforallse5.
(v) (—a)b = b(—a) = —(at,) and (—a)(—b) = ab for all a,b eN.
Now prove that S is an integral domain and that S is isomorphic as a
ring to the ring Z, constructed in Exercise 32.
§3.6 Integral Domains and Fields 93
(A' D)
e. 0) = (RadA') D.
39. Let P be a prime ideal in a ring Rand let
Prove that the extended ideal PR,. is a maximal ideal in R,. and that all
nonunits of R,. form an ideal. Furthermore, prove that PR,. contains all
proper ideals of R,..
40. With the notation of Exercise 39, prove that the extended ideal
AR,. R,. if and only if A c P.
41. Let 0 be the set of all functions from N to Z, and forf,g €D define
(f+g)(n) =f(n)+g(n)
(f*g)(n) =
din dj
thesum being taken over all divisors d of n. Prove that /) with these
laws of composition is an integral domain.
4
94
Vector Spaces 95
r.A = rA = (ra1,ra2,ra3).
Hence 0. A = (0,0,0), the zero vector, often denoted simply by 0, and
I = A.
But the importance of vectors is not limited to two- or three-
dimensional euclidean space. In fact their value is that they provide a con-
venient means of expressing many interacting aspects of problems in fields
such as physics, linear programming, statistics, and other areas of math-
ematical applications, as well as in advanced algebra. We begin with an axio-
matic description of a vector space together with its associated field of scalars.
The elements of a vector space are called vectors.
A vector space (or linear space) V over a field F is a set of elements
together with two laws of composition (commonly called vector addition and
multiplication by scalars). The law of vector addition associates to each
ordered pair (A, B) in the cartesian product V x V a unique element
A + B V, and the law of multiplication by scalars associates to each
ordered pair (r,A) in Fx V a unique element rA V, subject to the following
axiomatic properties:
Addition. Vector addition is associative and commutative: there exists
an additive identity element (denoted by 0): and each element A V
has an additive inverse B, such that A + B = 0. (This inverse B is
designated — A.)
Multiplication. Multiplication by scalars (that is, multiplication of
elements in V by those in F) is associative,
r(r'A) = (rr')A for A V and r,r' e F;
and if I is the multiplicative identity in F. then I A = A for all A e V.
Distributivity. Multiplication by scalars and vector addition satisfy
the two distributive laws for all A, Be Vand r,r' e F:
r(A+B) = rA + rB,
(r+r')A = rA + r'A.
Because the defining algebraic axioms of a vector space over a field
resemble those of the integers [*2.1] and of a ring [*3.1]. we can easily derive
the following logical consequences.
Aspects of Linear Algebra chapter 4
Example 3. Let F denote the set of all real-valued functions defined on the real
number line R. That is, F is the set of all functions 1: R —* R. Define laws of com-
position as follows forJ,g c F, and r R, for all x- R:
J+g is the function which maps x toJ(x)+g(x);
rf is the function which maps x to rf(x).
Again, after verifying that these laws of composition satisfy the axiomatic properties
in the definition of a vector space, we conclude that F is a vector space over R.
§4.1 Vector Spaces 97
3x— y+ z=O,
x + 2y — 5z = 0.
The set W is a vector space over R, since if x, y, z and x', y', f are solutions, then
so are y+y', z+z', and rx,ry,rz, for all r ER.
W
W is subspace of V that contains S.
u=0 +0
I
WI
UWI+"+Wm,
(*)
—
• _i
—
• I
i
T Ijtj_
and — w1 is a nonzero vector in W1 + + - Hence
114€
Exercises
1. Verify that the axiomatic properties are satisfied for the sets in Examples
I and 3.
2. Prove Proposition 1.
3. In euclidean three-space R3, describe the subspaces containing the
following sets of vectors.
a. ((0,0, 1),(0, I, l),(0,4,2)}
b. ((I, I, l),(2, I, l)}
C. ((4,2, l)}
d. ((1,2, l),(l,3, l),(l,0,0)}
((1,2, I),(l,3, l),(1,0,O),(0,5,0)}.
e.
4. Verify, for subspaces W1, W2 of a vector space V, that W1 ri W2 and
W1 + W2 are again subspaces of V.
5. In R3 demonstrate that the set-theoretic union of subspaces need not be
a subspace.
6. Prove Property 7.
7. Prove that the set of triples (x, y, z) e R3, satisfying the homogeneous
system of linear equations
3x— y+ z=0
+ 2y — 5z = 0
is a vector space over R.
8. Determine whether the following subsets of R3 are subspaces.
a. W1
b. W2 = {(x, y,z): 3x—4y—5z 0)
c. W3={(6a—7b,c—4b,a+b—c):a,b,CER}
d. W4 = {(x,y,z):x,y€R}
e. = {(x,y,z):xy}.
9. Determine the intersection of the subspaces W1 and W2 in Exercise 8.
10. Prove that the span of a finite subset S= (A1,..., Am} contained in a
vector space V/F is the intersection of all subspaces U V which
contain S.
11. Consider subspaces W1,W2 V and vectors a,be V. Define u+W1 =
{a+ w: w W1}. Prove that a + W1 b± U'2 if and only if U'1 W2 and
a—be W2.
§4.2 Linear Independence and Bases 101
then
r1A1 0.
We thus have a nontrivial linear combination of the elements of S equal to
zero. Hence S is linearly dependent, which completes the proof.
Aspects of Linear Algebra chapter 4
Three further remarks remain. First, any finite set of vectors con-
taining the zero vector is linearly dependent. Second, any finite set of vectors
is either linearly independent or linearly dependent. Third, the most common
means of proving the linear independence of a set of vectors {A1, ...,Am} c V
is to consider a general linear combination
and then to prove that each of the coefficients r1, ..., r,,, must be zero.
For example, to show that {(0, 0, 1), (0,2, I), (1, —3, 1)) is linearly inde-
pendent in R3, consider real numbers a,b,c, for which
a(0,0,l)+b(0,2,l)+c(1,—3,l) = (0,0,0).
This one vector equation translates into three scalar equations:
A1 = + +s1_1A1_1 +
§4.2 Linear Independence and Bases 103
which generates V. Because the B. are linearly independent, at the jth step
the linear combination
where .•• = r'., = 0. has at least one nonzero coefficient r' of A1. We
conclude then that nm, as we cannot exhaust {A, Am} before com-
pleting the n exchanges.
The preceding result is due to Ernst Steinitz (187 1—1928). who was one of
the originators of what today is called "abstract algebra." His paper, A!gebraische
Theorie der Körper (Jour.f.d. r.u.a. Math., 137 (1910), 167—309), presents the founda-
tions of this branch of mathematics. Its introduction clearly demonstrates that
104 Aspects of Linear Algebra chapter 4
Steinitz was motivated by critical analysis and insight, and not by abstraction
per Se.
Theorem 2. Any bases of a finitely generated vector space V/F have the
same number of elements.
Proof. If and are two bases of V/F, then as both
generate V and are linearly independent, we apply the Steinitz Exchange
Lemma twice to obtain n in and in n.
Thus any finitely generated vector space V/F has a basis, and any
two bases have the same number of elements. In other words, the number of
elements in a basis for a given finitely generated vector space V/F is unique,
even if V has many bases. This unique number is called the dimension of V/F,
denoted dime V. or simply dim V. if the scalar field F is understood.
We conclude this section with a characteristic property of bases.
Subtracting, we obtain
(r1 —s1)A1 + ... + = 0.
Exercises
10. The set of vectors ((1, — l,O),(2, 1, l),(O,3, l),(O, — 1,1)) spans R3. Find
a subset which is a basis.
11. Prove the following standard result concerning vector space dimensions.
If Sand Tare finite dimensional subspaces of a vector space V. prove that
dim(S+T)+dim(Sr'tT) = dimS+dimT.
(I) q(4+B) =
(ii) (p(rA) = rp(A).
Aspects of Linear Algebra chapter 4
Vector spaces U/F and V/F are said to be isomorphic if there exists
a linear transformation q: U-+V, such that
(iii) 4(A) = 0 A = 0,
(iv) V={p(A):AEU}.
in other words, a vector space isomorphism is injective, surjective,
and compatible with the operations of vector addition and multiplication by
scalars [properties (i) and (ii) above].
The properties of linearity (I) and (ii) in the definition are most
significant in that, for a linear transformation q: U—' V, once the images
for a basis of U have been specified, the image
is determined for each A e U:
A€ A= r1A1 + +rmAm
with unique scalars r1 rm e F, and so
p(A) = r1(p(A1) + ... + rm(p(Am).
Corollary 2. Any two finite dimensional vector spaces over F are isomorphic
if and only if they have equal dimensions.
Proposition. For vector spaces U/F and V/F of respective dimensions n and
in, V) has dimension nm.
Proof Let {A1, ..., and {B1 BJ be bases for U and V, respectively.
We prove the proposition by displaying a basis of nm elements for HomF(U, V).
Foreachi, I I define
U V
by =
pU(Ah) = 0, for h 1.
Aspects of Linear Algebra chapter 4
= 1 j 'H•
Exercises
I. If the vector space V/F has dimension greater than 1, prove there exist
at least two distinct isomorphisms V —' P.
2. Prose that for each nonzero e F, the mapping given by = cA is
an isomorphism of V/F with itself.
§4.3 Transformations of Vector Spaces
3. For n> I, prove that each of the following mappings of F" to itself is an
isomorphism.
a. r(a, a,,...,aj = (a,,...,aj,...,a,
(i.e., the ith and jth components are interchanged) for given
i,i, I
b. a,, ...,aj, = (a, a,, ...,aj+cag,
(i.e., c times the ith component is added to the jth) for c e F and
given i,j, I I.
C. pc(ai, ..., a,, ..., = (a,, Ca,, ...,
A = [a3, I i in, I j n,
where is the entry in the ith row and jth column of the array.
The n-tuple of elements in A is commonly referred
to as the ith row of the matrix A. Analogously, we shall refer to the m-tuple
ami) as thejth column.
Two in x n matrices are said to be equal if their zjth coefficients
are equal for all i,j.
The set Fm.n of in x n matrices with entries in F is a vector space
over F with laws of composition given as follows.
1 1 31
1+1
Ii —211=112 1
I
8 J [5 —IJ [1 7
and 5.
I 3] 1 5 15
—4 8J —20 40
Special matrices of significance are those which for fixed i,j have
all their entries 0, except for a I in the ith row, jth column (the ijth position),
where 1 denotes the multiplicative identity of F. These matrices will be denoted
I I rn, 1n. For any matrix A = E Fmn, we can write
A = I I in, I n.
Thus the inn matrices generate the vector space Fmn. But further they
are linearly independent, since any linear combination
B=[bjk],
is defined to be the m x p matrix
AB=C=[c,,j,
where e,,, = That is, the ikth coefficient of the product is the sum
of ordered products of elements in the ith row of A with those in the kth
column of B.
f I 0 5 —4 0 1 C12 C13
[3 8 —1 sJ 2 —l —I Lc2i C22 C23
o i 8
_[ II 1 30]
— t—31 12 58 j
§4.4 Matrices and Linear Transformations 113
(ii) A(C+D)=AC+AD
'1 1
sum in F,, sum in F,.,
but
[{
The set F,,,, of n x ii matrices with entries in F has the matrix
I,, = the Kronecker delta—for its multiplicative identity element.
We turn now to the interrelation between matrices and linear trans-
formations. Consider vector spaces U/F and V/F with respective dimensions
n and rn. In the proposition of §4.3 we proved that dim HomF(U, V) = mn
and in Proposition I above that dim Fmn = inn. Then by Corollary 2, §4.3,
these two vector spaces over F are isomorphic. Thus we have proved the fol-
lowing proposition.
p(A3) = + + amjBm =
çp(A,,) = + +amnBm =
Thus, when A
p(A) = =
= rj au) = s1 i i m, i j n,
= =rMQ.
Sm ami
(**)
Now to the linear transformation q associate the in x ii matrix
a11
0ntl a,,,,,
i,l' s7 =
and writing the analogue of'(**) for we have for the components
'[s1 s,,,] =
= ....Sm].
ii,
then = + t2 C2 has coefficients given by
in §5.9. To this end we now examine the relationship between the components
of a vector A e V relative to two bases d = and = (B1, ...,
of V.
The basis vectors B1 can be expressed in terms of A1, ..., as
A.
§4.4 Matrices and Linear Transformations 117
B1 = = = I j, k n,
we have 'fri PJi = èik,
= + •.. + U,,B,,
u1 A1) + +
= PJIUI) =
j=1 1=1 j=1
and similarly
= Q•'[s1 ...., .c,,] Pi.t[si,..., sj,
we have
Mq,.'{r1 u,j
and
= ;] =
= un].
This last equality is valid for all choices of u1 i.e., for all A e V. and
therefore N, = P - 'M, P, as was to be shown.
42 = (0,1) = —
P221 4
q21 q22 j I
—2 2
N0 = P'MP = f
I 4j
1
2 4
15
12
Exercises
1 —1 0
[1 2 0
1
4 0
1 8
1 0
2 0J 001 25
3. Prove associativity of the matrix product. That is, for matrices A, B, C
of respective sizes in x ii, nx p, p x q, prove that (AB)C = A(BC).
4. Prove distributivity of matrix multiplication over matrix addition. That
is, for matrices A, B, C of respective sizes in x n, ii x p, n x p. prove that
A(B+C) = AB+AC.
5. Evaluate the following matrix products
2 4114 811—I
ii 3
a.
—l 5
I
6ff 2 —4
b. I
2 41114
Ill 8 +
—1 3
5 I 6 2 —4
11 2 4 14 —8 i\ 1—1 3
C. (I
1
1+1 III
1 11 —6 2 —4
I k k I,].
b. Forgiven I, I i ii,and nonzero cEF,
to(Ek)=Ek,
c. For given 1,1, 1 i,j it, and CE F,
= + cE1,
d. Prove that the linear transformations in parts (a), (b), and (c) are
isomorphisms.
13. Prove that an n x it matrix A is nonsingular if and only if its rows (or
columns) are linearly independent. 1-lint: Consider the dimension of the
image of the linear transformation determined by A.
14. In the ring of 2 x 2 real matrices prove that
0
a. { is an idempotent zero divisor.
10 ii 1
b.
1211 and
[1 —11 are zero divisors.
4 2 j 2 2j
[2 2] is a unit.
C.
[4 2
1
d.
[001 and
18 —81 are nilpotent elements.
[ 0j 8 —8 j
c. Give examples of matrices which are not units and are not zero
divisors in R.
d. Describe the nontrivial two-sided ideals in R.
16. Let R be the noncommutative ring of 2 x 2 matrices with rational
components.
a. Describe all units in R.
b. Prove that if a matrix n C R is not a unit, then it is a zero divisor.
c. Show that R has nontrivial one-sided ideals, but has no nontrivial
two-sided ideals.
17. a. Describe all units in the noncommutative ring R of 3 x 3 matrices
with rational components.
b. Give examples of idempotent and nilpotent elements in R.
18. a. Give an example of a noncommutative ring in which the sum of two
nonzero nilpotent elements is a unit [cf. Exercise 7(a), §3.1].
b. In the ring of 2 x 2 matrices with coefficients in Z2, prove that the
identity matrix cannot be written as the sum of two nilpotent
matrices. Verify, however, that the following matrices are nilpotent
and sum to the identity:
[00
[ii]'
11 1.j [0 '1
[ooj' [i 0
§4.5 Determinants
We conclude our present discussion of linear algebra with a sum-
mary of the properties of the determinant function, which maps the ring of
n x n matrices F,,, into its field of coefficients F. In and 9.4 we utilize
determinants to define the characteristic polynomial ofa linear transformation.
The earliest use in the Western world of what we call determinants
apparently was by Leibniz in a 1693 letter to G. F. A. de L'Hospital
(1661—1704). Later Gabriel Cramer (1704—1752) and Cohn Maclaurin
(1698—1746) independently developed the theory of determinants related to
the solution of systems of two, three, and four linear equations. Maclaurin's
Treatise of Algebra appeared posthumously in 1748, and Cramer published
his widely known rule for such solutions in 1750. Analogous results were
known to the Japanese mathematician Seki Kowa (or Seki Takakusa,
1642—1708). One of the modern axiomatic treatments of determinants is due
to Karl Theodor Wilhelm Weierstrass (1815—1897), with earlier discussions
by Augustin-Louis Cauchy (1789—1857), William Rowan Hamilton, Pierre-
Simon de Laplace (1749- 1827), and Alexandre Theophile Vandermonde
(1735—1796).
Consider an #zxn matrix A = [au] = [A'. e where
denotes the jth column of A. The determinant of A. denoted
det(A) = IAI = det([A'
is the element of F, determined from A in accordance with the following
axioms.
Aspects of Linear Algebra chapter 4
A =
Property 2. If any two columns of' the matrix A are proportional (i.e., if
one is a scalar multiple of the other), then det(A)=O.
by adding c times the ith column to the) th column, i then det(A) = det(B).
§6.7].
§4.5 Determinants 123
= 0, I i n
1
Property 10. =
124 Aspects of Linear Algebra chapter 4
Polynomials and
Polynomial Rings
transformatjon. These facts are needed for the study of field extensions in
Chapter 9.
ait')( =
a.bj)fh. for every teR,
i=O h=0 i+j=h
where 0 I n and 0 m. As an explicit example,
(6+3t+12)(4+12—t3) = 24+ 12t+ lO,2_313_2,4_,5.
Using this distributive law as a model, we define the product to be the
infinite vector (d0, d1, ..., ...) whose components dh are given by the
formulas
j+j=h
for h 0, 1,2 Note that the summation involved in defining each of the
sums dh is finite, and that only a finite number of the dh are distinct from zero.
Simple juggling of indices and summations verifies the following
algebraic properties for infinite vectors z /3. y:
(1) 2/3=/31
(ii) = (2/3))'
(iii) cx(/3+y) = + cy
Polynomial Rings 127
(iv) (I,0,...)x =
(v) (0, ..., 0, 1 , 0, .. .) (0, ..., 0, 1,0, ...) = (0, . . ., 0, 1,0, ...),
I I I
ith component jth component (i+j)th component
a1( =
i+h17 j+k=h i+h=q j+k.h
= 54h,1 I a. b3 CL = a,
k
(
its elements are usually identified with the "quotients" a(x)/b(x) of poly-
nomials a(x),b(x) in F[x], with b(x) 00.
Having defined in detail polynomials in one indeterminate x, we
conclude this section with the definition of the ring of polynomials F[x1, ..., xj
in several indeterminates 1,...,x,,. There are two common (and equivalent)
definitions. First, for all i e N, inductively define F[x1 to be the
ring of polynomials F[x1 ,][x1÷1] in the indeterminate with
coefficients in the ring Fix1 x1]. A second definition views F[x1
as the set of finite sums of monomials of the form where a€ F
and ..., I,, are nonnegative integers, together with the customary algebraic
rules of commutativity, associativity, etc.
Polynomials in two indeterminates occur in some exercises, in the
discussion of formal derivatives in §5.5, and in §9.8.
Exercises
= [q1(x) + + r(x)
= q(x) b(x) + r(x),
where q(x)= and r(x) = 0 or degr(x) <degb(x). The
Principle of Induction implies now that the existence statement holds for all
a(x) and any given polynomial nonzero b(x).
The uniqueness of q(x) and r(x) is proved as follows. Suppose
a(x) = q(x)b(x) + r(x)
= q*(x)b(x) + r*(x).
Then, = r*(x) — r(x).
Since deg{r(x)—r(x)) <degb(x). properties of the degree imply that
q(x)_q*(x) must be 0. Hence also r*(x)_r(x)=0.
§5.2 Divisibility and Factorization of Polynomials 131
where 0 is the coefficient of the highest nonzero power of f(x) and the poly-
nomials p.(x) are monic irreducible polynomials whose multiplicities cc, are
positive integers. (p(x)° = I as for integers.)
Because the proof is formally the same as that for the Fundamental
Theorem of Arithmetic in §2.7, we do not repeat it here. Note that the
properties of prime integers carry over to irreducible polynomials. In
particular, compare Proposition 2, §2.6, with the following.
x3— x2+x
—x2 —3
x2+x—1
—x—2
Thus a(x) = x4—x2+x—3 = (x2+x— l)b(x)—(x+2). Dividing b(x)= x2—x+ I
by —x—2, we find
x2—x+1 =(—x+3)(—x—2)+7.
The remainder 7 is not the greatest common divisor, since it is not a monic poly-
nomial. However, since it is constant, it indicates that (a(x),b(x)) = 1.
Reversing the process, we obtain
7 = b(x)—(—x+3)(--x—2)
= b(x)—(—x+3)[a(x)—(x2+x--l)b(x)J
=(x—3)a(x)+[l+(x—3)(--x2—x+l)]b(x)
= (x — 3)a(x) + (—x3 + 2x2 + 4x — 2)b(x).
Dividing this last equation by 7 yields the desired expression for the I.
Theorem 2. If p(x) D[x] has degree ii, then p(x) has at most n roots
mD.
Exercises
and y.(x2.—3).
138 Polynomials and Polynomial Rings chapter 5
— x+ 2
x4—x2+x—3 12x+ 6
—x5 + 3x
2x4 + 6x3 — 7x2 — 15x + 6
2x4 —2x2+ 2x— 6
6x3 — 5x2 — 17x + 12.
So,
wherethe cubic polynomial on the right side of this congruence is the polynomial of
minimal degree in x which solves the given congruence.
fl(—2) I (modx+l),
which has the solution fi = —4 e Q[x]. Hence e2 = — 4x2(x— 1).
The third idempotent e3 is a solution of the system of congruences
z 0 (modx2),
z 0 (modx+1),
z I (modx— I).
As before, we need only solve for y such that
yx2(x+l) I (modx—1).
Since x I (mod x— I), this congruence becomes
I (modx— 1),
As for the ring Zm, the residue class ring Rm, = 1T17=1 1,
can be written as a direct sum of subrings (ideals) B7, isomorphic to
[see §3.5].
We have seen earlier [Exercise 3(c), §3.2] that the canonical or natural
projection mapping
2: R Rm, 2(f) = [f],
of each polynomial fe F[x] = R to its equivalence class [f] modulo the
given polynomial m is a surjective ring homomorphism. We consider now
the restriction of the mapping 2 defined on F[x] to the subset Fc F[x].
That is, we limit our attention to the effect of I on F, rather than on all of R.
Exercises
1)2)
5. a. Write the multiplicative unit of the ring Q[x]/(x(x+ l)(x— as
a sum of three distinct idempotent elements.
b. Write Q[x]f(ni) as the internal direct sum of three ideals and the
external direct sum of three rings when rn = x2(x+l)(x—l)EQ[x)
[cf. §3.5].
6. Find a polynomial ye Q[x] of degree less than 4 for which (x+ 1)y
x3+l (modx3+3x—l).
7. Find a polynomial ye Z3[x] for which (x2+(l]3)y [l]3 (modx3+
x+[l]3).
S. Find inverses of the residue classes of the polynomials x+ I and x2 + 3
in the residue class ring Q [x]/(x5 — 1).
9. Let F = Q(V7) where is a solution of the equation x3 = 7 in C.
Write (1 + (I — and (I + -' as polynomials in 1,
with coefficients in Q. [See §3.6, Example 6 for the definition of
[wo+wt(x—a)+ +w,_1(x—aY1] =
i=O
where the coefficients w, e F are unique.
f + x2"1 + + a1 x + a0 a Q[x]
to its equivalence class
where 2(a,) = [a1] has been identified with a1 Q. In we have [x]2 = [2] = 2
since x2 2 (mod x1 —2). Hence
and so can be expressed as b[x] + c with coefficients b.c aQ. Furthermore, extending
A to a mapping from R[i] Q[x,t] to by defining 2(t) = t, we obtain (again
using the fact that [x)2 = [2] in
)((2_2) = t2 — [x]2 — (t—[xI)(I+[x])
= (t—
(a4 b a,bEQ}
Polynomials and Polynomial Rings chapter 5
is given by
a + b[x] e R9.
This same polynomial, x2 —2, while irreducible over Q, factors over as
follows:
x2 — 2 (x+ 2)(x—
Example 2. As a second, but very similar example, let F = R and p be the irre-
ducible polynomial p = x2 + 1. Then the residue class field of F[x] modulo p is
isomorphic to C, which is often defined as
C = {a+bi:a.bcR},
where i2 = — 1, or i — The isomorphism
C
is given by
p(a+bi) = [a) + [b]lx] e R,.
As an historical note, it is interesting that Augustin-Louis Cauchy often viewed the
complex numbers algebraically as equivalence classes of real polynomials modulo
x2+l.
= E Q,
= p' =
1=1
where = and the I1< rn. are the roots in of' g(y) E K[y].
it is customary to identify the isomorphic image pF of F with the
given field F. and to identify the indeterminate with x. Then the theorem
states that there exists a field Q F such thatf(x) factors completely in fl[x).
The Fundamental Theorem of Algebra, to be discussed in §9.9, says
that any polynomial with complex (and hence real, rational, or integral)
coefficients splits in the field of complex numbers C. But C will not be a useful
splitting field for our subsequent considerations as it has infinite dimension
(as a vector space) over Q, whereas the splitting field Q just constructed for
/(x) Q[x] is a finite dimensional vector space over Q. Furthermore the
theorem is applicable for fields of nonzero characteristic, while the
Fundamental Theorem of Algebra certainly is not.
146 Polynomials and Polynomial Rings chapter 5
Exercises
1. Consider I Z1
a. Prove that the polynomial x2 — [5] n F[x) is irreducible.
b. Furthermore, show that the residue class ring F[x]/(x2 — [5) 3)is a
field K having 132 = 169 elements.
2. Prove that the polynomial x2 + [1)7 E Z7 [x} is irreducible. Let t denote
the residue class of x in Z, [x]/(x2 + (1)7).
a. Express the elements [1]7/(t+[l]7) and ([2]7+[3)7t)([4]7+[6]71)
as polynomials of degree less than 2 in i with coefilcients in Z7.
b. Show that Z, [x]/(x2 + [1],) is a field of 49 elements.
3. Let R Q[x, y). Prove that the residue class ring R/A, where A =
(x2—2,y2+3), is a field.
4. Construct a splitting field (i.e., a field in which each polynomial splits into
a product of linear factors) of each of the polynomials f(x) E Q [x].
a. f(x) = —3 b. 1(x) = x3 — 2
c. f(x) = (x2—3)(x3—2) d. 1(x) x4+ 1
e. 1(x) x(x3 +7) 1. J(x) = (x3 + 7)3 (x4 + 1).
5. Determine the dimension of each of the splitting fields in Exercise 4
considered as a vector space over Q.
6. Prove the theorem of this section by successively constructing fields in
which irreducible factors of j'(x) split off at least one root. 1-lini: Apply
Kronecker's construction to an irreducible factor f1(x) of f(x) to obtain
a field K1 in which 1(x) has a root Then consider an irreducible factor,
if any, off(x1) E K1 [xii, where x1 is an indeterminate over K1.
7. Verify that the mapping p in Example I is an isomorphism.
8. a. Show that the ideal A = (y2 — x, x2 — v) REx] is not a prime ideal.
Find prime and maximal ideals in R[x} that contain A.
b. Repeat part (a) with A (r2—x— I,y—l—3x).
9. Prove that(i2—x,y—4x-f 3) isa maximal ideal in R[x].
where R, 0 I n.
Such an element can be rewritten as
0 i n, 0 in
i,j
§5.5 Roots of 147
= 1i1(x). 0 I n,
and in = Conversely, a polynomial in two indeterminates
= =
NOTE. If F has prime characteristic p and iii 0 (modp), then the derivative of
the nonconstant polynomial x" is 0.
However, if char F—p >0 [see §3.6], then the derivative of any
polynomial F[x], whose only nonzero coefficients are a1,
(modp), is zero. If an irreducible polynomialf(x) E F[x] has multiple roots,
its derivative, given in equation (*) above, must be identically zero; that is
f(x) must be of the form
g(x") = =
f(x) = g(.v") = =
1(x) = h(.rpe) =
1=0
n.
with h(u) = d,u1 F[u] F[x], u=
1=0
such that h(u) is irreducible in F[u] and does not have multiple roots in
any field F. Such irreducible polynomials 1(x) are said to be inseparable
of reduced degree a" = a/pC; we call pe the degree of inseparability.
This definition of reduced degree n" does not imply that (a"', p) = 1.
(We shall consider inseparable polynomials further in §8.5.) A nonconstant
irreducible polynomial g(x) is said to be separable if g'(x) is not identically
zero.
and in K[.v].
hI(ak)=O ifk#i
#0 ifk=i.
Now
,,+1
i;i(x) = b-b1 (.'v) (a1)) —
1=1
Thus
,n(x) =
—4x2 + '?x 5.
(x — a1), where j 1,
=
g.2(x) (modh(v)).
The residue classes of the polynomials modulo h(x) form a system of
orthogonal idempotents. whose sum is c':i. in the residue class ring
Ffx]/(/i(x)) [cf. and 5.3]:
[g,(x)J2 =
[g1(x)][g1(x)] = [0] if I j,
and [g1(x)] + + = [I).
This modified argument will be used to prove the Theorem of the
Normal Basis for algebraic field extensions in §9.5.
152 Polynomials and Polynomial Rings chapter 5
Example. For
1(x) = a,x' and g(x) =
j=O
n+Ifl/
wehave f(x)g(4=
I
n+mf / it \ Im
and = a1b1)c' = ( a1e')
v0 \i+jv / / \j0
f(c)g(c) = pc(g(x)).
f
A polynomial function in one variable over F is a single-valued
function from F into F whose graph r1 in the cartesian product Fx F is given
by
= {(c,f(c)):ceF},
with f(c) = E7= 0a1 = f(x) e Ftx].
We define the sum and product of polynomia.l functions (and g as
follows:
f+g by = {(c,f(c)+g(c)):cEF}
and
fg by = {(c,f(c)g(c)):ceF}.
Using the preceding remarks on the computation off(c)+g(c) and J(c)9(c)
for each c e F, we can show that all polynomial functions form a ring D(F),
which is an integral domain.
Note that each polynomial f(x) = 7. 0a1 x e F[x] determines a
unique polynomial function f whose graph is
In §2.12 we proved that the p—I nonzero cosets [a] in the field Z,,
satisfy =[IJ. Thus they are the p—I distinct zeros of in
Z,, [x]. Consequently
—[I] =
or
x —+ [0], we obtain
— [I]
or —I E(—l)•..(—p+l)(modp),
— l (— I)! (rnodp).
Hence for odd p, (p—I)! —I (modp): for p = 2, then 1! — I I (mod 2).
Exercises
1. Prove that the ring R of all polynomial functions of one variable with
coefficients inis not isomorphic to (Show that there exists an
epimorphism of onto R.)
2. Prove that the ring R in Exercise I is isomorphic to the residue class ring
Z,, — x).
Polynomials and Polynomial Rings chapter 5
3. Consider a prime number p of the form p = 4,, + I, n> 0. Prove that the
congruence x2 — (modp) has a solution. (Hint: Investigate x =
1
[(p— 1)121!.)
4. Find a polynomial p(x)€Q(x] for which:
a. p(l) = 2, p(2) = 4, p(3) = 8, p(4) = 16
b. p(3) = 5, p(O) = 0, p(4) =
c. p(8) = —3, p(—3) = 8.
5. Repeat Exercise 4 when the coefficient field is Z,; that is, replace 2 by
[2] etc.
6. Let f(x) be a polynomial function defined on Z,,. Show that there exists
a polynomial function g(x) of degree less than p such that 1(a) = g(a)
for all aE Z,,.
7. Derive Lagrange's Interpolation Formula of §5.6 from the Chinese
Remainder Theorem, §2.11. Hint: Since the elements at of the statement
of Lagrange's formula are distinct, the Chinese Remainder Theorem,
applied to elements of F[x], states that the n congruences m(x)
(mod x — a1) can be solved simultaneously.
cf(x) = e Z[x].
Now let d be the GCD of the integers csjt1, 0 I n. Then the coefficients of
that is. the elements d'(es1Jtj, have GCD I. Thus
is a primitive polynomial in Z[x].
NOTE. The factors g*(x) and h*(x) are unique to within units of Z and F[t],
respectively.
Exercises
where 0 j < n, p a prime, has at least one irreducible divisor (in Z [x]),
whose degree is at least n—j, provided that 0 (modp) and at least
one a1 0 (modp), where 0 I
12. Let p be a prime, and suppose that the polynomial 1(x) a Z [xl has a
factorization f(x) go(x)h0(x) (modp), where (go(x),ho(x)) E I
(modp). Prove that f(x) gk(x)hk(x) (modpk), where gk(x),hk(x),
taken modulo p. equal ,q0(x),h0(x), respectively. [Hint: Use induction
on k, letting g*(x) = go(x)+pu1(x)+ etc.)
NOTE. Here we need to generalize the concept of determinant from §4.5 slightly to
include determinants of matrices with coefficients in a ring. All the properties of
determinants cited in §4.5, except Property 8 which involves inverses, remain valid
if the field of coefficients F is replaced by a commutative ring, such as F[x]. [Note
that the inverse of an n x n matrix B (for example, x A) with polynomial coef-
ficients will in general be a matrix with coefficients in the field F(x) of rational
functions in x over F.]
I 4 5
Example 2. The characteristic polynomial of A = 0 —1 0 is
4 8 3
x—l —4 —5
XA(x)=det 0 x+l 0
—4 —8 x—3
Expanding by minors of the first column, we obtain
xA(x)=(x—l)
x+l 0
—4
—4 —5
—8 x--3 x+I 0
= (x—l)(x+l)(x—3)—20(x+l)
= x3 — 3x2 — 21x — 17.
Corollary. T(P'AP) =
det(P'AP) = det(A).
B0 — AB1 = a1 I,,,
(***)
B,,2 — AB,,_1 =
= 1,,.
Multiplying the equalities in (***) on the left by !,,.A respect-
ively, and adding we obtain
0 = a0 I,, + a1 A + + a,, ' + =
This observation completes the proof.
Exercises
1121 b.
l —l
0
0
40 j
1
1 1
1
2 —1 01 —l
c. 0 0 21 d. —I 2 0.
—2 1 lJ 8 5 0
3. Verify that the matrix in Exercise 2(a) satisfies its characteristic polynomial.
4. Determine the trace and the determinant of each of the matrices in
Exercise 2.
5. Verify that the matrix of Example 2 satisfies its characteristic polynomial.
6
Group Theory
162
Elements of Group Theory 163
The general associative law, which states that for any n> 3 elements
e G all products of the n elements, keeping of course their given
order, are equal, is not a group postulate. Rather it is a consequence of the
associativity postulate that 91 (92 93) (g1 g2)g3 for any three elements
E G. The emphasis in the general associative law is on the term
"any n elements g, G." Thus the Principle of induction in one of its forms
is required for the proof.
Define successively to be Thus
= 9i 92. p1 = = 92)93. etc. Now the general
associative law will be proved, if we can demonstrate that every combination
of g, g,, put together in product form, keeping fixed the order of the
elements g,, equals fl7.,
The proof requires induction on n. For n= 1,2 nothing is to be
proved. For n 3. we have simply the given associative law. Assume now
that for all products of Ii. I /i <,z elements, the arrangement of parentheses
in products is immaterial. This means, to be more explicit in a special case,
)2)[t33 = [.v1 (..l2 = ..., for I: = 5.
Thus assume that any ordered product of' I, < elements 9h (a/ways
in this order) equals
Elements of Group Theory 165
ci =
where I s <n. The induction hypothesis implies that
g = (g1"g5)flg5+4
Fin—s—I \ 1
= (cii g5)I [1 cis+i)cinj by the defInition of 11
L i=1
I n—s—i 1
=
L
H
1=1 J
'n—I n
so that ci = (n gi),qn = cii.
Examples of Groups
1. a. The elements of any ring R with respect to the additive law of composition
3. a. The set Tof all complex numbers with absolute value = I, with mul-
tiplication as the law of composition. Such complex numbers can be
expressed in the form cosq,+isinp, — I.
01]
I
II T=
—10
0 I
,
w=rs=l 0
[--I
V
--I
0 S" =
T4 = W3 =
note that
01] 1 , and that
0 I
of the group in part (c) above for which a a' ± I (mod a) and b c 0
(modn), a> I.
e. The set of all 3 x 3 matrices
1 ii
0 I i*'
001
with coefficients in Z, Z,,,, Q, R, or C, with matrix multiplication as the
law of composition.
5. The Cartesian product A x R' of two rings R, R' with the rule of addition
defined by
(a,a') + (b,b') = (a+b,a'+b') for all a,b€ A and a',b' c R'.
a. In particular, we may choose Z, Q, R. and C as the rings R and R'.
b. The Cartesian product Z,, X Zn, with
c. The set of pairs (a, fi), where a belongs to Urn, the multiplicative group of
prime residues modulo in, and fi belongs to 4
considered as an additive
group, with the law of composition defined by
(a,fl) * (y,ô) =
6. We now introduce "abstract" groups defined formally in terms of generators
and relations.
a. Let G be the set {am: in a Z} of a//integral powers of the symbol a, which
we call the (multiplicative) group generated by a. The element a is then
called a generator of G. The group operation is denoted by multiplication
with the customary law of exponents = etc., and a° is the
multiplicative identity.
b. Let G be the set {am : in a Z} of all integral powers of the symbol a, but
now define a', to represent the same element of the group if i j (mod n)
for some fixed it a N. Thus, the distinct elements of G are {a°,a', ...,a" '};
any other power of a represents the same element in 6 as one of these.
The groups in Examples 6(a) and (b) are called cyclic groups. They are
introduced again in §6.5 and studied in detail in §6.6. They are generated by a single
element a.
In Examples 6(c) through 6(i), we consider "abstract" groups with two
generators a,b. Let S be the set of all finite products of the symbols a,b,a ',b L,
and e, where a° b° = e, the multiplicative identity, and a'a' = etc. The
identifications of symbols in the set S. given in Examples 6(d) through (i), are
sometimes referred to as defining relations.
When ii 3, this group is called the quaternion group; its distinct elements
are
a, a2 = b2, a3, a4 = e; b, ba, ba2, ba3.
e a a2 a3 b ba ba2 ba3
e e a a2 a3 b ba ba2 ba3
a a a2 a3 e ba3 b ba ba2
a2 a2 a3 e a ba2 ba3 b ba
a3 a3 e a a2 ba ba2 ba3 b
b b ba ba2 ba3 a2 a3 e a
ba ba ba2 ba3 b a a2 a3 e
Exercises
defined on R.
a. Prove that G is a group with respect to the usual composition of
functions. That is, forf,ge G, (fogfls) =f(g(t)).
b. Which function is the identity element?
c. Find the inverse of each of the six functions.
Ibid., p. 145.
§6.2 Subgroups and Orders of Elements 171
L2
r r2 fi y
r r2 £ )' P
r2 e r fi y
$ y e r r2
r
fi y
fir r2 e
{e,
{e)
In the first case, g is said to be of finite order, and in the second, of infinite
order. The order of an element g e G has several general properties.
Property 1. 0(e) = I.
Property 2. g e EG o(g) > I.
Property 3. o(g) = for all a e G.
Property 4. o(g) =
Property 5. o(g) = = e hln.
174 Group Theory chapter 6
Since, by definition h is the least positive integer k such that g" = e, r < Ii
is necessarily zero. But that is to say hi n.
Proposition 2. For g e G of finite order and any integer s, 0 <s < o(g),
gS . o(g)
(s, o(g))
Proof Let k = o(g5), n = o(g), and d= (s,n). Then write n = mdand s id.
We wish to prove that k =m, or in other notation, n=kd=o(gs)(s,o(g)).
This we do by showing that k Im and in k.
First, (gs)m = = (g"Y = e; so k I in. Second e = = guiC implies
that n jsk. Now write sk = vii. Substituting s = id, n = md, we obtain
tdk = vmd or 1k = i'm. Since (m, t) = I by the definition of d as the GCD
(s. mm), we conclude that iii k.
REMARK. Suppose that the elements a, b of a group G commute and that they
have relatively prime orders m,n. Then o(ab) = ppm.
This remark is in general not true for noncommuting elements. For
example, the group of the triangle F3 is generated by the elements r and a of orders
3 and 2, respectively. However, ra = y, which is of order 2. The product (ra) a =
= r of elements ra and a, each of order 2, has order 3.
More generally, the dihedral group with 2n elements (given in Example
§6.2 Subgroups and Orders of Elements 175
I-IK= {e,ab,b,abh=a).
The latter is not a subgroup of f,.
From the definition it is evident that the product K• H denotes the
same subgroup as H• K.
Exercises
or more particularly,
6=
1€ I
Exercises
12. Prove that if ye G has finite order, then H = {g' : Ie has o(y) distinct
elements.
13. a. Referring to Exercise 6, §6.2, prove for all g e G that
[G:H]1 < [G:I1],.
b. Prove that = o(H), when o(H) < x.
REMARK I. Note carefully that the normality of N in G means gN = Ng, for all
p e G. It does not mean ng = gn. Rather, given g, we have ng = pit' for some it' N;
the elements n,n' e N are in general not equal. For example, in the group of the
triangle F3 R is a normal subgroup, but r€ €r although aR = Ra.
the three cosets of the subgroup S = {e. but no such rule of multiplication
will eoriespondto the product in r3. The subgroup S is not a normal subgroup
of r3.
Example 2. Let
G= a Z}
where = e, bab' =
To show that the subgroup
N = {e,
a normal subgroup of G, observe that
= = = a"
implies I = am(bnakhlb_n)a_m = at"
for all ni,n and k.
The factor group GIN hasp2 elements and is abelian because bab =
a" a N. Thus
= eN
or =
and for any In, fl E Z,
(bN)"(aNr'.
(In fact, any group of order p2. p a prime, must be abelian as shown in §7.4,
Exercise 4.)
Furthermore, GIN consists of the p2 distinct cosets 0< fi <p.
Normal Subgroups and Factor Groups 183
Exercises
15. In the Cartesian plane R2, consider any two nonparallel translations
ti, r. Let r be the group generated by o- and r.
a. Describe the set of points
U = {(r,r') cR2 : y((O,O)) = (r,r') for some ['I,
called the orbit of (0,0) under r.
b.Prove that U is a normal subgroup of R2. Such groups are special
cases of transformation groups which are of particular interest in
both topology and quantum mechanics.
16. If H G is the only subgroup of ordert, in a group G, prove that H is
a normal subgroup of C. Hint. See Exercise 6, §6.2.
17. Let U be a subspace of a finite dimensional vector space V over a field F.
a. Show that U can be viewed as a normal subgroup of V.
b. Define on the set of (additive) cosets of (I the structure of a vector
space over F Icf. Exercise 9, §6.3]. We call this the quotient space of
V with respect to U, denoted V/U.
c. Prove that dim(Vf U) = dim V—dim U.
19. With reference to Example 2, prove that the cosets a°b"N, 0 a, /S <p
are distinct. Hint: Consider a°b°N and use the commutativity
of GIN to write
N =
=
19. Consider the group G of 2 x 2 nonsingular matrices
[a b
[c d
with coefficients in a field F [cf. Example 4(a), §6.1]. Prove that the set
of matrices
N__ha 0
:aeF
U 0 a
is a normal subgroup. The factor group GIN is called the projective linear
group PL(2,F).
20. Carry out the explicit steps in the induction argument in the proof of
Proposition 2.
Suppose that there are given two groups G and G' with respective
identity elements e and e'. A single-valued function q' from G into G'
forgeG
is called a (group) homomorphism of G intoG', if
=
I
product in G
I
product in G'
Solutions of the
Stated Congruence Corresponding
Elements of ker
o
o 3 b3
I ab
4 ab4
2 2 a2b2
2 5 1
a2b5
Note that each element of kerQ, is a power of ab: hence K = is a cyclic sub-
group of order 6 with generator ab.
The cosets
K = {e,ab,a2b2,b3,ab4,a2b5} = e,
aK = {a,a2b,b2,ab3,a2b4,b5} = a,
a2K = (a2 ,b,ab2 ,a2b3,b4,ab5} = a2
of K form a cyclic group G/K of three elements with the generator a (also a2).
To describe = C9 observe that c' if and only if there
exist ni, n e Z such that
3(2m+n) I (mod 9).
For in = 0: 3k', j (mod 9), which has a solution if and only if 311. That
is, 1=0,3,6.
For m = 1: 3,, 1—6 (mod 9), which has a solution if and only if
3 I (1— 6) or equivalently 3 i.
For in = 2: 3i, 1-.- 12 (mod 9), which has a solution if and only if
31(1— 12) or equivalently 3j1.
a—+c6 b—.c3
ab I a2b —÷ c6 b2
ab3 —+ c6 a2b3 (3 b4
ab5-4c3
Example 2. Let C27 and be cyclic groups of orders 27 and 18 with generators
rand y, respectively. Define distinct homomorphisms and tl' from C2 into C28 by
= 0 k < 27,
= y4k 0 k <27.
To show that = observe that c* c ker4' implies that
2k 0 (mod 18) or k 0 (mod9).
Similarly, E implies also that k 0 (mod 9). Thus, = =
{c0,cO,cISJ.
Furthermore, the images coincide because = y2 and
generate the same subgroup
H=
of C18. This fact is most easily seen by observing that y4 = (y2)2 lies in the sub-
group generated by y2. and conversely that y2 = (y4)5, since exponents are taken
modulo 18, lies in that generated by y4.
Exercises
ii pi8•.
=
Set in1 By hypothesis, for each i, I i s, at most n = n/p1 < n
elements a in G satisfy = e. Thus at least one element x1 e G satisfies
e. Let y1 = where n = in, Then o(y1)Iin, since y1mi = x," = e.
Moreover, because = e, we have o(y1) = Finally, z =
Yi Yi y5 has order n by the remark in §6.2.
Exercises
2. Describe the elements of the factor group C1 8/H, where C18 is the cyclic
group of order 18 generated by c and H is the subgroup generated by c6.
3. For how many distinct groups G, up to isomorphism, can a surjective
homomorphism C54 6 be determined, where C54 is the cyclic group
of order 54? Note that 6 is to equal Im = 4,(C54).
4. Prove that the subgroup H in Proposition 2 is unique.
5. Define a homomorphism C16 -+ C.16, where the cyclic groups C16, C96
have respective generators c, by 4,(em) = 2rn
a. Find the kernel of b. Find the image of 4,.
c. Find all homomorphisms of C16 onto the subgroup G of C96
generated by y'2 Note that if A: G -. 6 is an isomorphism, then
A o 4, is a surjective homomorphism of C16 onto G described by
A o to(c) = A(to(c)) = A(y12).
6. Consider the cyclic group C16 with generator c, and the abelian group
6 = {ambn : in,n E Z} where b2 = e, ab = ba, also of order 16.
Define mappings and çt' from G to C16 by
= C6m and
The group axioms are readily verified for s(S) with this rule
for composing bijections. Note that two mappings a, a' on a set S are defined
to be equal if a(s) = a'(s) for all s e S.
Identity. The map defined by £(s) = s for all s e S satisfies the properties
of a group identity
I = I = E 02
since for all s e S
(aoc)(s) = a(s) = (soa)(s).
Since a is surjective, given s e 5, we can find an s" such that cc(s*) = s. The
element s"' is unique because a is injective. The bijection so defined
satisfies
= = a(s*) = s, for all SE S.
I
a '(s) = for all
s a a a, that is, the group-theoretic inverse of a.
[ i 2 •.. i •..
Lat a2 a,
This symbol or array describes the map taking each element i into the
element a1 below it.
is abbreviated
[125
[251
The alternative cycle notation involves writing after each element
its image, thereby forming a chain or cycle, as follows:
[12345
[3452 1
or [1351 [241. Schematically, this permutation can be displayed as
4
/
1
2 4
11
2 ... k ... It •.. niLkh
or by
[hk][l]."[nJ.
The I-cycles [I] are often omitted.
A cycle y of length r (r n) is a permutation such that for some r
elements ...,i, in
= j2, y(i2) = i3,...,y(i,_1) = I,, y(i,) =
and y(h) = I, for all h ...,i,}. Schematically, a cycle can be displayed as
'2
Groups of Permutations 197
'I
has order r as an element in the group [see §6.2]. We obtain the inverse
of a cycle y = [11,12. ...,ir] by writing the same elements in reverse order:
= [I,, ...,I2,!i]. In array notation the inverse of a permutation is obtained
by reading up from the second line to the first.
ar(2) = = a(S) = 4,
cr(3) = a[t(3)] c(2) = 5,
ar(4) = c[T(4)] = c(4) = 3,
In addition,
c1='[3 I. I 2
I 4
3 4
5
5
Lemma. For any j a and aa there exists a least integer k. such that
ak(j)jandOk<,z
Group Theory chapter 6
= {a(j2),c2(J2),..., =12]'
where s2 is the least integer k such that ak(j2) =12 Then
{o(l),a2(l),...}
{o(j2),a2(J2). ...} = 0.
Repeat this process, if necessary, with
u
The process cannot be repeated indefinitely as there are only n symbols in
Consequently, the permutation
is itsella cycle, written [15423] in cycle notation, since a(l) = 5, a(S) = 4, a(4) 2,
etc.
11=
1 2 3 4 51 EE5
2 5 I 4 3
is expressed as the product [1253] [4] of disjoint cycles since o(l) = 2, a(2) = 5,
c(5) = 3, and a(3) = I. Also, c(4) = 4.
[I 2
1 2 3
Fl 2 3
[3 1 42
in cycle notation, [132][4)[l][2][34] = [2134]; and as the product of trans-
transpositions, [2134] = [243 [23] [211.
0=1 11234567891
[4 5 6 2 4 3 8 9 7]
can be written as the product
I 2 4 3 6 7 8
[ = [1425] [361 (7891
[4 5 2 1 ff6 3J[8
[
9 7] 1
Proof Given p = [r. k. I]. consider a = [i.j, k] and r = [k, r, s], where j
and .c are arbitrary, but distinct from r, k, and i, and j s. Then, =
[k,j,i] and = [s,r,k]. Consequently,
= [i.j,kl[k,r,s][k,j.jJ[s,r.k] = [r,k,iJ =
as asserted.
Group Theory chapter 6
Exercises
For a define
i, ..., =
I
II X6(,)),
G
4
IA
G/K
NOTE. Examples show that there may be many isomorphisms of G/K with
Such isomorphisms can be constructed by following the isomorphism of the
theorem by a nontrivial isomorphism a of the image onto itself, i.e.,
A(gK) = e
For example, suppose is isomorphic to the additive group 4,, ,n> 2.
The mapping [c] {a](c) = a([c]), [c] E Zm, where [a] is a prime residue modulo
m, is an automorphism of Zm. Thus a oA: is an isomorphism.
G'/JV' G/N,
The Isomorphism Theorems of Group Theory 203
G .G"
UI UI
= N ,- N'= ken/i.
Proof By Exercise 16. §6.5, the composite cli go = is a homomorphism
of G onto G". Further
N= =
=
=
Now by the Isomorphism Theorem (for the surjective mappings and i/ip)
Corollary 2. (G/H)/(N/H).
Exercises
defined by = ([a],, ..., [aL, ..., Prove that kerX = (m) and
that X is a surjective ring homomorphism. Using the Esomorphism
Theorem, conclude there exists an isomorphism
Hom(G, G)
§6.9 Automorphisms, Center, Commutator Group 207
NOTE. Normal subgroups, defined in §6.4, are also called invariant subgroups
because a subgroup H is normal if and only if = x 6 G.
In more technical terminology, we describe H as invariant (mapped to itself) under
all inner automorphisms of G. In the more recent literature, greatly influenced by
the French School, "invariant" is often replaced by "stable."
abN = baN
=N
eN for all a,!, e G
where c Z2, since the exponents of a,!, are counted modulo 2. It is convenient
to associate to p e Aut(V) the 2 x 2 matrix
a11 a12
a21 a22
with coefficients in Z2. Since p is an automorphism, p(a) and 49(b) must be distinct
elements of order 2; thus the matrix A(p) must have linearly independent nonzero
rows. In other words, as in §4.5, A(p) is a nonsingular matrix. Conversely, each
nonsingular 2 x 2 matrix with coefficients in Z2 determines a unique autornorphism
of V. In fact the mapping A: Aut(V)—4 GL(2,Z2), the (general linear) group of
nonsingular 2 x 2 matrices with coefficients in Z2, is an isomorphism.
Automorphisms, Center, Commutator Group 209
[0]
Then a2
]
and ara 12. The generators a and r of GL(2, Z2> are subject to the same relations
as the generators
11231 I and fl=I
1123
I 3j 3 1
of E3. Thus the mapping A': GL(2, Z2) described by A'(a) = and A'(r) = ft
is an isomorphism. Composing the mappings A and A' we obtain an isomorphism
Aut (V)
To illustrate the concepts of center and commutator subgroup while
providing experience with computations involving group elements, we examine
the dihedral groups V. n 3, in detail. The group can be described by
= {a3b' : s, i e Z}
where a" = b2 = e and ba = th {cf. Examples 6(1) and 7 of *6.1].
because the "general" element of r has the form axbY. To describe the center more
explicitly, consider separately the cases t = 0, t = I.
The Case t = 0. in this case a5b a3, and conditions on s alone have to be found
such that
The Case I = 1. If there exist elements of the form a3b such that a(a'b) = (a5b)a,
then
where 0 x < n and 0 y < 2, because [an] = (b2) [e]. Proposition 3 asserts
that 17 is abelian. Thus
[b][a) = (at][b] = [b][a]' and [a]2 = [e].
or a"" + P) = am. Hence p2 I nip or p m. Therefore elements of the center must have
the form In addition,
= =
or = (a'ba)"
= = a"b",
since & e C from equation (s) with m = p, n = 0. Therefore = e, or p n. Hence
b" =e. Thus C = :0 s <p1, the group of order p generated by
Exercises
(1)
Many authors use the notation ® for the tensor product, a concept not
considered in this book. Hence no confusion should result in our use of this symbol
to designate the internal direct product.
To prove this equivalence, first assume (ii) and suppose that g has
two expressions as a product of elements of the N1:
with E N..
Then
y = y,
we must have = e,
=e
IeN1
eye
I
e.
IEN,
Ij 1, and
y = e. But then (N, N.) N.4, = {e} for all j, I i <s.
If G=N, ®N2, then g,g2=g2g, for g1eN,, g2eN2. First
and by the
normality of N1 and N2. Consequently g1g2g,'g2' eN, N2 = (e}. An
214 Group Theory chapter 6
=
e5)
= 41(h191h4') eN4,
where for Ij
s. and eG. By the defInition of equality
in G, equals the product of unique
elements (e1, ..,g, e3) E N4. Therefore G is the (internal) direct product
of the groups N4 as asserted.
a = a' E
hence
To prove that this product is direct, note that xe (G, ... G.)
implies (since xe G1+,) and o(.v)In, n (since x is the product
of elements x. such that 0(x) In1). Consequently x = e, because (n, ...
,)= I and hence o(x)I I. Thus. G equals the internal direct product
G1 ® ®
G is the (internal) direct product G, ® G2,
and that H, and 112 are normal subgroups of G, and G2, respectively. Then
the factor group (G, ® G2)/(H, ® is isomorphic to the (external) direct
product G,/H, * G2/H2.
Proof. Recall from Proposition I that G = G, ® G2 means that g G can
be expressed uniquely as g = 9,92' for g, E G,, g2 e G2, and moreover that
92 = 929,• We use these facts to construct the mapping
tfr: G G,/H, x G2/H2
given by = H,. 92 112) for g = 9,92. The uniqueness of the expression
of g E Gas the product of elements in G, and G2 implies that cu is well-defined.
We now prove that cu is a surjective homomorphism whose kernel is
H,® 112.
First, is a homomorphism. For g = g, 9i' = 9'2 in G,
cli(gg') =
=
=
(g, !1,,g2 112)(g, H,.g'2 H2) =
Ifg =9,92 e then
= (91 H,,92 H2) = (eH,,e112)
implies thatg, E H,,92 112. Hence kercu' H, ® 112. Conversely ç&(h,h2)=
(eH1,eH2), for all H.. 1=1,2, and so ker,I/= 113 ® H2. Next, the
homomorphism is surjective because the general element in G,/H, x G2/H2
is (g, H,,g2H2), the image of 9,92 E G under k/i.
Since is a surjective homomorphism with kercl, = H, ® H2, the
Isomorphism Theorem assures the existence of an isomorphism
G/(H, ® H2) G,/H, * G2/H2.
Explicitly, the map q is given by
(p[g(!l, ® 112)11 = (g,H1,g,H2),
where g=g,g2.
216 Group Theory chapter 6
Exercises
but that these two (external) direct products are not equal.
b. Ifp=2,then
(i) U2 is cyclic of order 2° = 1.
(ii) is cyclic of order 21 2.
Homomorphisms of Abelian Groups 217
= EU
for all g1 G1. Then p1(q,) Hom(G1, f') because
=
= =
i= 1,2.
Next, the mapping
= for e Hom(G,U).
since p.(4'4")(g1) = =
=
for all g, e i = 1, 2. Since 4 E ker implies that p.(4') =;, i = 1,2,
where = c, for all g.€ G1, we have =
Finally, to show that is surjective consider ç', e F),
I = 1,2, and define 4'(g) = g expressed
uniquely as Then (pE Hom(G,U) and =(q1,q'2). Thus
'D is an isomorphism, as asserted.
Example 2. We now describe Hom(r,G) for the groups G,r of Example 1. From
Propositions I and 2 we have
I-Iorn(r,G) * Hom(Ka>,<93>)
* Horn <92>) * Horn ((b>, (g3>).
Analogous to the discussion in Exercise 1:
Horn(Ka>,<g2") C3,
Hom(<a>, <'g3') =
C3,
Hom(Kb>,<g3>) =
Thus Hom(r, G) C3 * C3, and its elements can be described in terms of the
generators a,b of r by
= (g2 = +
Exercises
where q. and the primes are not necessarily distinct; the prime powers
q1, I I s, and the number of summands Z are uniquely determined.
proof. Because of their length we number the major sections of each proof.
The proof of the equivalence of the two forms of the Fundamental Theorem
is left as an exercise. On a first reading, some may prefer to accept the
Fundamental Theorem without proof and to gain understanding of its meaning
by working out a number of the exercises.
The Existence Proof
1. Consider the collection of all finite sets of generators of G.
Let n be the in inimal number of elements in the sets of generators. The existence
of such an integer n is a consequence of the Well-Ordering Principle. We
have two cases.
1(a). If n = 1, the group G is generated by a single element A. If
a = 0, then G is an infinite cyclic group isomorphic to Z.
If a•A = 0 for some a 0, there is a least positive integer m such that
A =0, and G is isomorphic to Zm [cf. the theorem in §6.6]. (Note that the
uniqueness statement is valid trivially.)
1(b). If n> 1, the proof will be by induction on n.
C= . B1 A1.
=
0 = z1 .B1 y1.A1.
—
The uniqueness proof uses the following concepts and two lemmas.
An element in a group G is called a torsion element if it has finite
order. The torsion elements of an abelian group form a subgroup, the so-
called torsion group G is called torsion free if its identity element
is the only torsion element.
A group is called a p-group if its order is a power of a prime p; in
particular, an abelian p-group is called a p-primary group. We also refer
to the minimal exponent m of a finite group G, that is, the least positive
integer for which, in additive notation, = e for all g e G.
Note that is is not claimed that the groups ci, are unique, only their
orders p2' are.
where we omit the trivial summands (if any) pG1 PGm. The cyclic group
226 Selected Topics in Group Theory chapter 7
o(G) = fl 0(G1) = pk
fl o(pG1) = fl fl = ptm
1m+l
Application of the Principle of Induction completes the proof of Lemma 2.
Returning to the Fundamental Theorem, we now take up the
uniqueness proof.
The Uniqueness Proof Given G = ... $ G, $
G1 ... ® G,,. where
is cyclic of order e11e21...Ie,, and
I
we have to prove the uniqueness of the integers n—r, r, and e1, 1 I r.
Pick generators I
M =
Since (n,1, ...,m5) = I, we know {from Exercise 12, §2.5] that there exist
integers h1 such that I = h1 + +h3ni,. Thus for A G,,
A = 1.4 = (h1m1)•A + +
Noting that for all A E the order of divides p', we have that
E Hence
H1®
we obtain
(**) = H1 G, = H11 ® •.. ®
= n G, = ... ® I1sk'
where some of the summands might be zero.
Since these sums are direct. = o(Gk) = eJk. Thus to prove
the uniqueness of the orders it suffices to prove the uniqueness of the
integers For this we shall use Lemma 2.
4. Each group 1is pd-primary and so, by Lemma 2,
has a representation as the direct sum of cyclic subgroups, whose number and
orders are unique. Since equation (*s) presents 11, as the direct sum of cyclic
subgroups HJk, the orders of these subgroups must be unique. This com-
pletes the uniqueness proof.
The uniqueness proof implies that the number n, determined (in
part l of the existence proof) to be the minimal number of generators of G,
is the same as the integer N in the statement of the theorem.
Selected Topics in Group Theory chapter 7
REItIARK. If Z is replaced throughout this section by F[x], the absolute value used
in the existence part of the theorem is replaced by the degree of a polynomial, and
order of a group element is replaced by "monic polynomial in(x) of least degree
such that ,n(x).A = the theorem is the foundation for the theory of "rational
similarity of matrices" [see Exercises 20 and 21, §7.8].
Exercises
12. Let Fbe isomorphic to the external direct sum of,: copies of the additive
abelian group Z. Write Fas the internal direct sum of ,z groups which are
isomorphic to Z. (Such groups are called free abelian groups of rank n.)
13. Let F= {(a,h) : a,b Z} be a free abelian group of rank 2. Suppose that
H is the subgroup of F generated over Z by the elements (2, —4) and
(1,6). Determine the structure of the (additively-written) factor group
F/H in the sense of the Fundamental Theorem.
14. Let A be the free abelian group with generators u and :', i.e., A =
{au+bt' : a,b E Z}. Consider the subgroup B of A generated over Z by
the elements x = 21,— 3v and y = r. Determine the structure of the
factor group A/B.
15. Let F= {(a1,a2,a3) a1,a2,a3 e Z} be a free abelian group of rank 3.
Suppose that H is the subgroup of F generated over Z by the elements
(2, —4,6) and (1,6,7).
a. Determine the structure of the (additively-written) factor group F/H.
b. Describe the group Aut(F) of automorphisms of F.
16. Let A be the free abelian group with generators ii, v, and i.e.,
A = {au + by + cw : a, b,c Z}. Suppose that B is the subgroup generated
over Z by the elements x = 2:i — v + 4w, •v = 4u + 5v + 6w, and z =
3u+ 2v+ 5w.
a.Is the factor group A/B a finite group?
b.Determine A/B as a sum of cyclic groups.
c.Are the sumniands of A as a direct sum uniquely determined?
17. Consider Z as an additive group.
a. Determine all groups G such that there is a surjective homomor-
phism Z— 6.
b. Determine the kernels of all such homomorphisms
18. Prove (by induction on n) that any subgroup of a free abelian group of
rank n must itself be free.
19. a. Prove that there are as many nonisomorphic abelian groups of order
p° as there are of order q°, where p and q are arbitrary positive prime
numbers.
b. Consider an abelian group C of order puqan:, where p and q are
distinct primes and (p, ni) = (q, rn) = L Show that G has exactly one
subgroup of order p° and one of order Must the number of
subgroups of G of order be the same as the number of those of
order qP, 0 <11 <
20. With reference to Exercise 6, §6.9, prove that if C is a finitely generated
abelian group of order greater than 2, then Aut(G) is a nontrivial group.
21. Let G be the direct product of 'ii groups of prime order p. Prove that C
contains
[a—I
J1(pm_a_l)
hafl(pt_j)i—i
-
is the multiplicative group 7' of all complex numbers z, for which Izi = I.
For a finite abelian group G we call Horn (G, T) the group of
characters or dual group G* of G. The map c: G —÷ { I } c 7' is the identity
element of which we refer to as the identity character. Recall from §6.11
that for q, i/i e Hom(G, T) the product qnfr is the homomorphism on G given
by = ço(g)çls(g).
If n is the minimal exponent of G, then for every Horn (G, T):
(q(g))" = = q(e) = I.
Thus the character values q(g), for every e Hom(G, T) and every g e G,
are dth roots of unity for some d I n, the minimal exponent of G. Consequently
the group T can be replaced by an arbitrary cyclic group of order n.
NOTATION. We shall write the nth roots of unity in Tas powers of the generator
l2rr
= cost—l+isinl—
Cit
\nf
The other generators of the cyclic group of nth roots of unity are
12r\I + islnl—1
.
C,tt .= I,
\'l / /
with (f,n) = 1. An nth root of unity C is said to be primitive if C" = 1, but C' 1,
I I < n; in other words, if C is a generator of the cyclic group of nth roots of unity.
Proposition 1. If G is a cyclic group of order m, then so is its dual G*.
have
= Hom(G,T) =
Hom(G1, T) * * T)
= = I, since
Note carefully that 11* is not a subgroup of G*. To prove the first
assertion, describe a mapping a: AG(H)—+ (G/H)* by defining a(p) by
a(Q)[gHJ = p(g) for p A6(H) and g E G.
Exercises
1. Suppose the abelian group G is the direct product of the cyclic groups
H1 <s1>, H2 = <s2>, and 113 = Ks3>, whose respective orders are 4, 8,
and 6. Find all characters x E G for which:
a. = x(sl 253) 1
b. x(s12s24s3) = X(512S22) = 1.
2. Let G = II, ® 112 ® H3, where the subgroups H, are cyclic with generators
i = 1,2,3, and y12 = Y22 = = e. Determine the annihilator A1,(H)
and the multiplication table of Gf H for:
a. H = H2 ® H3 b. H )'2> c. H
3. Let G = C3 ® C4, where the subgroups C,,, are cyclic of order m with
generators )',,,, in = 3,4. Determine the annihilator AG(H) and multi-
plication table of G/ll for:
a. H = C4 b. !I = C3.
4. Let G = C6 ® C9, where the subgroups Cm are cyclic of order rn with
generators Ym. ,fl = 6,9. Consider the subgroups H1 =
H2 = and H3 =
a. Determine AG(Hl H2) and verify explicitly that it equals A(,(Hj)
AG(H2).
b. Determine AG(H, 113) and verify explicitly that it equals
AQ(Iij)AG(113).
§7.3 Bijectlons of Sets 235
Finite abelian groups A, B are said to be dually paired if there exists a single-
valued mapping of their Cartesian product
A T,
such that, for all a,a1,a2 E A and b,b1,b2 e B the following relations hold:
(i) (a1a2,b) = (a1,b)(a2,b),
(a,bib2) (a,b1)(a,b2).
Definition (from General Set Theory). The eardinality of a finite set is the
number of elements in the set.
The proof follows from the observation that for a given s E S there
is a one-one correspondence between elements of OrbK (s) and (left) cosets
of H= HK(s) in K:
y1s = = yi'y1s = s H
=
Since (s) is a subgroup of K, we have immediately by Lagrange's
Theorem, §6.3, an important corollary.
Exercises
In the proof of the Sylow theorems, §7.5, we shall use the following
consequence of Proposition 2 above and the discussion at the end
Exercises
1. Prove that any group can be written as the union of mutually disjoint
conjugacy classes.
2. Find all classes of conjugate elements for the elements g of the
symmetric group E3. Determine the number of elements in each class.
3. Find all conjugacy classes in each of the following groups, and determine
the number of elements in each class.
a. The nonabelian group of order 27 of Example 6(i), §6.1, with p = 3.
b. The group of the square (dihedral group of order 8).
c. The quaternion group [Example 6(e), §6.11.
4. Prove that a group of order p2, p a prime, is necessarily abelian.
5. Complete the blanks.
a. A group of order 215 can have at most conjugacy classes.
b. A group of order 25 must have conjugacy classes.
6. Prove that a subgroup is normal only if it consists of the union of con-
jugacy classes. Is the union of conjugacy classes necessarily a normal
subgroup?
7. For a subgroup H of a finite group G prove that is the product
of all subgroups IC G in which H is a normal subgroup.
S. Prove that the normalizer NG(H) of a proper subgroup H of the p-group
G properly contains H.
9. a. Suppose that G has p2 elements, p a prime. Prove that all proper
normal subgroups of G lie in the center of G.
b. Generalize part (a) to the following: If H is a proper normal subgroup
of order p in a p-group G, prove that H lies in the center of G.
10. Prove the existence of two nonisomorphic nonabelian groups of order
p3, p a prime.
§7.5 The Elementary Theorems on Sylow Subgroups 241
Lemma. The order of a finite abelian group A divides a power of the minimal
exponent of A.
Since the eth power of any coset aB in A/B is the identity coset, e*Ie.
Therefore
Theorem 2. For a given prime p, any group G for which pI[G: I] has at
least one p-Sylow subgroup S,,.
Proof We use induction on the order of G. If [G: 1] =p, the theorem is
trivial. Now assume that the theorem is proved for all groups whose orders
are less than a. Consider an arbitrary group G of order n, and suppose pm n
but in, m I. Two cases will be distinguished.
Case 1. The group G contains a proper subgroup H whose index is relatively
prime to p. Consequently ptm divides [H: 1]. Since [H: I] <[G: I], the
induction hypothesis implies that H has a Sylow subgroup S, of order ptm.
This subgroup S,, is a p-Sylow subgroup of G.
Case 2. The index of every proper subgroup is divisible by p. If G is non-
abe/ian, the class equation [see §7.4] states that
[G:l] =
where C is the center of G and denotes the typical normalizer of a class of
conjugate elements (ar>>. The indices [G: are greater than I (self-
conjugate elements lie in C). Hence and therefore p divides [G: Np].
Consequently [G : 1] implies that [C: I]. If G is abelian, then G = C,
andpl[C: I].
By Cauchy's Theorem the abelian subgroup C contains an element a
of order p. Moreover, the subgroup <a> is a normal subgroup of G because
a C. Applying the induction hypothesis to the factor group = G/<a>,
which has order 's, where (s, p) = I and n = ptm5, we conclude that G*
has a p-Sylow subgroup S' of order pm_i. Let S,, be the complete inverse
image of where it denotes the canonical homomorphism
mapping 9€ G to its coset g<a> in G. The mapping it: is a surjective
homomorphism with kernel <a>. Hence by the Isomorphism Theorem of
§6.8, S Thus
= <a>][<a> : 1] = : l][<a> : I] = = ptm.
Relatively prime
NP
Relatively prime of p
:Nr\ P
Power of p
{lI
Here, "relatively prime" next to the lines from C to NP and NP to P indicates that
the indices [G: NP] and (NP: PJ are relatively prime top. Also, "power of p" next
to the lines from NP to N, P to N P, and N P to {l} indicates that the cor-
responding indices [NP: N). etc., are powers of the prime p.
We first verify these properties of indices. Since [G : F] and p are
relatively prime, the equation
[G:P] [G:NP][NP:P]
implies that NP] and p1[NP: P]. Since [P: I] =pm, the indices
[P: N F], [N n F: I] are powers of p by Lagrange's Theorem.
Next, using Theorem 3, §6.8, with H replaced by P. we conclude
that P/(N n P) is isomorphic to NP/N; hence [NP: N] = [P: N m P3, a
power of p. This equality together with the equalities
Since any subgroup is normal in its normalizer [see §7.4 and Exercise
1, §6.4], we have the following corollary.
Since the order of U is a power of p. so are the orders of the factor groups
U/( U P.) and U• P/P1.
Finally, P. cannot be a proper subgroup of U.P1, since
[G : P1] = [G: U.PJ[U.P1: P1]
and is relatively prime to p. Thus, U.P1 = P1, which implies that U is con-
tained in the p-Sylow subgroup P..
Exercises
10. Show that any group of order 595 = 5.7.17 must have at least two
nontrivial normal subgroups.
11. How many elements of order 5 are there in a group G of order 80 if G
has no normal subgroup of order 5?
12. Suppose that the order of a group G is the product of two distinct primes
p and q.
a. If q = 2, prove that G has a normal subgroup oforderp [cf. Exercise
4, §6.4].
b. If p> q, prove that every p-Sylow subgroup of G must be normal
in G.
c. If G has normal subgroups with respective orders p and q, prove
that G must be abelian and (with reference to §7.1) cyclic.
d. If p I (modq) and q $ 1 (modp), prove that G must be cyclic.
13. Let H be a normal p-Sylow subgroup of G. Prove that a(II) = H for all
automorphisms of G.
14. Show that any group of order (35)2 must be abelian. Hint: Show that
such a group is the direct product of two normal abelian subgroups.
15. a. Prove that any group of order 245 must be abelian.
b. How many nonisomorphic groups of order 245 are there?
c. Repeat parts (a) and (b) for a group of order 85.
16. Consider primes p and q, where p> q and p 1 (mod q). Prove that, to
within isomorphisms, there exists precisely one nonabelian group of
order pq.
17. Consider a finitc group G in which every Sylow subgroup is normal.
Prove that G is the direct product of its Sylow subgroups.
18. If G is a finite group in which each element different from the identity
has order p, for a fixed prime p, prove that o(G) = pm, or some m e N.
19. Show by an example that if an integer ii divides the order of an abelian
group A it is not necessarily true that A contains an element of order ii
[cf. Cauchy's Theorem (Theorem I )].
20. Prove that every subgroup H of G which contains the normalizer NG(P)
of a p-Sylow group P is equal to its own normalizer, i.e., NG(H) H
[cf. Exercise 7, §7.4].
21. Prove that if H c G has order p' but is not a p-Sylow subgroup, then
H NG(H).
22. A subgroup H G is called maximal if there is no subgroup H' of G
such that H H' G. Prove that every maximal subgroup of a p-group
is normal and has index p.
23. The following steps constitute an alternate proof of Theorem 3. The
method of double coset decomposition was originally used by Cauchy
and later by Frobenius.
a. Given two subgroups H, K of a group G, define the double coset by
Hand KofgcG to be
HgK= {/igk:/zeH,keK}.
Prove that the double cosets by H and K constitute a partition of G
[see §1.2].
Selected Topics in Group Theory chapter 7
b. Prove that the number of elements in any double coset divides o(G),
when G is a finite group. Hint. Show that the number of right cosets
Hg' in HgK equals [K: (g 'Hg) K) and use the analogous
statement for left coscis.
c. In fact, prove that the number of elements in HgK is hk/d9, where
o(H) = I,, o(K) k, and d9 = o(gHg' K).
d. Decomposing G by two Sylow p-groups P and Q, show that
o(gPg' Q) = o(Q) for some g, and hence, that P and Q are
conjugate subgroups of G.
24. Prove the following propositions concerning groups of prime power
order by arguments similar to those used in proving the Sylow theorems.
Let C have order p", p a prime.
pS,
a. C has at least one normal subgroup of order for each s, 0 <s <rn.
b. Every subgroup of order pmt is normal in G.
c. If p 2, and if G has only one proper subgroup of order for each
s, 0 < s < ni, then G is cyclic.
d. The number of normal subgroups of order p' is congruent to 1
modulo p.
e. The number of subgroups of order p' is congruent to I modulo p.
25. Suppose that S, and S2 are two distinct p-Sylow subgroups of a sub-
group H of the group C. Prove that they are not contained in the same
p-Sylow subgroup of G.
26. Suppose that G is a p-group which has only one normal subgroup of
index p. Prove that G is cyclic. Hint: Use induction on the order of 6.
27. Let G be a nonabelian group of order which contains a cyclic normal
subgroup of index p. Prove that C contains an element a of order
and an element b of order p. which is not a power of a. Furthermore,
prove that a and b generate G, that <a> is a normal subgroup, and that
bab1 = ar, where r 1 and r" I
For a group
Proposition I (The "Butterfly Lemma" due to Hans Zassenhaus).
(i and four subgroups M, M0, N, N0, where M0 is normal in M and N0 is
§7.6 CompositiOn Series and the Jordan-Holder Theorem 249
normal in N,
M0•(M n N)1M0(M n N0) N0.(N n M)/N0.(Nn M0).
M0•(Mr\N)
N0
The proof has several parts. First we should check that the two factor
groups are indeed well-defined. That is, verify that M0•(M n N0) and
N0.(N n M0) are normal subgroups of n N) and N0.(N n M),
respectively [cf. Exercise 10, §6.4].
Next we adopt the following notation:
K=MnN,
H = M0•(M n N0),
D=HrK.
We leave to the reader the proofs of two technical lemmas.
is normal in for I I
and
are called isomorphic. if r = s and if there is a permutation r of (I, ..., r}
such that G1_ ,/G1 - I/"t(i) for each i. I I r.
and
Now define two sets of subgroups for I I r, I s:
= Hi). 11,, n G1).
Also set G10 = , and = Observe that
G1. Hi,. = Hi'
§7.6 Composition Series and the Jordan-Holder Theorem 251
and
such that each factor group 1/G1 is abelian, I I <S. Finite solvable
groups can be defined equivalently as groups G having a normal chain
such that G1_ 1/Gd is cyclic of prime order, I j r. The equivalence of the
definitions follows from the structure of finite abelian groups I].
p which lies in the center. Then GIL has order Hence we may assume, as an
induction hypothesis, that G* = GIL = ... ... G7,,
where G?_ is cyclic of order p. The inverse images of the groups G? [see
§6.8] form a chain
of subgroups in G such that G,_ 1/G1, Gm_ 11L, and are cyclic of order p. Hence
G is solvable.
Since V and 44 are generated by {a, 131 and {a,fl, respectively, the proof that V is
normal in .44 is reduced to verifying that V; = ;'V. Check that
= [12][34][l3][12] = [243] = yfl,
rn = [13][24][13][12] [214] =
afi;' = = ;'/Ja/3 =
We then have the composition series for
V D {i.a} fr}
whose factors are cyclic groups of respective orders 2, 3, 2, 2.
§7.6 CompositIon Series and the Jordan-Holder Theorem 253
Suppose to the contrary that E,, were solvable, i.e., there exists a
composition series
= H1 H_1 H. H5 = {e},
where is normal in Hi.. and H1_1
is abelian. Then using the lemma
for !.,, = H and = N, we conclude that H1 must contain all 3-cycles.
Repeating this argument s times, we conclude that 115 = {e} must contain
all 3-cycles, an absurdity. Thus no such composition series can exist.
Exercises
5. a. With reference to Exercise JO, §6.1, prove that the set H of(affine)
maps r on Z, given by r(u) = au+fl, where a = 1, is a normal sub-
group of the affine group (We call H the subgroup of
translations.)
b. Prove that Af(Z,)JH Z!, the multiplicative group of Z7.
c. Find a composition series of Af(Z,).
d. Is Af(Z7) a solvable group?
e. Find the commutator subgroup of Af(Z7).
f. Find the center C of Af(Z,).
6. Prove that the affine group Af(Zm) is solvable.
7. Prove that any abelian group is solvable.
8. Find all composition series of a cyclic group G of order 28.
9. Consider the following chain of subgroups G where =
G', = [Gu)]i, ..., = [G" fl]I,.•. where G' is the com-
mutator subgroup of G. Prove that
a. is not only a normal subgroup of I, but is also a
normal subgroup of G.
b. G is solvable if and only if = (e) for some positive integer r.
10. Using the higher commutator subgroups (as in Exercise 9) of a
solvable group G, prove the following statements [cf. Exercise 4].
a. if N isa normal subgroup of G, then the factor group GIN is solvable.
b. If H is a subgroup of U, then H is solvable.
11. Prove that every group of prime power order is solvable.
12. Prove Lemmas I and 2.
13. The following steps outline a proof of the simplicity of A,,, ii S. Com-
plete the proof of each step.
a. The symmetric group X,, is generated by the transpositions [12],
[l3],...,[ln].
b. The alternating group A,, is generated by the 3-cycles [123], [124],
[12,,].
G
\ /
/
,,,,//u
G/K
commutes (that is, q = o it), where it is the canonical projection onto the
quotient.
Proof. The Isomorphism Theorem, §6.8, asserts the existence of a group
isomorphism p: Thus it remains only to verify the admissibility
Selected Topics in Group Theory chapter 7
= h(w)p(g) = /z(w)p(gK).
§7.8 Modules
We now specialize the discussion of groups with operators in §7.7 to
modules. Modules may also be viewed as generalizations of the concept of
vector spaces V/F, because a module M over a ring R is an (additive) abelian
group M and an operation (or action) of the elements in R on M. Thus this
section also represents a continuation of linear algebra from Chapter 4.
Modules pervade the modern study of commutative algebra, algebraic geom-
etry, and algebraic topology.
Let R be a (commutative) ring with multiplicative identity I. An
(additive) abelian group Mis called an R-left module if there is given an external
law of composition (or mapping)
(r,m) —+ rin e Ill
for (r. in) in the cartesian product R x M such that
r(,n1 = ru:1 + rn:2,
(r1 r2)nz = r1 (r2un),
(r1 +r2),n = r1 in + r2nz,
In = in
with nz,n:1,m2 eM and l,r,r1,r2 eR.
In module-theoretic discussion we refer to the R-left module M
defined above as a unitary module since un in for all in e M. Vector
spaces V/F are examples of such modules, as are the groups in Examples I
and 2 in §7.7.
In an analogous fashion we can define R-right modules M (R acts to
the right on M), and two-sided modules. As a matter of convenience we
§7.8 Modules 259
shall refer to R-modules in what follows rather than to R-left modules. The
corresponding statements for R-right modules are exactly equivalent. When
R is commutative, left and right R-modules can be identified, but in a strict
sense they are not equal. We maintain the distinction because of the carry-
over of modules to the important cases of noncommutative and nonassoci-
ative rings. (If the ring R is noncommutative. the distinction between R-left
and R-right modules is important.)
An R-module homomorphism q: Al Al' of R-modules Al, Al' is a
group homomorphism which preserves (respects) the module structure; that
is. for a, b E M and e R
p(a+b) = + q(b),
(p(ra) = r(p(a).
The following statements from §7.7 need no further proof.
such that the factor spaces V1_1/V, (over F) are simple F-modules, i.e.,
dimF(VI_l/Vj= 1, 1Consequently dimFV is the length r of a com-
position series of V, because the r vectors ;, 0 1< r. form a basis of V/F
where rj1 is an arbitrary nonzero vector in V, 1\V1. Thus we have proved the
following proposition.
and the consequence of the Jordan-Holder Theorem [cf. Exercise 19, §7.6]
that for any subspace U V
= dimFV— dimFU.
Analogous to the discussion of generating sets for vector spaces V/F
and of finitely generated abelian groups, an R-left module M is said to be
finitely generated if there exists a finite set of elements rn1, in M such
that each element ni in M can be written as a sum
in = r1 m1 + +
with elements r1, I I s. in R. It is important to remember that the elements
'1,
o N' N N" 0
such that the diagram commutes, If a and are isomorphisms, then so is /3.
262 Selected Topics in Group Theory chapter 7
Exercises
0 HomR(M,N')
6.
Hom,dM,N") 0
is exact for any R-module M.
6. Consider R-modules M, M', N, and N' and R-module homomorphisms
a: M—' M', N—b N', and N.
a. Show that flq,ae HomR(M,N').
b. Thus, show that the mapping f given = flq,a is an R-module
homomorphism from HomR(M ', N) to HomR(M, N'). Schematically,
M 'M'
.+' p4N.
7. In the Short Five Lemma, prove that if a and y are injective, so is j3.
a.
Prove also that if a and y are surjective, so is fi.
b.
Hence prove the Short Five Lemma.
c.
S. Considering the exact sequences
0 >Z2 Z4 #Z2
0 - Z2 Z2 + Z2 Z2 0,
show that in the Short Five Lemma the mapping fi must be given. That
is, there can exist isomorphisms a and y, hut no homomorphism fi such
that the diagram commutes.
§7.8 Modules 263
GQ=
q =-
in
ii i= I
is an idempotent element (that is, q2 = q).
II. Let V be the Klein Four-group and suppose that F = Z2. Consider,
analogous to Exercise 10, the group ring
a. Prove that y = is nilpotent.
b. Find all ideals A for which A2 = {O}.
c. Prove that there is an ideal B V, such that A c B for all ideals
A for which 42 =
12. Suppose that a cyclic group F = y\ generated by y of order n, operates
on the additively-written abelian group A. Let 0 and N be the mappings
of A into A given for acA by
D(a) = — a = (y— ila
/n—I \
and N(a) a+ya+ +y"1a = (
\i=o /
a. Prove that 0 and N belong to l-lom(A,A).
b. The quotient q(A) [kerD: N(A)][kerN: D(A)]1 is called the
Herbrand Quotient (after Jacques Herbrand, 1908—193 1) if both
indices are finite. Suppose that B is a F-stable subgroup of A (i.e.,
yb E B for all b e B), and define an action of F on the factor group
A/B.
c. If any two of the quotients are finite, show that
q(A) = q(B)q(A/B).
d. Prove that q(A) = I if A is finite.
13. Let R be a subring of a (commutative) ring S, and consider subsets M
and N of S which are R-modules.
a. Prove that the set MN of finite sums of elements me,, ni e M, n E N,
is an R-submodule of S.
b. Prove that if M and N are finitely generated R-modules, then so is
MN.
14. State and prove the analogue, for groups with operators, of:
a. Theorem 2, §6.8.
b. Theorem 3, §6.8.
c. Corollary 2 to Theorem 2, §6.8.
264 Selected Topics in Group Theory chapter 7
Field Theory
266
Algebraic Elements 267
an — (b0
-
Multiplying by a, we note that
fh0
fb0\
Proposition 3. The polynomial ring F[a] equals its field of quotients F(a)
when a is algebraic over F.
= =
REMARK. The elements of a finite algebraic extension K/F are algebraic over F.
We can take V(a) = (k,, for all a E K where {k1 is a basis of K over
F. The proof of Theorem I indicates the utility of defining the concept of algebraic
element in terms of a vector space and not just as the root of a polynomial over the
base field.
Theorem2.
Proof. Letki,...,km bea basisofKover Fand basisofEoverK.
Then every element a€ E is a linear combination of the inn products
with coefficients in F. Specifically, a = e, with b1 = E7'..1 where
E F; hence
a=
i,j
Thus dime E = [E: F] is at most inn. To prove that the elements ej are
linearly independent over F consider = 0 for some coefficients
E F. Then
= 0:
For the proof letflx) = f+b1 x"'+ ... e K[xJ be the minimal
polynomial of a. The field L = F(b1 is a finite algebraic extension of F
since each field F(b1, ...,b1_1)(b1) is a finite algebraic extension of
F(b1, ..., b._ Consequently, Theorem 2 implies that L(a) is a finite extension
of F. Thus a is algebraic over F.
in this case the elements of F(E) = F(a, ,..., am) are polynomials
b,1 ,,,,
amim, I .1 rn,
0 11<
with coefficients b51 in F. To verify this fact, note that F(a,) = F[a,]
by Proposition 3 and by induction that
F(a, = F(a,
= F[a,
= F{a, a1].
•f(x) = fl a.)
Exercises
Property 1. 4)(a)=aifandonlyifaeP,cF.
Property 2. The order of is in. That is, (ptm is the identity map on F while
(p5 is different from the identity map, 0 <s < in.
Proposition 4. For every prime integer p and every positive integer in there
exists a field F containing q = ptm elements.
The proof follows immediately from the observation that the q zeros
of the polynomial f(x) = x are distinct and form a subfield of
the splitting field L of F(x). The details are left to the reader.
Proof: Consider two fields F, F, each having q = ptm elements, with respective
prime fields P,,, The prime fields are isomorphic since each is isomorphic
to Z,,. Extend the isomorphism P,, —i p,,, in the usual way, to an isomorphism
A:
As in Proposition 2 let ai be a generator of F*. The minimal poly-
nomialf(x) e P[x] of w has degree m; it divides /z(x) = since h(w) = 0.
In the polynomial )(f(x)) divides A(h(x)) = In fact
since contains all of the roots of Pick
a root a of The rn elements I, w,..., are a basis for F/Pa, and
I, ..., atm - are a basis for F/Fr. The mapping A: F—. F described by
A(w') = &, 0 < i < m, and A(a) = A(a) for a e is the desired isomorphism.
Since i/i"(a) = the elements of L are precisely the qh zeros of the polynomial
and hence L has qh elements, thus [L : F] = Ii. Consequently
associated to the subgroup 11 of order n/h is an intermediate field L/F for
which
[K: L] = [K: F]/[L : F] = = [H:1].
n/h
Finally H is exactly the subgroup, leaving fixed the elements of L. Suppose
to the contrary that a(b) = b for all b e L for some a G\H. Let H be the
product of the subgroups <a> and H. and L be the fixed field associated to H.
By the preceding argument, [K: L] = [II: 1] > [H: I] = [K: LI, and
therefore L c L. But if a(h) = b for all b e L, then every element in L is fixed
under the automorphisms in H and hence L L, a contradiction.
Conversely consider a given intermediate field L/F of degree h, and
let H be the subset e G: = b for all b e L} of the cyclic group
G = G(K/F) of order n. By definition H is the group G(KIL) of Proposition 3
and is generated by (phm = Hence H is a subgroup of G of order = n//i
and of index/i in G.
The Theorem of the PrImitive Element 275
Exercises
c
1011 and Th
1101 h< in,
1 =[
generate the group U. Note that
[1 OffT I
Ia ij[s Tj a-i-El
7. Let F be a field of q = ptm elements, p a prime. Suppose that f(x) e F[x],
and define the polynomial function!: F— F by 1(a) = 1(a) F.
a. Prove that the polynomial functions form an integral domain D.
b. Show that f—f is a homomorphism from F[xJ to D, whose kernel
is the principal ideal generated by — x.
8. Let F be the quadratic extension of Prove that all ekments of are
squares of elements of F.
9. Verify Property l. Hint. Consider the polynomial — x F[x].
Exercises
F(41,...,A1)
.1(y) = [
Theorem. Any two splitting fields of a polynomial f(x) E F[x] are iso-
morphic over F.
Exercises
1. Let n an odd positive integer, p a prime number. Prove that the field
be
admits only the identity automorphism over Q.
2. Prove that the only automorphism of Q is the identity map.
3. Prove that the subfield of C is equivalent to two distinct subfields
in C/Q, other than itself.
4. a. Prove that Q(i, .[3)fQ has degree 4 over Q.
b. What are the conjugate fields a(K) (over Q) of X = Q(i, in C?
c. Prove that the mappings a form a group isomorphic to the direct
product of two cyclic groups of order 2. (Observe that oc(K) = K.)
5. Consider A c C. Find
a. IQ(A) QI and [Q(A, Q(
b. The monic irreducible polynomials in Q[x] and which
have A for a zero.
c. The conjugates of A over Q and Q(
6. If &+co+ I = O, prove that the fields and p a prime
number, are isomorphic over Q.
Lemma 1. Let K/F and K/F be given extensions, and the isomorphism
A: K—p K, a prolongation of ).: F. If a e K is a root of the (not neces-
sarily irreducible) polynomial f(x) e F[x], then A(a) e K is a root of
2(f(x)) =J(x) E F[x].
Writingf(x) = e F. we have
0
=
and 0 = A(0) = = j'(A(a)).
Let K/F be a finite extension of degree n with the vector space basis
(If n= 1, then K=F.) There exists a subset {AI,...,Ak) of
Field Theory chapter 8
K. = F(A1,...,A1) = F(A1,...,A1_1)(A1)
= Kg_1(Aj), 1 f k,
where the fields have degrees n1> I over K4_ [see §8.1]. Note for
characteristic p> 0 that = n' where is the reduced degree of over
K1_1 with the corresponding monic irreducible polynomial g,(y) K1_ 1[y].
Let f,(x)=g1(x")e K1_1[x] be the minimal polynomial of A [see §5.5].
lfcharF=0, then
The situation in Lemma 2 has the following graphic representation:
'
F(a) F(a1) F(a2)
=
a K1_1 = a, Thus, an isomorphism
of K/F determines a chain of isomorphisms (a1, ...,a&}.
Counting of Isomorpblsms and Separability 2$3
Corollary 1. If the elements A1 of the theorem are separable over the fields
K1_ then K/F has precisely n = [K: F] isomorphisms which restrict to the
identity on F.
Exercises
this section we focus our attention on two special types of algebraic fIeld
extensions.
A field extension K/F is called normal if
(I) K is algebraic over F,
(ii) any irreducible polynomial g(x) e F[x], which has a zero in K,
has all of its zeros in K.
This cubic polynomial is irreducible in Z[x], and hence also in Q[x] by the Lemma
of Gauss [*5.8]. If C cC isa zero of 1(x), in particular a real zero sincef(x) has odd
degree, the elements
C'
and =
also are real zeros of 1(x), as is easily checked by direct substitution intof(x). Con-
sequently the group of automorphisms of the splitting field Q(C)/Q is cyclic of
order 3.
Exercises
JO. Let,4beazerooff(x)=x3—3x+l€Q[x].
a. Prove that — 2+A2 is another zero of 1(x), and that K = Q(A) is a
galois extension of Q.
b. What is the third zero of 1(x)?
11. a. Prove that x4—2 is irreducible in Q[x].
b. Let K be the splitting field of x4 —2 in C. Prove that K = Q 1),
where = — I and is a real 4th root of 2.
c. Prove that the galois group G(K/Q) has order 8 and contains a
cyclic subgroup of order 4.
d. Find a set of generators and relations of G(K/Q).
UI nI
UI flI
= r(L)
UI flu
F" G = G(K/F)
Proof of(i). if Ic L, then a(l) = I, for all a f(L) by the definition of T(L).
Hence L c D[r(L)]. Consider an element B of the fixed field c1[r(L)]. Then
By the Theorem of the Primitive Element, §8.3, K = M(B) for some element
BE K. Now let e = a1, a,, be the elements of H and consider the polynomial
where the coefficients e1, ...,e,, are the elementary symmetric functions of
a1(B),...,a,,(B). That is,
e1 = a1(B) + + a,,(B) =
e2 a,(B)o2(B)+ + a,,_i(B)cr,,(B) =
i<j
e3 = a.(B)aJ(B)a,,(B),
i<j<k
eb = a1(B)...a,,(B) =
L = D(G(K/L)) = 1(G(K/L)) = L.
That any conjugate field L of L must coincide with L is to say, however, that
L is a galois extension field over F. Now let L = F(B). The element B is a root
of an irreducible polynomial E F[x]. Any other root gives rise to a
conjugate extension E = F(B), which coincides with L. Thus L contains all
roots off(x) and by Theorem I, is a normal (and hence) galois extension
ofF.
292 Field Theory chapter 8
Exercises
1. Consider a galois extension K/Q of degree p2q, where p and q are distinct
primes such that q <p and — I).
a. Prove the existence of intermediate fields L and M, such that
[L:Q]=p2,[M:Q]=q.
Prove that these extensions L and M must be galois extensions of Q.
b.
Prove that K must be an abelian extension of Q (i.e., the galois group
c.
G(K/Q) must be abelian).
2. If K/F is a cyclic galois extension (i.e., has a finite cyclic galois group),
prove:
a. Every intermediate extension L is cyclic over F.
b. For each divisor d of [K: F] there exists a unique intermediate
extension L4 of degree d over F.
c. Is statement (b) necessarily true if K/F is not cyclic? Why?
3. Prove that the splitting field of J(x) = x4 + x2 ÷ 1 e Q [x) has degree 4
over Q.
4. Determine the structure of the galois group of the splitting field of
f(x).= x4—5x2+6cQ[xJ.
5. Find a basis of the splitting field of f(x)= x4+x3+x2+x+1 overQ. If
K where satisfies = 0, determine all subfields of K/Q.
6. Find the galois group of f(x) x3 — 3x2 + 5x— 2 e Q[xJ. (Hint: Show
that 1(x) is irreducible by getting rid of the term," let
with a eQ, and examine the resulting equation y3 + by+ CE Z[xl modulo
suitable primes p e Z.)
7. Determine the field of invariant elements in F(x) associated with the group
of automorphisms generated by the map x —+ l/x.
8. Let K = Q(A) where A is a zero of x4 —10. Find the galois group of K/F
and determine all subfields of K.
Corollary I. The following strict inclusion relations hold for the subfields
L1/F. L2/F of the galois extension K/F and for the subgroups Ii,, H2 of the
galois group G(K/F) =
L1 L2 implies r(L1)
H1 c H2 implies D(H1)
Suppose that r(L1) = r(L2). Then by part (1) of the Fundamental
Theorem, = L1 = tV[F'(L2)] = L2, a contradiction. Similarly, if
= then by part (ii) F[cb(H1)] = = = 112, again
a contradiction.
It is convenient to let L, L2 denote the least subfield of K containing
both and L2; we speak of the field L1 L2 as the product or composite of the
fields L1 and L2. It is obtained by adjoining the elements of L1 and L2 to F
(and hence consists of finite sums of products of elements in L, and L2).
Similarly, the product of the subgroups 112 of G was defined at the end
of G containing both and 112.
K {E}
UI fli
L1L2 H2
4,
L1 L2 H1
0/
L1 L, I!1112
UI fli
F G
294 Field Theory chapter 8
Proof of(i). Consider a e r(L1 L2), E L1, and '2 L2. Then '2 L1 L2;
in particular, a and
ae a a r(L1) r(L2). Conversely, for r r(L1) F(L2) we
have = and r(l,) = 12 for all elements a L1 and '2 L2. Since the
elements of L1 L2 are, by definition, finite sums of products of elements in L1
and L2, it follows that r f'(L1 L2). Hence F'(L1 L2) = f(L1) F(L2).
Proof of(iO. We use an analogous argument. Recall from §6.2 that elements
of the form 01 02, where a, a H1, i = 1,2, generate H1. H2. For A a
we have a,(A) = = A, since a H1. H2, I = 1,2, for all e H1.
Thus A and Conversely for Be
'1(H2) we have o1(B) = B for all UI a I = 1,2. Therefore,
a2)(B) = B for all 02 H2 and hence for all rE H2, t(B) = B.
Thus, c1(H1) ct'(H2) c .1/2), and c1(H1 = b(H1)
Proof of (iii). The inclusion relations
and
Proof of (iv). Similarly, the inclusions H1 112 c H1, 1 1,2, imply that
H2) (1)(H1). Hence (D(H1 112) 2 (1)(H1)'Z)(H2). This cannot be
a proper inclusion, because
r, 112 = F[(1)(111 r'i 112)] c f[4)(H1)(1)(H2)]
= r[D(111)]
= H1
leads to a contradiction.
Theorem 1 (On Natural Irrationality). Let K/F be a galois extension with the
galois group G = G(K/F). If LI F is an extension such that both K and L are
contained in a common field I'/F, then:
(i) KL a galois extension of L.
is
The inclusion relations between the various fields of this theorem may
be illustrated as follows:
KL
Proof of(i). Since K/F is a galois extension and hence separable, the Theorem
of the Primitive Element implies that K = F(A). Further XL = L(A),
as follows. First, KL L(A), since KL contains Land A. Second, by definition
KL is the intersection of all fields containing both Kand L. Certainly L(A) L,
but also L(A) K = F(A) since L contains F and A.
Part (i) follows from the fact that the zeros of the minimal poly-
nomial f(x) e F[x] of A are polynomials in A with coefficients in F because
K/F is a galois extension. Thus KL is the splitting field of f(x) and hence a
galois extension over F [see §8.6).
Proof of (ii). Consider the restriction mapping p: G(KL/L) —÷ L))
given by p(u) = a K belongs to
G(K/(K ri L)). Note that a restricted to L (and hence to K n L or F) is the
identity map. Moreover since a(A) is a root of f(x), it is a polynomial in A
with coefficients in F. Thus a(K) K, and so a K belongs to G(K/F) and
hence to G(K/(K L)). Since (a I K)(r 1K) = (air K) by definition of
restriction to K, the mapping p is a homomorphism.
Now for a z in G(KL/L), a(B) r(B), for some element BE K\L,
and hence rIK. Thus, the mapping p is one—one. Denote Imp by
G(KL/L) I K. To prove that G(KL/L) I K = G(K/(K L)) it suffices to show
that the fixed field M K of the subgroup G(KL/L) I K G(K/F) is K L.
For bE M, c(b) = (al K)(b) = b and so bE L. Therefore M K L. Con-
versely for c K c = a(c) = (aI K)(c) and therefore K L M.
As a corollary result, we have the following proposition.
Proposition. Let K/F be a galois extension and L/F a finite extension such
Then [K! :F]=[K:F)[L:F].
Field Theory chapter 8
For the proof note that the galois groups G(KL/L) and
G(K/(K L)) = G(K/F) are isomorphic. Consequently,
[KL : F] = [XL : L][L : F] = [K : F][L F].
As a cautionary note that this result does not hold for arbitrary finite
extensions K/F and L/F, consider the extensions K = and L =
wherew2+co+l=O. Then and (KL:Q]=6, but
[K:Q][L:Q] = 32
Ki K2
K1
K2
p(H1)]
p(H2)
K1 K2
= o p(a1) o 1 =
where, according to Theorem 1, the restriction mapping p determines an
isomorphism between H1 = G(K1 K2/K2) and G(K1/(K1 ci K2)). Because of
this isomorphism
p(a1) = ° a1,
Proo/'of(iv). Combining parts (ii) and (iii) yields the desired isomorphism.
Exercises
1. Let a be the map f(x)—i.f(1 —x) on the rational function field F(x).
Prove that F(x2 — x) is the fixed field for {e, a), assuming that char F 2.
2. Assume that A and B are elements of the galois extension K/F with
respective conjugates
AA1,Ai,..,,Am and
and that [F(A, B) : F] = mn. Prove the existence of automorphisms
a,,j e G(K/F) such that a1,1(B) = for 1 I m,
I I n.
3. Prove that if K,/Fand K2/F are solvable galois extensions, then so are
K1 K2 and K1 ci K2.
§8.9 Algebraic Closure 299
D (A1—A2)(A1—A3)(42—43)
generates a subfield L F of the splitting field K = F(A1,A2,A3) if
2.
6. If the degree of every finite algebraic extension of F is divisible by p,
prove that [K: F] must be a power of p, p a prime, for any K/F.
7. Let A = .1TT41, where i2 = — I.
a. Determine [Q(A) : Q].
b. Show that C2 — C + i = 0 has a solution C in the least galois extension
over Q that contains Q(A).
c. Prove that is contained in the galois extension of part (b).
8. Determine the galois group of the polynomial x4 + 2 a Q [x] over Q.
9. Prove that 1(x) = x4 + 30x2 + 45 e Q [x] is irreducible. Let A be a zero
off(x), and show that Q(A)/Q is a cyclic extension of degree 4. Describe
the effect of the galois group on A and exhibit the quadratic subfield
K/Q of Q(A)/Q. (Note that A has the form .13).)
10. Suppose that K/F is a galois extension with the intermediate field L/F.
Prove that the galois group G(K/M) of the smallest field M for which
L M K and M/Fis normal equals
= g1 e F[(X1}].
Since there are finitely many polynomials g1, each with a finite number of
indeterminates, there are only finitely many indeterminates
x1, ..., x5, + ...,
involved in the relation (*). We have
At each step the field K,, is identified with the residue class ring of a polynomial
ring over K,,... 1,constructed like F[{X1}], modulo a maximal ideal, such as M,
in F[{X,)].
Now let U,,K,,. This field is algebraically closed. First, Q is
indeed a field. If a,b eQ. then a,b lie in K,, for some sufficiently large ii. Since
K,, is afield, a±b, ab, and a/b, if b 0, are in K,, c Q. Second, ifg(x)eQ[xJ,
then g(x) Km[x], for some m, since the number of coefficients in g(x) is
finite. By construction, Km+i contains a zero of g(x); hence Q contains a
zero of g(x). In other words, Q[x] does not contain any irreducible poly-
nomials of degree greater than 1. Therefore Q is algebraically closed.
Exercises
304
§9.1 Cyclotomic Fields 305
= (i.n) I
Lemma. Foranyn I,
f—I =
din
(modp),
i.e., g*(xP) (g*(x))P if q*(x) is an irreducible factor of the common factor
k*(x) ofJ*(x),g*(xP), then implies that Thus
f*(x)g*(x) f (x"—
implies that q*(x)2 (x"—
Consequently in some algebraic extension of x" — would have a
multiple root. This is impossible, however, because the derivative of
(f—I) modp is 0 (modp), according to the choice of p [see §5.5].
Hencef(x) = g(x) and is a xero off(x).
This fact implies that all primitive nth roots of unity are zeros of
f(x). Consider c-',
where (j,n) = I, withj = •..p, (some of the prime factors
may coincide). 0 and
= ... = 0.
Therefore and consequently =1(x), the minimal polynomial
of 1.
§9.1 Cyclotomic Fields 307
Example. Let n = 7. The field K = Q(O of seventh roots of unity has degree
= 6 over Q, and its galois group G is cyclic of order 6. A generator a of G is
given by a(C) = Then
a2(ç) = a4(C) = C2, a6(C) =
= a5(C) =
and
_
The intermediate extension Q(A) is associated with the subgroup {l,a3} of order 2,
since
= ':6+': ':+C_I.
Therefore [Q(A) : Q] = [G : {l,a3}] = 3. Thus Q(A) is the maximal real subfield of
Q(C)/Q.
The (irreducible) defining equation of A overQ can be determined as follows.
Its roots are A, a(A), and a2(A). Since
a(A) = u(C+':6) = +
and a2(A) = C' + = C' +
the sum of the roots
A+a(A)+a2(A)= —I.
Furthermore
= —2
and A.a(A).o2(A) = I.
Consequently,
x3 + x2 — 2x — 1 = 0
is the minimal polynomial of the primitive element A of the extension Q(A)/Q.
SinceQ(A)/Q is a galois extension, the zeros c(A)and a2(A) are themselves
polynomials in 1, A, and A2 with rational coefficients. Specifically,
c(A) = C3+':2 = a+bA+cA2
= a+b(C+C')+c(C+':')2
= a + bC + + c':2 + 2c + cC2
(a+2c) + bC + c':2 + c':5 + b':6
Since {I,C, ...,':6} isa basis ofQ(C)/Q, we find c = 1, a= —2, and b = 0. Hence
ci(A) = —2 + A2.
Direct computation implies that c2(A) = I — A — A2.
Exercises
4. For a given integer ,z, let C1, ..., denote the nth roots of unity.
a. forn>l.
b. Prove 117=1C1 =(—ly'''.
c. For a given nth root, I, prove = 0.
5. Let C be a primitive nth root of unity. Find the galois group of
and determine the subfields of Q(C) and their respective galois groups
over Q for n = 6, 8, and 9.
6. Let ( be a primitive ninth root of unity. Find a primitive element for each
subfield K/Q of Q(C) and determine its minimal polynomial.
7. Find the subfield K/Q of degree 4 in the held of thirteenth roots of unity
and describe the effect of its galois group on a suitably selected
primitive element A of K.
8. Suppose that is a primitive 16th root of unity.
a. Determine the galois group of Q(C)/Q by its action on C.
b. Find all subfields of Q(C) and their associated groups.
9. Suppose that n1,n2 I; (n1,n2) = 1; and and 12 are primitive n1st
and n2nd roots of unity. Prove that
a.
b. = where q is a primitive nth root of unity,
fl = fl2.
10. Generalize Exercise 9 to the case where (n1, n2) I. What then can be
said about the fields Q(i1) Ci Q(12) and Q(11)Q(12) as cyclotomic
extensions? [Cf. Theorem 1, §8.8.]
11. Determine the following cyclotomic polynomials:
a. cb9(x)
in Q and in
an a primitive pth root of unity. Prove that
= 1) in Q(C)lxI.
13. Let C be a primitive 24th root of unity. Find [Zs(C): Z5] and determine
the monic polynomial f(x) e Z5 [x] which has C for a zero.
14. Suppose that is a primitive pth root of unity, p an odd prime.
+ 1)12 =
a. Prove that — — A is a primitive (2p)th root of unity.
b. Prove that
15. Prove that A, as given in the example, is a unit in Z[A].
16. Consider a primitive nth root of unity ii 4. Prove that
:Q] = and that R. Determine explicitly
the automorphism group ofQ(C)/Q(C+C ').
17. For n> 5 and a = sin(2zr/n) prove that:
a. [Q(a) :Q] = if(n,8) 2.
b. [Q(a) :Q] = *p(n)/4 if (n,8) = 4.
c. [Q(a) : Q] = ço(n)/2 if (n,8) = 8.
18. Find a subfield K/Q of Q(C) for some nih root of unity whose gatois
group G(K/Q) is:
a. The direct product of two cyclic groups of order 2.
b. The cyclic group of order 4.
c. The direct product of two cyclic groups of order 4.
310 Selected Topics in Field Theory chapter 9
19. Find a primitive element and its minimal polynomial for the extensions
in parts (a) and (b) of Exercise 18.
20. Prove that the derivative of g(x) = V — 1)/(x — 1) Q [x) satisfies
= n/1((— 1) for every nth root of unity C I.
21. For an nth root of unity C different from I prove that I "I(C— I).
It remains only to prove that the tower can be chosen so that E'/F
is a galois extension. To this end we use an inductive argument in modifying
the tower (**). First, observe that is a galois extension of F. If F, then
E is obtained by adjoining to F all roots of 1 E F[x]. If F, then
E= E0(A1) and E contains a//roots of x"—a1 e F[x].
For the general inductive step, suppose that the tower, 2 u s,
F=E0cEc....c:E,.1
has been modified so that the field is contained in a tower
of successive radical extensions such that L1 contains all Nth roots of unity,
the extensions L4/L1_1 are cyclic of degree dividing N, 2 i t, and the field
is a galois extension of F.
Recall that = where An"" c Denote by
the (not necessarily distinct) conjugates of =
All these conjugates
I jrn = [L1: F].
since L1/F is a galois extension. The
belong to
polynomial
g(x) =
is invariant under the galois group of Li/F, and hence g(x) e F[x]. Since we
consider now only fields F of characteristic 0, the extension L,/F is separable,
and hence L, F(B) for some primitive element B. Let h(x) be the minimal
polynomial of B in F[x], and the splitting field of g(x)h(x).
Since B€ Lt+m, the splitting field L. Since is a factor
of g(x), it splits in Lt+m, and thus Lr+m. Let denote a zero of
E 1j m, where = We have then a tower of
radical extensions
for which L/LI_ is cyclic, 2 I u, and L1/L0 is abelian. The galois group
G(L/F) has then a composition series with cyclic factors; i.e., it is solvable.
Consequently, since K c L the group G(K/F) is solvable, as it is the quotient
group of a solvable group [see and 8.7].
Conversely, suppose that the galois group G of the splitting field K
of the polynomialfix) F[x] is solvable. Then we have a composition series
For example let F = Q. Oskar Perron proved that for given n the galois
group of the polynomial
n—I jn—I \
f(x) x fl (x—p1
i=I
÷( I]
\i=1 1
Exercise
A and B=
Verify that
at =
a2 =
and a3 =
where a,2 + (0 + I = 0,are the zeros of 1(x) in C. Prove that these three
zeros are real. (This is an example of the casus irreducibiis of Cardano.
The name is derived from the fact that the real roots cannot be expressed
in terms of real radicals.)
of unit length and to construct perpendiculars, we can locate all points in the
plane with rational components.
/ // -'S....
'S'S.-.
-S
/ '.5.
//
S..
'.5
/
/
//
x = f/a -l a
S P Q
Figure 9.1
Figure 9.2
316 Selected Topics In Field Theory chapter 9
REMARK. The same result applies to nongalois extensions K/F given by a finite
tower of stepwise quadratic subfields:
F K0 C K, c ... c K,_ C K, C c K,, [K, : K,...,] = 2.
p are distinct odd primes. Using the formula of Abraham de Moivre (1667—
1754),
= cos(nçs) + isin(np),
we examine the primitive nth root of unity cos(2ir/n)+isin(2ir/n), and
the galois extension Q
[Q(C) : Q] = q,(n) =
each must equal 1, and furthermore each p1 must have the form
cc,
p, = + 2k1,
1 i < r. These primes 1 + 2&1 must further be Fermat primes—
that is, they must have the form I + 22"—named for the pioneer of modern
number theory, Pierre de Fermat [cf. Exercises 5 and 6, §2.12]. Consequently,
a regular polygon of n sides can be constructed by ruler and compass if and
only if n = 28 where p, = I + Whether there are Fermat primes
other than 3, 5, 17, 257, and 65,537 (22'n + I for 0 in 4) is an open question.
The integers 22m+ 1 for 5 16 are not Fermat primes. For example,
in 1732 Euler showed that 225+1 641 .6,7Q0,4l7.
The condition q(n) = 2" for the constructibility of regular polygons
of n sides implies that in the ruler and compass sense used here, it is impossible
to construct, for example, the regular polygons of 7 and 9 sides.
Gauss actually constructed (c. 1796) the regular polygon of 17 sides.
(For the algebraic interpretation of his solution see Exercise 2.) In this con-
nection it should be noted that he was in possession of very considerable
parts of the structure of the cyclotomic fields Q(C) [see §9.1] and especially
their connection with the quadratic law of reciprocity. These results lead
ultimately to Kronecker's theorem that every quadratic field and
more generally every finite abelian extension of Q, is a subfield of some field
for which the complex function ez with period 2,ri is a "generating"
function. The foundation of some of the most exciting research of today—the
arithmetic of abelian functions, diophantine equations, rationality of certain
t functions, and the like—were laid, we venture to say, by these early
investigations.
Exercises
= a1j)x"_' + ... + (—
—
where 1,, denotes the n x n identity matrix. While the matrix Ma corresponding
to a linear transformation ç°a depends upon the choice of a basis for K/F, the
characteristic polynomial x0(x) is independent of this choice. Thus, to each
element a e K/F is associated its unique characteristic polynomial Xa(X) of
degree n = [K: F].
We define the trace of an K with respect to F, denoted T(a), or more
precisely TK,F(a), to be the coefficient of in Equivalently, T(a)
is the trace of the matrix Ma, as defined in §5.9, or the sum of the roots of
Xa(4. Similarly, the norm of a K with respect to F, denoted N(a), or more
precisely NK,F(a), is the determinant of the matrix Ma. It is (— times the
constant term Of Xa(X), or the product of the roots of x0(x). Being defined in
terms of the characteristic polynomial, T(a) and N(a) are independent of the
choice of basis for K/F.
The Cayley-Hamilton Theorem of §5.9 implies the following
theorem, since i is an embedding of K in EndF(K).
S(a)=
Proposition 1. Consider extensions L/K and K/F ot' respective degrees m and
n. Then, for a E K,
TL/f(a) = rnTK,F(a) and NL,F(a) = [NK,p(a)]m.
K5
Xa(X) =
= fl
(x — (a))",
324 Selected Topics in Field Theory chapter 9
where the mappings ph, 1 Ii are the = [K: F]5 distinct iso-
morphisms of K/F, and uv = = [K: F]1. Therefore, by Proposition 1,
TK,f(a) = uv Ph(C)
h I
NK,F(a)
=
The statement of Proposition S follows by noting that the [K: F]5
mappings Ph of L/Fare given as tJak, where the ak are the [L: K]5 distinct
isomorphisms of L/K and the are selected prolongations of the [K: F]5
distinct isomorphisms of K/F. Let i = [L : F]1. For a c L we have
T,.,K(a) = [L: ak(a);
=
j. k
= = TL,F(a).
h
Similarly,
consequently, = [n
= [fl
U.k J
ri
— 11 —
h
Exercises
4. Prove Proposition 1.
5. Let K = Q w) where w2 + w +1 =0. Find:
a. TK/Q(V5+w) b. NK,Q(w).
6. Verify the formulas in Proposition 4.
7. Let A E p a positive prime. Prove that N(A) = 1 if and only
11.4 is a unit of the ring
8. Suppose that A is a zero of the irreducible polynomial 1(x) x3 —2 e
Q[x]. Let B=(l—AY1 inK=Q(A).
a. Find the minimal polynomial in Q[x] of B.
b. What are the norm and trace of B?
c. What are the norm and trace of B considered as an clement of the
splitting field of f(x)?
9. Let K = Q(JZ Find NK,Q( and Tx,Q(
10. Let be a primitive pth root of unity, p a prime. Denote by T and N the
trace and norm of over Q. Prove:
a. <h<p.
b.
= = = 1.
Exercises
= fl
Sincef'(a) 0, and aj is an isomorphism, then a3(a) 2 I n. Hence
N(f'(a)) = fl [f'(a)]
ñ 1=2
= j=1
H
= 12
=
i *j
=
I <j
Then = (— =
§9.6 Hubert's Theorem 90 and Noether's Equations 329
I an"'
Next subtract a, times the (n—2)nd column from the (n— 1)st column;
consequently
I a1 0 0
I a, ...
D=det
I a,, (a,,—a1)a,,"'
Repeating these operations, we obtain
I 0 0 0
i a,—a1 (a,—a1)a,
D = det
Il a, a, n—2
= JI
j'2 I a,,
n—2
'I
Consequently by recursion.
D = JI fl (a,—a1) =
1=! j=i+1 1
and = =
I
330 Selected Topics In Field Theory chapter 9
= =
Before proving the theorem, we note that the symbolic power notation
used here and subsequently is interpreted as a° = a(a) for a e K, a e G.
Introduced in Hilbert's Zahiberichu, it was used most significantly in modified
form in Philip Furtwangter's proof of the Principal Ideal Theorem in Class
§9.6 Hubert's Theorem 90 and Noether's Equations 331
Z1 = (a(a))1.xG, 0 i < n.
At least one of the sums:, is different from zero (i.e., this is a nonhomogeneous
system of n equations), for if it were a homogeneous system, it would have
only the trivial solution = 0 for all a e G, because =
0 for a primitive element a according to Lemma 2.
Finally we compute as follows, letting : = for some I for which
0, and using Noether's equations in the simplification:
zjzd
= PEG peG
=
peG
= xg [ (p(a))i.xpj/[
peG
= XQ,
i.e., x0 = z1 as asserted.
(*) x0 + =
x,, = y—a(y) withy e K, and conversely.
Proof. The converse assertion is again easy. We have
(y—a(y)) + a[(y—t(y))] = y — a(y) + a(y) — (ar)(y)
=y .— (cir)(y).
Since K/F is a separable extension, Lemma 3 assures the existence of
an element d E K with nonvanishing trace. For
TEG
and consequently
a(y) + x0 = fa(xj+x6].(at)(d).
T(d) r G
cr(y) + x0 =
T(d) T 6G
and =y —
since F* N (K*).
The additive version of Hubert's Theorem 90 yields a corresponding
result for the additive group of F. By the Galois theory,
[K:0] = [(l—q')K:O]•IF:O];
by Proposition 2,
[K:0] = [T(K):0].t(l—4)K:0].
Hence [T(K) :0] = IF: 0], and consequently. T(K) = T(K).
Exercises
1. Suppose that the field F has q = pfl elements, p an odd prime. Prove that
the equation ax2 + by2 = c, abc 0 in F, has q + 1 solutions if — ab is not
a square in F.
2. Let K = Q(15) and consider A = 9—4 Find:
a. N,(/Q(A).
b. An element K such that A = where a is a generating
automorphism of the galois group of K/Q.
334 Selected Topics in Field Theory chapter 9
Lemma 2. Let K/F be a Kummer extension, and denote by (A} the multi-
plicative group
(A} {AcK:AnEF*}.
The factor group {A}/F4 is isomorphic to the dual G* of the galois group
G = G(K/F).
Proof Since AN C F*, for a e G,
= = I,
and therefore A/a(A) is an nth root of unity. Let
= A/a(A) e
and note that for a, t eG
= t(A/a(A))
= t(.fA,a)
and r(A)/(ta)(A) = [A/f4 J[f4
Hence =fA,ra fA,orr e <C>
(Because G is abelian ta = at.) Thus the mapping
q4: G -# given by p4(c)
is a homomorphism of G. Next, the mapping
A: given by A(A) = q'4.
is a (group) homomorphism since for A, Be
(AB)/a(AB) (A/a(A)).(B/a(B)) = =
To show that A is surjective consider x G*. The elements x(°). x(r) of
<C> c satisfy
X(at) =
and so by Noether's equations [theorem. §9.6] there exists an element
C g* for which
C/a(C) = X(a)
for all ac G. Since n is the minimal exponent of G and hence of G*,
(x(c))" = = = I. Thus e F* or Ce {A}, and
x = A(C) = coc.
For all elements D in the kernel of A, is the unit character of G,
§9.7 Kummer or Radical Extensions 337
Writing
{S} = se
we set K = F({S}) = F({s}lm).
Furthermore, since raising elements of a (commutative) group to
their nth powers is a group homomorphism, the corollary to Theorem 3, §6.8,
implies that
(s) [{S} F*] : F*f][<i) : = : F*n] = [{s) :
since the powers of ( are the only elements in K whose nth powers are equal
to 1, and since F*. Now consider the homomorphism
A: {S}/F* =
given by A (SF*) S0nF*n; it is independent of the choice of the representa-
tive S0 of the coset SF*. Because of the index equalities (*) A is an
isomorphism.
Since K = F({S}), the Galois theory implies that a is the identity map in G.
Thus, a L. is one-one and
[G: 1] [(S}/F*: I].
Now conversely, to prove that {S}/F* is isomorphic to a subgroup
of G, consider, as in the argument for Lemma 2, the mapping for a fixed
Se(S)
4s: G given by q's(°) = S/a(S).
p(x) for [ii e the other roots of f—x—b are B+[i], [i] Here
we write B = p - '(b), whereas in the preceding multiplicative case we wrote
S=
Theorem 2 is obtained by making the following replacements in the
discussion of Lemmas 2 and 3, and in Theorem 1.
I. A Kummer extension K/F of 1'. An abelian extension K/F of
exponent n, where char F = p, exponent p. p = char F
(p,n) =
2. Consider F* as a multiplicative 2'. Consider Fas an additive group
group
3. The multiplicative group {A} of 3'. The additive group {A} of all
all A E K such that A e Ksuch that eF
4. = A —o(A)foro e G =
G(K/F)
5. =fA.a E <i> =fA.,,
6. fA,tv IA, and thus E G* 6'. JA.,,+fA and thus (p4 E
Hom(G,
7. = and thus 7'. 'PA+B(a) = A(o)+q'Ba) and
2: {A} —' G* given by 2(A) = thus 2: {A} —, Hom(G, given
is a homomorphism by 1(A) = (p4 is a homomor-
phism
8. 8'.
9. {s} a subgroup of F* such that 9'. {s} a subgroup of F such that
[(s} : F*n] < co [{s} : < co, where
p(F)= {p(a):aeF}
10. K = F(..., ...) where Se" = 10'. K = F(..., S.+ fh], ...) where
and is a primitive nth root p(S1) = and [h] e
of unity
11. f{S} : F*] = [{s} : 11'. [{S} : F] = [{s} : p(F)]
12. Xc(SF*)_S/0r(S) 12'. XQ(S+F)= S—a(S)
13. [S/a(S)] .[S/z(S)] = S/(ar)(S) 13'. [S—a(S)]+[S-—r(S)] = S—
(at)(S).
REMARK. In the case that K/F has exponent ptm but not exponent p, where
p = char F, we can use the so-called Witt vectors [see N. Jacobson, bc. cit., pp. 124—
139] or an inductive argument due to A. A. Albert (1905—1972) [see Bull. Amer.
Math. Soc. 40(1934), pp. 625—631].
______
Exercises
or is irreducible.
6. Prove that for an odd prime p the polynomial —ae is irre-
ducible for all n N if a is not a pth power in F.
7. Prove that the galois group of the splitting field K/F of x" — a E F[x] is
isomorphic to a subgroup of (he affine group of 4 if (n, char F) = 1.
(If charF= 0, no restriction is placed on n.)
8. Suppose that the field Fcontains all nih roots of unity where (n, char F) =
I. Prove that F(A) = F(B). with = a, = b, and [F(..4): F] =
implies that b = where c F and (s, n) = I.
9. Prove Corollary 2 to Theorem I in detail.
10. In the parallel argument preceding Theorem 2, verify statement 8' in
detail.
II. Let K = wnere I = 0.
a. Find the least normal extension of KiQ and determine its galois
group G.
b. Determine a composition series of G.
12. Let K = where is a primitive sixth root of unity. Find the
galois group G of the least normal extension of K/Q(i), and determine a
composition series of G.
13. For relatively prime integers ni and n prove that x" — a E F[xl is
irreducible if and only if both xm—a and f—a are irreducible in F[x].
different from the usual one, and at the same time prepare for important
concepts in ring theory: unique factorization domains and integral dependence.
Suppose now that R is an integral domain with Ffor its quotient field
and that K/F is an algebraic (field) extension. Since we consider only elements
in a field K, left and right R-modules in K can be considered to be equal. Thus
in this section we shall not distinguish between left and right modules.
in and 2.7 we considered the factorization of integers and
properties of certain "irreducible" integers, called primes, which could not be
factored nontrivially. Similarly in §5.2 we considered the questions of divisi-
bility and factorization within the integral domain of polynomials over a field.
We now extend the discussion of factorization to more general integral
domains.
A nonzero element a in an integral domain R is called irreducible if
0) it is not a unit of R, and
(ii) whenever a bc with b.c E R, then one of the elements h and c is
a unit of R.
A nonzero element a e R, which is not a unit, is said to have a unique factoriza-
tion into irreducible elements of R, if
(1) a= u p, with a unit u e R and irreducible elements p1.
I I r, in R, and
(ii) if a = v is another such factorization, then r = s and
= with units U1 R, I i r, where is a permutation
of {l,...,r}.
We call an integral domain R a unique factorization domain (commonly
abbreviated UFD) if every nonzero element has a unique factorization into
irreducible elements.
A nonzero element a e R is termed a divisor of b e R, if ac = b with
c e R; symbolically, we write a Jb. An element d e R is called a greatest
common divisor of a and b if d I a and d b, and if every nonzero element g e R
that divides a and b also divides d. Elements a,a1 of a unique factorization
domain R are said to be associates, a aa, if a1 = ca for some unit c of R.
The relation of being associates is an equivalence relation.
Every element a e F = Q( R) can be written as a quotient u/v where u
and v lie in R and have no common irreducible (nonunit) factors. The factor-
ization property implies that, for each irreducible element p
a __p2a* ,&O
with a* F, where neither numerator or denominator of a* has p as a factor.
We now define an order flinction Ofl F = Q (R) for a given irreducible element
p E R [cf. Exercise 14, §2.7] by setting
= e Z.
Note that = for every unit e of R. For a = 0, we set = The
Unique Factorization Domains and Elementary Symmetric Functions 343
unique factorization of elements implies that, for any pair of nonzero elements
a,bof F,
= +
The order function i', extends to the polynomials
f
= f(x) = + + + a0
in F{x] as follows:
= :0 i n}.
A p-content of the polynomial f is an element where
= z',,(f) and is a unit of R. The content C(f) is defined to be =
fl,, where is any unit of R, and where the product is taken over a set
of representatives of the distinct classes of associated irreducible elements
p e R. (The product is well-defined because all but a finite number of the
are equal to 1.) This definition implies immediately that
C(af) = aC(f)
for every nonzero element a of the field of coefficients F. Consequently
= cf1(x)
where c = C(f) and the content of f1(x) e REx) is 1. More precisely, the
coefficients off1(x) lie in R and their GCD is 1.
The arguments of the proof of Gauss' Lemma generalize to
yield the proof of Lemma 1. In the proof, which we leave to the reader, it
suffices to consider polynomialsf.g for which C(f) = C(g) = and to prove
1
that C(fg) = l—in other words, that = 0 for all irreducible elements
p e R—because in the general case we write 1= af1, g = bg1, where C(f1) =
C(91) = 1, so that C(fg) = abC(f1g1).
Theorem 1. If x1, ..., are indeterminates over a field F, then the poiy-
nomial ring F[x1 v,,] is a unique factorization domain.
M
M= + + + + Ra,b,,
I I Since aMc M and bMc M, we have M
and abM M. Thus, a + b and ab are integral over R.
Consequently the set S (a e K: a integral over R} is a subring of
K; it is called the integral closure of R in K.
The assumption that b implies then that atm and consequently that a,
contrary to the assumption on a. Hence a/b cannot be integral over R, and R
is integrally closed.
We now apply Theorem I to polynomial rings. Let F be a field and
R= xe]. Then K = Q(R) = F(x1 ;) is the field of rational
functions of x1, with coefficients in F. Suppose that
o=IFl
L it
is an element of the symmetric group E,, on n elements [see §6.7]. The mappings
for a defined by
xv)]
are distinct automorphisms of K/F. Let L be the fixed field of G = {y0 : crc
as in §8.6. Then K is a galois extension over L of degree n! and K =
The polynomial
g(t) = J1
Ya(J) =j:
Theorem 2. A symmetric polynomial f in the indeterminates x1. is
equal to a polynomial /z(e1 e F[e1, ..., es], where the are the
elementary symmetric functions of the I <1 < n.
Proof. Since y0(f) =f for all ac the polynomialf lies in the fixed field
E= Because the elements are the zeros of the poly-
nomial g(t)e F[e1, they are integrally dependent over F[e,, ...,en]
[see the discussion prior to Lemma 7]. Consequentlyf is integrally dependent
on the unique factorization domain F[e,, by Lemma 4. Finally
F[e1, is integrally closed according to Lemma 6 together with Lemma
8 and Theorem I. Hence F[e,, as asserted.
Exercises
in 1798, published a year later. In this paper Gauss also demonstrated the
inadequacy of earlier proofs, including those of Euler and Lagrange.
Complex numbers, which we write a + bi with a, b E R, were some-
times viewed as cosets in R [x]/(x2 + I), for the geometrical description of the
complex plane was new. In 1798 Caspar Wessel (1745—1818) published his
graphical representation of complex numbers in the transactions of the Danish
Academy of Sciences, and Jean Robert Argand (1768—1822) introduced the
complex plane in 1806. Gauss subsequently strove, albeit without success,
for a strictly algebraic proof of the theorem, presenting two new proofs in 1816
and one in 1850.
There are a number of proofs of this theorem, all of them analytical
(or topological) by nature, a quality inherently due to the definition of the
field C as a quadratic extension of the field of real numbers. The proof we
present appears to be due in part to Lagrange. It uses a minimal amount of real
analysis such as the Intermediate Value Theorem whose proof in turn employs
not more than the existence of least upper bounds, a characteristic property
of the real numbers, and a simple inequality.
Gauss reduced the problem of finding = such that =
a+bi to one of finding the intersection of two hyperbolas a and
afl = 1,12. For purely imaginary numbers, a = 0, and the hyperbola
= 0 is degenerate. Thus the problem is one of finding the intersection
of two lines = ± and the hyperbola cx/3 = h/2.
As a preparatory lemma, we note that a real polynomial
1(x) = x" + - + + a0 e R [x]
of odd degtee has at least one real root. First, there exists a positive real
number p such that
f(x)>0 forx>p
and f(x) <0 for x < —p.
We have the following estimate for a> I:
= >0
Furthermore
f(—a) + ..'
<
= <0.
Hence let p Max{l,IaoI+ + I. The Intermediate Value
Theorem, applied to the interval —p x p, implies that f(x) has at least
one real zero.
350 Selected Topics in Field Theory chapter 9
±
Finite DivIsion Rings 351
Exercises
a(u+v) = au + av = ua + va = (u+v)a
and a(uv) = (ua)v = (uv)a,
U+v, Ut E F0. The fact that D is finite implies that the set {I,u,u2, ...) of
powers of any nonzero element u is finite. Consequently for some Ii, k with
h> k, we have uh = uk. Thus, = 1 so that u"1 E F0 is the inverse
of u. Therefore F0 is a division ring.
The division ring Fa may be considered as a d-dimensional vector
space over F; then F0 has q" elements. Furthermore, 0 can be considered as a
left module over F0, where the module multiplication of x D by u is
the product ux, so that for y D and u, v e F0 the equations
lx = x, u(x+y) ux + uy,
(u+v)x = ux + vx, (uv)x = u(vx)
verify the axioms of a left module [see §7.8]. Just as in the theory of vector
spaces, it follows that D contains a basis x3, ...,x5 over F0 [see §4.2]. The
number of elements of D, namely q", must equal hence n.
Next we apply the class equation to the group D*. First note
that the number of distinct conjugates (with respect to the group of inner
automorphisms of D) of a nonzero element a e D is (q"— I). Then
(*)
and
This relation cannot hold if n> I, because for every primitive nth root of
unity (= I I q(n), the inequality I holds, as is shown
below. Thus
(yP(n)
>
Exercises
=
f2 = k2 = —[1], ii = —ii, jk = —jk, ki = —1k.
Prove that R is isomorphic to the ring of 2 x 2 matrices with coefficients
in
det[
ía bl
(If the determinant were 0, then q = would tie in F, since the rows of
[a b]
Lc dJ
would be proportional.) Conversely, each nonsingular matrix
[a bl
Lc d]
356 Selected Topics in Field Theory chapter 9
that is, the two-dimensional projective linear group PL(2, F) of the field F.
Exercises
((x) =
andf(x) is reducible. Hence e must be 0, which means that 1(x) is separable.
The proof of the existence of an algebraic closure K of F in §8.9
relied upon a double induction argument in the construction of the fields
Perfect Fields 359
Exercises
a e N, are irreducible.
11. Prove that the definition in Exercise 8 is symmetric in K1 and K2. Hint:
Show that the definition is equivalent to the statement that if x1, e
K1 are linearly independent over F and if yi, e K2 are linear
.
Bibliography
ALBERT, A.A., Structure of Algebras, Amer. Math. Soc. Coil. Pubi. XXIV, 1939.
ARTIN, E., Galois Theory, Notre Dame Mathematical Lectures, No. 2, University
of NoIre Dame, 1948.
Theory of Algebraic Numbers, Göttingen, Germany, 1959.
- , C.J., THRALL, R.M., Rings with Minimum condition, University
of Michigan Press, Ann Arbor, Mich., 1944.
BELL, E.T., The Development of Mathematics, second edition, McGraw-Hill
Book Co., New York, 1945.
Men of Mathematics, Simon and Schuster, New York, 1937.
BIRKHOFF, G., see MACLANE, S.
BOYER, C., A History of Mathematics, John Wiley & Sons, New York, 1968.
CASTELNUOVO, G., Sulla razionalità delle involuzioni plane, Math. Ann. 44 (1894),
125—155.
CURTIs, C., Linear Algebra: An Introductory Approach, third edition, Allyn and
Bacon, Boston, 1974.
DICKSON, L.E., Modern Elementary Theory of Numbers, The University of
Chicago Press, Chicago, 1939.
ENRIQUES, F., Sopra una involuzione non razionale dello spazio, Atti Accad. naz.
Lincei, Rend. V.s. 21' (1912), 81—83.
EvES, H., Introduction to the History of Mathematics, third edition, Holt, Rinehart
and Winston, New York, 1969.
FULTON, W., Algebraic Curves, W. A. Benjamin, New York, 1969.
GREUB, W.H., Linear Algebra, Springer-Verlag, New York, 1967.
Mullilinear Algebra, Springer-Verlag, New York, 1967.
GROSSWALD, E., Topics from the Theory of Numbers, The Macmillan Co., New
York, 1966. (For a succinct discussion of the Fermat Conjecture, see pp.
159—182.)
363
_______
Bibliograpby
367
Index of Mathematicians
lskovskibh, V. 354
Khayyam, Omar 20
Klein, Christian Felix 189(Ex. 6)
Kowa, Seki 121
Kronecker, Leopold 58, 74, 125, 142, 266, 318
Kummer, Ernst Eduard 58, 305, 334, 338
Pascal, Blaise 21
Perron, Oskar 313
Plato 170, 314
Poincaré, Jules Henri 179(Ex. 11)
Takakusa, Seki
(see Kowa, Seki)
Tartaglia, Nicolo 304, 310
Vandermonde, Alexandre
Theophile 121, 329
van der Waerden, B. L. 310
Venn, John 3
Viète, François 348
Index of MathematIcians 371
Wallis, John 21
Waring, Edward 153
Wedderburn, J. H. M. 304, 351
Weierstrass, Karl 121
Wessel, Caspar 349
Weyl, Hermann 169, 170
Wilson, John 153
Witt, Ernst 304, 340, 351
"implies" 2
"is equivalent to" 2
E "is an element of" 2
proper (strict) containment 2
c containment, with possible equality 2
0 null (empty) set 2
373
374 Index of Notation
Miscellaneous symbols:
{ } denotes a set 2
group generated by g 186
(m) ideal generated by m 24
set of conjugates of g 238
ba "b divides a" 25
b4'a "b does not divide a" 26
IK restriction of mapping a to K 277
congruence 38
Ia! absolute value of a e C 15
[sJ equivalence (congruence) class of s 6
(a,b) GCD of a,b e Z (equivalently, ideal in Z
generated by a, b) 24, 26
[a,b] LCMOfa,bEZ 34
Alphabetized notation:
alternating group on n elements 200 (Ex. 6c)
AG(L) annihilator of a subset L in a group G 232
Index of Notation 375
Kronecker delta 74
dihedral group of order 2n 168 (Ex. 6f)
group of automorphisms of G which leave
fixed the elements of the intermediate field L 288
fixed field of a subgroup /1 of a group G 288
cyclotomic polynomial of degree p(n) 305
q(rn) (usually) Euler of rn Z 52
(usually) inner automorphism by x 206
symmetric group on n elements 194
s(S) group of permutations of the setS 194
(commonly) primitive nth root of unity 230
w (commonly) a primitive cube root of unity 271 (Ex. 7c)
Index of
Mathematical Terms
379
380 Index of MathematIcal Terms
V
w
Vectors, 95
as a group, 169(Ex. 9) Wedderburn's Theorem, 304, 351—353
linearly dependent, 101 Well-ordered integral domain,
linearly independent, 101 93(Ex. 35)
Vector addition, 95 Well-ordered set, 16
Vector spaces, 95—108, 256, 267, 269 Well-Ordering, Principal of, 14, 16,
(see also Vector spaces, 18
examples of; Subspaces) application of, 16—17, 23, 24, 33,
bases of, 102—104, 111—112 191
Cartesian n-space, 96(Ex. 1) Wilson's Theorem, 153
dimension of, 104, 105(Ex. II) Wilt vectors, 340
direct sum of, 98, 99, 264(Ex. 18)
dual, I lO(Ex. 14), 235(Ex. 5)
finite dimensional, 104, 107 z
finitely generated, 99, 102
generators, 99, 101 Zassenhaus Lemma, 248
intersection of, 98 Zero (see also Root):
isomorphic, 106 in Z, Il
linear functionals on, I 10(Ex. 14), of a polynomial, 133, 148
235(Ex. 5) Zero divisor, 43, 45, 47(Ex. 10), 61, 84
linearly dependent subset, 101 Zero vector, 95
linearly independent subset, 101 Zorn's Lemma, 300