Академический Документы
Профессиональный Документы
Культура Документы
Group Theory
Exercises in
Group Theory
v
FOREWORD TO THE ENGLISH EDITION
The two years which have passed since this book came off the press have fully
confirmed· the author's belief concerning the expediency of actively studying
the fundamentals of modern algebra. By discovering the answers to specially
posed problems and gradually overcoming the increasing difficulties; the
beginning student of group theory is led step-by-step to certain fundamental
concepts, where he encounters important results and becomes proficient in
methods of reasoning.
Just as we assumed, the book has proved to be suitable both for in-
dependent study and as a supplementary textbook for classwork and for
semmars.
We base our conclusion both on the authors' use of the book and on
the actual experience of a number of mathematicians whose opinions have
been communicated to us.
It was with great satisfaction that the authors became aware of the
intentions to publish the book in English. This will extend considerably the
domain of its use. We will be interested in determining to what extent the
indicated ideas concerning the teaching of modern algebra will be confirmed
by work being carried out in other countries under different conditions.
The authors have taken this opportunity to correct a number of typo-
graphical errors which occurred in the first (Soviet) edition of this book.
vii
FOREWORD
The aim of the present book is to promote the study of the basic methods,
results, and points of departure of modern algebra. Group theory is unques-
tionably the most developed of a number of algebraic disciplines which
comprise what is often called general, or modern, algebra (and which
properly speaking should be called general theory of algebraic operations).
Thus it is natural to begin the study of modern algebra with group theory.
Furthermore, one should take into account that at the present time group
theory touches upon nearly all of the other algebraic disciplines.
The points of departure of group theory itself can be learned most
naturally as they arise in connection with the ideas of a general character
which go beyond the bounds of modern group theory. It is this consideration
which determines the scope of the material in this book.
We here consider those parts of group theory which form the basis for
the most general concepts. These sections illustrate the foundations of group
theory and serve as a suitable vehicle for studying other algebraic disciplines.
The important role that algebra plays in all mathematics has been
evident for a long time. Various ideas, concepts, and methods are often
developed in algebra and later spread to other mathematical domains.
Therefore an acquaintance with the rudiments of algebra is necessary for
mathematicians in various special fields.
In this connection it is desirable to introduce this material as soon as
possible in the first courses taken at the undergraduate level. However,
in trying to achieve this, one encounters considerable difficulties. For the
abundance, complexity, and complete generality ("abstractness") of the
concepts impede a mastery of this material by those students just beginning
their study of higher mathematics. The most successful way of surmounting
this difficulty is to illustrate the newly introduced concepts by a large number
of concrete examples which show how such concepts arise in various cases.
In addition it is desirable for the student to work out these examples in-
dependently, rather than merely having them displayed for him by the
instructor or the author of a book. An active role by the student will
ix
x Foreword
Chapter 1
Sets
I. Basic Concepts. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. 1
2. Mappings of Sets. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. 7
3. Binary Relations ........................................ 11
4. Multiplication of Binary Relations ....................... , 16
Chapter 2
Algebraic Operations of a General Type
I. The Concept of an Algebraic Operation .................... 21
2. Basic Properties of Operations ............................ 25
3. Multiplication of Subsets of a Multiplicative Set. ............ 31
4. Homomorphisms ....................................... 33
5. Semigroups ............................................ 38
6. Elementary Concepts of the Theory of Groups .............. 42
Chapter 3
Compositions of Transformations
I. General Properties of the Composition of Transformations ... 51
2. hi.vertible Transformations ............................... 58
3. Invertible Transformations of Finite Sets ................... 62
4. Endomorphisms ........................................ 65
5. Groups of Isometries .................................... 70
6. Partial Transformations ................................. 74
Chapter 4
Groups and Their Subgroups
I. Decomposition of a Group by a Subgroup .................. 79
2. Conjugate Classes ....................................... 83
3. Normal Subgroups and Factor Groups .................... 86
4. Subgroups of Finite Groups .............................. 90
xi
xii Contents
Chapter 5
Defining Sets of Relations
1. Defining Sets of Relations on Semigroups .................. 107
2. Defining Sets of Relations on Groups ...................... 112
3. Free Groups ........................................... 117
4. Groups Defined by Sets of Relations ....................... 121
5. Free Products of Groups ................................. 125
6. The Direct Product of Groups ............................ 127
Chapter 6
Abelian Groups
I. Elementary Properties of Abelian Groups .................. 133
2. Finite Abelian Groups ................................... 136
3. Finitely Generated Abelian Groups ........................ 139
4. Infinite Abelian Groups .................................. 141
Chapter 7
Group Representations
1. Representations of a General Type ........................ 145
2. Representations of Groups by Transformations ............. 148
3. Representations of Groups by Matrices .................... 152
4. Groups of Homomorphisms of Abelian Groups ............. 156
5. Characters of Groups .................................... 159
Chapter 8
Topological and Ordered Groups
1. Metric Spaces .......................................... 161
2. Groups of Continuous Transformations of a Metric Space .... 166
3. Topological Spaces ...................................... 170
4. Topological Groups ..................................... 174
5. Ordered Groups ........................................ 180
Hints
Chapter I ................................................ 185
Chapter 2 ................................................ 186
Chapter 3 ................................................ 187
Contents xiii
Answers
Chapter 1 ................................................ 201
Chapter 2 ................................................ 204
Chapter 3 ................................................ 209
Chapter 4 ................................................ 216
Chapter 5 ................................................ 220
Chapter 6 ................................................ 222
Chapter 7 ................................................ 224
Chapter 8 ................................................ 227
SETS
1. Basic Concepts
Let us define a property such that for each object which can be considered
in any mathematical theory, one can determine, at least in principle, whether
or not this object has the given property. We can then consider the collection
of all objects having this property as a ne~ mathematical object, which is
called a set. The objects are called elements of the given set.
Thus in order to describe a set one can either state the property, so that
if a mathematical object has the property it becomes an element of the set,
or list all of its elements. (Properly speaking, the fact that a given set contains
elements can also be considered as such a property. Thus these two approaches
differ only in a minor way.)
The fact that x is an element of a set M is denoted by x E M. In this case
we also say that x belongs to M, or that x is contained in M.
Two sets are equal, i.e., they coincide, ifthey consist of the same elements.
Therefore the proof that two sets M and N are equal usually consists of two
parts. First one proves that for each x EMit follows that x EN; second that
YENimpliesYEM.
The terms "collection," "totality," and "class" are used in the same
sense as the term "set." We should point out, however, that a distinction
is made in some of the deeper axiomatic theories between the concepts of
"set" and "class." Since this is not necessary within the limits of this book,
we will make no such distinction.
We will use braces to denote that a set M consists of the elements
x, y, . .. , t, . ... Thus
M = {x, y, ... , t, ... }
M={xd or M={xd EU
Ma U M~ U ... U Me U
or by
U M~
~Er
is the set of all elements which are contained in at least one of the sets M ~.
The intersection, denoted by
or by
is the set of all elements which belong to everyone of the sets M~.
Basic Concepts 3
If a set M has subsets Ma, Mp, ... such that their union equals M,
and no two of these subsets have any element in common (they are mutually
disjoint), then we say that M is the disjoint union of the sets Ma. Mp •....
We also say that this defines a partition of M into classes M a, Mil' .... If in
addition all of the sets Ma. Mil"" are nonempty, and there is more than one
of them, then we say that the partition is proper.
For two sets M and N, we denote by M"-N the set of all elements in M
which are not contained in N.
r
Let M be any set, and let be a set of indices (i.e., elements which are
considered only as distinctive symbols)
T= {el, ~, ... }
indices r (obviously not just any system, but one in which x~ E M ~ for each
~ E f). The Cartesian product of the sets M a' M fJ, ... is denoted by
.MxMX ... XM
n times
1.1.1. Determine which of the following numbers are elements in the sets
given below:
1
0, 1, : ' V2, - 2, 'It, 7' I,
Sets:
M1 = set of all natural numbers;
M2 = set of all integers;
M3 = set of all rational numbers;
M4 = set of all positive real numbers;
M5 = set of all complex numbers z with the property Z2 = z:
M6 = set of all numbers z such that Z2 = Z.
1.1.2. Which of the matrices
x 'l -2x3+x=O
1.1.5. Let J(x) and g(x) be two algebraic polynomials. Prove that the set of
roots of the polynomial F(x) = J(x)g(x) is the union of the set of roots of
J(x) and the set of roots of g(x).
1.1.6. Find the intersection of the set of all nonnegative integers and the
set of all non positive integers.
1.1.7. For each real number IX let M(J. denote the set of all real numbers
(J.
n
greater than IX. Find (1) U M (J. and (2), M(J. (the union and intersection taken
(J.
3) Mn n Mm;
4) ~ M p (the union taken over all primes p = 2,3,5, 7, ... ).
1.1.9. Prove that the following equalities hold for any sets M, N, and S:
MUM=M, MnM=M
MUN=NUM, MnN=NnM
M U(NU S)=(MU N)US
M n(NnS)=(M N)n S n
M n
(N U S) = (M N) U (M S) n n
M U (Nn S)=(M U N) (M U S) n
1.1.10. Find (1) M U 0
and (2) M n 0 for an arbitrary set M.
1.1.ll. Let M be any set. We will employ the notation A = M"-A for each
subset A c M. For A, B c M, find:
1) A; 2) A U A; 3) A n A; 4) (AUB)
5) (A7TB); 6) (A nB) U (A n8); 7) A U (A n B)
8) (A n B) U (A n 8) U (A n B); 9) M; 10)d)
1.1.12. Find the number of subsets of a set with four elements. Find the
number of distinct proper partitions of this set.
1.1.13. Form as many partitions as possible of the set of all integers from the
sets given below:
Mo = {O}
M 1 ={1}
M 2 = set of all positive integers
6 Sets
are two partitions of a set M. Will the collection of all nonempty sets of the
n
form A~ B;. be a partition of M?
1.1.15. For each element x of a set M, let
Find
1.1.16. Denote the number of elements of a finite set X by m(X). Prove that
the following equalities hold for any sets M, N, and S:
\) m(MUN)=m(M)+m(N)-m(MnN)
2) In (M U NUS) = m (M) + m (N) + m (S) - m (M n N) -
- m (M n S) - m (N n S) + m (M n N n S)
State and prove analogous formulas for an arbitrary number of finite sets.
1.1.17. How many systems of elements is it possible to construct from the
set { =-1, 0, 1} with set of indices {1, 2, 3,4, 5}?
1.1.18. Write out all elements of the Cartesian product of the three sets:
1.1.19. How many elements are there in the Cartesian product of three
finite sets consisting of k 1 , k 2 , and k3 elements?
1.1.20. What form must a partition of a finite set M into two nonempty
classes take,
M=M t UM 2
Mappings of Sets 7
2. Mappings of Sets
.,,-1 (z)=a
In the discussion above, it is possible for A and B to ha ve elements in common,
and in particular for A and B to coincide.
An element a e A is called a fixed point of the mapping fP if fP(a) = a.
Let fPI be a mapping of a set A I into a set B I , and fPl a mapping of Al
intoB 2 ,whereA I c AlandB I c B2.ThemappingfPziscalledan extension
of the mapping fPI if fPl and fP2 coincide o n AI' i.e., if fPI(a) = fP2(a) for all
ae AI'
Two sets A and B are said to be equivalent (or have the same cardinality)
if there exists a one-to-one mapping of A onto B (and by the same tokcn, as
follows from 1.2.9, also a onc-to-one mapping of B onto A).
Wc say that tbe cardinality of a se t A is less than the cardinality of a set
B if A and B are not equivalent but A is equivalent to a subset of B.
8 Sets
(x~ - l)f(x)
Is cp one-to-one? Is cp onto?
1.2.7. Let S be the set of all real functions defined on the real line, and let
h(x) be a fixed function in S. Let I/lh be the mapping of S into itself which takes
f(x) E S onto
h(x) f(x)
What condition must the function h(x) satisfy for I/lh to be one-to-one?
Remark. Compare this result with the preceding problem.
1.2.S. Let T be a triangle whose sides have length a, b, and c. Is the mapping
which associates with T the triangle T' whose sides have length
a one-to-one mapping of the set of all triangles into itself? Is it onto? Which
triangles are fixed points of this mapping?
1.2.9. Let cp be a one-to-one mapping of a set A into a set B. Prove that the
inverse cp - I is a one-to-one mapping of cp(A) onto A.
1.2.10. Let cp be a one-to-one mapping of a set A into a set B. Prove that
the cardinality of C. Prove that the cardinality of A is less than or equal to the
cardinality of C.
1.2.14. Prove that the cardinality of any finite set is less than the cardinality
of any infinite set.
1.2.15. Let A, B, and C be sets such that A is equivalent to Band B is
equivalent to C. Prove that A is equivalp.nt to C.
1.2.16. Prove that every infinite subset of a countable set is countable.
1.2.17. Given a countable collection of finite sets M 1, M 2, •.. , prove that
U M k is either finite or countable.
k
1.2.IS.T.H. Given a finite or countable collection of sets Mk (k = 1,2, ... ),
where each M k is either finite or countable, prove that U M k is finite or
k
countable. When is this union finite? When is it countable?
1.2.19.T.H. Prove that the set of all rational numbers is countable.
1.2.20.H. Let M be an infinite set, and let N be a set which is either finite
or countable. Prove that M and M U N have the same cardinality.
1.2.21.H. Prove that the set of all polynomials with rational coefficients is
countable.
1.2.22. Prove that the set of all matrices with rational entries is countable.
1.2.23.T.H. Prove that the set of all real numbers r such that 0 ~ r ~ 1 is
uncountable.
1.2.24. T.H. Prove that the set of all real numbers is uncountable.
Remark. The cardinality of the set of all real numbers is called the
continuum. A set which is equivalent to the set of all real numbers is called
continual, or is said to have continual cardinality.
1.2.2S.T.H. A complex number is called algebraic if it is the root of some
polynomial (different from zero) in one variable with integral coefficients.
A number which is not algebraic is called transcendental.
Prove that the set of all algebraic numbers is countable, the set of all
transcendental numbers is uncountable, and the set of all real transcendental
numbers is uncountable.
1.2.26.H. Prove that the following sets of points on a straight line are
equivalent:
1) the set of all points on the line;
2) the set of all points on an arbitrary open interval of the line;
3) the set of all points on an arbitrary closed interval of the line;
4) the set of all points on the line which are not contained in a given
interval (either open or closed).
1.2.27.H. Let A and B be any sets, where B contains more than one element.
Let M be the set of all mappings of A into B. Prove that the cardinality of M
is greater than the cardinality of A (A oF 0).
Binary Relations 11
1.2.28.H. Let PM be the set of all subsets of a set M. Prove that the cardinality
of PM is greater than the cardinality of M (M =/; 0).
1.2.29. Suppose a mapping q>2 is an extension of a mapping q>1' If q>2 is
one-to-one, then so is q>1' Prove.
1.2.30. Let q>1, q>2' and q>3 be mappings such that q>3 is an extension of
q>2' and q>2 is an extension of q>1' Prove that q>3 is an extension of q>1'
1.2.31. Let N be the set of all natural numbers, N' the set of all even natural
numbers, and q> a mapping of N' into N. When does there exist a one-to-one
mapping of N' into N which is an extension of q>?
3. Binary Relations
Let X 1 and X 2 be arbitrary sets. The Cartesian product of X I and X 2,
i.e., the set of all pairs of the form (a, b), where a E Xl' b E X 2' is called the
universal binary relation on elements of Xl and X 2 (the order in which the
sets X 1 and X 2 are given is essential). A binary relation on elements of X I
and X 2 is any subset of their Cartesian product, p c X 1 X X 2'
Let p be a binary relation on elements of the sets X 1 and X 2' We say
that the elements a EX land bE X 2 belong to this relation if (a, b) E p.
In addition to this notation, we will also write
where a~ '" b~(p), a~ '" b~(p), . ... In view of these properties of p, each
element a~ in X I appears in exactly one of these pairs (a~ +-+ b~) and each
element b~ in Xl also appears in exactly one pair (a~ +-+ b~).
Given a binary relation p on elements of X I and X 2' we define a binary
relation p* on elements of X 2 and X I by
b '" a(p*) ifand only if a '" b(p)
12 Sets
The relation P* is called the conjugate of P (or the inverse of p, in which case
we write p - I instead of p*).
We also define another binary relation jj on elements of Xl and X 2
by a ""' b(jj) if and only if a ""' b(p) does not hold, where a E X I ' bE X 2'
Since binary relations are subsets of the universal binary relation
XI x X 2 , it is clear what is meant by the expressions PI C Pz, PI U Pz,
PI n P2'
In what follows we will be interested in binary relations on one set X,
i.e., subsets of the Cartesian product X x X.
The universal binary relation X x X will often be denoted by w x , or
simply by w if no confusion can arise. The empty binary relation, i.e., the
binary relation corresponding to the empty subset of X I x X 2' will also be
denoted by 0.
The diagonal of a set X is the binary relation ~ on X defined by a '" b(M
if and only if a = b.
Let P be a binary relation on a set X. Then
p is reflexive if a '" a(p) for all a E X,
p is transitive if a '" b(p) and b '" c(p) imply a '" c(p),
p is symmetric if a '" b(p) implies b '" a(p),
pis antisymmetric if a '" b(p) and b '" a(p) cannot both hold for a# b.
A binary relation on X which is reflexive, transitive, and symmetric is
called an equivalence relation, or simply an equivalence, on X.
When p is an equivalence relation the notation a.= b(p) is often used
in the literature in place of the notation a '" b(p).
Let p be an equivalence on X. If x '" y(p) (and therefore y '" x(p)),
then x and y are said to be equivalent with respect to p, or p-equivalent.
A nonempty subset K of X is called a p-class if any two elements in K are
p-equivalent and no element in K is p-equivalent to any element in X"-K.
The set of all p-c1asses is usually denoted by X / p.
A binary relation on X which is reflexive, transitive, and anti symmetric
is called an ordering relation, or simply an ordering. The terms order, partial
order, and partial ordering are also used.
An ordering p on X is called linear if for all a, b E X, either a '" b(p) or
b '" a(p). A linear ordering of a set is sometimes called a chain.
A linear ordering p is called complete (or well-ordered) if for every non-
empty subset X' C X there exists an element ao E X' such that ao '" a(p)
for all a EX'.
The symbol ~ (or <) is often used to denote an ordering instead of "',
In addition. a ~ b has the same meaning as b ~ a. If a ~ b(p), then we say
that a "precedes" b with respect to the ordering p.
If a set has an ordering defined on it, then we say that it is an ordered set.
If the ordering is linear or complete, then we call the set linearly ordered or
completely ordered (well ordered).
Binary Relations 13
1.3.1. Let X I and X 2 be any sets, and let P and a be binary relations on
elements of X I and X 2' Prove that the following conditions are equivalent:
1) a ~ b(p) implies a ~ b(a); 2) pea; 3) p U a = a;
4) P n a = P; 5) P n if = 0; 6) if c p.
1.3.2. Let P be a binary relation on elements of the sets X I and X 2' Show
that
PU P=OO,
Conversely, if
P U 0=00,
1.3.4. Let p, PI' and pz be binary relations on elements ofthe sets X I and X 2'
Prove that: (1) pUp = P; (2) P n P = P; (3) (p*)* = P; (4) (PI U P2)* =
pf U p!; (5) (PI n pz)* = pf n p!; (6) P* = (p)*; (7) P = P; (8) PI U pz =
PI n pz;and(9)PI n P2 = PI U Pz·
1.3.5. Let R be the set of all real numbers, and let r be the Cartesian product
n times
Let Pij(i,j = 1,2, ... ,n) be binary relations on r defined by
is also an ordering on X.
16 Sets
1.3.20. Let X be a set with the property that whenever a ~ b there can be at
most a finite number of elements c for which a ~ c ~ b. Find all linear
orderings on X.
1.3.21. Which of the following ordered sets of rational numbers (with the
usual ordering) are well ordered:
1) the set of all integers;
2) the set of all positive integers;
3) the set of all negative integers;
4) the set of all rational numbers;
5) the set of all numbers of the form (~)" (n = 1,2,3, ... );
6) the set of all numbers of the form (t)n (n = 1,2,3, ... );
7) the set of all numbers of the form lin (n = 1,2,3, ... )?
1.3.22. What can be said about a set M which has a linear ordering p such
that both p and p* are well-ordered?
1.3.23. Suppose that there is defined a well-ordering on the classes of a
partition {Nd~Er of a set M, and in turn a well-ordering on each of these
classes. Define a binary relation p on M by x '" y(p) if either (1) x E N a ,
y E N p , oc =1= 13, and N a ~ N p with respect to the ordering of the classes of the
partition, or (2) x, YEN ~ and x precedes y in the ordering of N ~. Prove that
p is a well-ordered relation on M.
1.4.4. Let PI' Pz, and P3 be binary relations on a set X. Prove that
1.4.6. Let Z be the set of all complex numbers. Define the binary relations
p, (J', and r on Z by
Let R be the set of all real numbers, C the set of complex numbers z for which
Izi
~ 1, and P = {i}. Find:
pR, Rp, oR, R"t, pC, Co, C"t, pP, Po, P"t
1.4.7. Let PI' pz and (J' be binary relations on a set X, with PI c pz. Prove
that
18 Sets
1.4.8. Show that the following hold for any binary relations T, P~, P{J, ...
on a set X:
't (p~ UP~ U ...) = 'tp~ U 'tP~U .. .
(Po: U P~ U ...) 't = PIl't U P~ 't U .. .
't (Po: () P~ () ...) C 'tPo: () tp@() .••
(p~ () p@ () ...) t C Po: t () p@t n ...
1.4.9. Define the binary relations P1 and P2 on the set {a, b} by
P1 = {(a, a), (b, a), (b, b)}, p~ = {(a, b), (b, a)}
1.4.11. Define the binary relations Pk (k = 1,2, ... , n) on the set of all
sequences of n elements from a given set M by
Find PiPj'
1.4.12. Consider the binary relation P of inclusion on the set PM of all
subsets of a given set M (i.e., P '" Q(p) if P c Q, where P, Q eM). Find
p,'J pp,
- PP,
- PP *-*
, PP
Find
if and only if a '" b(p) and b '" c(p) implies a '" c(p).
Chapter 2
ALGEBRAIC OPERATIONS
OF A GENERAL TYPE
1. The Concept of an Algebraic Operation
In this case the elements x and yare called factors (left and right, respectively),
and z is their product. Moreover, this operation may have no connection
whatsoever with ordinary multiplication.
The additive notation and terminology are sometimes used. The result
of the operation on x and y is then denoted by x + y, and corresponding
terminology is employed: sum, summand, etc.
When the name of a specific operation and its corresponding symbols are
firmly established (for example, addition and multiplication) on a concrete
set (the integers, functions, matrices), they will be used without express
mention. In general the multiplicative terminology is employed, and we too
will usually adhere to this.
The actual description of an operation on a set M can be carried out by
various methods. If the elements of M are of a concrete nature, it is possible
to state a law (in particular, a formula) which distinguishes those pairs for
which the result of the operation is defined. The element so constructed is
then the result of the operation for each such pair.
It is also possible to list directly all results of the operation. This can be
accomplished by means of the so-called Cayley table (also called a multi-
plication table). All elements of the set are written on the left and above the
square table. At the intersection of the row corresponding to the element x
and the column corresponding to the element y, we write the result of the
operation by the ordered pair (x, y), or by a dash if the result of the operation
is not defined.
Although a Cayley table of this form can only be constructed for a finite
set M, indeed for a set with not too many elements, one can theoretically
consider a Cayley table for any set M, either finite or infinite.
If an operation is defined on a set M, then for each subset M' c M the
operation on M induces, in a natural way, an op'eration on M'. Namely, (or
x, y E M ' , the result of the operation on M' is defined and equal to Z E M'
if for x, y considered as elements of M, the result is defined and equal to
z E M'. (It is very important to remember that when considering an operation
on a set we always require the results of the operation to be elements ofthe set.
We will have no occasion to consider "external operations," where the
results are regarded as not being elements in the given set.) Generally speaking,
we call this new operation the restriction of the original operation to M' ..
Let M 1 and M 2 be sets, and let 0 and 0 be operations defined on M 1
1 2
and M 2' respectively. Then the sets M 1 and M 2 are called isomorphic relative
to these operations if it is possible to establish a one-to-one correspondence
between the elements of M 1 and M 2'
The Concept of an Algebraic Operation 23
XI X 2 Xa X 4 x. X6
XI X2 X4 x. Xa
Xl! Xl! Xl! x. X 2 XI
Xa Xa Xa Xs Xa
Xi XI X, Xl! X. XI XI
X. X. X. Xl! X 3 XI
X6 X6 X6 Xl! XI
Determine for which Xi the results (Xi 0 x;) 0 Xi and Xi 0 (Xi 0 Xi) are defined.
2.1.4. Is it possible to construct a Cayley table for the set {ZI,Z2,Z3,Z4}
such that Zi 0 Zi is defined for all Zi except Z I' where Z 10 Z I is undefined,
and neither (Zi 0 z) 0 Zk nor Zi 0 (Zj 0 Zk) is defined for any triple Zi' Zj' Zk
(i,j, k = 1,2,3, 4)? If so, find the general form of such a table.
24 Algebraic Operations of a General Type
(I, j = 1, 2, ...)
Determine which of the subsets of M (relative to the operation on M) are
isomorphic to M.
2.1.16. Suppose that M l' M 2' and M 3 are sets with operations such that
M 1 is isomorphic to M 2 and M 2 is isomorphic to M 3 relative to these opera-
tions. Prove that M 1 is isomorphic to M 3'
Remark. Combining this result with 2.1.6 and the fact that the relation
of isomorphism is symmetric, we can conclude that the relation of isomorphism
is an equivalence relation on the class of all sets which have operations.
2.1.17.1. Define an operation on a set X such that for any a, b, C EX,
1) aOa=a;
2) if a 0 b is defined, then a 0 b E {a, b} ;
3) if a 0 b is defined, then bOa is also defined and a 0 b = bOa;
4) if a 0 b = a and b 0 C = b, then a 0 c is defined and a 0 C = a.
Define a binary relation on X by a '" b(p) if a 0 b is defined and a 0 b = a.
Prove that p is an ordering relation.
2.1.18.1. Let p be an ordering relation on a set X. Define an operation on
X by a 0 b = bOa = a if a '" b(p) (a, b E X). Prove that this operation
satisfies each of the four conditions of the preceding problem.
Remark. Compare this result with 2.1.17.
course, other operations can be defined rather naturally on each of these sets,
but we shall only be interested in one operation at a time.)
The theory of sets with one operation is composed of a number of
particular theories which differ only in the basic properties which they satisfy.
Which properties are regarded as basic and, by the same token, how the
general theory is composed of course depends, to a considerable degree, on
the actual state of science at the given moment. The boundaries of these
disciplines are currently changing.
At the present time we regard the properties stated below as being basic.
These have been chosen because they fall into the separate divisions into
which the general theory of operations has been classified.
Let M be a set with an operation, which we shall denote by 0 (although
we have not used multiplicative notation, we shall usually do so in that which
follows).
(1) The operation is called closed if the result of the operation x 0 y
is defined for all elements x, y E M.
(2) The operation is called commutative if for each pair x, Y E M for
which the result x 0 y is defined, y 0 x is also defined and satisfies
xOY=YOx
(4) The operation is called left invertible if for each pair u, v E M there
exists an element x EM such that x 0 u is defined, and satisfies
xOu=v
(5) The operation is called right invertible if for each pair u, v EM there
exists an element y E M such that u 0 y is defined, and satisfies
UOy=v
xou=xOv
it follows that u = v.
Basic Properties of Operations 27
UOx=vOx
it follows that u = v.
The following concepts are closely related to the properties stated above
for an arbitrary operation.
An element e is called a left identity of M if for each x E M, eO x is
defined and satisfies
eOx = x
xOx'=x'Qx=e
x'=x- 1
2.2.1. Determine which of the basic properties hold, and find all identity
and zero elements, for the set of all real numbers relative to each of the
following operations:
1) addition;
2) multiplication;
3) subtraction;
4) division.
2.2.2. Determine the same questions as in 2.2.1 for each of the following
sets relative to each of the operations above:
1) the set of all natural numbers;
2) the set of all integers;
3) the set of all rational numbers;
4) the set of all positive numbers;
5) the set of all negative numbers.
2.2.3. Let M be the set of all continuous functions defined on the closed
interval [a, b]. Determine which of the basic properties are satisfied when
considering M relative to each of the operations below. Also find all identity
and zero elements of M.
1) addition of functions;
2) multiplication of functions;
3) subtraction of functions;
4) division of functions.
2.2.4. Prove that if a set M has both a left identity and a right identity, then
M has a two-sided identity e, in which case there are no left identities or right
identities other than e.
Remark. In particular, a set M can have at most one identity.
2.2.5. Prove that if a set M has both a left zero and a right zero, then M has
a two-sided zero 0, and there are no other left zeros or right zeros except O.
Remark. Hence it follows that a set M can have at most one zero.
2.2.6. Let N denote the set of all natural numbers. For each of the operations
stated below, determine which of the basic properties hold. Are there any
Basic Properties of Operations 29
identities or zeros (left, right, two-sided)? Which of the elements are indem-
potents?
1) a 0 b = c, where c is the greatest common divisor of a and b;
2) a 0 b = c, where c is the least common multiple of a and b;
3) aO b = ab ;
4) a 0 b = (a/b) + (b/a)
2.2.7. Consider the set of all complex square matrices of order n relative to
multiplication of matrices. Determine which of the basic properties are
satisfied. Is there a zero or an identity? Which elements have inverses?
2.2.8. Let p, q, and r be any fixed real numbers. Consider the set of all real
numbers relative to the operation defined by
aob=pa+qb+r
for all integers a and b. For what values p, q, r does this operation satisfy the
basic properties?
2.2.9.H. Consider the set Rx of all binary relations on a set X relative to
multiplication of binary relations. Which of the basic properties hold? Is there
a zero or an identity?
2.2.10. Let R denote the set of all positive real numbers relative to the
operation of finding the geometric mean, i.e., a 0 b = ,j(a· b) for all a, b E R.
What basic properties hold? Does R have a zero or an identity? Which
elements of Rare idempotents?
2.2.11. Let M be the set of all points in the plane. Let rand s be real numbers
such that 0 < r < 2n and s > o. Define an operation 0 on M by a 0 b = c,
where c is the point such that the distance from a to c is equal to s times the
distance from a to b and, for a ;/= b, the angle between the line through a and b
and the line through a and c is equal to r (measured in a counterclockwise
direction). Determine which of the basic properties are satisfied.
2.2.12. Let M be the set of all directed line segments in the plane, i.e., all
pairs of numbers (a, b). Define an operation on M in the following manner.
If (a, b), (c, d) E M then (a, b) 0 (c, d) is defined if the terminal end b of the first
segment coincides with the initial end c of the second, and
(al> a2, ... , an)o(bl> bg, ... , bn)=(at +b h a, +ag+b, +bg, ... ,
at +a\!+ ... +an+bt +b\!+ ••• +bn)
Prove that if each of the M ~ satisfies one of the basic properties, then M
also satisfies this property.
2.3.1. Let R be the multiplicative set of all rational nunibers, Z the set of all
integers, P the set of all positive rational numbers, and N the set of all
negative numbers. Find the following products:
Ia b C1 C2 d
a a a a a b
b a a a a a
c, a a a a a
c2 a a a a a
d b a a a a
4. Homomorphisms
A mapping qJ of a multiplicative set M 1 into a multiplicative set M 2 is
called a homomorphism if for any x, Y E M 1 the equality
holds in M 2 •
A one-to-one mappmg qJ which is a homomorphism is called an
isomorphism.
Note that for a homomorphism (and in particular for an isomorphism)
qJ(M 1) does not have to coincide with M 2' Indeed, qJ(M 1) is in general a
proper subset of M 2 .
If <p(M 1) = M 2 then the homomorphism qJ is sometimes called an
epimorphism. If <p is a homomorphism which is one-to-one, i.e., <p(x) '" <p(y)
if x '" y, then it is sometimes called a monomorphism.
34 Algebraic Operations of a General Type
2.4.1. Let C be the mUltiplicative set of all complex numbers and R the
multiplicative set of all real numbers. Which of the following mappings of C
into R are homomorphisms?
'fl(z)=lzl
'f2 (z) = I z 1+ 1
'fa (z)= 0
'fi (z)= 2
2.4.2. Let R be the multiplicative set of all rational numbers. Find all
homomorphisms qJ of R into R for which qJ(R) c;: { - 2, -1,0, 1, 2}.
2.4.3. Let M be the multiplicative set of all complex matrices of order n > 1,
and C the multiplicative set of all complex numbers. Define the mappings
qJl' qJ2' and qJ3 of Minto C by
Homomorphisms 35
tfda)=det a
tf'l (a) = all
tfa (a) =1
where det a is the determinant of the matrix a and all is the entry in the first
row and first column of a. Determine which of these mappings are homo-
morphisms.
2.4.4.T. Let cp be an isomorphism of a multiplicative set M 1 onto a multi-
plicative set M 2' Prove that M 1 and M 2 are isomorphic in the sense of
Chapter 2.1.
2.4.S.T. Prove that if two multiplicative sets are isomorphic in the sense of
Chapter 2.1, then there exists an isomorphism on M I onto M 2 .
Remark. Compare the results of 2.4.4 and 2.4.5.
2.4.6. Prove that if cp is an isomorphism of a multiplicative set M 1 onto a
multiplicative set M 2. then the inverse mapping cp - I (cf. Chapter 1.2) is
an isomorphism of M 2 onto MI'
2.4.7. Find all homomorphisms of the mUltiplicative set of integers of the
form sn(n = 1,2, 3, ... ) into itself. Which of these homomorphisms are iso-
morphisms?
2.4.8. Let M 1 and M 2 be multiphcative sets and cp a homomorphism of M 1
onto M 2' Show that if M 1 has any of the properties-associativity, com-
mutativity, left invertibility, right invertibility, left identities, right identities-
then M2 will also have the corresponding property.
2.4.9. Let M 1 be the multiplicative set of all positive integers and M 2 the
multiplicative set {O, 1}. Prove that the mapping cp of M 1 onto M 2 defined
by
cp(t)=l, cp(n)=O
is a homomorphism.
4) cp, (F)=ao +
an
5) CPG (F)=I an I
6) 96 (F) = c~ ( where c is any real number different from zero)
2.4.14.T. Let l' be a partition of a multiplicative set M. Prove that in order
for Mirto be a multiplicative factor-set (i.e., for l' to satisfy the property
stated in the introduction) it is necessary and sufficient that l' be a congruence
onM.
2.4.15. Partition the set Q of all rational numbers into three classes: Q+
consists of all positive numbers, Q- all negative numbers, and QO the number
O. Prove that this partition p is a congruence on Q. Construct the multiplica-
tion table for the multiplicative factor-set QIp.
2.4.16.T. Suppose T is a two-sided ideal of a multiplicative set M. Denote
by PT the partition of M in which T is one PT-class and all other classes of
Homomorphisms 37
5. Semigroups
A set which has a closed and associative operation defined on it is called
a semigroup with respect to this operation. Hence in the usual multiplicative
terminology a semigroup is a multiplicative set with an associative multiplica-
tion.
Let K be a subset of a semigroup S. A finite sequence of elements of K
written as a row of symbols without any marks separating them is called a
word over K:
where associativity does not hold, can have two different values, namely,
In a semigroup every word has a unique value (cf 2.5.1). Therefore when a
word is written
without any further information being given, then we mean the value of the
word in S. An element of the form
xx ... xx
~
n
is denoted briefly by x".
For K c S, the set of all elements which are values of different words over
K is denoted by [KJ., and often simply by [KJ. If K = {x, y, z, . .. } then
Semigroups 39
axa=a
2.5.I.T.H. Prove that every word in a semigroup S has a unique value (i.e.,
if we multiply pairs of adjacent elements of a given word in any order
whatsoever, the same element is always produced).
2.5.2. Prove that for any element a in a semigroup S
by
ajaj = bi]
and xy = 0 for all other cases.
1) Prove that S is a semigroup.
2) Find the types of all cyclic subsemigroups of S.
3) Which subsets of S are left, right, and two-sided ideals?
Semigroups 41
2.5.16.H. Prove that for each regular element a of a semigroup S there exists
an element asuch that
alia = a, Daii = ii
Remark. The elements a and a which satisfy the above equalities are
called inverses, * or regular conjugates.
2.S.17. Define an operation on the set of all sequences of four integers by
·We are following here the terminology of Clifford and Preston, The Algebraic Theory of
Semigroups. The terms "generalized inverses," "reciprocal elements," and "relative inverses"
are also used for this concept. [Trans.]
42 Algebraic Operations of a General Type
xz=zx
The set Z of all such elements z is called the center of the group G. If the center
of G contains more than one element (cf 2.6.32), then we say that the group G
has nontrivial center.
A nonempty subset H of a group G is called a subgroup of G if H is closed
relative to the operation on G and if the inverse of each element of H also
belongs to H. (This latter condition can be stated by saying that H is closed
relative to the operation of taking inverse elements.) If H 1= G and H 1= eG ,
then H is called a proper subgroup of G.
A subgroup H of a group G is called normal (or a normal divisor of G) if
a-1xa EH
[Kl g = [K UK'ls
always holds, where K' is the set of all elements of G which are inverses of
elements of K.
Where no confusion can arise as to the difference between group-
theoretic and semigroup-theoretic generators, we will omit the expression
"in the sense of the theory of groups." We will also omit the subscript g, and
write [K] instead of [K]g. Those chapters which are entirely devoted to
groups will be treated similarly.
Let us point out that in the literature the notation {K} is often used
instead of [K]. We have not adopted this notation here, even though it is
customary in group theory, because such braces are used in the general
theory of sets in a way that may lead to confusion.
If 1-1 is a subgroup of a group G for which there exists an element X E H
such that H =; [x]g, then H is called the cyclic subgroup of G generated by the
element x. If H = G then G is called a cyclic group.
Let x be an arbitrary element in a group G. If there exists a positive
integer n such that x" = eG' then the smallest such integer is called the
order of the element x. If no such integer exists we say that x has infinite order.
44 Algebraic Operations of a General Type
2.6.1.T. Prove that a set G with an operation is a group if and only if the
operation satisfies the following properties:
1) closure;
2) associativity;
3) the existence of a two-sided identity e;
4) the existence for each element x E G of an inverse element (i.e., an
element X-I such that XX-I = x- I X = e).
Moreover, the inverse of each element is unique. Prove.
Remark. This system of four conditions is often taken as the definition
of a group. Many other equivalent definitions exist (see, for example, 2.5.25
and 2.5.26).
2.6.2.T. Let <p be a homomorphism of a group G onto a multiplicative set M.
Prove that M is a group, <peG is the identity of the group M = <pG, and for
any xeG the element <p(x- I ) is the inverse of <px [i.e., (<pX)-1 = <p([I)].
2.6.3. In the multiplicative set M of all n x n complex matrices, determine
which of the subsets consisting of the following matrices are groups:
1) the real matrices in M;
2) the nonsingular matrices in M;
3) the real nonsingular matrices in M with positive entries;
4) the nonsingular diagonal matrices in M;
5) matrices of the form
o 0 ••. 0 ann
au ali 0 ... 0
ail a220 ... 0
o 0 0 ... 0 (al1a2~ - alia~1 *' 0)
o 0 0 0
Elementary Concepts of the Theory of Groups 45
a21 ° a23 a 2n
(o1- ~)
l'
(10 1)l ' (l0 - l0) ' (-2+3l
1- I
-2+21) (2 1)
3 - 2i' 1 1
2.6.7.T. Let x be an element of finite order n in a group G. Prove that all of
the elements
X g = {e, x,
[] ~
X, ••• , x n-l}
where ° ~ k, I < n (note that in the second case, obviously 0 :::; k + I - n < n).
46 Algebraic Operations of a General Type
2.6.8. Let x be an element of infinite order in some group. Prove that for any
integers n ::f. rn, we have x" ::f. xm.
2.6.9. Let x be an element of a group. Prove that [xJg is a subgroup (and, by
definition, cyclic) and that the order of [x]g is equal to the order of the
element x.
2.6.10. Prove that two cyclic groups are isomorphic if and only if they have
the same order.
2.6.11. Let G be a cyclic group of order 15. Find the number of elements
x E G such that
2.6.12. In a cyclic group of order 20, find the number of distinct irreducible
generating sets consisting of two elements each.
2.6.13. Suppose that for the three elements x, u, v of a group G,
where p and q are relatively prime integers. Prove that for some relatively
prime integers p' and q' we have
II = x P', V = x q'
2.6.14. Let the order of an element x of a group G be pq, where P and q
are relatively prime. Prove that there exist elements u and v in G such that
X=UV=Vll, uP=e, V9 =e
2.6.15. Assume that the four elements U I , VI' U z , V z of a group satisfy the
equations
lllVl = VIllI = IlgVg = V211~,
ll~ = u{ = vy = v~ = e
where p and q are relatively prime. Prove that
2.6.17. In every group G both G itself and the subset consisting of the
identity element eG are normal subgroups of G. Prove.
2.6.1S.T. Prove that a nonempty subset H of a group G is a group with
respect to the operation defined on G if and only if H is a subgroup of G.
Let eG be the identity of G and eH the identity of H; let x' be the element
in G which is the inverse of x E H. Prove that eG = eH and that x' E H.
2.6. 19.T. Let H be a subgroup of a group G and x E H. Prove that
xH = Hx = H.
2.6.20. Let K be any nonempty subset of a group. Prove that
[K]g=K
holds if and only if K is a subgroup of the group.
2.6.21.T.H. Let G = [x]g be a finite cyclic group of order n. For a natural
number d which is a divisor of n, denote by Hd the set of elements
Xd, x2d, X 3d , ... , x(n/d)d = xn. Prove that:
1) Hd is a subgroup of G;
2) if d l i= d2 then Hdl i= Hdz ;
3) G has no other subgroups except Hd , where d runs over the set of all
divisors of n.
2.6.22.T.H. Let G = [x]g be an infinite cyclic group. For each nonnegative
integer m denote by H m the set of elements ofthe form xkm (k = 0, ±1, ± 2, ... ).
Prove that:
1) H m is a subgroup of G;
2) if m1 i= m 2 , then Hml i= Hm2 ;
3) the Hm are the only subgroups of G.
2.6.23.H. Prove that every infinite group has an infinite set of subgroups.
2.6.24.T.H. Find all groups which have exactly (1) one subgroup, (2) two
subgroups, and (3) three subgroups.
2.6.25. In the multiplicative group of all complex numbers different from
zero, find:
1) [l]g
4) [ - ~ t]g
5) [2, - 5]g
[K]g=lKl,
2.6.30. Suppose all elements (different from the identity) of a group G have
order 2. Prove that G is abelian.
2.6.31. Let H l' H'l , H 2 ,H~ be subgroups of a group, where H 1 c H'l and
H 2 C H~. Prove that
xH=Hx
for all XE G.
2.6.36. Let H be an arbitrary subgroup of a group G, and N a normal
subgroup of G. Prove that H N is a subgroup of G, and that H N = N H.
Elementary Concepts of the Theory of Groups 49
where e = ± 1.
Prove that G is a group. Prove that HI = [(1,0, 1), (0, L l)J g is a normal
subgroup of G and H 2 = [(1,0, l)Jg is a normal subgroup of HI· Is H 2 a
normal subgroup of G?
Remark. Compare this result with 2.6.26.
2.6.39. In the set Q consisting of the elements 1, -1, i,j, k, - i, - j, - k (here
the minus sign plays no other role than to distinguish elements which are
distinct), an operation is given by the multiplication table
-\ -i -j j -k k
-I -i i -j j -k k
-1 - \ 1 I -i j -j k -k
-i 1 - \ -k k j -j
-i -i -1 k -k - j j
j j -j k -k 1 -1 - I
-j -j j -k k -1 -i
k k -k - j j - i 1 -I
-k --k k j -j -i -I 1
Prove that Q is a group. Find all subgroups of Q, and show that each of these
is a normal subgroup of Q.
Remark. The group Q is called the quaternion group. It plays a very
important role in all of algebra.
2.6.40.T. Prove that if an infinite group has a finite or a countable generating
set, then it is countable.
Chapter 3
COMPOSITION OF TRANSFORMATIONS
(
X, y, z, ... )
x', y', z', .. .
51
52 Composition of Transformations
(
X, y, z, ... )
ex = exx, exy, exz, .. .
The commas in this notation will, as a rule, be omitted.
Each transformation can be viewed as a permutation, even for infinite
sets. However, it is clear that the actual permutational notation is possible
only in the case of a transformation of a finite set.
The cardinality of the set exX, i.e., the cardinality ofthe set ofall images
under the transformation ex, is called the rank of ex, denoted by rex.
The transformation i defined by ix = x for all x E X is called the identity
transformation. It is obvious that i is the identity of Tx.
F or a given set X, every set oftransformations of X which is a semigroup
with respect to the multiplication of transformations defined above is called a
semigroup of transformations.
The only operation of transformations which we shall consider in this
section is the mUltiplication (composition) introduced above.
One should keep in mind that in some books the transformation ex which
is obtained by first applying p and then y (which we have denoted by ex = yP)
is denoted by py. This notation is quite natural when mappings are written
on the right, as opposed to what was stated in the beginning of the introduc-
tion to Chapter 1.2. Indeed, it is natural to write x(py) = (xP)y in this case.
Throughout this book we shall write mappings and transformations on
the left, and multiplication of transformations will always be carried out as
was shown first.
ex = (1 2 3 4 5 6 7 8) (1 2 3 4 5 6 7 8)
38124567 P= 21231838
( 1 2 3 4 5 6 7 8)
y = 2 8 1 384 5 6
Properties of the Composition of Transformations S3
(1 2 3 4 5 6 7) (1 2 3 4 5 6 7)
rJ.= 2313212 p= 2323112
Find the types of rJ., p, rJ.p, and prJ. in the semigroup Tx.
3.1.4. Let X be the set of all real numbers. What basic properties does the
operation of composition satisfy for each of the following sets of real functions
defined on X:
1) all polynomials;
2) all polynomials of even degree;
3) all polynomials of odd degree;
4) all polynomials of degree one;
5) all polynomials of degree one whose leading coefficient is one;
6) all power functions (i.e., functions of the form f(x) = xn for any
natural number n)?
3.1.5. Let X be the set of all real numbers. Find the zeros (left, right, two-
sided) with respect to the operation of composition for each of the following
sets of real functions defined on X :
1) all continuous functions;
2) all continuous functions which are equal to the identity on the
interval [0, 1](i.e.,J(x) = x for all x E [0,1]);
3) all polynomials of even degree;
4) all polynomials of odd degree.
3.1.6. Let X by any set consisting of at least two elements. Find all left zeros
of the semigroup Tx , and show there are no right zeros.
3.1.7. Let X be the set of all real numbers. Which of the following sets of real
functions defined on X are semigroups? Which are groups?
1) The sets given in 3.1.4;
2) sets given in parts (1) and (2) in 3.1.5;
3) all even functions [f( -x) = f(x)];
4) all odd functions [f( - x) = - f(x)] ;
5) all bounded functions (for each function f there exists a number
M f > 0 such that If(x)1 ~ M f for all x);
6) all functions which assume the value 0 at x = 1.
3.1.S. Let X be the set of all points in the plane, rJ. the projection onto a given
line 1, and p the symmetry with respect to a point lying on 1.
1) Prove that the transformations IX and p commute.
2) Find the types of IX and fJ in Tx.
54 Composition of Transformations
3.1.9. Let X be the set of points in the plane, rx the symmetry with respect to
a line 11 and 13 the symmetry with respect to a line 12 which is parallel to /1 ,
Prove that ap and pa are parallel translations.
3.1.10. Prove that every parallel translation ofthe plane is the product of two
symmetries with respect to parallel lines.
3.1.11. Let X be the set of real polynomials, rx, 13, Yc E Tx (c is any real num-
ber).
a[f(x)] = f2(X)
P[f(x)] = f'(x)
Yc[f(x)] = cf(x) [f(x) E X]
Which of these transformations commute?
3.1.12. Let X = {I, 2, ... , n}, a E Tx ,
rx = (1 2 n 3 4 ... n - 1)
33311 ... 1
Find all transformations 13 E Tx which commute with rx.
3.1.13. Let N be the set of all natural numbers, rx, /3 E TN'
ex(n) = n + I (nE N),
n - I,n > 1
p(n) ={ (nEN)
1, n = 1
( 1 2 3 ... n ... )
1 2 3 ... n ... )
( /3=
a= 234 ... n+l .. . 112 ... n-l ...
Find all inverses of ex and /3 in:
1) the semigroup TN;
2) the semigroup [a, 13]. (see 2.5.16).
3.1.15. Prove that Tx is a regular semigroup for any set X.
3.1.16. Let a be a transformation of a set X, and let P~ be the binary relation
on X defined by (x, y) E p~ if ay = x. Prove that:
1) P~PfJ = P~fJ for all a, 13 E Tx;
2) P~ # ppifa # 13;
3) the set of all binary relations P~ (a E Tx) is a semigroup with respect to
the operation of multiplication of binary relations, and that this
semigroup is isomorphic to Tx;
4) Pi (i is the identity transformation) is the diagonal.
Properties of the Composition of Transformations 55
( 1 2 3 4 5 6 7 8) ( 1 2 3 4 5 6 7 8)
P= 3 1 3 8 141 8 ~1 = 3 8 1 7 5 6 4 2
( 1 2 3 4 5 6 7 8) ( 1 2 3 4 5 6 7 8)
~2 = 4132454 1 ~3 = 3 1 6 3 6 8 4 6
Whichoftheequations~iY = P(i = 1,2, 3)are solvable? How many solutions
does each solvable equation have?
3.1.22. Let ~,P E Tx. In order for the equation ~Y = P to be solvable it is
necessary and sufficient for pX c ~X. Prove.
3.1.23. For which pairs of transformations ~,P E Tx does the equation
rxy = p have a unique solution?
S6 Composition of Transformations
1 2 3 n 000)
000 1 2 000 n 0 0 0)
a1 =( a2 = (
112ooon-1ooo 24 000 2n ...
_ (1 2 3 4 5 .. 2n 2n +1 .
a3
0 0 .)
-
12244 ... 2n 2n ...
Which of the equations ya j = fJ are solvable? Which of these have unique
solutions?
3.1.25. For what pairs of transformations a, fJ E Tx is the equation ya = fJ
solvable? When does a unique solution exist?
Remark. It follows from 3.1.22 and 3.1.25 that composition of transfor-
mations is neither left nor right invertible.
3.1.26.H. Find the conditions under which
1) a transformation a is a right divisor of the identity transformation i
in the semigroup Tx;
2) a transformation a is a left divisor of i in Tx;
3) a transformation C( is idempotent.
3.1.27. Let X be the unit interval [0, 1] and let T c Tx be the set consisting
of all transformations of the form
0, if x < c
C( x ={
c 1, if x ~ c
O, if x :(; c
fJ x = {
c 1, if x>c
where c is any real number in X.
1) Prove that T' is a semigroup.
2) Find all idempotents in T'.
3) Find all left and right ideals of To
3.1.28. Let X = {1, 2, 3, 4, 5, 6, 7, 8}. Which of the following subsets of Tx
are normal subsets:
1) all transformations whose rank does not exceed three;
2) all transformations of rank 5 ;
3) the set of all transformations X M of rank 6 satisfying the properties:
foranyrx,fJEXM,exX = fJX = M,andrxx = rxyifandonlyiffJx = fJy
(X,YEX, M s;;: X);
Properties of the Composition of Transformations 57
(
I 2 3 4 5 6 7 8)
(
I 2 a4 5 6 7 8)
38385513' 83831158
1 2 3 4 5 6 7 8)
( ( 1 2 3 4 5 6 7 8)
51513385' 1 5 1 588 3 1
5) the set of permutations
I 2 3 4 5 6 7 8) 1 2 3 4 5 6 7 8)
( (
38137562' 4425831 7
3.1.29. Let a be any real number, and let A be the set of real functions f(x)
which are differentiable at a and such that f(a) = a. Prove that:
1) A is a semigroup with respect to composition of functions;
2) the mapping {} defined by (}[f(x)] = f'(a) [f(x) E A] is a homomor-
phism of A into the multiplicative semigroup of real numbers.
3.1.30. Let X be any set. Let n be a fixed natural number. Show that the set
J n of all transformations in Tx whose rank is less than n is a two-sided ideal
of the semigroup Tx.
3.1.31.". Prove that if J is a two-sided ideal of the semigroup Tx and IY. E J,
rIY. = n (n is a natural number), then J contains every transformation whose
rank does not exceed n.
3.1.32. Let X = {I, 2,3,4,5,6,7, 8}. Which of the following subsets of Tx
are groups:
{( I 2 3 4 5 6 7 8) (1 2 3 4 5 6 7 8)
1) M 1 = 167 1 16 7 6' 7 1 677 1 6 1 '
(1 2 3 4 5 6 7 8
7
)}
,6 7 1 6 6 7 1
1 2 3 4 5 6 7 8)J
2) M~ = [( 2 2 2 3 5 5 6 6 s
3) Ma = [( 2I 32 34 41 56 67 87 58)J s
4) {( I 2 3 4 5 6 7 8) ( 1 2 3 4 5 6 7 8)
M4 = 3 3 3 6 3 6 3 6 ' 666 1 6 1 6 1 '
I 2 3 4 5 6 7 8)
( ( 1 2 3 4 5 6 7 8)}
11161616' 6 6 6 3 6 3 6 3
58 Composition of Transformations
2. Invertible Transformations
Let C( be a transformation of a set X. The transformation C( - 1 of the same
set X is called the inverse of C( if c(c( - 1 = i = C( - 1 c(, where i is the identity
transformation.
A transformation is called invertible if it has an inverse.
We will show (see 3.2.7 and 3.2.8) that a transformation is invertible
if and only if it is one-to-one and onto. Hence, if an invertible transformation
is written as a permutation, then all elements of X appear in the lower row
of the permutation and are distinct.
The set of all invertible transformations of a set X is a group with respect
to composition of transformations. The identity transformation is the
identity of this group (see 2.2.6). Any subgroup of this group, including the
group itself~ is called a group of transformations.
Invertible Transformations 59
3.2.1. Which of the transformations in 3.1.2 and 3.1.4 are left or righ t divisors
ofthe identity transformation? Which are invertible? Find the inverses ofthe
invertible transformations.
3.2.2. Let X be the set of all real numbers. Which of the following functions
defined on X are invertible transformations of X:
1) f1(X) = xn (n natural number);
2) f2(X) = 22x;
3) f3(X) = mx + b(b,mEX,m =1= 0);
4) f4(X) = sin x?
3.2.3. Let a be an invertible transformation of X, and let P~ be the binary
relation on X defined in 3.1.16. Find
1) pr 1 Pa andpr 2 Pa.;
2) the left and right cuts of the relation Pa. over each element.
3.2.4. Prove that every invertible transformation has a unique inverse.
3.2.5. Let rx and f3 be invertible transformations of a set X. Prove that rxf3 is
invertible, and find its inverse.
3.2.6.T.H. Prove that the set of all invertible transformations of an arbitrary
set X is a group of transformations. What is the identity of the group? Find
the inverse element of each transformation a in the group.
3.2.7.T. Show that an invertible transformation a of a set X satisfies the
following two conditions:
1) c( is one-to-one, i.e., ax =1= ay for all x, y EX, x =1= y;
2) aX = X, i.e., for each y E X there exists x E X such that ax = y.
3.2.8.T.H. Prove that every transformation satisfying conditions (1) and (2)
of the preceding problem is invertible.
3.2.9.H. Suppose an invertible transformation a of a set X is given by a
permutation,
rx = (a a c ... )
a' b' c' .. .
Write a- 1 in permutational form.
3.2.10. Which of the two conditions of 3.2.7 are satisfied for the transforma-
tions given in 3.1.11, 3.1.19, and 3.1.36?
3.2.11. Using problems 3.2.7 and 3.2.8, determine which of the following
transformations are invertible, and find the inverse of each:
1) the transformation gi yen in 1.2.5;
2) the transformation given in 1.2.6;
3) the transformation given in 1.2.8;
4) the transformations referred to in the preceding problem.
60 Composition of Transformations
How many invertible transformations of the set of variables {Xl' X2, X3, x4 }
do not change f(x l , X 2 , X 3 , x 4 )?
3.2.21. Let
= n
j<.i
(Xi -Xj)
62 Composition of Tratlsfonnations
(
Xl X2 •. , Xk - l Xk YI ... Yn~k)
X 2 X3 ... X k Xl Yl ... Yn-k
(1 2 3 4 5 6 7 8 9)
y = 965 1 8 7 234
3.3.S.T. Prove that every permutation can be decomposed into a product of
disjoint cycles.
3.3.6. Let
(X = (XllX12'" XlkJ(X21 X 22 ••• X2k)'" (XIlXI2" ,Xlk )
Prove that
(X-I = (X 1k / ••• XI2XIl)'" (X2k 2 '" X22X21)(Xlk, .•. X 12 X ll )
3.3.12. Find all elements of the group Sn which commute with the cycle
(x t ,x2 , ••• ,xn ), where X1'X2""'Xn is a permutation of the numbers
1,2, ... , n.
3.3.13. Find all elements in S10 which commute with the permutation
IX = (XIX2X3X4X5)(X6X7XSX9XlO) E S1O, where all of the Xi' i = 1,2, ... ,10, are
distinct.
3.3. 14.H. Prove that every permutation can be decomposed into a product of
transpositions.
3.3.15. Let
= (123)(456789), ( 1 2 3 4 5 6 7 8 9)
IX
P= 1 594 768 2 3
Prove that:
1) IX can be decomposed into a product or9, 11, and 15 different trans-
positions, but cannot be decomposed into a product of 5 transposi-
tions;
2) p can be decomposed into a product of 4, 6, 8, and 10 different
transpositions;
3) IX can be decomposed into a product of any odd number of trans-
position greater than five;
4) p can be decomposed into a product of any even number of trans-
positions greater than two.
3.3. 16.H. Prove that any two distinct decompositions of a given permutation
into transpositions have the same parity.
3.3.17.T.H. Prove that the set of all even permutations of degree n is a
subgroup of Sn, and that it has order n !f2.
3.3.18. Prove that the subset
K = {e, (12)(34), (13)(24), (14)(23)}
of the group S4 is a commutative subgroup. Construct the multiplication
table for K.
Remark. The group K is called the Klein group or the Jour-group.
3.3.19.H. Prove that each of the following sets of permutations generates the
symmetric group Sn:
1) the set of all cycles;
2) the set of all transpositions;
3) the set of transpositions (1 2), (2 3), ... , (n - 1 n);
4) the set of transpositions (1 2), (1 3), ... , (1 n);
5) the set consisting of the two permutations (X 1X2) and (X 1 X2 ••• x n),
where X t , X2"'" Xn is any permutation of the numbers 1,2, ... , n.
Endomorphisms 65
3.3.20. Prove that each of the following sets generates the alternating group
of degree n:
1) the set of all 3-cycles;
2) the set of cycles (123), (124), ... , (12n).
3.3.21.". Prove that each of the following sets is an irreducible generating
set for S6:
3.3.22. Let A be a generating set for the group S4 consisting of two elements.
Prove that neither of these elements can belong to the Klein group (see
3.3.18).
3.3.23.". Prove that for every ~ E Ss«(X -:f. e), there exists f3 E Ss such that
Ss = [~, f3J.
3.3.24.". A permutation is called regular if it can be decomposed into
disjoint cycles of the same length. Prove that every power of a cycle of
degree n is a regular permutation. Prove that the length of each of the disjoint
cycles in this decomposition divides n.
3.3.25. Prove that every regular permutation is a power of some cycle (see
3.3.24).
3.3.26.". Let ~ and ~' be regular permutations (see 3.3.24) which commute,
are of degree mn (where m and n are relatively prime), and do not have fixed
points. Suppose in addition that (1 has order m and (1' has order n. Prove that
(1~' is a cycle of length mn.
3.3.27. For what integers m do there exist elements in the symmetric group
S4 of order m?
4. Endomorphisms
3.4.1. Consider the set R of all real numbers with respect to the usual order-
ing. Which functions define on all of Rare endomorphisms?
3.4.2. Define a binary relation p on the set N of natural numbers by (m, n) E p
if n divides m. Which of the following transformations of N are endo-
morphisms:
1) the transformations a and f3 in 3.1.14;
2) the transformation, defined by Tn = n2 (n E N);
3) the transformation y defined by
I, ifn = 1
yn ={
Pn' ifn> 1
where PH is the largest prime which divides n;
4) the transformation Dm defined by Dmn:;: mn, where m is a fixed natural
number, n E N?
Endomorphisms 67
3.4.3. Let N denote the set of all natural numbers. Which of the transforma-
tions defined in 3.4.2 are endomorphisms of N preserving the operation of
addition or multiplication?
3.4.4. Define an operation on the set 2 of integers by m 0 n = m +n if
m and n are natural numbers, and undefined otherwise.
1) Prove that the transformation a defined by
2/, if 1 ~ 0
a(l) = { -I, if I < 0 and is odd
lj2, if 1 < 0 and is even
is an invertible endomorphism of 2.
2) Is a an automorphism of 2?
3.4.5. Let A be a set on which a closed operation is defined. Prove that every
invertible endomorphism of A is an automorphism.
Remark. Compare this result with the preceding problem.
3.4.6. Prove that the transformation a in 3.2.12 is an automorphism of X
with respect to the usual operations addition, subtraction, multiplication,
and division. Further, show that a leaves each rational number fixed.
3.4.7.T. Let a family of relations be defined on a set X. Prove that the set of
all endomorphisms of X which preserve these operations forms a semigroup
under multiplication (composition) of transformations.
3.4.8. Let A be a multiplicative set, a E A, and rJ. a the transformation of A
which maps each element of A onto a. Prove that rJ. a is an endomorphism of A
if and only if a is an idempotent.
3.4.9. Let Q denote the additive group of rationals, r E Q. Prove that the
transformation A, defined by Ar(x) = rx(x E Q) is an endomorphism of Q.
3.4.10. Let Q be the additive group of rationals. Prove that the semigroup of
endomorphisms of Q consists of all An r E Q(see 3.4.9).
3.4.11.T. Using the results of the last two problems, prove that every endo-
morphism of the additive group of rational numbers, different from the null
endomorphism, is an automorphism (the null endomorphism maps each
number onto zero).
3.4. 12.T. Let X be a set on which a family of relations is defined. Prove that
the set of all automorphisms of X which preserve these relations forms a
group of transformations.
3.4. 13.H. Let X be a finite set on which a family of relations is defined.
Prove that every invertible endomorphism of X is an automorphism. Does
this statement hold for any set X?
3.4.14. Let G denote the group of all nonsingular 2 x 2 matrices with
rational entries, d the determinant of the matrix A E G, written in the form
68 Composition of Transformations
d = (m/n)2'A, where m and n are odd, and lA is an integer. (It is obvious that
every rational number d can be written in this form.)
1) Prove that the transformation a E TG defined by
1 IA)
a(A) = ( 0 1
3.4.33. Let X be the ordered set in problem 3.4.18. Prove that the semigroup
of endomorphisms of X is regular.
3.4.34.H. Prove that the semigroup of endomorphisms of the ordered set X
in problem 3.4.17 is not regular.
5. Groups of Isometries
Let R be the set of all points on the real line. A transformation of R
which preserves the distance between any two points on R is called an
isometry of R.
For each nonnegative real number c we define the binary relation Pc
on R by (PI' P2 ) E Pc ifthe distance between the points PI and P2 is c. Then the
isometries of R are the only endomorphisms of R which preserve all of the
relations Pc.
In addition to isometries of the line we also consider isometries of the
plane and of space, i.e., transformations which preserve the distance between
any two points. As in the case of lines, isometries of the plane and of space
are those endomorphisms which preserve all of the Pc.
Every transformation which is the result of a rigid displacement is
obviously an isometry. Such isometries are usually called isometries of the
first kind. There are isometries which are not of the first kind. For example, a
reflection of the plane about a line (otherwise called a symmetry with respect
to the line) is an isometry which is not of the first kind. Isometries not of the
first kind are said to be isometries of the second kind. However, we shall not
have any occasion in this book to distinguish between these two kinds of
isometries.
Each of the sets of isometries of (1) the real line, (2) the plane, and (3)
space is a group oftransformations (see 3.5.1). Subgroups ofthese groups are
called groups of isometries.
Let X be the set of all points on the real line, plane, or space, and let F
be a figure in X (i.e., F is a subset of X). By a self-coincidence of F in X we
mean an isometry of X which maps F onto itself.
For each figure F in X we define the binary relation !F on X by
(PI' P2 ) E!F if PI' P2 E F. We will prove that the set of self-coincidences of F
consists of all automorphisms of X with respect to TF and all relations Pc
defined above (see 3.5.11). Hence it follows that the set of all self-coincidences
of a figure is a group of transformations.
We can say that the group of self-coincidences of a figure characterizes
the "degree of symmetry of the figure." In other words, determining the
group of self-coincidences of a figure F is equivalent to knowing its symmetry.
The determination of the symmetry of F is often very important in the study
of its structure. In particular, an important facet in crystallography is the
study of the group of self-coincidences of figures having special forms.
Groups of Isometries 71
3.5.1. Let X be the set of points on the real line, plane, or space. Prove
that:
1) every isometry of X is an invertible transformation;
2) the set of all isometries of X is a group of transformations.
3.5.2. Prove that the group of all isometries of the real line has a subgroup
which is isomorphic to the additive group of real numbers.
3.5.3. Find all elements of finite order and of order two in the group of all
isometries of the plane.
3.5.4. Prove that the set of all axial symmetries (reflections about an axis)
of the plane is a generating set for the group of all isometries of the plane.
3.5.5. Prove that the set of all parallel translations of the plane is a normal
subgroup of the group of all isometries of the plane.
3.5.6. Let F be a figure in space, and let G be the class of all isometries of
space for which any point in F is a fixed point. Prove that G is a group of
isometries.
3.5.7. Find the order of the group G in the preceding problem where
1) F is a line;
2) F consists of two intersecting lines;
3) F consists of two skew lines.
3.5.8. Let F be a figure in space and A the set of all isometries rx of space with
rx(F) ~ F. Prove that A is a semigroup with an identity. For what elements
rx E A is rx - 1 E A?
3.5.9. For which of the following figures will the semigroup A in the pre-
ceding problem be a group:
1) a sphere;
2) a half-plane;
3) a regular polyhedron?
3.5.10. Let F be the set of all points in the first quadrant of the plane and A
the semigroup defined in problem 3.5.8. Prove that the only subgroup of
[A]g is the set consisting of all elements of infinite order in [A]g and the identity
of this group. Describe this subgroup.
3.5.11. Let F be a figure on the line, plane, or space. Prove that the self-
coincidences of F are either automorphisms with respect tor F or relations
Pc (see the text, above).
3.5.12. What is the order of the subgroup of all self-coincidences of each of
the following figures in the group of all isometries of the line:
1) a ray;
2) the unit interval;
3) the figure consisting of an infinite set of disjoint closed intervals of
equal length which are so situated that for each closed interval there
exist closed intervals lying to the left and right of it and the distance
72 Composition of Transformations
between the ends of any two adjacent closed intervals is some fixed
constant?
3.5.13. Find the subgroup G of all self-coincidences of a line in the group of
all isometries of the plane. Prove that G is an infinite, nonabelian group.
3.5.14. Find the subgroup of all self-coincidences of each of the following
figures in the group of all isometries of the plane:
1) a rhombus;
2) a square;
3) an isosceles triangle.
3.5.15. Let the vertices of a regular n-gon (i.e., a regular polygon with n sides)
with center 0 be Al , A 2 , ••• , An' and let B l , B2 , ••• , Bn be the midpoints
of the sides (where Bj is the midpoint of AjAj+ 1 for i = 1,2, ... , n - 1, and
Bn is the midpoint of AnAl). Let F be a figure which is composed of all the-
triangles OAjBj, i = 1,2, ... , n. Prove that the set of all self-coincidences of
F is a cyclic subgroup of the group of all isometries of the plane. What is the
order of this subgroup?
3.5.16. Find the subgroup of self-coincidences of a regular n-gon in the
group of all isometries of the plane.
3.5.17. Suppose that a figure F consists of two equal squares having a
common vertex and so situated that the diagonals of the squares lie on the
line passing through the common vertex. Find the subgroup of all self-
coincidences of F in the group of all isometries of the plane.
3.5.18. Prove that every group of self-coincidences of a polyhedron with n
vertices F is isomorphic to a subgroup ofthe symmetric group Sn.
3.5.19. Prove that the group of self-coincidences of a regular n-angular
pyramid (n ~ 4) is isomorphic to the group of self-coincidences of a regular
n-gon.
3.5.20. Prove that the group G of all self-coincidences of a regular n-angular
pyramid (n > 4) possesses a unique commutative subgroup of order n.
Describe this subgroup (see the preceding problem).
3.5.21. Let G be the group in problem 3.5.20. For what values of n do any
two distinct reflections about a plane of symmetry of the pyramid form a
generating set for G?
3.5.22. An n-angular dihedron is a body consisting of an n-angular pyramid
and its mirror image in the plane of the base. What is the order of the group of
self-coincidences of an n-angular dihedron for n i= 4?
3.5.23. Prove that the set
Q= {e, (12), (34), (35), (45), (345), (354), (12)(34), (12)(35),
(12)(45), (12)(345), (12)(354)}
is a group which is isomorphic to the group of self-coincidences of a triangular
dihedron.
Groups of Isometries 73
3.5.24. Let P be a vertex of a regular tetrahedron T. Prove that the set of all
self-coincidences of Twhich leave P fixed is a group which is isomorphic to
83 ,
3.5.25.H. Describe the group G of self-coincidences of a regular tetrahedron
and prove that G is isomorphic to 8 4 ,
3.5.26. Let cp be any isomorphism of the group of self-coincidences of a
regular tetrahedron onto 8 4 (cf. the preceding problem). Which of the self-
coincidences correspond to elements in A4 under cp?
Remark. These self-coincidences of a tetrahedron form the so-called
rotation group of a regular tetrahedron.
3.5.27. Prove that the set of all self-coincidences of a cube which leave a given
vertex A fixed is a group. Describe this group.
3.5.28.H. What is the order of the group of all self-coincidences of a cube?
3.5.29.H. Prove that the set G of rotations of a cube about all axes of
symmetry is a subgrou p of the group of self-coincidences of a cube, and that
G is isomorphic to S4 (this group is called the rotation group of a cube).
3.5.30. Prove that the set of rotations of a cube about its diagonals and about
the lines connecting the midpoints of opposite edges is a subgroup of the
rotation group of a cube (see 3.5.28). What subgroup of S4 is this group iso-
morphic to?
3.5.31. An icosahedron is a regular polyhedron which is bounded by 20
triangles. Describe the group of all self-coincidences of an icosahedron which
leave a given vertex P fixed.
3.5.32.H. Prove that the order of the group of self-coincidences of an icosa-
hedron is 120.
3.5.33. Let F be a figure consisting of all points P with coordinates
6. Partial Transformations
Let X be a set; a partial transformation of X is a mapping a of a subset
M of X into X.
The set N = a(M) will be denoted by ra, and M, the domain of a, will be
denoted by da. By using this notation we can say that a is a mapping of da
onto ret.
For convenience we consider the empty transformation () to be a partial
transformation, where d() and r() are the empty set.
For a given partial transformation a, it is sufficient to give da and a
rule which associates an element ax E X with each x E da. The set ra will then
be completely determined.
The set of all partial transformations of a set X will be denoted by Px.
If da = X, then the partial transformation a becomes a usual transforma-
tion of X (cf. Chapter 3.1). Consequently, Tx (the semigroup of all trans-
formations of X) is contained in P x.
We define an operation of multiplication (composition) on the set P x in
the following way: if a, f3 E Px , then y = af3 is the transformation such that
dy consists of all x E df3 with f3x E da, and yx = a(f3x) for all x E dy.
If a, f3 E 'IX, then it is obvious that the multiplication defined here coin-
cides with the multiplication of transformations defined in Chapter 3.1.
Let a E Px ' Define the binary relation PI1 on X by (x, y) E PI1 if Y E da
and ay = x. Obviously pr 1 PI1 = ra and pr2PI1 = da. We will say that the
binary relation PI1 corresponds to the transformation a.
We will prove (see 3.6.15) that distinct binary relations correspond to
distinct partial transformations, and that PI1PP = Pl1.p (a, f3 E Px). Consequently,
multiplication of partial transformations can be considered as a particular
case of multiplication of binary relations.
One-to-one partial transformations, i.e., one-to-one mappings of one
subset of X onto another, playa very significant role.
If a is a one-to-one partial transformation of X, then its inverse a- 1
exists, and is also a one-to-one partial transformation (Chapter 1.2). Obviously
PI1- 1 = (PI1.)* (cf· Chapter 1.3).
If a is a partial transformation such that da = ra = M and ax = x for
every x E M, then a is called the partial identity on the set M, denoted by eM'
As with ordinary transformations, partial transformations can be written
as permutations by placing the elements of da in the upper row and writing
the image of each directly below it.
Suppose X is a set of real numbers. Each real function f(x) determines
a partial transformation (X on X, where d(X is the domain off(x) and (Xx = f(x)
for all x E da. The converse also holds: each partial transformation of X is a
real function.
Partial Transformations 75
1 2 4 5 6 8 9 10)
(
/32 = 5 3 9 1 7 5 2 7
Find:
1) CXLCX 1CX 2 ,CX 2 CX 1 ,/3i;
2) thetypesofcx1,/31,and/32inPx.
3.6.3. Let X be any set, and find the types of the following elements in
Px :
1)r:x 1 =(:) (X,YEX)
2) r:x 2 = (: ~) (X,YEX)
3.6.4. Let
X = {1,2,3,4,5,6, 7,8}, ilEPx
cx( 1 3 4 5 6 7 8)
8472513
Find cx - 1, CXCX - 1, and cx - 1cx.
3.6.5. Let cx be a one-to-one partial transformation of a set X. Find cxcx- 1
and cx- 1 cx. When does cxcx- 1 = cx- 1 cx?
76 Composition of Transformations
11 (x) = x,
In - 1
-x 12 (x) = +V X2- I, la (x) = sin x
be a real function Nhose domain is all real numbers except -1. Findj2(x)
and f3(X).
3.6.24.H. Let R be the set of all functions of the form
f( ) - ax+b
x - cx+d
f(x)= ax+b
cX+d
where a, b, e, d are rational numbers such that ad - be =I- O. An operation is
introduced on G in the following manner:
if
then
I (x) og (x)_(aal+bcl)x+(abl+bdl)
-(ca1+c1d)x+(cb1+dd 1)
3.6.26. Let G be the group in the preceding problem. Show that G is iso-
morphic to the group Gin 3.2.13.
3.6.27. Let C" be the subset of Px consisting of the empty transformation and
all elements rx. E Px such that rrx. = x, where x is a fixed. element in X. Prove
that the sets C", x E X, are the only nonempty minimal right ideals of Px (i.e.,
ideals which do not properly contain any right ideals).
3.6.28.T.H. Let A be a semigroup of one-to-one partial transformations
which satisfy the conditions
1) the inverse of every transformation in A is also contained in A;
2) there exists a set M such that for each rx. E A, drx. = rrx. = M.
Prove that A is a group.
3.6.29.T.H. Prove that every group of one-to-one partial transformations
satisfies conditions (1) and (2) of the preceding problem.
3.6.30. Let B be a semigroup of one-to-one partial transformations of a set
X with the property that the inverse of every element in B also lies in B.
Prove that B is a regular semigroup in which every element has a unique
inverse (see 2.5.16).
Remark. The converse also holds: if each element in a semigroup S
has a unique inverse, then S is isomorphic to a semigroup T of one-to-one
partial transformations in which the inverse of each transformation in T is
also contained in T.
Chapter 4
1) /(f(z»=/(z)
2) Z-l/(Z) E H
3) /(zh)=/(z)
for all x, y, Z E K. Prove that there exists a unique subgroup H of G such that
K is a right coset of H in G, and a unique subg.oup H' of G such that K is a
left coset of H' in G.
Remark. Compare this result with the preceding problem.
4.1.24. Determine which of the sets below are cosets of the symmetric
group S5 by one of its subgroups:
1) K t ={(2 3 4), (1 2 3 4)}
2) K9= {(I 2), (1 2 3), (1 2 3 4)}
3) K3= {e, (1 2 3 4), (1 3) (2 4), (1 4 3 2)}
4) K,= {(I 2), (1 3), (1 4), (1 5)}
5) Kn= {(I 2), (1 5 2) (3 4)}
4.1.25. Is the set of all matrices whose determinant is equal to a given number
c ::f. 0 a coset (and if so, by what subgroup) of the group of all nonsingular
complex n x n matrices?
4.1.26.T.H. Let F and H be subgroups of a group G. Prove that there always
exists a decomposition of G by the pair (F, H).
4.1.27. Find the decomposition of the symmetric group S4 by the pair
(F,H)
2. Conjugate Classes
Let G be a group, a, bEG. If there exists an element x E G such that
x-lax = b, then we say that b is a conjugate of a [obviously in this case a is
also a conjugate of b, since a = (X-1)-1b(x- 1)]. A set K of elements in G
such that any two elements in K are conjugates and no element in K is a
conjugate of any element outside of K, is called a conjugate class of elements of
G. Two subsets M 1 and M 1 of G are said to be conjugates if there
exists an element x E G such that X-I MIX = M 1 [and therefore also
(x-1r1M1(x- 1) = Ml]'
For a subset M of G, the set of all x E G which commute with M
xM=Mx
where c is the order of the center and kj > 1 (i = 1,2, ... , s). It will be useful
to take into account 4.2.10 when applying this equality.
84 Groups and Their Subgroups
1 2 3 4 5 6)
( 1 2 3 4 5 6) (
x= 2 5 3 6 1 4 ' y= 5 3 4 2 1 6
are conjugates in the symmetric group S6, and find the number of Z E S6
such that
4.2.7.T. Let N be the normalizer of the subset M ofa group G. Prove that N
is a subgroup of G.
4.2.8. In the group of all real nonsingular 2 x 2 matrices, find the normalizers
of the following elements:
Y
(-1 0)
0 -1 •
are distinct, and that every set which is a conjugate of M is equal to one of the
x~ 1 Mx~ (¢ = r:i, {3, ... ).
4.2.10.T.H. Let G be a finite group of order n, and let M be a subset of G.
Prove that there are n/m subsets of G which are conjugates of M, where m is
the order of the normalizer of M.
Conjugate Classes 85
Prove that this set forms a group with respect to this operation. Find the
normalizer of each element x, and the number of conjugates of each x.
4.2.15. Let G be a group, and suppose that the normalizer of an element a
in G is a subgroup N. Prove that for any x E G, the normalizer·of x-lax is
x-1Nx.
4.2.16. Let G be a finite group, x E G, k the number of conjugates of x in G,
and k' the number of conjugates of xn in G. Prove that k' divides k.
4.2.17.1. Prove that a subgroup A of a group G is a normal subgroup if and
only if the only conjugate of A is A itself.
4.2.18.1. Prove that Z EGis contained in the center of G if and only if Z
itself is its only conjugate.
4.2.19. In the symmetnc group Sn' two permutations x and yare written as
disjoin t cycles:
Prove that x and yare conjugates in Sn if and only if they have the same
types,i.e.,p = qandk l = 11,k 2 = l2, ... ,k p = lp.
4.2.20. Partition the elements of the symmetric group S4 into conjugate
classes.
4.2.21. Partition the elements of the alternating group A4 into conjugate
classes in A 4 .
Remark. Compare this result with 4.2.20.
86 Groups and Their Subgroups
4.3.3. Is the subset of all rotations of an n-angled dihedron (n -::f. 4) about its
axis (see 3.5.22) a normal subgroup ofthe group of all self-coincidences of the
dihedron.
4.3.4. Prove that the Klein group is a normal subgroup of the symmetric
group S4 (see 3.3.18).
4.3.5.H. Prove that the set N of all matrices whose determinant is equal to
one is a normal subgroup of the group G of all nonsingular n x n matrices
over the reals.
4.3.6. Prove that if G is a group and H is a subgroup of index 2 in G, then H
is a normal subgroup of G.
4.3.7. Prove that the alternating group An is a normal subgroup of the
symmetric group Sn.
4.3.8. Let G be the multiplicative set of all triples of integers with an operation
defined by
(k1> k2' ka)(/b I~, 13) = (kl +(- 1 )kJ 11> k2 +1 ka +Is)
2•
4.3. 12.T.H. Let N be a normal subgroup of G. Prove that the set GIN of
right cosets of N in G forms a group relative to multiplication of cosets. Find
the identity of GIN. Find the inverse of each element xN.
Remark. As was stated in the introduction to this section, GIN is called
the factor group of G by N.
4.3.13. Let N be a normal subgroup of a group G. Prove that the set of left
cosets of N in G is a group with respect to multiplication of cosets, and that
this group coincides with the factor group GIN.
4.3.14. Let Gbe a group andE the subgroup consisting of the identity element.
Determine GIG and GIE.
4.3.15. Prove that the factor group of the symmetric group S4 by the Klein
group is isomorphic to S 3 (see 3.3.18).
4.3.16. Letting G and N be the groups in 4.3.5, prove that GIN is isomorphic
to the multiplicative group of real numbers different from zero.
4.3. 17.H. Let G' be the group in 3.2.19, (4). Prove that the group N of parallel
translations of the plane is a normal subgroup of G', and that G'IN is iso-
morphic to the group of all rotations of the plane about a fixed point.
4.3.18.T. Let N be a normal subgroup of a group G, let G have order m,
and N have order n. Prove that the order of GIN is min.
4.3.19. Let H be a subgroup of a group G. Prove that the relation PH is left
compatible (cf. Chapter 2.4).
4.3.20. Let H be a subgroup of a group G. Prove that PH is a congruence on G
if and only if H is a normal subgroup of G (see the preceding problem).
Remark. By using 2.4.14, we see that GIPH is a multiplicative set if and
only if H is a normal subgroup of G.
4.3.21. Let H be a normal subgroup of G. Prove that the factor set GlpH
is a group, and that this group is equal to the factor group GIH.
4.3.22. Let G and H be the groups in 4.3.8. Prove that GIH is isomorphic to
the additive group of Gaussian numbers, i.e., numbers of the form a + bi,
where a and b are rational numbers.
Normal Subgroups and Factor Groups 89
4.3.23. Let G and H be the groups in 3.2.16. Prove that GIH is isomorphic
to the factor group given in 4.3.16.
4.3.24. Let Gx and H be the groups in 3.4.29. Prove that GxlH is isomorphic
toH.
4.3.25.H. Prove that the symmetric group S3 is a homomorphic image ofthe
symmetric group S4'
4.3.26.T.H. Let N be a normal subgroup of a group G. Prove that GIN is a
homomorphic image of G.
4.3.27.T.H. Let f be a homomorphism of a group G onto a group G'. Prove
that:
1) the set N of all elements in G which are mapped onto the identity of
G' under f is a normal subgroup of G;
2) for a fixed element g' E G', the set of all elements in G which are
mapped onto g' by f is a right coset of N in G.
Remark. The normal subgroup N is called the kernel of f.
4.3.28.T.H. Prove that if a group G' is a homomorphic image of a group G,
then G' is isomorphic to some factor group of G.
Remark. Compare the results of 4.3.26 and 4.3.28 with those of 2.4.18-
2.4.20.
4.3.29. Let G be a noncommutative group, Z the center of G. Prove that GIZ
cannot be a cyclic group.
4.3.30. T. Let N be a normal subgroup of a group G, and H any subgroup of
G. Let H be the subset of GIN consisting ofthose cosets which contain at least
one element of H. Prove that:
1) H is a subgroup of G/ N;
2) if N c H, then N is a normal subgroup of Hand H = H/N.
4.3.31.T. Assuming the notation and the two conditions from the preceding
problem, prove that if H is a normal subgroup of G, then H is a normal
subgroup of GIN.
4.3.32. Let G and N be the groups in 4.3.5. Let H 1 be the subgroup of G
consisting of all triangular matrices having zeros below the main diagonal,
and H 2 the subgroup of H 1 consisting of all matrices with determinant ± 1.
In the notation of 4.3.30, find H 1 and H2 .
4.3.33.T. Let H be a subgroup of the factor group GIN. Prove that:
1) the subset H of G, where H is the union of all co sets contained in H,
is a subgroup of G containing N;
2) if H is a normal subgroup of GIN, then H is a normal subgroup of
G.
4.3.34. Find all subgroups of the symmetric group S4 containing the Klein
group (see 3.3.18) by making use of 4.3.33 and 4.3.15. Which of these sub-
groups are normal in S4?
90 Groups and Their Subgroups
4.4.1.T.H. Prove that every group of order pn, where p is a prime number and
n > 0, has a nontrivial center (i.e., the order of the center is greater than 1).
4.4.2.H. Prove that for every prime number p there exists a unique (up to
isomorphism) noncyclic group of order pZ. In addition, show that this group
is commutative.
4.4.3.H. Prove that if the order of a group G is divisible by a prime number p,
then there exists an element g E G whose order is p.
4.4.4.T.H. Prove that every finite p-group has order pn for some n.
4.4.5.H. Prove that every abelian group of order pq is cyclic, where p and q
are distinct primes.
4.4.6.T.H. Let G be a finite group whose order is divisible by l, where p is a
prime. Prove that G contains a subgroup of order pk.
Remark. In particular, it follows that a finite group G contains a p-Sylow
subgroup for every prime p which divides the order of G.
4.4.7.H. Let P be a p-Sylow subgroup of a finite group G, and let N be the
normalizer of P. Prove that every element of N whose order is a power of p
is contained in P.
Subgroups of Finite Groups 91
(x, y) = X-1y-1 xy
xy=yX(X,y)
of the elements
4.5.7. Which elements in the quaternion group (see 2.6.39) are commutators?
4.5.8. In the group of 2 x 2 matrices over t~e integers with determinant
equal to ± 1, find the commutators (x, y), (y, z), and (z, x) of the elements
4.5.9. Find the commutators (u, v), (v, w), and (w, u) in the group of nonsingu-
lar 3 x 3 matrices, where
100)
u= ( 020 I
1 1 1)
v= ( 0 1 1 I W= (
00
020
1)
00 3 o0 1 30 0
4.5.10. In the symmetric group Sn' n ~ 5, find the commutator (x, y) for the
3-cycles x = (u, c, b) and y = (a, b, v), where a, b, c, u, v are distinct numbers.
4.S.11.T. Prove that the commutator subgroup is a normal subgroup of a
group.
4.5.12.T. Prove that the factor group of a group by its commutator subgroup
is abelian.
4.5.13.T. Let N be a normal subgroup of a group G. Prove that GIN is
abelian if and only if N contains the commutator subgroup of G.
Remark. This shows that the commutator subgroup of G is the univer-
sally minimal element (under inclusion) in the set of all normal subgroups N
such that GIN is abelian.
4.S.14.H. Find the commutator subgroup of the symmetric group Sn.
4.5.15. Let {xcx' xp,' .. , x~, . .. } be a generating set of a group G, and let N
be a normal subgroup of G which contains all (x~, x,,). Prove that N contains
the commutator subgroup of G.
4.5.16. Suppose that the commutator subgroup of a group G is contained in
the center of G. Prove that for any x, y, Z E G
(xy, z) = (x, z) (y, z)
(x, YZ)=(x, y)(xI z)
(xn, y) = (x, yn) = (x, y)n
I
(xy)n = x"yn (y, X)2-n(n-Il
(x, (vi z» (v, (Z, x» (Z, (x, y» =e
4.5. 17.H. Prove that in every finite p-group G, the commutator subgroup of
G is different from G.
4.5.1S.H. Suppose the commutator subgroup of a finite group has order
two. Prove that the index of the commutator subgroup is even.
4.5. 19.H. Let there be given a sequence of groups such that each one is a
subgroup of the following one:
94 Groups and Their Subgroups
6. Solvable Groups
Let G be a group. A sequence of subgroups of G,
Suppose G has order n = PIP2'" Pm' where the Pi are primes (which
can be either distinct or equal). Prove that if G has a normal series consisting of
m + 1 terms, then this series is a composition series and G is solvable.
What type of groups are the factor groups FilFi+ I?
96 Groups and Their Subgroups
4.6. 13.T.H. Prove that a finite solvable group of order g = PIP2 ... Pm'
(where the Pi are distinct or equal prime numbers) has at least one composition
series, and that each such series consists of m + 1 terms.
4.6. 14.T.H. Prove that every finite p-group (i.e., a group of order pn, where
p is a prime) is solvable.
4.6. 15.H. For what values of n is the alternating group An solvable?
4.6.16. Define an operation on the set G = { ... , L2' L 1, zo, Zl' Z2""} by
z n+m' if n is even
znzm= {
zn-m. if n is odd
Prove that G is a group with respect to this operation. Is G solvable?
4.6.17. Define an operation on the set of infinite sequences of integers by
(at> a'.b aa, •..• am •• .)(b" bg, ba, ••• , bm " .)=
= (al+b 1, (-I)/lla2+b2' (-I)l'l+/l2a a+ba, .. •
... , ( _I)bl+b2+bs+ ... +bn-lan +bn' ...)
7. Nilpotent Groups
The following two systems of subgroups of a group olay a role similar to
that played by the commutator series considered in the preceding section.
The upper central series of a group G is the sequence of subgroups
in which Zn+ 1 (n = 0,1,2, ... ) is the set of elements x E G such that xZn
commutes with all elements in the factor group GjZn (Zn is a normal subgroup
ofGforalln;see4.7.1).Ifforsomen,Zn = Zn+l,thenevidentlyZn = Zn+l =
Zn+2 = ... , and we say that the series is stabilized at Zn. If the upper central
series is stabilized at G, we say that it reaches G. Of course, it is possible for
this series to be stabilized at some Zn different from G. Finally, it is possible
that for some infinite groups Zn =1= Zn+ 1 for every n, i.e., the series is not
stabilized at any Zn.
A group G is nilpotent if its upper central series reaches G (finite nil-
potent groups were also called special groups in some ofthe earlier literature).
Nilpotent Groups 97
If Zn is the first term in the upper central series which is equal to G, then n
is called the nilpotency class for G.
The lower central series of a group G is the sequence of subgroups
4.7.1.T. Prove that each term in the upper central series of a group G is a
normal subgroup of G.
4.7.2. Prove that every abelian group is nilpotent. Determine the nil-
potency class for each.
4.7.3. Determine which of the following groups are nilpotent, and find their
nil potency class:
1) the symmetric groups Sn (n = 1,2,3, ... );
2) the quaternion group (see 2.6.39);
3) the group in 2.6.38;
4) the group G = [(1 2 3 4); (l 2 3); (2 5); (5 6)J;
5) the group G = [(1 2 3 4)(5 6 7 8); (1 5 3 7)(2 8 4 2); (9 10 11)].
4.7.4.H. Let G be a nilpotent group whose order is the product of k prime
numbers (either equal or distinct). Prove that the nilpotency class for G
does not exceed k - 1.
4.7.S.T. Prove that every nilpotent group is solvable.
4.7.6. Let G be the quaternion group (see 2.6.39), and let qJ be the isomor-
phism of G onto itself defined by
_(1 -1 i - i j - j k -k\
10- 1 - l j - j - l i k - k )
The set A = {e, qJ, qJ2, qJ3} (where qJ0 = e is the identity mapping) forms a
group.
Construct the group H from G and A as shown in 4.3.36, and find the
lower and upper central series of H.
4.7.7. Prove that the term Zn in the upper central series of a group G contains
all commutators x-Iy-I xy, where x EZ n + 1 ; yE G.
4.7.8.T.H. Prove that if the upper central series of a group G reaches G at the
nth step, i.e., Zn = G, then the lower central series reaches the identity at the
nth step, i.e., H n = e.
98 Groups and Their Subgroups
4.7.9.T.H. Prove that if the lower central series of a group G reaches the
identity at the nth step, Hn = e, then the upper central series reaches G at the
nth step, Zn = G.
4.7.10.T.H. Prove that the upper and lower central series of a nilpotent
group have the same length.
Remark. Exercises 4.7.8, 4.7.9, and 4.7.10 together imply that it is
possible to define a nilpotent group and its nil potency class by starting with
the lower central series.
4.7.11. Let the commutator subgroup of a noncommutative group G lie
in the center of G. Prove that G is nilpotent. Determine its nilpotency class.
4.7. 12.T. Prove that every subgroup of a nilpotent group is nilpotent.
4.7. 13.T. Prove that a factor group of a nilpotent group by any of its normal
subgroups is nilpotent.
4.7. 14.T.H. Prove that every finite p-group is nilpotent.
4.7.15.H. Determine which of the following groups are nilpotent, and find
their nil potency class:
1) 0 1 = [(1 2 3), (4 5), (1 2)J
2) O2 =[(1 8 3 6)(2 7 4 5),
(9 15 11 13) (10 14 12 16),
(1 6 3 8)(2 8 4 7)(9 12 11 10)(13 16 15 14)]
3) 0 3 =[(1 2 3 4)(5 6 7 9), (1 5 3 7)(2 9 4 6),
(8 10 11), (1 2 3 4), (1 3 2)1
4) 0,=[(1 2 3 4 567 8)(9 10 12 13 141615 II),
(1 1l)(2 15)(3 16)(4 14)(5 13)(6 12)(7 10)(8 9)1
4.7.16.H. Let Gi be a Pi-grouP (i = 1,2, ... , n), where all of the primes
PI' P2' ... ,Pn are distinct. Let H be the set of all sequences (x 1, X2 , ... , xn),
where Xi E Gi (i = 1,2, ... , n). Define an operation on H by
(XI' X2, ... , Xn) (vb Y2, ... , Yn) = (X0'b X2)''.I' ... , XnYn)
Prove that H is a nilpotent group, and that its nil potency class is equal to the
largest of the nilpotency classes of the Gi •
Remark. We have proved that every finite nilpotent group is isomorphic
to a group of this form.
4.7.17. Let Gi be nilpotent groups with nilpotency classes k i (i = 1,2,3, ... ).
Let H be the set of all sequences (Xl' X 2 , X 3 , •• •), where Xi E Gi , and define
an operation on H by
(XI> X2' Xa, ...) (vb Y'.I' Ys, ..•) = (X1Yh XV''!' XaYa, ••.)
Determine when H is a nilpotent group, and find its nil potency class in this
case.
Automorphisms of Groups 99
4.7.18. Prove that every finite nilpotent group G has a sequence of normal
subgroups
8. Automorphisms of Groups
An automorphism of a group G is an isomorphism of G onto itself.
It is obvious that the concept of an automorphism ofa group G coincides
with the concept of an automorphism ofthe set G with respect to the operation
on the group (cf. Chapter 3.4). Thus automorphisms of G are transformations
on the set of elements of G. As we did with transformations, we will sometimes
define automorphisms by means of permutations.
Let G be a group, x E G. We will denote by tx the transformation on G
defined by
(aE G)
4.8.1. Let G be the additive group of integers. Which of the following trans
formations of G are automorphisms:
1) (lIm = m + 1
2) (l2m = 2m
3) (l3m = -m(mEG)
100 Groups and Their Subgroups
Prove that q> is a homomorphism of G into Sn. Find the set of elements of G
which are mapped onto the identity by q> (see the preceding exercise).
4.9.26.H. Prove that every normal subgroup N =1= e of a primitive group of
transformations G is transitive.
4.9.27.H. Prove that the groups described in 4.9.24 exhaust the set of all
intransitive normal subgroups of an imprimitive group.
4.9.28. Let G be an intransitive group of transformations of a set X and
let Mi be an intransitive system (see 4.9.3). For every a E G denote by ai
the transformation of Mi defined by aix = ax. Prove that the set Gi of all
transformations ai is a transitive group of transformations of Mi.
4.9.29. Assume the conditions and notation of the preceding problem. Let
r be the Cartesian product of the groups Gi , Gj , ••• which correspond to all
intransitive systems of G. Prove that:
1) r is a group with respect to the following operation:
(ai' aj' .. ·)({3i' {3j' ... ) = (a i{3i, aj{3j, ... )
2) G is isomorphic to some subgroup of r.
Remark. Thus every intransitive group is, up to isomorphism, a subgroup
of the Cartesian product of transitive groups. The group G is called a sub-
direct product of the groups Gi , Gj , ••••
4.9.30. Let G be a group of transformations of a set X, x, Y E X, x =1= y.
Prove that if for every pair u, v EX, U =1= v, there exists a E G such that ax = u,
ay = v, then G is doubly transitive.
4.9.31. Which of the following groups are doubly transitive:
1) the symmetric group Sn;
2) the group G 1 in 4.9.4;
3) the group of all isometries of the plane (see 4.8.18)?
4.9.32. Determine for what values of n the alternating group An is doubly
transitive.
4.9.33. Determine the number of doubly transitive groups of transformations
,.,c degree foUf.
4.9.34.H. Prove that the order of a doubly transitive group of transforma-
tions of degree n is divisible by n(n - 1).
Chapter 5
holds in S.
Every such equality is a relation on the semigroup S with respect to the
set K. In other words, a relation is a pair of words having the same value in S.
We will say that the words X l X 2 .•. Xn and YIY2'" Ym form a relation,
and write this either as X 1X 2 ··· Xn = Y1Y2'" Ym or Y1Y2'" Ym = X 1 X 2 ··· X n ·
We will not write "with respect to K" ifit is clear from the context over
what set the word is being considered.
Let S = [KJ" and assume that the generating set K has the property
that each word over K has a unique value in S; then K is called a free generat-
in!? set of the semigroup S. A semigroup is called a free semigroup over K, or
simply a free semigroup, if it has a proper generating set K.
Let S = [KJ" and let F be a set ofrelations on S with respect to K. If
WI = W2 is a relation in F, and VI' V2 are any words over K, then the following
relations obviously hold in S:
107
108 Defining Sets of Relations
Every relation in such a form, and also every relation of the form w = w,
where w is a word over K, is called a direct consequence (or immediate corol-
lary) of F. A relation U I = U2 is said to be a consequence of F if there exists a
finite sequence of relations with respect to K: U I = VI' VI = V2' • .• , Vn = U2,
in which each relation is a direct consequence of F.
It is obvious that if the words U I and U2 form a relation which is a con-
sequence of some set of relations in S, then U I and U2 will have the same value
in S. The converse does not always hold, i.e., two words VI and V2 can have
the same value in S although the relation VI = v2 need not be a consequence
of the given system of relations.
A set of relations F on a semigroup S with respect to a generating set K
is called a defining set of relations of the semigroup S with respect to K, or a
defining set of relations, if every relation on S with respect to K is a con-
sequence of F.
A defining relation is any relation in a defining set of relations. The
significance ofthe concept of a defining set of relations lies in the fact that the
defining set of relations determines the semigroup up to isomorphism (see
5.1.19).
In the problems we will encounter symbols of the form uo, which will be
omitted when they appear in a word. For example XO y 5 will be written y5.
Determine which of the following pairs of words over {u, V, w} form relations
on S:
tl = WIl, t~ = vn-~uv~wvn-211V~, ts = wvn-1uvw
t, = VllVn-1WVUvn-1w, t~ = v n- 1uvwVn- 111VW, t6 = (Vll)n~l
form a defining set of relations for the semigroup 5 in the preceding problem?
5.1.7. Let 5' = [a, b, dJs be a subsemigroup of the semigroup 5 in 5.1.5.
Prove that the set
5.l.l0.T. Let X be any set, and ex the set of all finite sequences of elements
in X. Define a multiplication on ex by: if a = (X l ,X2""'Xn), b = (Yl'
Y2, . .. , Ym), then ab = (Xl' ... , X n, Yl, ... , Ym)· Prove that:
1) ex is a free semigroup;
2) ex has a unique free generating set;
3) if S is an arbitrary free semigroup, then there exists a set X such that S
is isomorphic to ex.
Remark. Thus every free semigroup has a unique free generating set.
5.1. 11.T. Prove that every semigroup is the homomorphic image of a free
semigroup.
5.1.12. Let S = [x]s be a finite cyclic semigroup. Prove that there exists a
defining set of relations F on S with respect to the generating set {x} such that
F consists of exactly one relation.
5.1.13. Let N be the multiplicative semigroup of natural numbers. Let P
be the irreducible generating set consisting of all primes and the number one
(see 2.5.3). Prove that the set of all relations in the form pq = qp, pi = p
(p, q E P) forms a defining set of relations on N with respect to P.
5.1.l4.T. Prove that in each semigroup there exists a defining set of relations
with respect to any generating set. .
5.1.15. Assume that the set
for k = 1,2, ... , 10, and I = 1,2, ... , 10, is a defining set of relations for the
semigroup S = [Xl' X2"'" XlOJs' Prove that S is a finite commutative semi-
group having neither an identity nor a zero. How many elements are in S?
5.1.16. Suppose that the semigroup S = [u, v]s has the following set of
defining relations with respect to {u, v} :
U'Vu=vuv (u, vE K)
Is S commutative?
5.1.21. Given the semigroup S = [a, b, c]s, and a defining set of relations F
for S,
ab=ba, ac=ca, bc=c
prove that:
1) every element in S can be written uniquely in the form akcmbft , where
k = 0, 1 ; m and n are nonnegative integers, and k, m, and n do not all
equal zero;
2) S has no identity.
5.1.22. Let S be the semigroup defined in the preceding problem. Find:
1) all idempotents in S (cf Chapter 2.2);
2} all elements in S which commute with acmb ft (where m and n are
fixed natural integers);
3) the types of all cyclic subsemigroups of S (see 2.5.10).
5.1.23. Let there be given a semigroup S' = [a, b, c], and let F' be a defining
set of relations for S' consisting of all relations in the set F in 5.1.21 and the
relation c 5 = a.
1) Prove that S' is a homomorphic image of the semigroup S defined in
5.1.21.
2) Find the type of each element in S' (see 2.5.10).
3) Determine which elements generate cyclic subgroups of the semi-
group S'.
5.1.24.H. Let S be a free semigroup. Prove that:
1) S does not have an identity;
2) S is both left and right cancellative (cf Chapter 2.2);
3} each element in S has a finite number of distinct left or right divisors.
5.1.25. Prove that a free semigroup has a unique irreducible generating
set.
112 Defining Sets of Relations
5.2.1. Let a = (12), b = (12345). Prove that the following relations hold in
the group [a,b] = Ss:
5.2.2. Assume that the following relations hold in the group G = [u, v] :
The validity of these last equalities can be calculated directly in [a, b], but
after verifying 5.2.2, such a check is not necessary.
5.2.3. Let x and y be elements in a finite group G connected by the relation
yx = xy\ where k is an integer different from o. Prove that every element in
the group [x, y] can be written in the form xmyn (where m and n are integers).
5.2.4.H. Let G be any group. Prove that:
1) if the relation X 1 X 2 ••• xn = Y1Y2 ••• Ym is valid in G, then so is
X 1X 2 ••• xny,;;-1 ••• Yl 1 = e, where each of these is a consequence of
the other in the sense of group theory;
2) ifthe relation Z1Z2 ••• Zn = e holds in G, then sodoeszn- 1 .•. z;1z11
e, and each relation is a consequence of the other in the sense of
group theory.
5.2.5. Let G = [a, b], and
Prove that:
1) the elementsa 2 , b- 1 a 2 b,ba 2 b- 1 are pairwise commutative, and form a
conjugate class;
2) the subgroup [a 2 , b] is a normal subgroup of G.
5.2.6. Let G = [a 1 , a2 , •.• ,an - 1 ], and suppose the relations
and defining sets of relations F l' F 2 of Gl' G2 with respect to the generating
sets K 1, K 2 , respectively, in the sense of group theory. Prove that if there
exists a one-to-one mapping qJ of the set Kl U K'1 U e1 onto K2 U K'z U e2
satisfying
Defining Sets of Relations on Groups 115
1) S4 = [a,b];
2) the relations a4 = b3 = (ab)2 = e hold in S4.
5.2.10. Let G be the group in 5.2.5, and let c = a 2 ba- l • Show that the follow-
ing equalities hold in G:
5.2.11. Assume the conditions and notation from the preceding problem.
Show that every element in G can be written in the form calba2aa3, where
o ~ !Xi ~ i, i = 1,2,3.
5.2.12. Assume the conditions and notation of 5.2.10. Suppose that the
equalities
a' = b = (ab)~ = e
3
a'=b 3 =(ab)2=e
is a defining set of relations for the symmetric group S4 with respect to the
generating set {a, b}, where a = (1234), b = (132).
Remark. Problems 5.2.11 and 5.2.12 should be borne in mind for those
problems which verify that a given set of relations forms a defining set of
relations.
116 Defining Sets of Relations
Prove that:
1) the order of G is less than or equal to eight;
2) (ab)2 lies in the center of G.
5.2.19. Let G = [(1234), (13)] and a = (12)(34), b = (13). Prove that G =
[a, b], and the set of relations a2 = b2 = (ab)4 =' e is a defining set of relations
for G.
5.2.20. Let G be the group in 4.6.16. Prove that G = [Zl' Z2]' and that the
set of relations zi = Zo, ZlZ2 = Z;lZl (where Zo is the identity of G) is a
defining set for G.
5.2.21.H. Let [a] and [b] be infinite cyclic groups,
Prove that:
1) G is a group;
2) if e = (a, bO), d = (ao, b), then G = [e, d], and the set consisting of
the relation de = er 1 is a defining set for G.
Free Groups 117
5.2.22.H. Let [a] and [b] be cyclic groups of orders m and n, respectively,
and let r be any natural number. Let
G~n = {(a", bP): a" E [a], bP E [b J}
and define an operation on G by
where
Prove that
1) G~fi is a group if and only if r'" == 1 (mod n);
2) if G~n is a group, then G~n = [c, d], where c = (a, bO) and d = (aO, b);
3) the set of relations
The importance of free groups stems from the fact that every group is
isomorphic to a factor group of a free group (see 5.3.13). In addition, the
concept of a free group is sometimes used in the definition of a defining set
of relations on a group (see 5.3.15 and 5.3.16).
One should keep the following remarks in mind when considering "free
semigroups" (introduced in Chapter 5.1). A free semigroup can never be a
group. Of course a free group is a semigroup, but it is not a free semigroup
(see 5.3.21).
5.3.1. Let FK be a free semigroup with free generating set K. Let rp be a one-
to-one mapping of K onto itself, with rp(k) #- k, rp2(k) = k for all k e K.
Define the binary relation p on F K to consist of the pairs
(1'1111 krp (k) WI), (1'1121 w,krp (k», (1'1111'11" wlkrp (k) wtl, (1'11., 1'111)
(kcp (k) 1'1111 1'111), (w,krp (k), 1'11,), (wlkcp (k) 1'11" W1Wtl
2) H..=[a];
3) Ha= [a', b', a-1b'a, b-1a'b, (ab)!I]
Which of these subgroups are normal?
5.3.9. What kind of free groups are commutative?
5.3.10. Let F be a free group of rank greater than one. Prove that:
1) every element in F different from the identity has infinite order;
2) the center of F is the identity subgroup.
5.3.11. Let K be a free generating set for a group F. Prove that every mapping
of K into F can be extended to an endomorphism of F (cf Chapters 1.2
and 3.4).
5.3. 12.H. Prove that every free group of rank greater than one has an
infinite number offree generating sets.
5.3. 13.T.H. Let G = [K] be a group. Prove that G is a homomorphic image
of a free group which has a free generating set of the same cardinality as K.
5.3.14. Let F be a free group with K a free generating set of F, cp a homomor-
phism of F onto a group G, and K the set of generators of G consisting of all
cp(x) (x E K). Let H be the normal subgroup of F consisting of all elements
which are mapped onto the identity by cpo Prove that:
1) if
where
then
Remark. If
120 Defining Sets of Relations
classes of groups for which the word problem is not, in general, solvable, i.e.,
no such algorithm as stated above exists for all pairs of words.
The second most important question concerns when two groups defined
by generating sets and sets of relations are isomorphic.
Finally, we raise the questions: if G is defined by a generating set and a
set of relations, is it finite? Is it commutative? Does it reduce to the trivial
group?
5.4.1.T.H. Let K be any set, and K' a set with the same cardinality as K,
with K n K' = 0. Let e be any element such that e ¢ K UK', and let t/I
be a one-to-one mapping of K onto K'. Prove that for every binary relation
p on the set of all words over K U K' U e, there exists a group G such that
G = [K]g, e is the identity of G, t/I(k) = k- 1 for every k E K, and the set of all
relations U 1 = U 2 , where (u 1 , u2 ) E p, is a defining set of relations on G with
respect to K.
5.4.2.T. Assume that the group G1 is defined by a generating set K and a
set of relations F 1 ; and that the group G2 is defined by the same generating
set K and a set of relations F 2. Prove that if F 1 C F 2, then:
1) G2 is a homomorphic image of G 1 ;
2) if every relation in F 2 is a consequence of the set of relations F l'
then G2 is isomorphic to G1 •
5.4.3.H. Which of the following groups are commutative:
1) Gl' defined by the generating set {Xl' X2, X3, ... } and the set of
relations
2) G2, defined by the generating set {x, y} and the relation xy2 = y 2x;
3) G3 , defined by the generating set {X 1 ,X 2 ,X 3 , ... } and the set of
relations
x~=x~, x~=x:, ... , x~=x~, ...
5.4.4.H. Prove that all three groups in the preceding problem are infinite.
5.4.5.H. Determine the order of the group defined by the generating set
{x, y} and the set of relations
5.4.6.H. Let a group G be defined by the generating set {x, y} and the rela-
tion xy = yxs, where s is any integer different from zero. What is the order
of the subgroup [y]?
Groups Defined by Sets of Relations 123
5.4.7.H. Assume that a group G is defined by the generating set {x, y} and
the relation x 2 = y2. Which of the following elements are equal in G:
III = (xy)3, U2= yxyxy2, Ila = X3y 3, U, = xy2x a
lIG = x~y-I x 3yx, 116 = x- Iyx 6
5.4.8.H. Let a group G be defined by the generating set {x, y} and the set
of relations
(x, y E K)
be a defining set for G. Prove that G is a finite group, and find its order.
5.4.10.". Let a group G be defined by the generating set {x, y} and the
relations xy = y-1 x, x 2 = y2.
1) Prove that every element in G can be written in the form xiyi, where
i = 0, 1 and j is any integer.
2) Determine when two elements xi,yl' and xiIyh (i1' i2 = 0, 1; j1 ,j2
arbitrary) are equal, and when one is the inverse of the other.
5.4.n. Prove that the group G = [a, b] with the defining set of relations
K' = K"'- {y} generates G. Further, show that P' is a defining set of relations
of G with respect to K'.
5.4.14.". How many elements of finite order and how many of infinite order
lie in the group G defined by the generating set {x, y} and the relation
(xy)k = e (k natural number)?
5.4.15.". Find all elements of finite order in the group defined by the
generating set {XI' X 2 , .•. , xn} and the relation
where Xl' X 2 , ... , Xm are distinct elements in K. Prove that G is a free group.
5.4.18.". Let G = [a, b], and assume that the set of relations a2 = b2 =
(ab)4 = e is a defining set of relations on G. Find:
1) the number of generating sets of G consisting of two elements;
2) the center of G ;
3) the group of automorphisms of G.
5.4.19. Let G be a noncyclic commutative group of order eight. Show that
either G has a generating set with two elements a, b which satisfy the relations
a4 = b 2 = e, or G has a generating set with three elements a, b, c which
satisfy a2 = b2 = c2 = e.
5.4.20.". Determine the number of nonisomorphic commutative groups of
order eight.
5.4.21. Let G be a noncommutative group of order eight. Prove that:
1) G contains no elements of order eight;
2) G contains an element of order four;
3) if b ¢ [a], where a is an element of order four, then b-lab = a3 ;
4) if bE [a], where a is an element of order four and b2 #- e, then b2 = a2 •
Free Products of Groups 125
A group G is called the free product of its subgroups G~, r:t. E A, (where
the cardinality of A is greater than one) if:
1) G~ i= e for all r:t. E A;
2) G~ n Gp = eforallr:t.,pEA,r:t. i= P;
3) G' = U G~ is a generating set of G;
~EA
5.5.1. Let a group G be defined by the generating set {a 1 ,a2,a 3 ,a4 } and
the set of relations at = e, a~ = e; aj = e, al 2 = e. Can G be decomposed
into a free product?
5.5.2. What kind of free groups are decomposable into a free product?
5.5.3. Let G be the free product of its subgroups A and B, each of which is a
free group. Prove that G is a free group.
5.5.4. Let a group G be defined by the generating set {al> a2, a3 } and the
set of relations ai = az , aj = e. Let G; (i = 1, ... ,4) be subgroups of G such
that G l = [ai' a2], G2 = [a 2], G3 = [az, a3], G4 = [a 3]. Can G be decom-
posed into a free product of any of the Gi ?
5.5.5. Let a group G be defined by the generating set {ai' a2, a3} and the
relation at = e. Prove that G is the free product of a cyclic group of order 3
and two infinite cyclic groups.
5.5.6. Can an abelian group be decomposed into a free product of its
subgroups?
5.5.7. Let a group G be the free product of the subgroup A = [ai' a2 , a3 ]
having the defining set of relations a l ail = a~, af = a~ and the subgroup
B = [b 1,b 2 J subject to the relation bi = blb~. Prove that M= {al,a 2,a3,
b t ,b 2 } is a generating set ofG, and thesetatai1 = aLai = aLbi = btbps
a defining set of relations of G with respect to M.
5.5.S. Is the free product of two finite subgroups necessarily finite?
5.5.9. Let G = n* Ga ,
~EA
where every a E U Ga , a "# e, has infinite order.
~EA
(i = 1, 2, ... , n)
A( ) _ az+b
Z - cz+d (z E J()
(a, b, c, d are rational numbers with ad - be = 1). Prove that G is a group
under the operation defined in 3.6.25, and that it can be decomposed into
the free product of a cyclic group of order 2 and a cyclic group of order 3.
5.5.21. .Suppose that G = G 1 * G2 , and that G'l and G~ are proper sub-
groups of G', where G'l is isomorphic to G 1 , G~ is isomorphic to G2 , and
G' = [G'l' G~]. Is G' a homomorphic image of G?
5.5.22. Let G = G 1 * G2 * G3 • Prove that
5.5.23. Let G be a free noncyclic group. Show that there exist an infinite
number of decompositions of G into free products of its subgroups.
5.5.24.T.H. Letthere be given a family of groups G,,(IX E A), G" i: e, where the
index set A has more than one element. Prove that there exists a group G
having subgroups G" (IX E A) which are isomorphic to the G" (IX E A), such
that G is the free product of the G" (IX E A).
1) Ga. n
Gp foralla,/3EA,a =1= /3;
2) G' = U Ga. is a generating set of G;
aeA
3) forallaEG"bEG p ,(a,/3EA,oc -::f /3)
ab = ba
and the set consisting of these relations and all relations on the Ga '
5.6.1. Let a group G be defined by the generating set {ai' az , a 3 , a4} and the
set of relations ai = ai 3 = a~ = al = e, aia j = api (i, j == 1,2, 3,4). De-
compose G into a direct product of cyclic subgroups.
5.6.2. Let G = A x B, where A has the generating set l ai' az} and defining
relation ai = az, and B = [b I, b z , b3 J has the defining relation bi = b2 b 3 •
Prove that M = {a l ,az,b l ,b z ,b 3 }isageneratingsetofGandthat{ai = az ,
bi = bzb3 , aZb3 = b3 aZ' alb z = b2 a l , bzaz = azb z , alb l = blal, a l b3 =
b3 a l , aZb l = b l az } is a defining set of relations on G with respect to M.
5.6.3.T. Let G be a direct product of its subgroups Ga. (oc E A), and let some
of its subgroups Ga. (oc E A', A' c A) be decomposed into direct products
Ga. = n Ga.~' Prove that G is a direct product of all the G>~ (oc E A', I'f E Aa.)
"eA oc
and Ga. (a E A "'-A').
5.6.4. Prove that it is impossible for a group G to be decomposed both into a
direct product of cyclic subgroups and into a free product of cyclic subgroups.
The Direct Product of Groups 129
where rxi =1= rx i+ 1 for all i = 1,2, ... , n - 2, n - 1. Prove that G can be
decomposed into a direct product of its subgroups G~ (rx E A).
Remark. The element g~ E G~ in the decomposition (*) of g (see 5.6.13)
is called the component of g in the direct factor G~ relative to the given de-
composition. If in the stated decomposition there are no factors belonging
to G~, then the component of g in Ga is considered to be the identity. If
G = G1 X G2 X .. , x Gn • then every gE G can be written uniquely in the
formg = gl '" gi'" gn' whereg i is the component of gin Gi . Thisdecomposi-
tion is a special case of the one given above (*). where (*) contains additional
factors equal to the identity.
5.6.15. Let D be the additive group of all complex numbers. Is it possible for
D to have two direct decompositions
D=AXB, D=AXC
such that for some element dE D, the component of d in A relative to the
first decomposition is different from the component of d in A relative to the
second decomposition?
5.6.16. Suppose that a group G is decomposed into a direct product of finite
subgroups G1. G2 • ••• , Gn , of orders m1 , m2 , ••. , mn • Prove that G is a finite
group. What is the order of G?
n G~; fix f3 E A, and let gp be the component of g E G
5.6.17. Let g E G = (lEA
in Gp • Prove that the mapping <p:g -. gp is a homomorphism of G onto G/1
Remark. This shows that the component of a product is equal to the
product of the components.
5.6.18. Let G be a group having exactly one normal subgroup different
from G and the identity. Show that G is indecomposable.
5.6.19. Prove that the center of the direct product is equal to the direct
product of the centers of the factors.
5.6.20. Prove that the commutator subgroup of the direct product is equal
to the direct product of the commutator subgroups of the factors.
5.6.21.T. Prove that if A is a direct factor of a group G, then every normal
subgroup A' of A is a normal subgroup of G.
5.6.22. Let the group G be decomposed into the direct products
O=AXB, O=AXC
Prove that Band C are isomorphic.
The Direct Product of GroupS 131
then gl· g2 = (alb l ,·· ., a;b;, ... , anb n), where a;b; is the product in
G; (i = 1, ... , n). Prove that G is a group relative to this operation, and that G
can be decomposed into a direct product of subgroups G; which are iso-
morphic to G;.
5.6.30. Let G be the direct product of n infinite cyclic groups. Let H be the
subgroup of all elements x 2 (x E G). Prove ~hat G/H is a group of order 2n ,
and can be written as the direct product of n cyclic groups of order 2.
5.6.31.T.H. Let G be a free group with a free generating set consisting of n
elements. Prove that every free generating set of G also contains n elements.
Remark. This proves the uniqueness of the rank of a free group for the
finite case. The uniqueness ofthe rank in the general case follows immediately.
132 Defining Sets of Relations
if
then
where aibi is the product in Gi . Prove that G is a group under this operation.
Can G be decomposed into the direct product of subgroups Gi (i = 1,2, ... )
which are isomorphic to Gi ?
Remark. Compare this result with 5.6.29.
5.6.33.T. Prove that a group G can be decomposed into t~ direct product
of its subgroups Ga , a E A, if and only if the following three conditions are
satisfied:
1) Ga is a normal subgroup of G for every a E A;
2) G = [U Ga ];
aEA
3) the intersection of each Gp (f3 E A) with the subgroup generated by
the remaining G. (a =I- f3) is the identity.
Chapter 6
ABELIAN GROUPS
A set of elements that does not have this property is called linearly inde-
pendent. In the additive notation, the property of linear dependence takes
133
134 Abelian Groups
the form nigi + n2g2 + ... + nkgk = 0, and consequently coincides with
the usual definition of linear dependence.
An infinite set of elements of a group G is called linearly independent
if all of its finite subsets are linearly independent. Otherwise the set is called
linearly dependent. We say that an element g EGis linearly dependent on the
set E c G if there exist a number m and elements g l ' g2' ... , gk E E such that
gm E [gi' ... ,gk]'
If a group G has a finite maximal linearly independent set, then every
maximal linearly independent set contains the same number of elements
(see 6.1.21). In this case the number of elements in a maximal linearly
independent set is called the rank of G. If G does not have a maximal linearly
independent set consisting of a finite number of elements, then we say that
G has infinite rank. A periodic group is considered to have rank zero.
the product of all direct factors whose orders are pn (if such do not exist, then
set A(n) = e). Let B(n) denote the direct product of the lowest layers A\n),
A\n+ 1), .•• of the groups A(n), A(n+ 1), .... Prove that:
1) A ~n) is isomorphic to B(n)/ B(n + 1) ;
2) B(n) contains only those elements a in the lowest layer for which the
equation x pn - 1 = a is solvable;
3) the subgroups A\n) and B(n) do not depend on the particular de-
composition of G into a direct product.
6.1.27.T.H. Let G be a primary group which is decomposed into a direct
product of cyclic groups. Prove that any two decompositions of G into a
direct product of cyclic groups are isomorphic.
6.1.28.T.H. Let G be a finite or countable group which is decomposed into a
direct product of cyclic groups. Prove that any two decompositions of G
whose factors are cyclic groups which are either infinite or are finite and
primary are isomorphic.
Remark. The assumption of countability can, in fact, be eliminated.
where lXil ~ lXi2 ~ ••• ~ lX ili . The numbers piin i (i = 1,2, ... , k; ni = 1,
2, ... , lJ are called the invariants of G. These invariants determine the group
G up to isomorphism. Finite groups having distinct invariants are not iso-
morphic (see 6.2.8. and 6.2.9). The set of all invariants of a finite group G
will sometimes be written in the form of a table, where each row consists of
the invariants corresponding to a prime written in decreasing order. In
certain cases we will insert p? = 1 into a row. For example, if a finite group is
decomposed into the direct product of four cyclic groups of orders 22 ,2 2 ,
2 5 ,2 6 and three cyclic groups of orders 3, 33 , 34 , then the invariants can
be written in the form of the following table:
28, 2~, 22, 22
34, 3 3, 3, 3°
One should keep in mind the fact that in the set of invariants the same
number may occur several times, i.e., the set of invariants represent a system
rather than a set (see Chapter 1.1).
Finite Abelian Groups 137
Pail
i ' ...,
paim
i
P"kl
k ' ... ,
p"km
k
P~kl
k ' ... ,
p~km
k
Prove that f3ij ::::; rt. ij for all i = 1, ... ,k; j = 1, ... , m.
6.2.14. Let G be a finite abelian group such that every proper subgroup is
characteristic. What are the invariants of G?
6.2.15. Let G be a finite abelian group such that every proper subgroup is
completely characteristic. What are the invariants of G?
6.2.16. Find all finite abelian groups which have the property that the only
proper homomorphic images (see 6.1.16) are cyclic groups.
6.2.17. What type of finite groups do not have proper endomorph isms, i.e.,
endomorphisms which are neither automorphisms nor the identity homo-
morphism?
6.2.18. Can a finite group G contain an element g #- e for which the equation
xn = g is solvable for every n?
6.2.19. A primary group G is given by its invariants p4, p3, p2. How many
elements in G have order p?
6.2.20. A finite group G is given by its invariants 23 , 2; 52, 5, 5. Determine:
1) the order of G;
2) if G has subgroups of orders 31, 25,10,40,27,120;
3) the invariants of a subgroup of order 20.
6.2.21. A finite group G is given by its invariants
53 ,5 2,5; 7; 3
and a group G' by its invariants
6.2.23. Prove that if a subset S of a finite abelian group G contains all of the
elements of maximal order in G, then [S] = G.
P~ll
1 ' ...,
p~lm
1
6
P'kkm
'j
P'kkl ' , .. ,
Let a E G be an element of infinite order, and let PI' P2' ... , Pn' ... be the
increasing sequence of all primes. Define the symbol (ill' 1X2' ... ,lXn , ••• ) by
setting IXn = 0 if the equation x Pn = a does not have a solution in G, IXn = kif
the equation xP~ = a can be solved in G but xP~ + 1 cannot, and IXn = ro if
all of the equations xpi, = a are solvable in G (i = 1,2, ... ). The symbol
(ill' .•. ,lXn , ••• ) is called the characteristic of a.
Two characteristics IX = (IX I ,···, IXn ,.··) and P = (PI'···' Pn' ... ) are
said to be equivalent if IXn = Pn for all n and both IXn and Pn are different from
ro for all but a finite number of n. The class of all characteristics can be par-
titioned into disjoint classes having equivalent characteristics (see 6.4.29).
These classes are called types. If il' and pi are types, we define 1X' ~ pi if there
exist characteristics IX of type IX' and Pof type P' such that IXn ~ Pn for all n,
where ro is considered as being greater than any number.
6.4.1. Prove that if in a nonperiodic group G the set of all elements of infinite
order together with the identity forms a subgroup, then G is torsion-free.
6.4.2. T. Prove that the factor group of an abelian group by the periodic part
is torsion-free.
6.4.3. Suppose a group G contains elements of orders kl' k2' ... kn' where the
k i (i = 1, ... , n) are relatively prime numbers. Prove that G contains an
element of order kl k2 ... k n.
6.4.4.T.H. Prove that if a group G has finite rank, then so does every·sub-
group A and factor group GjA. Moreover, show that the sum of the ranks of
A and Gj A is equal to the rank of G.
6.4.5. Prove that the rank of the direct product of a finite number of groups,
each of which has finite rank, is equal to the sum of the ranks of the factors.
6.4.6. Let P be a prime and G' be the additive group of all rational numbers
whose denominators are powers of p. Denote by Gil the subgroup of G'
consisting of all integers. Prove that G = G'jG" is an infinite periodic group.
Remark. The group G is called a group of type poo.
6.4.7. Prove that a group of type poo can be defined by a set of generators
{a l , a2 , ... , an' ... } and a defining set of relations a~ = e, a~ + 1 = an (n = 1,
2, ...).
6.4.8. Does a group of type poo have any infinite proper subgroups?
6.4.9. Is it possible for a group G of type poo to be mapped by a proper homo-
morphism (see 6.1.16) onto a group which is not isomorphic to G?
6.4.10. Can a mixed group G have the property that every nonidentical
homomorphic image of G is isomorphic to G?
6.4.11. Which of the following groups are divisible: (1) a group of type poo ;
(2) the additive group of rational numbers; (3) the multiplicative group of
complex numbers different from zero; (4) the multiplicative group of all roots
of all powers in (1); (5) a direct product of cyclic groups?
Inrmite Abelian Groups 143
6.4.12. Prove that iffor every prime p the set of pth powers of all elements in a
group G coincides with G, then G is divisible.
6.4.13. Let G be a p-primary group. Provethat if every element of order p in G
has infinite height, then G is divisible.
6.4.14. Can a divisible group be mapped by a homomorphism onto a
finite group of order greater than I?
6.4.IS. Prove that in a torsion-free group G, every equation of the form
xn = a (a E G) can have at most one solution.
6.4.16. Which of the following subgroups of G will always be pure subgroups
ofG:
1) the group G itself;
2) the periodic part of G ;
3) a direct factor of G?
6.4.17.T. Let G be a p-primary group and C a subgroup of G. Prove that C
is a pure subgroup of G if and only if every element in C has the same height
in C as it does in G.
6.4.18. Prove that a divisible group D is a pure subgroup of any group G
which contains D as a subgroup.
6.4.19. Let D be a divisible group, and C i= e a pure subgroup of D. Show
that C cannot be finite.
6.4.20.H. Prove that the intersection of any class of pure subgroups of a
torsion-free group is pure.
6.4.2I.T.H. Let C be the intersection of all pure subgroups of a torsion-free
group G which contain the set MeG. Prove that C consists of all elements
which are linearly dependent on elements in M.
6.4.22. Prove that a subgroup C of a torsion-free group G is pure if and only
if GIC is torsion-free.
6.4.23. Prove that every infinite cyclic group is isomorphic to a subgroup
of a divisible group.
6.4.24.T. Prove that every group is isomorphic to a factor-group of a direct
product of infinite cyclic gf0'lpS.
6.4.2S.T.H. Prove that every group is isomorphic to a subgroup of a divisible
group.
6.4.26.H. Prove that every torsion-free group of rank 1 is isomorphic to a
subgroup of the group of all rational numbers under addition.
6.4.27. Let m be an arbitrary integer, m i= O. Find the characteristic of m
in the following groups:
1) rational numbers under addition;
2) integers under addition;
3) rational numbers with denominator 2 under addition.
144 Abelian Groups
6.4.28. Prove that the relation on the set of characteristics which was
defined in the introduction to this section satisfies the definition of an equiva-
lence as given in Chapter 1.3.
6.4.29. Prove that the relation::;; introduced on the set of types is an order-
ing.
6.4.30. Prove that all elements different from the identity in a torsion-free
group of rank 1 have equivalent characteristics.
Remark. The class to which all elements of a torsion-free group G of
rank 1 belong is called the type of G.
6.4.31.T. Let G t and G2 be torsion-free groups of rank 1. Prove that in
order for G t to be isomorphic to a subgroup ofG 2 it is necessary and sufficient
for the type of G t to be less than or equal to the type of G2 •
6.4.32.T. Let G t and G2 be torsion-free groups of nink 1. Prove that in
order for G t and G2 to be isomorphic it is necessary and sufficient that they
have the same type.
Chapter 7
GROUP REPRESENTATIONS
Zt ZI Z2 Zt
Z2 Z3 21 23
Z3 Z3 Z3 ZI
145
146 Group Representations
Is cp a representation of N by transformations?
7.1.3. Let a semigroup S be defined by the generating set {ai, a2 } (in the
sense of semigroups) and the defining set of relations a l a2 = a2al, ai = a~.
Consider the mapping cp of the generating set of S into the semigroup of all
transformations of the set X = {XI' X 2 , x 3 , x 4 }:
X~ Xa Xi) X~ Xa Xi)
?~J= (
Xl
X~ XI Xa Xi
, ,~)=
(Xl
XI X~ X, Xa
Iat as as
al at at al
as al a2 a2
as al as as
Prove that:
1) the representation rJ. H of G by H is similar to the representation rt of
G by transformations of the set of nonzero rational numbers defined
by
7.2.29.H. Prove that the symmetric group S4 has only two similar faithful
transitive representations of degree 6.
7.2.30. Let G be a noncyclic group of order 14 (see 5.4.27). Prove that G
does not have any faithful transitive representations of degree less than 7.
7.2.31.H. Prove that any two transitive representations of degree 7 of the
group G in the preceding problem are similar.
7.2.32. Let IX be a representation of a group G by transformations on a set X
such that IX(G) = G' is intransitive. Let Mi be an intransitive system of G',
and denote by Pi the mapping of G into the group of transformations of Mi
defined by Pi(g) = lXi if lX(g) = IX, where lXi is the transformation defined in
4.9.28. Prove that Pi is a transitive representation of G.
7.2.33.H. Let G be a group, Pg the transformation of G defined by pix) =
xg (x E G). Denote by f the mapping of G into the semigroup of all transfor-
mations of the set G defined by f(g) = Pg • For what kind of groups is this
ma-l'ping a representation of G by transformations?
for all x E G.
Let 1i(i = 1, ... , k) be matrix representations of degrees mj of a group G.
The mapping T which associates to every element x E G the matrix T(x) in
block form of order n = m1 + ... + mk with diagonal matrices Tl(X), T2(x),
... , T,.(x) is called a matrix representation of G of degree n = m1 + m2 +
... + mk (see 7.3.13). Further, Tis called the direct sum of the representations
T1 ,T2 ,···,T,.·
A matrix representation T of G which is equivalent to a direct sum of
representations of G of degrees less than the degree of T is said to be com-
pletely reducible. Sometimes completely reducible representations are
called decomposable.
Let T be a matrix representation of G of degree n. Let P be a nonsingular
Representations of Groups by Matrices 153
matrix such that the matrix S(x) = PT(x)P- 1 has the form
s (x) = ( Tl (x) 0 )
A (x) T2 (x)
where T1(x) and Tz(x) are matrices of degrees m1 and mz (mJ + mz = n),
A(x) is an mz x m, rectangular matrix, and 0 is the m J x m2 zero matrix.
Then T is called a reducible representation of G; otherwise T is called ir-
reducible.
It is obvious that every completely reducible (decomposable) representa-
tion is reducible. In general the converse does not hold (see 7.3.16). However,
every reducible representation of a finite group is completely reducible (see
7.3.20).
(x E G)
- sin !Xx 0\
is a matrix representation of G.
154 Group Representations
7.3.4. Let a group G be defined by the generating set {aI' a2} and the defining
set of relations: ai = e, a~ = e, a2al = aia 2 . Prove that G = {e, aI' ai,
az, alaz, aia z}. Define a mapping T by
T(e)=(~ ~ ~l
o0 1/
0 0 1\
T(aD= ( 10 0)
o1 OJ
Is T a representation of G?
7.3.5. Let G be a group of rotations about a fixed axis in three-dimensional
space R J , and for every g E G let qJg be the angle of rotation. Is the mapping
T(g)=('fg 0)
o f£lg
7.3.10. Does the symmetric group Sn have any nonidentity matrix rep-
resentations of degree n which are different from the representation given
in 7.3.2?
7.3.11. Let G be a group of rotations about the Ox-axis of the three-dimen-
sional vector space R 3 . For every g E G, let q>g be the angle of rotation. Prove
that the mapping T defined by
(n=O, + I, ...)
7.4.1. Let (1. I and (1. 2 be homomorphisms of an abelian group A into an abelian
group B. Prove that the mapping IX] defined by (1.3(1X) = (1.1«(1.)' (1.2«(1.) «(1. E A)
is a homomorphism of A into B.
7.4.2. Prove that the set R(A, B) of all homomorphisms of an abelian group A
into an abelian group B forms a group relative to the operation defined above
on R(A, B).
7.4.3. Find R(A, B), where A and B are infinite cyclic groups.
7.4.4. Let A be an infinite cyclic group. Prove that R(A, B) is isomorphic to
B for any abelian group B.
7.4.5. Let A be a periodic abelian group, and let B be a torsion-free abelian
group. Find R(A, B).
7.4.6. Let A and B be primary cyclic groups of orders p~' and p~2, respectively.
Prove that:
1) if PI = P2' then R(A, B) is a cyclic group of order p;nin(k,;k 2 );
2) if PI =1= P2' then R(A, B) is the identity group.
Groups of Homomorphisms of Abelian Groups 157
7.4.7. Let A be a cyclic primary group of order pn, B any abelian group.
Determine R(A, B).
7.4.8. Find the group of endomorphisms of an abelian group G of order pq,
where p and q are distinct primes.
7.4.9. Prove that the group of endomorphisms of the additive group of
rational numbers R is isomorphic to R.
7.4.10.T. Prove that if A is the direct product of abelian groups Ai (i = 1,
... , n), then R(A, B) is isomorphic to the direct product of the groups R(Ai' B)
(i = 1, ... , n) for any abelian group B.
7.4.11.H. Let an abelian group A be defined by the generating set {a 1, a2, a3}
and the defining set of relations af = e, a~ = e. Let B be an infinite cyclic
group. Find R(A, B).
7.4.12.H. Let A be a finitely generated abelian group of rank r, and let B be
an infinite cyclic group. Find R(A, B).
7.4. 13.H. Let A be a finite abelian group with invariants 32 ,3,2 and let B
be a cyclic group of order 2. Find R(A, B).
7.4.14.H. Let A be a finite abelian group with invariants
7.4.19.". Find R(A, B) for the following pairs of abelian groups A and B
158 Group Representations
which are defined by the indicated generating sets and defining relations:
5. Characters of Groups
Let T be a matrix representation of degree n of a group G. By the
character of T we mean the mapping X of G into the set of complex numbers
defined by
/I
X (a) = ~ au
i=l
where the aii are the diagonal entries of the matrix T(a).1t follows from 7.3.1
that every irreducible representation of an abelian group is a homomorphism
into the multiplicative group C of complex numbers different from zero.
Thus the character of every irreducible representation of an abelian group
is a homomorphism into C.
The set of all homomorphisms of an abelian group G into the multi-
plicative group of complex numbers modulo I forms a group relative to the
operation defined in the preceding section. This group is called the group
of characters of the abelian group G.
7.5.1. Find the characters of the representations ofthe groups stated in 7.3.3,
7.3.4, and 7.3.15.
7.5.2. Let T be the representation of Sn indicated in 7.3.2, and let X be the
character of this representation. Prove that X(s) = k for all s E Sn' where k
is the number of elements which are left fixed by the transformation s.
7.5.3. Prove that two characters X1 and X2 of equivalent matrix representa-
tions T j and T2 of a group G are equal.
7.5.4. Let the matrix representation T of a group G be the direct sum of the
representations Tj , T2 , .•• , Tm and let X be the character of T and Xi the
character of Ii, i = 1, ... , m. Prove that
m
X(a) = L: Xi(a)
i=l
for each a E G.
160 Group Represen tations
7.5.5. Is it possible for a nontrivial group G to have the property that the
character X of each nonfaithful matrix representation T of degree n be of the
form x(a) = n for each a E G?
7.5.6. Let x and y be conjugate elements in a group G, T a matrix representa-
tion of G, and X the character of T. Prove that X(x) = X(y)·
7.5.7.H. Find all irreducible representations of the cyclic group [a] of
order n.
7.S.S.H. Let G be a finite abelian group. Prove that the characters of all
irreducible representations of G are mappings whose images consist of roots
of 1.
7.5.9. Find the group of characters for each of the following abelian groups
which are defined by the indicated generating sets and defining relations.
1) A= [a], h
a pk = e, were . .
p IS a pnme
2) A= [ah a21, a:=e, a~=e, a,a2=a2a,
3) A=[a., a21, a: = a2' a~ = e, a,a2 = a2a,
1. Metric Spaces
Let M be a set and let p be a mapping of the Cartesian product M x M
into the set of nonnegative real numbers [in other words, to every pair
(x, y) of elements in M associate a real number p(x, y) ? 0]. This mapping is
called a metric, or a distance function (d is often used instead of p) if it satisfies
the following three conditions:
1) p(x, y) = 0 if and only if x = y;
2) p(x, y) = p(y, x) for all x, y EM;
3) p(x, y) :::; p(x, z) + p(z, y) for all x, y, Z E M.
The set M together with the metric p defined on M is called a metric space
relative to p. The elements of a metric space are called points, and the number
p(x, y) is called the distance between the points x and y.
A sequence {x n } of points in a metric space is said to converge to a
point XoE M if lim p(x n, xo) = O. In this case we write Xn ---+ Xo or lim Xn =
n~x
Xo , and say that the limit of the Xn is Xo. For A c M, the point a EM is
called a limit point of A if there exists a sequence {an} of distinct points in A
which converges to a.
A sequence {xn} of points in a metric space M is called fundamental if
lim P (x m• xn) =0
n, m.....,.oo
Let PI and P2 be two metrics on a set M such that the convergence of the
sequence {xn} to Xo relative to PI implies the convergence of {xn} to Xo
relative to P2, and vice versa. We then say that PI and P2 are equivalent
metrics.
As examples of metric spaces we consider the n-dimensional vector
spaces R n (n = 1,2, ... ), i.e., the Cartesian product of n copies of the real
numbers R in which addition and scalar multiplication are defined by
1) (aI' a2 , an) + (b b2 , ... , bn) =
= (a +b
... , l,
l l, a2 +b 2, . . . , an+bn)
where x = (Xl' ... , Xn), Y = (YI' ... , Yn) [see 8.1.1, (3)].
p~(x, y)=!x-y!
ps(x, y)=lx(I)-y(1)1
8.1.2. Let e[a.bl denote the set of all continuous functions on the interval
[a, b].
1) Prove that the mapping
is a metric.
2) Is the following mapping PI a metric:
b
pdf, g)= ~ If(x) - g(x) I dx
a
8.1.3. Let X be a metric space with metric p. Determine which of the follow-
ing mappings are metrics :
is a metric.
164 Topological and Ordered Groups
PI (x, y)=lx-YI
pj)(X, y)=maxlx,,-y,,1
"
Metric Spaces 165
PaU, g)=sup!/(x)-g(x)!
x
4) the set of all continuous functions defined on the interval [a, b], with
the metric P from S.1.2, (1)?
8.1.15. Consider the set R of real numbers as a metric space with the metric
P2 from 8.1.1, (2). Prove that R is separable.
8.1.16.H. Let C[a,b] be the metric space of continuous functions on [a, b]
with the metric P from 8.1.2, (1). Prove that C[a.b] is separable.
8.1.17.H. Let M T denote the set of all real bounded functions defined on an
infinite set T. Can a metric be introduced on M T for which it is a nonseparable
metric space
8.1.1S. Which of the following sets are compact metric spaces:
1) the set of real numbers relative to the metric
p(x, y)=jx-yj
Define a mapping p' of the set M' x M' into the set of nonnegative real
numbers by
p(i,)) = !
0 if i =)
1 if i and) are even, i -#)
exists, then it is natural to associate this number with the pair (j; g). Denote
Then P* will be a metric on G if sup p(f(x), g(x» exists for every pair of
XEM
p(j(x), !(y)=p(x, y)
8.2.1. Let M be a metric space and fix Xo E M. Prove that the transforma-
tion f of M defined by f(x) = Xo for all x E M is continuous.
8.2.2. Let M be a metric space with the metric
0 if x = y
p(x, y) = { 1 'f [see 8.1.1, (l)]
IXof.y
Prove that every transformation of M is continuous, and every invertible
transformation is bicontinuous.
8.2.3. Which of the following functions are continuous transformations of
the space of real numbers [see 8.1.1, (2)]:
1) f,(x) = x 2 + 5;
2) f2(X) = 1/(x 3 + 2);
I if x is rational
{
3) f3(X) = 0 if x is irrational
168 Topological and Ordered Groups
where a is an arbitrary but fixed real number. Prove that every transforma-
tion in G is an isometry of R. Does G form a group of continuous transforma-
tions?
8.2.12. Let v" be an n-dimensional vector space. Introduce the metric from
8.1.1, (3) on v". Consider the set G of all transformations h of v" defined by
where (x l ' ... , X n) E Vn and Ii. "# 0 is a fixed real number. Prove that each h
is an invertible bicontinuous transformation of v" , and that G forms a group
of continuous transformations of v".
8.2.13. Let Vn be as in 8.2.12. Let G be the set of all nonsingular linear
transformations of v,. onto itself. Prove that each f EGis bicontinuous and
that G forms a group of continuous transformations of v,..
Groups of Continuous Transfonnations of a Metric Space 169
3. Topological Spaces
Let X be any set and denote by P(X) the set of all subsets of X. A trans-
formation rx of P(X) is called a closure operator of X if it satisfies the following
conditions:
1) rx(A) = A for every subset A c X consisting of one element;
2) rx(A U B) = rx(A) U rx(B) for all A, B E P(X);
3) rx(rx(A)) = rx(A) for all A E P(X).
The set rx(A) is called the closure of A and is denoted by it.
If a closure operator rx is defined on a set X, then we say that rx defines a
topology on X or that a topology is introduced on X. In such a case X is
called a tOPQiogicai space relative to the closure operator rx.
A subset F of a topological space X is said to be closed if F = F. In
other words, closed sets are those sets which are fixed points under :to A
subset G c X is called open if X"G is closed.
A family of open sets !J{j in a topological space X is called a basis if
every open subset of X is a union of sets in !J{j. It is obvious that every topo-
logical space has a basis.
A mapping f of X into a topological space Y is said to be continuous
if f(/1) c f( A) for every A c X. The mapping f is called a homeomorphism
if it is one-to-one and preserves theclostire operator, i.e., f(/1) = f(A) for
every A c X. The spaces X and Yare then said to be homeomorphic. Thus
homeomorphic spaces differ only by the nature or notation of their elements.
A mapping f of X into Yis called open if f( G) is open in Yfor every open
set Gin X.
8.3.l.T. Let M be a metric space and P(M) the set of all subsets of M. Set
rx(A) = A (A E P(M)), where A consists of all elements in A and all of its
limit points. Prove that M is a topological space relative to the operator rx.
8.3.2. Which of the following transformations rx i (i = 1,2,3,4,5) are closure
operators on the sets Ai given below?
1) Let A 1 be an infinite set. Define rx 1(M) = M if M is a finite subset of
A land rx 1(M) = A 1 if M is infinite.
2) Let A2 = {a o, al , ... , an, .. .}. Set rx2(M) = M if M is a finite subset
and rxiM) = M U ao if M is infinite.
Topological Spaces 171
3) Let AJ = {ai' a z , a3}, and for M = {a2 , a3} put C(3(M) = {ai' az }.
4) Let A4 = {... ,a_z,a_l,ao,al,az, .. ·} and set C(4(M) = M U ao
for every M c A 4 .
5) Let As = (ai' a 2 , . . . , a", .. . }. If M is infinite set C(s(M) = M and
if M = (ai" ... ,aiJ set C(s(M) = M U (a n ,an + 1 , . . . }, wht:re n =
max {ii' iz ,···, ik }·
8.3.3. Let X be an arbitrary set. Show that it is always possible to introduce
a topology on X for which every subset of X is closed, and that this topology
IS umque.
Remark. This topology is called the discrete topology.
8.3.4. Let A = {a o , ai' az, ... }. Define a closure on the set of all subsets of A
as indi.cated in 8.3.2., (2). Determine which of the subsets listed below are
open and which are closed.
1) M J = lah a1' aa, ... }
2) M2 = A'\. {al> a~, ... , as}
3) M3 = {aa, ai' a~};
4) M~ = lao, al> a2, aa, ... }
5) M3 = lao, a2, a4, au, ••• , a 2k , ..• }
8.3.12. Prove that every closed subset F of the real line (see 8.3.7) is an
intersection of a countable number of open sets.
8.3. 13.T. Prove that in any topological space:
1) the union of any family of open sets is open;
2) the intersection of a finite number of open sets is open.
8.3.14. Let M be a complete metric space with metric p and introduce on M
the topology as indicated in 8.3.1. Prove that every closed subset F of M
is a complete metric space relative to the metric p' considered on F (see
8.1.27).
8.3.15. Let X be a topological space, A a subset of X, and §P the family of all
closed subsets of X containing A. Denote by D the intersection of all sets in §P.
Prove that if = D.
8.3.16. Let R be the real line (see 8.3.7). Does R possess two distinct subsets
F1 and F2 for which P1 = P2?
8.3.17. Let M be a metric space with metric p, n a natural number, and
Xo EM. Define
S(Xo, n) = {x EM: p(x, Xo) < lin}
Denote by .~theclass of all S(xo, n). Prove that ~forms a basis for the topology
introduced in 8.3.1.
8.3. 18.T. Let X be a topological space. Prove that in order for a class ~
of open sets in X to be a basis it is necessary and sufficient that for every
open set G c X and every a E G there exists U E ~ such that a E U c G.
Does every topological space have a basis?
8.3.19. Let X be a topological space, A c X, and f!J a basis for X. Prove
that a E A if and only if UnA i= 0 for every set U E ~ which contains
ao·
8.3.20. T. Let ~ be a basis for a topological space X. Prove that:
1) for all a, b E X, a i= b, there exists U E ~ such that a E U, b ¢ U;
2) for all U, VE ~ and for every a E U n V there exists WE ~ such that
aEWcUnV.
8.3.21.T.H. Let X be a set and let ~ be a collection of subsets of X satisfying
conditions (1) and (2) of 8.3.20. Let A c X and denote by if the set of all
x E X with the property that A n U =1= 0 for every U E ~ containing x.
Consider the transformation a of P(X) defined by a(A) = if. Prove that a is
a closure operator. Is ~ a basis for the topological space thus obtained?
Remark. Compare the results of this problem with those for 8.3.20.
8.3.22. Let R be the real line (see 8.3.7). Consider the class ~ of all open
intervals having rational endpoints.
1) Does ~ form a basis for R?
2) Prove that ~ satisfies conditions (1) and (2) of 8.3.20.
Topological Spaces 173
1) Fl(y)=y(a) 0'ECra.bj)
2) F~(y)= max IY(x) I (y
xE la, bj
E Cra, bJ)
3) Fa 0') = max y (x) 0' E Cra. bJ)
xE la, bJ
b
4) F, (y) = ~y (x) dx (y E Cra, bj)
a
V 2, ... , Vn) the set of all elements (XI' X2 , · · · , xn) in X such that Xi E Vi.
Denote by !!I the class of all sets (V I, V 2, ... , V n), where the Vi are arbitrary
open sets in Xi. Introduce the transformation of P(X) as indicated in
8.3.21. Prove that X is a topological space relative to this transformation.
Remark. The space X is called the direct product of the topological
s paces X I , X 2 , .•. , X n •
8.3.31. Let M be a metric space with metric p. Let M' be the metric space
consisting of all elements of M, but with the metric PI defined by
Introduce the topology on X starting with P (see 8.3.1). Prove that the topol-
ogy on X from 8.3.30 coincides with the topology introduced by means of p.
8.3.34.T. Introduce distinct topologies on a set X with bases f!41 and flI2
(see 8.3.18). Assume that for each V E flIl and every a E V there exists V' E flI2
such that a E V' c V, and for each V' E flI2 and everya' E V' there exists
V E flit such that a' EVe V'. Prove that these topologies coincide.
8.3.35. State and prove the converse of 8.3.34.
8.3.36. Let there be given two equivalent metrics PI and P2 on a set X.
Prove that the topologies introduced on X starting with PI and P2 (see
8.3.1) coincide.
4. Topological Groups
Let G be a set with an operation (which we shall call multiplication)
under which G is a group and a closure operator under which G is a topologi-
cal space. Then G is called a topological group relative to the given operation
Topological Groups 175
and topology if it satisfies the following condition: for all a, bEG and for
every open set W containing ab - 1 there exist open sets U and V such that
a E U, bE V, and U V-I C W, where V-I is the set of all inverses of elements
in V.
This latter condition connects the group operation and the topology in
the following sense:
1) each left translation of G is a continuous transformation of G;
2) the transformation of G which takes each element onto its inverse is
continuous (see 8.4.5 and 8.4.40).
The set of elements of a topological group G when considered with
respect to the group operation only is called an algebraic group. This defini-
tion conforms with the definition given in Chapter 2.6, since it is possible to
introduce a topology on every group G such that G is a topological group
with respect to this topology (see 8.4.15). In this section we will usually add
the term "algebraic" to the terms group, subgroup, homomorphism, etc.,
when we consider these concepts with respect to the group operation only.
Thus we speak of algebraic subgroups, algebraic homomorphisms, algebraic
isomorphisms, etc. We will use the same letter to denote both the algebraic
group and the topological group.
A subset H of a topological group G is called a subgroup of G if:
1) H is a subgroup of the algebraic group G;
2) H is a closed subset of the topological space G.
A subgroup N of a topological group G is called a normal subgroup of
G if N is a normal subgroup of the algebraic group G.
Let G and G' be topological groups. A mapping f of G onto G' is called a
topological isomorphism, or simply an isomorphism, if:
1) f is an isomorphism of the algebraic group G onto the algebraic
group G';
2) f is a topological mapping (homeomorphism) of the topological
space G onto the topological space G'.
A mapping g of G into G' is called a homomorphism if:
1) g is a homomorphism of the algebraic group G into the algebraic
group G';
2) g is a continuous mapping of the topological space G into the
topological space G'.
A homomorphism f of G into G' is said to be open iff is an open mapping
of the topological space G into the topological space G'.
Let Tbe a topological space and let G be a topological group of invertible
transformations of T(cf. Chapter 3.2). Then G is called a continuous group of
transformations of T if for every a E G, x E T and for every open set WeT
containing ct(x) there exist open sets U c G containing ct and VeT con-
taining x. such that ct'(x') E W for all a' E U, x' E V. Every transformation
!Y. EGis a homeomorphism (see 8.4.30).
176 Topological and Ordered Groups
8.4.1. Let G1 and G2 be the groups defined below and let (Xi (i = 1,2) be
transformations of P(G;). Determine which of the Gi are topological groups:
1) G 1 any group, (X1(A) = A for all A c G1 ;
2) G2 = [a]g an infinite cyclic group, C<l(A) = A if A is finite and C<2(A) =
A U e if A is infinite.
8.4.2. Does the real line (see 8.3.7) form a topological group relative to
ordinary addition?
8.4.3. Let v" be an n-dimensional vector space and introduce the metric p
on v,,:
Define the topology on v" as indicated in 8.3.1. Does v" form a topological
group relative to ordinary addition of vectors?
8.4.4. Let G be the set of n x n real matrices a = (a i ) with determinants
different from zero, and let k be a positive integer. Consider the class :18 of all
sets U ak' where U ak consists of all matrices x = (Xi) for which
8.4.9. Let G be the additive group of integers, a E G, and p a prime. Let Uka
denote the set of all integers of the form a + bri (b E G) and let {f4 p consist of
all sets Uka (k is a natural number, a E G). Show that{f4p satisfies the conditions
in 8.3.21. Does G form a topological group relative to ordinary addition
and the topology determined by {f4 p?
Let p #- q be two primes. Let {f4p and {f4q be bases for topologies as defined
above. Are these two topologies equal?
8.4.10. Let R be the real line. Then R is a topological group under addition
(see 8.4.2). Denote by Z the algebraic subgroup of integers. Is Z a topological
subgroup of R?
8.4.11.0. Let G be the topological group of all points in the plane relative to
the operation and topology introduced in 8.4.3. Let N be a line with slope
~ and H the set of all points with integral coordinates.
1) Is either H or N a subgroup of the topological group G?
2) For which ~ is the set P = H + N closed?
8.4. 12.T.H. Let.G be a topological group and H an algebraic subgroup of the
algebraic group G. Is H a subgroup of the topological group G?
8.4.13.T.H. Let G be a topological group. Prove that for every algebraic
normal subgroup N of G, N is a normal subgroup of G.
8.4.14. Let G and G' be topological groups and let f be an algebraic iso-
morphism of G onto G' which is continuous. Is f necessarily a topological
isomorphism?
8.4.15. Let {f4 be the family of all subsets of an algebraic group G. Prove that
(1) there exists a unique topology on G for which {f4 is a basis, (2) G forms a
topological group relative to this topology, and (3) this topology is discrete.
Is every algebraic subgroup of G a topological subgroup? Is every algebraic
isomorphism of G onto a topological group G' continuous? Is every algebraic
isomorphism of G onto a topological group G' a topological isomorphism?
Remark. A group with the discrete topology is called a discrete group.
8.4.16. Let R be the topological group of real numbers under addition (see
8.4.2). Let R' be the set of all positive real numbers. Define a mapping f
from P(R') into itself by f(A) = it (A c R') where it is the set of all a E R'
for which there exists a sequence an E A with lim a. = a. Prove that:
.--+ 00
aU 0 0 0 )
( a'll a2:1 0 0
Denote by B the set of all pairs of real numbers of the form (x, 0).
1) Is either A or B a closed set?
2) Is A +- B closed?
8.4.28.T.H. Let G be a topological group. Prove that for every open set U
and for every x E U there exists an open set V such that x E Vand V c U.
8.4.29.T.H. Let G be a topological group and let A be the center of the
algebraic group G. Prove that A is a subgroup of the topological group G.
8.4.30. Let G be a continuous group of transformations of a topological
space X. Prove that every g EGis a homeomorphism of X onto itself.
8.4.31. Let G' be the set of all invertible topological transformations of a
topological space X. Prove that G' forms an algebraic group under composi-
tion of transformations.
8.4.32. Is the product of two continuous transformations of a topological
space continuous?
8.4.33. Let G be a continuous group of transformations of a topological
space X. (1) Is every subgroup H of G a continuous group of transformations
of X? (2) Let G be a transitive group of transformations of X. Is every sub-
group H of G a transitive group of transformations of X?
8.4.34. Let G be the group of all rotations of the plane D about a point O.
Introduce a topology on D as indicated in 8.4.3. Prove that each x EGis a
homeomorphism of D. Each rotation x E G determines an angle of rotation
IX, so we can write x = x •. For every A c G, define f(A) = ii, where Xo =
x'o E iI if and only if there exists a sequence of angles {lXn} such that
lim IXn = lXo and x. E A (n = 1, 2, ... ). Prove that G is a topological group
n- 00 11
5. Ordered Groups
Let G be a group and define an ordering relation on the set of elements in
G. If this relation is two-sided compatible, then G is called an ordered group
relative to this ordering. In particular we speak of a linearly ordered group
if the given ordering is also linear (in the literature the term "ordered group"
is sometimes used in place of what we have called a "linearly ordered group").
An element x of an ordered group G is said to be positive if x ~ e and
negative if x ~ e. The set of all positive elements of G is called the positive part
of G and is denoted by G +. (It is also called the semigroup of positive elements,
which is implied by 8.5.6.) The set of all negative elements of G is called the
negative part of G (semigroup of negative elements) and is denoted by G -.
Ordered Groups 181
8.S.14.H. Let G be the set of all pairs of real numbers. Introduce an operation
on G by setting
Prove that G is a group with respect to this operation. Prove that the subset
H of all elements (x, y) such that x > 0 or x = 0 and Y ~ 0 is the positive part
for some two-sided compatible linear ordering.
8.5.15. Let G = n a
Ga be a direct product of groups Ga , each of which has a
two-sided compatible ordering defined on it. Put x ~ Y in G if and only if
Xa ~ Ya in Ga for every factor Ga.
1 a C)
M= ( 0 1 b
001
184 Topological and Ordered Groups
Prove that:
1) G is a group under ordinary matrix multiplication;
2) G has anontrivial (different from the diagonal) two-sided compatible
linear ordering.
8.5.26.H. Prove that if an abelian group G has at least two distinct two-sided
compatible orderings, then there is an infinite number of all such orderings on
G.
8.5.27. Prove that a nontrivial (see 8.5.25) two-sided compatible ordering
can be defined on every group G which contains elements of infinite order in
the center of G.
8.5.28. Prove that if a nontrivial (see 8.5.25) two-sided compatible ordering
can be defined on the center of a group G, then a two-sided compatible order-
ing can also be defined on all of G.
HINTS
CHAPTER 1
1.2.3. Use the well-known fact that the set of all primes is infinite.
1.2.18. Take a one-to-one mapping ({Jk of Mk into Mk for each k = 1,2, ....
Select subsets N 1 ,N 2 ,N 3 , ••• in U Mk for which xEN k if xEM t and
k
t + qJt(x) = k for some t. Each Nk is finite (or empty) and U Mk = U N k .
k k
Apply 1.2.17.
1.2.19. Write the set of all rational numbers as a union of subsets Mk
(k = 1,2, ... ), where M k consists of all rational numbers p/q (p and q are in-
tegers) such that Ipi + Iql = k. Apply 1.2.17.
1.2.20. Use 1.2.2.
1.2.21. Write the set of all polynomials with rational coefficients as a union
of subsets Mk (k = 1,2,3, ... ), where the polynomial
Cfl = 0, £11£12£13 .. .
Cf2 = 0, £21£22£23 .. .
185
186 Hints
(here the Gijare the symbols 0,1,2, ... , 9). Define the number r = 0,'11 '12 Yf 3 ... ,
where Yfk = 1 if Gkk -# 1 and Yfk = 2 if Gkk = 1 (k = 1,2,3, ... ). Show that
cpm -# r for all m = 1,2,3, ... , which contradicts the definition of cpo
1.2.24. Use 1.2.16 and 1.2.23.
1.2.25. First prove that the set of all algebraic numbers is countable by using
1.2.17 and 1.2.21, and then show that each polynomial has a finite number of
roots. Next prove that the sets of all real numbers and all complex numbers
are uncountable by using 1.2.16 and 1.2.23. Finally prove that the sets of all
real transcendental numbers and all transcendental numbers are uncountable
by using 1.2.16 and 1.2.18.
1.2.26. First prove that any two intervals are equivalent. Then represent
each of the given sets as a disjoint union of a countable number of intervals.
1.2.27. Prove the existence of a one-to-one mapping of A into M. Suppose
there exists a one-to-one mapping cp of A onto M. Fix two elements b, b' in
B, b -# b'. Consider the mapping tfJ of A into B defined by tfJa = b if cpa -# b
and tfJa = b' if cpa = b. Prove that tfJa -# cpa for all a E A.
1.2.28. For each subset N of M define a mapping CPN of M into the set
°
{O, I} by CPN(X) = 1 if x E N, and CPN(X) = if x ¢ N. Prove that the set of all
cP" coincides with the set of all mappings of Minto {O, I}. Use 1.2.15and 1.2.27.
1.3.18. Prove by induction on the number of elements in the set. Select one
of the maximal elements y E X with respect to p. By using the induction
assumption, establish a linear ordering a on X "-. {y} such that a - b(p)
implies a ...., b(a) for all a, bE X"-. {y}. Starting with a construct the desired
ordering p' on X.
CHAPTER 2
CHAPTER 3
inverse of c(.
3.2.9. Use 3.2.7.
3.3.14. Prove that (a l a2'" ak) = (alak)(alak-l)'" (ala2)'
3.3.16. Use 3.2.23 and 3.2.24. Prove that if
(
1 ... n)
C( = al ... an
is an even permutation, then J~(al ... an) > 0, and if C( is odd then
•.. an) < O.
fn(a l
3.3.17. Use 3.2.25. Multiply each even permutation by the transposition
(12).
3.3.19. Use 3.3.5, 3.3.9, and 3.3.14.
3.3.21. Use 3.3.9 and 3.3.19. Show that the order of the group [(34), (123),
(456)] is less than 31.
3.3.23. Use 3.3.19.
3.3.24. Use 3.3.7.
3.3.26. Use 3.3.24 and prove that if two numbers appear in a cycle in the
decomposition of C( into disjoint cycles then they appear in the same cycle in
the decomposition of C(', and vice versa.
3.4.13. Use 3.4.4.
3.4.23. Use 3.4.4. In the set of integers consider the ordering whereby the
natural numbers are ordered by the usual ordering and the remaining num-
bers are not comparable.
3.4.27. Introduce a system of coordinates and prove that if the abscissas of
Pl , P2 , and P3 satisfy Xl < X 2 < X 3 , then so do the abscissas of their images.
3.4.30. Use 3.4.6.
3.4.32. (2) Prove the assertion for transformations of rank n - 1 and pro-
ceed by induction on the rank.
3.4.34. Prove that
C( = (a bed f)
a ab b c
Hints 189
CHAPTER 4
(1o a) (1a 0)
1
I
1
I (a ~ )
0 -
a
I (0 -1 ) -1 0)
1 0
I (
0 -1
lJ. = (1 234)
abc d
4.8.28. Use 3.3.20 and 4.8.3. Find the number of generating sets of A4 which
consist of 2 elements.
4.8.31. Use 4.3.29 and 4.8.18.
4.9.6. Use the preceding problem.
4.9.8. If lJ. is a regular permutation, then lJ.k maps at least one number onto
itself for some k.
4.9.20. If Gx c G' c G and lJ.G' is a right coset of G' in G, then prove that
M = {IXgiX, IXgjX, ... }, where gi' gj"" E G' is an imprimitive system.
4.9.21. Let (ijd, (ij2)"'" (ijk) be all transpositions in G containing the
number i, and let H be the group generated by the group Gi and these trans-
positions. Prove that k < n - 1 and that H #- G. Use 3.3.19 and 4.9.20.
Hints 193
CHAPTER 5
5.1.5. Prove that the last three relations are consequences of the previous
ones.
5.1.6. Show that the relation a 2 = c 2 (see 5.1.15) is not a consequence of the
given set of relations.
5.1.18. Use the preceding problem.
5.1.19. Use the preceding problem.
5.1.20. Determine the form of the direct consequences of the given set of
relations.
5.1.24. Use 5.1.10.
5.1.27. Use 5.1.26.
5.2.4. Use 5.1.4.
5.2.7. Use 5.1.19.
5.2.8. Use 5.1.19.
5.2.13. Use 5.2.9, 5.2.11, and 5.2.12.
5.2.21. Prove that every word in G can be reduced to the form cmd", where
m and n are integers.
5.2.22. Use 5.2.3.
5.2.23. Consider the fact that if r is a solution of the congruence x P == 1
(mod q), then the remaining solutions are r2, r3, ... , rP - 1.
5.3.4. Prove that K can be decomposed into two disjoint subsets K 1 and K2
of the same cardinality such that the set of all classes containing k E K 1 is a
free generating set of FK'
5.3.8. (3) Use the preceding problem.
5.3.12. If K = {a, b, ... } is a free generating set, then for every integer n
the set K' = {ab n, b, ... } is also.
5.3.13. Prove the statement for the group FK in 5.3.4.
5.3.17. Use 5.3.15 and 5.3.16.
5.3.19. Use 5.3.11 and 5.3.14.
5.4.1. Construct the free group over K and use 5.3.15.
194 Hints
5.4.3. To show that G2 and G3 are not commutative, use 5.1.18 and 4.3.35
and find a noncommutative group in which the stated relations do not
hold
5.4.4. Use the hint to the preceding problem.
5.4.5. Use the hint to 5.4.3.
5.4.6. Use 5.4.2 and 4.3.35.
5.4.7. Use 5.1.18 and the hint to 5.4.3.
5.4.8. Use the hint to the preceding problem.
5.4.10. Construct the group of ordered pairs (\"yi).
5.4.14. Use 5.4.12 and 5.4.13.
5.4.15. Use the hint to the preceding problem.
5.4.16. Use 5.4.13.
5.4.18. Use 5.2.18 and show that every automorphism maps (ab)2 onto
itself.
5.4.20. Use 5.4.19, 5.2.16, and 5.2.17.
5.4.22. Use 5.4.21, 5.2.15, and 5.2.19.
5.4.23. Use 5.4.20 and 5.4.22.
5.4.24. Use 4.4.6, 4.4.11, and 4.4.14.
5.4.25. For a, b elements of orders p, q, respectively, show that all of the
elements a, b-1ab, b- 2 ab 2 , ••. , b-(q-l)abq- 1 are distinct. Then verify that
a-ibai = bri for every natural number j. Finally, use 4.4.5.
5.4.26. Use the preceding problem.
5.4.27. Use 5.4.26, 5.2.22, 5.2.23, and 4.4.14.
5.4.28. Use the preceding problem.
5.4.29. Use 5.4.27, 5.4.23, and 4.4.3.
5.5.20. Denote by f the partial transformation f(z) = -liz (z i= 0) and
by g the partial transformation g(z) = z + 1.
Prove that {J, g} is a generating set of G. Let h be any element in G;
then h can be realized as a transformation of the form
h(z) = az + b (z i= die)
cz + d
First consider the case d = O. Then for the case d i= 0, let Ibl ~ Idl > O.
Prove that gnh can be realized as a partial transformation
CHAPTER 6
6.1. 9. Consider the set G~ of all elements in G whose orders are powers of
the prime p. Show that G~ is a subgroup of G, and that G~l n G~2 = e if
Pl#-P2·
6.1.27. Use 6.1.26.
6.1.28. Use 6.1.24 and 6.1.27.
6.2.6. Let H be the subgroup introduced in the preceding problem. Prove
that [H, a] = [a] x H = G.
6.2.7. Use 6.1.9 and 6.2.6.
6.2.9. Do the problem first for f)nite primary groups.
6.2.13. Use 6.2.12.
6.3.1. Proceed by induction on the number of generators.
6.3.2. Proceed by induction on the number n = Ind + ... + Ind.
6.3.4. By using 6.3.2, find a generating set {g 1 , •.• ,gd of G such that the
orders of g l ' . . . , gk do not decrease, and such that there does not exist a
196 Hints
generating set {gil' ... ,g~} for which the order of g I is equal to the order of gil
and the order of gi is greater than the order of g; for some i = 2, ... , k.
6.3.7. Use 6.2.13.
6.3.8. (6) Choose {ala~aL a2, a3} as a new generating set; (7) choose
{ala2,a2J as a new generating set; (8) choose {ala~aLa2,a3} as a new
generating set; (9) choose {ala2a31, a2, a3} as a new generating set.
6.4.4. Consider the set consisting of all elements in the maximal linearly
independent set A and the representatives of all classes in the maximal
linearly independent set G/ A.
6.4.20. lJse 6.4.15.
6.4.21. Consider the set H of all elements in G which are linearly dependent
on elements in M. Prove that H is a pure subgroup of G. lJse the result of
6.4.20.
6.4.25. lJ se 6.4.23 and 6.4.24.
6.4.26. lJse 6.4.21 and 6.4.25.
CHAPTER 7
7.1.18. Consider the set Sf = S U z (z ~ S). Prove that the mapping C( defined
by
fj1 (a) = (Z' a(J.' a~, ... , a~, ... ) (a E S)
a, aa tl • aa~1 •. , I aa~, .. .
p=(:l ~mJ
where Em, is the mi x mi (i = 1,2) identity matrix, and
CHAPTER 8
,
p (x, y) ={ P (x, y), if P ~X, y) ~ 1
.
1, If p (x I Y) > 1
. 8.2.6.Use 8.2.5 .
8.2.9. Use 8.2.7.
8.2.16. As a preliminary, prove that the set {p(f(x), g(x))} (x E M) is bounded
in the metric space of real numbers (8.1.1 (2)). Then use the well-known
theorem that the least upper bound of a bounded set of real numbers always
exists, and that this bound can be reached.
8.2.18. Use 8.2.7 and 8.2.16.
8.2.19. Use 8.2.15.
8.2.23. Use 8.1.20.
8.3.21. Use 8.3.18.
8.3.28 and 8.3.29. Use 8.3.19.
8.3.30. Use 8.3.21.
Hints 199
CHAPTER 1
313
1.1.1. lEM1: -2,0, IE M2: -2,0,1, 5' 1" EM3: 1, 5' V2, 7t,
1 3 1 1
1" EM 4; 0, 1 E. M .. ; 5' V2, -2, 7t, 7' I, -I, Y2 +V21 I, 2+IE M6•
1.1.2. X, z.
1.1.3. Three elements.
1.1.4. Ml c M z c M 3 ; Ml c M 4 ; M5 C M z C M 3 .
1.1.6. Zero.
1.1.7. (1) all real numbers; (2) 0.
1.1.8. (1) The set of all natural numbers; (2) 0; (3) Mb where k is the least
common multiple of m and n; and (4) the set of all natural numbers different
from 1.
1.1.10. (1) M; (2) 0·
1.1.11. (1) A; (2) M; (3) 0; (4) An B; (5) AU B; (6) A; (7) A U B; (8)
A U B; (9) 0; (to) M.
1.1.12. 24; 14.
1.1.13. There are three partitions: M 0 U M z U M 3; M 4 U M 5; M 0 U
M 1 UM 3 UM 6 UM 7 ·
1.1.14. Yes, it forms a partition.
1.1.15. 0 ..
1.1.17. 243 = 35 .
1.1.18. (-1, a, a), (-1, h, a), (-1, c, a), (1, a, a), (1, b, a), (1, c, a).
1.1.19. kl . k z . k 3 •
1.1.20. Let M have m elements. If m is even, then both classes must contain
1m elements. If mis odd, then one class will have i{m + 1) elements, and
the other i{m - 1).
201
202 AnswelS
1.3.20. All finite linearly ordered sets and infinite linearly ordered sets are
of the following three forms:
Cl l < Cl 2< ... < Cl n < ... I Cl l > Cl 2> ... > Cl n > ...
... < CI_ n < ... < CI_2< CI_ 1< Cl O< Cl l <Cl 2< ... < Cl" < ...
1.3.21. The sets given in (2) and (6) are well-ordered. The others are not
well-ordered.
1.3.22. M is a finite set.
1.4.1. p2 = P; P(J = (J; (J2 is a binary relation such that n '" m((J2) for
,2
n - m < 1; = w; PA k is a binary relation such that n '" m(pAk) if n divides
either m + k or m - k; AkP is a binary relation such that n '" m(AkP) if m
is divided by either n - k or n + k; (J).k = AkO' is a binary relation such that
n '" m(O'Ak) if n < m + k; AkA[ is a binary relation such that n '" m(AkA[) if
In - ml = k + lor In - ml = Ik - II.
1.4.6. pR = Z; Rp = Z; O'R = R; Rr = R; pC = C; C(J = Z; Cr = C;
pP is the set of all complex numbers z such that Izl = 1; p(1 is the set of all
numbers of the form bi, where b is a positive real number; Pr = {- i}.
1.4.9. W(PI n P2) = {(a, a), (b, a)}; WPI n WP2 = w.
1.4.10. w 2 = w; w~ = ~w = w if X contains more than one element;
w~ = ~w = 0 jf X consists of one element; ~ 2 = w if X contains at least
three elements; ~ 2 = ~ if X consists of two elements; ~ 2 = 0 if X consists
of one element.
1.4.11. PiPj = w ifi # j and P; = Pi'
1.4.12. p2 = p; pp is a relation such that P '" Q(pp) if Q # M; pp is a
relation such that P ~ Q(pp) if P # 0; pp* = w; pp* = p.
1.4.13. p~ = ~P = P; WP is a relation such that a '" b(wp) if bE pr2P; pw
is a relation such that a'" b(pw) if a E prlp,
1.4.14. (1) pr 2 P = X; (2) pr l P = X; (3) pr l P = pr 2 P = X; (4) P # 0; and
(5) ap n bp # 0 for all a, b E XI'
1.4.15. (Ji = (J1' (1~ = (12; (J~ = w; J(x) '" g(x) ((Jl(12) if and only if J(a) :::;
g(a) and J(b) :::; g(b); 0'20' 3 is a relation such that J(x) '" g(x)(O' 2(J 3) if J(a) #
g(a)andJ(b) # g(b);0'30'2 = (J2(J3'
1.4.20. If PI and pz are reflexive, then so is PIP2' This result does not hold
for transitivity, symmetry, and anti symmetry.
1.4.22. PIP2 is a linear ordering only when P1 = P2'
1.4.24. p2 and p3 are reflexive, symmetric, and transitive; 0'2 and (J3 are
reflexive, antisymmetric, and transitive; P(J, O'P, (JPO', and P(JP are reflexive.
204 Answers
CHAPTER 2
2.1.1. 45.
2.1.2. 2 3 4 5
2
3 2
4 3 2
5 4 3 2
2.1.4. , Zl Z2 Za Z.
Zj
Z2 Zj
Za Zj
Z. Zj
2.1.5. (1) The result uf the operation is defined in N for all pairs (a, b) where
a and b have the same parity, i.e., they are both even or both odd; (2) the
result is defined for all pairs of elements in N; and (3) the result is defined for
all pairs (a, b) for which a i= b.
2.1.8. M is isomorphic to M l' but M 2 is neither isomorphic to M nor M l '
2.1.12. 5.
2.1.13. Two subsets {a, b, c} and {b, c, e}.
2.1.15. M is isomorphic to every infinite subset of itself.
See the following tables for 2.2.1-2.2.3, and 2.2.6.
2.2.1
<I)
.::'"
'"
:0 .:= E
'"
Operation ~
<I)
.::
:;
'"
>
.;:
~... ...
';:
'"
>
.,]
<.)
"i)
t)
c
«:S '>" .5 c «:S
t) ,q
"0 S 'u0 «:S
-
'"'"0 S
.5
.::: 1::bJl u
.::: 1:: ;:: ...0
0 '" .!:!> '"
u U '"
<C ...l'" ~ '"
...l ~
"0
<I)
N
2.2.2
<l)
.2:
<l)
::0 "
.2: :§
.2:"
<l)
... :§
Set Operation ~
<l)
.2:
......
::0
";. "il
u
OJ
u
C
:; '(;j
<l)
;. .S c 0;
"0 8 ·u .S 0; u .2
...0
<l) u
til
0 E 0
til <!::
~
OIl <!::
~
OIl
C<l)
0
u u
til
-<
<l)
-l ~ '"
-l ~ :8 N'"
Natural Addition Yes Yes Yes No No Yes Yes No No
numbers Multiplication Yes Yes Yes No No Yes Yes Yes No
Subtraction No No No Yes No Yes Yes No No
Division No No No Yes No Yes Yes No No
Integers Addition Yes Yes Yes Yes Yes Yes Yes Yes No
Multiplication Yes Yes Yes No No No No Yes Yes
Su btraction Yes No No Yes Yes Yes Yes No No
Division No No No No No No Yes No No
Rational Addition Yes Yes Yes Yes Yes Yes Yes Yes No
numbers Multi plication Yes Yes Yes No No No No Yes Yes
Subtraction Yes No No Yes Yes Yes Yes No No
Division No No No No No No Yes No No
2.2.3
<l) .2:'"
" "
::0 .~ :§
.:::" ~... ... ..::;! OJ
u
Operation
'(;j .2:" <l)
;. OJ
u C
:; '(;j " .S c u
0;
"0 8 ·u0 .5
;.
0;
u
.q
...0
<l)
til
0
8 til <!::
~
OIl <!::
~
OIl
C
<l)
0
u '" '"
til
U « -l" ~ -l ~ :8 N
2.2.6
.,
., .g
., ., .~ c:.,
., .,...0
:; :;c:., .,
.:: 00
c c:., "0
'"0
0 "0
.,...
> u
.5 c :s
'u0'" '" "0 "0
.,
"0 E
>
.5 '"
u
:s .;;; N .;;;
'"0 E ., :c: u
., :c: ., :c: 6 N
:c: 0
I
<'"
~ ~
0 u ...J C2 -l C2 -l C2 f-< -l C2 f-
2.3.8. The set of all real numbers is closed but is not an ideal; the set of all
pure imaginary numbers is not closed.
2.3.9. The set of all nonsingular matrices is dosed but is not an ideal; the
set of all singular matrices is an ideal.
2.3.16. Tt and T2 are ideals; Tt T2 is not an ideal.
2.3.17. {z} is closed if and only if z is an idempotent; {z} is a left ideal if z
is a right zero of M ; {z} is a right ideal if z is a left zero of M; {z} is a two-
sided ideal if z is a zero of M.
2.3.18. n + 1.
2.4.1. qJ 1 and qJ 3 are homomorphisms; qJ 2 and qJ 4 are not homomorphisms.
2.4.2. (l) The homomorphism qJo which maps all of R onto 0; (2) the
homomorphism qJt defined by qJt(O) = 0, qJt(r) = 1 (r i= 0); and (3) the
remaining homomorphisms are constructed in the following manner. Let
R' be the set consisting of - 1 and all prime natural numbers, and P any
nonempty subset of R'. The homomorphism qJp is defined by qJp(O) = 0,
qJp(l) = 1, qJp(r) = (_l)kl +...+kn, where r = p~l ... p~nqlll ... q~m (PI"" Pn E P,
ql"'" qm E R'",,-P; k l , · · · , k n, II,"" 1m are integers).
2.4.3. qJt and qJ3 are homomorphisms; qJ2 is not a homomorphism.
2.4.7. For each k = 1,2,3, ... the mapping qJk defined by qJk(5 n) = 5 kn
(n = 1,2,3, ... ) is a homomorphism. There are no other homomorphisms.
All of the qJk are isomorphisms.
2.4.10. It is necessary and sufficient that Mohave at least one idempotent.
2.4.12. a '" b(a) but aa '" bb(a) does not hold.
2.4.13. (1) qJ t is a homomorphism; each class of the corresponding partition
consists of all polynomials which have the same leading coefficient; (2) <fJ2
is a homomorphism; each class consists of all polynomials with the same
leading coefficient; (3) qJ3 is a homomorphism; each class consists of all
polynomials whose values are equal at x = 1; (4) qJ4 is a not a homomor-
phism; (5) qJs is a homomorphism; each class consists of all polynomials
whose constant terms have the same absolute value; and (6) qJ6 is a homomor-
phism; for c i= ± 1 each class consists of all polynomials of the same degree,
for c = 1 there is one class which consists of all polynomials, and for c = - 1
there are two classes, one consisting of all polynomials of even order and the
other all polynomials of odd order.
2.4.15.
R+ R+ R- RO
R- R- R+ RO
RO RO RO RO
208 Answers
2.4.17.
~1 I
T1 2 T2 2 4 Ta
Tl Tl 2 2 T2 T2 2 2 4 Ta Ta
T2 T2 T2 T2 4 4 Ta Ta Ta
Ta Ta Ta Ta Ta
2.4.18. q> is an isomorphism only when p is the equality relation.
2.4.21. Every equivalence in which a '" b, and every equivalence in which
a and b are not equivalent and are not equivalent to any elements other than
themselves, is a congruence. Altogether there are 7.
2.4.22. 5.
2.5.3. The set consists of all primes and the number 1.
2.5.4. [xJ is the set of all matrices of the form
where n is any natural number ; [x, t] is the set of all matrices of one of the
following forms:
( 2k 0)
o 0 '
where k and n are any natural numbers; [y, zJ is the set of all matrices of one
of the following forms:
( 2k 0 )
o 2l '
( o2k 0)
1 '
where k and n are any natural numbers; [y, t] is the set of all matrices of one
of the following forms:
(o10)
2n
(o2n 00)
where n is any natural number.
2.5.12. Ten subsemigroups, of which five are ideals.
2.5.13. (1, p), where p is a prime, and (2, 1).
2.5.15. (1,1), (2, 1), and (3, 1). Any subset which contains 0 and is such that
if it contains Q k then it also contains all elements b ik is a left ideal. Any subset
which contains 0 and is such that if it contains ak then it also contains all
elements bki is a right ideal. Any subset which contains 0 and is such that if it
contains Qk then it also contains all bik and bki is a two-sided ideal.
Answers 209
000)
( oa 0 (a ~O)
000
CHAPTER 3
1 2 3 4 5 6 7 8) ( 1 2 3 4 S 6 7 8)
3.1.2. (1.'1 =( y~ = 1 6 2 8 3 8 4 S
873 1 724 S
2~ = (1 2 3 4 S 6 7 8) ~y3 = (1 2 3 4 5 6 7 8)
P 1 8 1 222 8 2 S2 78 2 3 S1
xp;' = (I 2 3 4 S 6 7 8)
37887 I 3 7
210 Answers
3.1.3. The types of cx, fJ, cxfJ, and fJcx are (1, 3), (2, 2), (3, 1), and (2, 1), respec-
tively.
3.1.4. (1) closure and associativity; (2) closure and associativity; (3) closure,
associativity, and (left and right) cancellation; (4) closure, associativity,
(left and right) cancellation, and (left and right) invertibility; (5) all seven
properties; and (6) closure, associativity, commutativity, and (left and right)
cancella tion.
3.1.5. (1) All constant functions are left zeros, there are no right. and there-
fore no two-sided, zeros; (2) all functions whose values lie in the interval
[0, 1J are right zeros, there are no left zeros; (3) the same as in (1); and (4) no
zeros.
3.1.6. The left zeros are the transformations cxa(a E X) defined by cxa(x) =
a(x EX).
3.1.7. (1) All of the sets in 3.1.4 are semigroups, and 3.1.4 (4) and (5) are
groups; (2) both sets are semigroups; (3), (4), and (5) are semigroups; and
(6) is not a semigroup. None of the semigroups in (2H5) are groups.
3.1.8. The type of rx is (1,1), the type of fJ is (1,2).
3.1.9. The vectors of the translation are perpendicular to the given line,
have length twice the distance between the given lines, and have opposite
signs.
3.1.11. All Yc commute with each other and with fJ; rx. commutes only with
Yo and YI'
3.1.12. (I) fJl = 1, fJ3 = 3, rx(fJn) = rxn (nEX, n 1= 1,3); and (2) fJI = 3,
fJ3 = 1, rx(fJn) 1= rxn (n E X, n 1= 1,3).
3.1.13. (1) The semigroup [rx, fJJs consists of the transformations of the form
k + 1, if n ~ 1+ 1
{
Yk.,(n) = n_ I + k, if n > I +1
where k, I are any positive integers. (2) The semigroup has a unique irreducible
generating set {rx, fJ}.
3.1.14. (1) The inverses of rx are
1 2 3 ...
(k
n ... ) (kEN)
12 ... n-1 ...
the inverses of fJ are
1 2 3 ...n ... )
rx and (
134 ... n+1 ...
(2) rx and fJ are inverses of each other.
Answers 211
et- 1 = (1 2 3 4 5 6 7 8)
341 5 678 2
f3 and yare neither left nor right divisors of the identity; (2) in problem 3.1.4,
Q(is a right divisor of the identity, and Pis a left divisor; neither transformation
is invertible.
3.2.2. f1(X) is invertible when n is odd, f3(X) is invertible, f2(X) and fix)
are not invertible.
3.2.3. pr 1 Pa = pr 2 Pa = X, each cut consists of one element.
3.2.5. (etf3) - 1 = /3 - 1et - 1.
3.2.6. The identity is the identity transformation. The inverse element of a
is its inverse transformation Q( - 1.
a' b' c' ... )
3.2.9. a- 1 = ( .
abc ...
3.2.10. (1) The Yc (c =/; 0) satisfy the first condition, Pand Yc (c =/; 0) satisfy
the second; (2) both conditions are satisfied by all of the transformations in
3.1.19; (3) in 3.1.36, the first condition is satisfied by a and y, the second by
0(,13, and y.
212 Answers
3.2.11. (1) Not invertible; (2) not invertible; (3) not invertible; (4) Ye (c i= 0),
lim•n and li, }' (of 3.1.36) are invertible, the rest are not,
-1
Ye = Yl/e
-1
rl.m,n = rI. 11m, - nlm
rI.- 1 = rI.,
( nt - I )
3.2.12. rI. - 1 [f(t)] f -= rnt + k
g(t) g( nt - I \
-rnt + kl
3.2.13. (2) It is a group; (3) the transformations of order two are rI. and p,
defined by
( kt + I)
li[f(t)] = f mt=k p[f(t)] = f( - t)
g(t) ( kt + I ' g(t) g( - t)
g--
rnt - k
(2) li l is the identity; the inverses of rl.z, li3' and li4 are rl.2' rl.3, and 1X4' re-
spectively.
3.2.16. H is normal and H" is a subgroup of G.
3.2.18. (1), (3), and (4) are invertible.
3.2.19. The sets (1), (2), and (4) are groups.
3.2.20. 24.
Answers 213
E: E:lXfly
IX IXE:YP
{3 {3 y E: IX
Y y{3lXE:
3.3.27. rn = 1,2,3,4.
3.4.1. Monotonic increasing functions (not necessarily strictly monotonic).
3.4.2. (1) Neither is an endomorphism; (2) r is an endomorphism of N;
(3) y is not an endomorphism; and (4) Jm is an endomorphism of N.
3.4.3. The transformation <5 m preserves addition, rand <5 1 preserve multipli-
cation.
3.4.4. No.
3.4.13. No.
(a b C d f)
IX = abc' d' f'
where (c', d', f') is a permutation of the numbers c, d, f.
214 Answers
3.5.3. The elements of finite order are all rotations through an angle nr
where r is rational, reflections, and the products of reflections and parallel
translations by vectors which are perpendicular to an axis of symmetry.
The elements of order 2 are reflections, rotations through 180°, and the pro-
ducts stated above.
3.5.7. (1) Infinite, (2) 2, and (3) 1.
3.5.8. ~-1 E A if ~(F) = F.
3.5.9. A is a group for (1) and (3) but not for (2).
3.5.10. The group of all parallel translations of the plane onto vectors
lying on the given plane.
3.5.12. (1) 1; (2) 2; (3) infinite.
3.5.13. G consists of parallel translations of the plane by vectors which are
parallel to the given line, rotations of the plane about a point on the given
line through an angle of n, and reflections of the plane about the given line
and lines perpendicular to it.
3.5.14. (1) The group consists of all rotations of the rhombus about its
°
center through the angles and n, and reflections about its diagonals; (2)
the group is of order 8 and consists of the rotations of the square about its
center through the angles 0, n12, nand 3n12, and reflections about its diagonals
and the lines which join the midpoints of opposite sides; and (3) the group
consists of the identity transformation and the reflection about the altitude
of the triangle.
3.5.15. n.
3.5.16. The group is of order 2n and consists of all rotations about the center
through the angles 0, 2n/n, . .. , 2(n - l)n/n, and reflections about the axes of
symmetry of the polygon.
3.5.17. The group consists of rotations about the common vertex through the
°
angles and n, and reflections about both the line through the diagonals of
Answers 215
the squares and the line perpendicular to it and passing through the common
vertex.
3.5.20. It is a cyclic group of order n.
3.5.21. For n a prime number.
3.5.22. 4n.
3.5.25. The group consists of rotations of the tetrahedron about its altitudes
through the angles 0, 2n/3, 4n/3, rotations about the lines joining the mid-
points of opposite edges through the angle n, and reflections about the 12
planes of symmetry of the tetrahedron.
3.5.26. Rotations about the axes of symmetry of the tetrahedron.
3.5.27. The group is of order 6, and consists of rotations ofthe cube about the
diagonals which pass through A through the angles 0, 2n/3, and 4n/3, and
reflections about the planes of symmetry of the cube which pass through A.
3.5.28. 48.
3.5.30. The alternating group A 4 •
3.5.31. The group is of order 10, and consists of 5 rotations of the icosahedron
about the axis of symmetry which passes through P through the angles 0,
2n/5, 4n/5, 6n/5, and 8n/5, and 5 reflections about the planes of symmetry
which pass through P.
3.5.33. (1) Rotations through the angles 2n/3 and 4n/3 about the centers of
the triangles which form adjacent vertices of F and rotations through the
angle n about the centers of the rhombi which form adjacent vertices.
3.5.34. (1) The group consists of rotations through the angles 0, n/2, nand
3n/2 about all points with coordinates (tk, tl) where k, I are integers of the
same parity, rotations through the angle n about all points with coordinates
(tk, tl). where k, I are integers of different parity, reflections about the axes of
symmetry of all squares made up of adjacent points in F, and parallel trans-
lations by vectors joining any 2 points of F ; and (2) the subgroup consists of
rotations about a point through the angles 0, n/2, n, and 3n/2 or is generated
by 2 reflections about mutually perpendicular axes.
3.6.2. (1) iX~ = (93 lO), iX l iX 2 = (1 7 lO), iX2iXl = (2 8), Pi = (lO);and (2)
10 4 4 5 3 3 2
the types of iX l , /31, and /32 are (2,1), (4,1), and (4,2), respectively.
3.6.3. (1) The type of iX l is (1, 1) if x = y and (2, 1) if x#- y; (2) the type of
iX3 is (1, 1); and (3) the type of IX3 is (n, 1).
3.6.4. IX
_ 1
= (1234578) , iXiX _ I = (1234578) , IX - I IX = (1345678)
7583641 1234578 1345678
3.6.5. the partial identity on rex and ex-lex is the partial identity on dx.
IXex- 1 is
The equality holds if and only if dex = rx.
216 Answers
In x
f iO() I-x
x = n e (I-x)
I
In--'---'-
x
3.6.7. (1) Those that are one-to-one are fl (X),f4(X), and f6(X); (2) dfl1(x) =
(-00, (0), fl1(x) = ~/(1 + eX), dfil(X) = [-nI2,nI2], fil(X) = sin x,
df6"I(X) = (-00, a/e) U (ale, (0) if e#O, df6"I(X) = (-00,00) if e=O,
f 6" I(X) = (dx - b)/(a - ex); and (3) JJi- 1(X) = edfC 1 ,Ji- 1J;{X) = edfi.
3.6.9. rJ.2 = 0 if and only if drJ. n rrJ. = 0, a 3 ::;;: 0 if and only if ax ¢ da for
all x E da n ra.
3.6.10. When rrJ.2 c da t .
3.6.12. (1) When rrJ. c drJ. and rJ. 2x = rJ.X for all x E rrJ.; and (2) if and only if
it is a partial identity transformation.
3.6.13. (1) If rrJ. = X; and (2) if dex. = X and ex. is one-to-one.
3.6.14. (1) If drJ. # X; and (2) ifrrJ. # X.
3.6.17. The right cut of p over each x E X must contain at most one element.
3.6.18. (1) rJ. is the identity transformation; (2) dex. = rrJ. = M and a2 = eM'
where M is a subset of X; and (3) if x E da and rJ.X # x then x ¢ rrJ..
3.6.23. If X is the set of all real numbers, then
df2 = X".{l, 2/3}, f2(X) = (x - 9)f(3x - 2)
df3 = X". {-1,2/3, 11/4}, f3(X) = (-7x - 12)/(4x - 11)
3.6.24. No.
CHAPTER 4
(~ ~) (a ~ 0, b ~ 0)
The normalizer of y is the whole group G. The normalizer of z is the set of all
matrices of the form
4.2.14. The normalizer of an element of the form (2k + 1, m) is the set of all
elements of the form (2a, 0) and (2a + 1, b), where a and b are integers; it has
an infinite number of conjugates. The normalizer of an element of the form
(2k, m), where m =1= 0, is the set of all (2a, b), where a and b are any integers; it
has 2 conjugates. The normalizer of (2k, 0) is the entire group; it has one
conjugate, the identity element.
4.2.20. S4 = {e} U {(12), (13), (14), (23), (24), (34)} U
U {(123), (124), (132), (134), (142), (143), (234), (243)} U
U {(1234), (1243), (1324), (1342), (1423), (1432)} U
U {(12)(34), (13)(24), (14)(23)}
4.2.21. A. = {e} U {(123), (134), (142), (243)} U
U{(124), (132), (143), (234)} U{(I 2) (34), (13)(24), (14)(23)}
4.2.22. The only conjugates are x 1 and x 3
4.3.1. e, {e, (123), (132)}, S3'
4.3.2. M I generates S4' M 2 generates A4 , and M 3 is a normal subgroup.
4.3.3. Yes.
4.3.12. N is the identity of the group, (XN)-l = X-I N.
4.3.14. GIG is the identity group, GIE coincides with G.
4.3.32. HI = GIN, H2 = {N, xN}, where det x = -I, x E G.
4.3.34. The alternating group A 4 , the Klein group, and the subgroups
(v, w) = ( =~ =: ~I)
3 2 1
00
( ~
(w, u) =
2. I 0)
o 03
4.5.10. (x, y) = (a, b, c)
4.5.14. The alternating group An.
4.5.21. The group of all parallel translations.
4.5.22. The subgroups of matrices whose determinant is 1.
4.6.12. Cyclic groups of prime order.
4.6.15. For n = 1,2,3,4.
4.6.16. Yes.
4.6.17. Yes.
4.7.2. 0 for the identity group, 1 for every other abelian group.
4.7.3. (1) Sn is not nilpotent for n > 2, the nilpotency class for Sl is 0, the
nilpotency class for Sl is 1; (2) is nilpotent of class 2; (3) is nilpotent of class
2; (4) is not nilpotent; and (5) is nilpotent of class 2.
4.7.6. Lower central series: Ho = H, HI = {(e, 1), (e, -1), (e,k), (e, -k)},
H2 = {(B, 1), (e, -I)}, H3 = e. Upper central series: Zo = e, ZI = {(e, 1),
(e, -l)}, Z2 = {(e, 1), (e, -1), (e, k), (e, - k)}, Z3 = H.
4.7.11. 2.
4.7.15. (1) and (3) are not nilpotent; (2) has nilpotency class 2; and (4) has
nil potency class 3.
4.7.17. The set {kl' kl' k 3 , . . . } must have a maximum. This number is
the nilpotency class for H.
4.7.20. If and only if the set {kl' kl' k 3 , ••. } has a maximum.
4.8.1. (l3 is the only automorphism.
4.8.2. (ll and (l2 are automorphisms.
4.8.4. (l3 and (l5 are automorphisms.
4.8.5. The group of automorphisms is isomorphic to the symmetric group S 3'
4.8.6. A cyclic group of order 2.
4.8.n. (1) Isomorphic to the Klein group (see 3.3.18); and (2) a cyclic group
of order 6.
220 Answers
4.8.28. 24.
4.9.4. G1 is transitive; M 1 = {I, 2, 3,4} and M 2 = {5, 6} are intransitive
systems of G2 ; M3 = {I, 2, 3, 4} and M4 = {5, 6, 7} are intransitive systems
ofG 3 •
4.9.14. M 1 = {a, c}, M 2 = {b, d}.
4.9.15. (1) A4 and S4 are primitive; and (2) the cyclic subgroups of order 4,
the Klein group K, and all subgroups of order 8 containing K are imprimitive
(see 4.3.34).
4.9.17. When n is a prime number.
4.9.18. (1) and (2) are transitive, and (1) is primitive.
4.9.25. The set H in the preceding problem.
4.9.31. (1) is doubly transitive.
4.9.32. n ~ 4.
4.9.33. 2.
CHAPTERS
5.1.15. II! - 1.
5.1.16. (1) II V UV VIl (2) yes.
Il Il llV UV II
V Vtl V V VIl
llV II UV UV II
VU Uil V V VIl
5.5.1. Yes.
5.5.2. A free group G is decomposable into a free product if and only if G
is not an infinite cyclic group.
5.5.4. G = Gt * G4 .
5.5.6. No.
S.S.8. It is never finite.
S.S.9. Only the identity.
S.S.14. Yes.
5.S.IS. No.
5.5.17. A free product of complete groups is never complete.
5.5.18. The center is equal to e.
5.5.19. No.
S.S.21. Yes.
5.6.1. G is the direct product of four cyclic groups of orders 3, 5, 7, and 13.
S.6.5. The only decomposable group is (4).
5.618. No.
5.6.9. One.
S.6.IS. Yes.
5.6.16. m1m2 ••• mn
S.6.27. When the orders of the Gj are distinct.
S.6.32. No.
CHAPTER 6
6.1.17. No.
6.1.19. (1) A cyclic group of order 15; (2) 4; (3) the direct product of the four
infinite cyclic groups; and (4) the direct product of the cyclic group of order
3 and the four infinite cyclic groups.
6.2.2. (1) Cyclic groups of orders 7 and 3; (2) cyclic groups of orders 5, 3, and
2; (3) cyclic groups of orders 11, 7, 3, and 2; and (4) a cyclic group of order
101.
6.2.3. (1) 4; (2) 2; (3) 2; and (4) 2.
6.2.4. The direct product of cyclic groups of orders 2,3,5, 7, 11, and 13.
6.2.10. (1) 5, 7; (2) 23 ; (3) 2,3; (4) 22, 3, 5; and (5) 23 , 2, 2.
6.2.11. A necessary and sufficient condition is for G to be a primary group
relative to p.
6.2.14. p~" ... , p~".
6.2.15. p~l, ... , p~".
6.2.16. Cyclic groups and abelian groups with invariants p, p.
6.2.17. Cyclic groups of prime order.
6.2.18. No.
6.2.19. p3 - 1.
6.2.20. (1) 10,000; (2) there are subgroups of orders 25, 10, and 40; and (3)
2,2,5 and 22, 5.
6.2.21. No.
6.2.22. 11.
6.3.8. (1) Rank 1, set of invariants 3; (2) infinite cyclic group; (3) rank 1,
set of invariants 5; (4) cyclic group of order 11; (5) torsion-free group of
rank 2; (6) rank 1, set of invariants 3; (7) torsion-free group of rank 2; (8)
rank 1, invariants 3, 3,2; and (9) infinite cyclic group.
6.3.9. (1) 2; (2) cyclic group of order 10; (3) the direct product of two infinite
cyclic groups; (4) 4; and (5) [an [an
6.3.10. (1) Yes; (2) yes; (3) no; and (4) no.
6.3.11. No.
6.3.12. 3, 5.
6.3.14. (1) 11;(2) 11; and (3) yes.
6.3.15. 40.
6.3.16. 31.
6.3.17. (1) Yes; and (2) no.
6.4.9. No.
6.4.10. No.
6.4.11. (1)-(4).
224 Answers
6.4.14. No.
6.4.16. All three.
6.4.27. Let m = p~' ... P~", where the Pi are primes listed in increasing order.
Then (1) (00,00, ... ,00, ... ), (2) (kt, ... ,kn,O, ... ); and (3) (00,k 2 , ... ,kn,
0, ... ).
CHAPTER 7
The representation ({J is not faithful. (2) The representation ({J t of S t by left
translations is given by
I t is faithful.
Answers 225
(3) a noncyc1ic group G of order six can be written in the form G = [a, b],
wherea 2 = b 3 = e,a-1ba = b 2 ,sothatG = {e,a,b,b 2,ab,ab 2}; CP3(e) is the
identity permutation,
~a (a) = (e, a) (b, ab) W, ab 2 ); CPs (b) = (e, fI, b2) (a, ab 2 , ab)
IPa (b 2) = (e, b2, b) (a, ab, ab 2); CP3 (ab) = (e, ab) (b, ab 2) (a, b' )
IPa (ab 2 ) = (e, ab 2 ) (a, b) (ab, bi )
226 Answers
7.4.18. (1) A cyclic group of order 5; (2) a finite abelian group with invariants
5,5, 5, 5, 5, 5; Y, 32, 3, 3, 3; and (3) a cyclic group of order 2.
7.4.19. (1) The direct product of two infinite cyclic groups and two cyclic
groups of order 3 ; (2) a cyclic group of order 3; and (3) a finite abelian group
with invariants 17, 17.
7.4.20. (I) A finite abelian group with invariants 53, 52, 52, 52, 5, 5, 5, 5, 5;
72, 7, 7, 7; 33, 3, 3, 3; 23, 22,2 2,2 2 ,2,2,2,2,2; (2) a finite abelian group with
invariants 3, 3, 3, 3, 3, 3, 3, 3, 3; 52, 5, 5, 5, 5, 5, 5, 5, 5; 7, 7, 7, 7; (3) a finitely
generated abelian group of rank 4 with invariants 5, 5, 5, 5, 5, 5, 5, 5, 5, 5,
5,5,5,5,5; 73 , 73 , 73 , 7, 7, 7, 7, 7; and (4) a direct product of 49 infinite cyclic
groups.
7.4.26. (1) No; (2) no.
7.4.28. (1) A necessary and sufficient condition is for A to be a finite cyclic
group; and (2) a necessary and sufficient condition is for A to be an infinite
cyclic group.
7.4.29. No.
7.4.32. No.
7.4.34. A necessary and sufficient condition is for A to be either an infinite
cyclic group or a finite group all of whose primary components are cyclic
groups.
7.5.1. (1) X(x) = 2 cos IY. x + 1; (2) x(e) = 3, x(at! = 0, x(ai) = 0, x(a 2) = 1,
x(a j a2) = 1, x(a~a2) = 1; and (3) x(a k) = 2, (k = 0, ± 1, ±2, ... ).
7.5.5. Yes; for example, a cyclic group of prime order.
7.5.7. There are n characters Xi (i = 1,2, ... , n) of the group [a]. These can
be written in the form
Xi(a k ) = t ki (i, k = 1, ... , n)
where t is an nth root of unity.
7.5.9. (1) A cyclic group of order pk; (2) a finite abelian group with invariants
3, 3; and (3) a cyclic group of order 10.
7.5.11. The group of characters is isomorphic to the mUltiplicative group of
all complex numbers modulo 1.
7.5.12. The group of characters is isomorphic to the direct product of r
groups, each of which is isomorphic to the multiplicative group of all complex
numbers modulo 1.
CHAPTER 8
8.4.12. Yes.
8.4.14. No.
8.4.15. All algebraic subgroups are topological subgroups. Every algebraic
isomorphism is continuous. Not every algebraic isomorphism is a topological
isomorphism.
8.4.16. Yes.
8.4.18. (1) Not a subgroup; (2) subgroup, not normal; (3) subgroup, not
normal; and (4) normal subgroup.
8.4.21. q> is continuous and open. A necessary and sufficient condition is
N = e.
8.4.26. Yes.
8.4.27. A and B are closed, but A + B is not.
8.4.32. Yes.
8.4.33. (1) Yes, (2) no.
8.4.34. Yes.
8.4.35. Yes.
8.4.38. Yes.
8.5.3. (1) The ordering is two-sided compatible, the positive part consists of
all z = a + bi such that a > 0 or a = 0 and b ~ 0, the negative part consists
of all z = a + bi such that a < 0 or a = 0 and b : : :; O. (2) The ordering is
two-sided compatible, C+ consists of all z such that arg z E [a, 13], C- con-
sists of all z such that 1C + arg z E [a, 13], (3) The ordering is two-sided com-
patible, C + consists of all z = a + bi such that a ~ 0 and b ~ 0, c- consists
of all z such that a :s;; 0 and b :s;; 0 and (4) The ordering is not two-sided
compatible.
8.5.8. r = n P"
a
8.5.10. P = r- 1 .
8.5.12. The diagonal (equality) is the only two-sided compatible ordering
on finite cyclic groups. Let G = [x]g be an infinite cyclic group. For i = 1,
2, ... , define the relations Pi on G by Xl ~ Xk(Pi} if and only if k - I ~ 0 and
is divisible by i. Then all of the Pi and Pi- 1 are two-sided compatible orderings
on G, and every such ordering must be of the form Pi' fii- 1, or the diagonal.
8.5.13. f~(x) > f3(X) > fl(X) > f~(x).
8.5.15. The ordering is two-sided compatible. It is linear if and only if no
more than one of the factors Go is different from the identity.
8.5.16. It is a two-sided compatible ordering.
8.5.17. The cyclic group [x] must be infinite.
8.5.18. When x has infinite order.
8.5.24. All of the groups are directed.
Appendix
In this section we give the multiplication table for the symmetric group on
four elements S4 and list its proper subgroups, 28 in all. We use the following
notation:
e = identity transformation a= (34)
VI = (12)(34) b= (23)
V2 = (13)(24) c= (24)
V3 = (14)(23) d= (12)
A = (234) f = (13)
B = (243) g = (14)
C = (123) h = (1234)
D= (124) j = (1243)
E= (132) k = (1342)
F = (134) 1=(1324)
G= (142) m = (1432)
H = (143) n = (1423)
The subgroups of S4, listed according to their order, are given below.
Order 12: A4 = fe, VI' V2 , V3 , A, B, C, D, E, F, G, H}
Order 8: {e, VI' V2 , V3 , a, d, I, n}, {e, VI, V2 , V3 , c,f, h, m} {e, VI' V2 , V3 , b,
g,j, k}
Order 6: {e,a,b,c,A,B}, {e,b,d,f,C,E} {e,c,d,g,D,G}, {e,a,f,g,F,H}
Order 4: {e, VI' V2 , V3 }, {e,a,d, VI}' {e,c,f, V2 }, {e,g,b, V3 }, {e,l,n, VI}'
{e,h,m, V2 }, {e,1,k, V3 }
Order 3: {e, A, B}, fe, C, E}, fe, D, G}, fe, F, H}
Order 2: fe, VI}, {e, V2 }, fe, V3 }, {e,a}, {e,b}, {e,c}, {e,d}, {e,f}, {e,g}
231
232 Appendix
e VI V2 VJ A BCD E F G H a b c d f g h j k m n
e e VI V2 VJ a b c d f g h j k m n
VI VI e VJ V2 d k m a h j f g b n c
V2 V2 VJ e VI n j f c k m b g d h a
V3 V3 V2 Vie g h n m b c k j a f d
A c a b h k n j d I f g m
B b c a j I m d h f k n g
C j f n b d h I m c g a k
D h I g c j d k n a m b f
E m d k f b I g a n h j c
F g h I k a f n c m j d b
G k m d g n c a f h b I j
f n j m g a b I d c k h
A B VI F H C D E V2 G V3
b b j g ac n m B e A C E V3 D VI V2 FH G
c c h m a
b j g n A B e D V2 G VI C F E VJ H
d d a n I m f
k g h c j VI E G e C D FHA VJ B V2
f f m c h n
j b I d g k a H C V2 E e F VJ B G D VI A
g g k j b h
I n c m a d f F V3 D G H e A V2 VI BE C
h h c m f I
g k n a j b d D F VJ A VI C V2 GBHe E
j j b g k f n I m c d a h C V2 H B D VI E VJ e G A F
k k g b j m d a f h n I c G VI E F A V2 H e V3 C D B
I n a d g h c k j m f b VJ D F V2 BEG A H VI C e
m m f h c d k g a n b j I E G VIHVJB e F C A V2 D
n n I d a j f m b g c h k V2 H C VJ G A B E D e F VI
BIBLIOGRAPHY
1. The books in this section are devoted entirely to group theory and
are suitable for an initial acquaintance.
1. Alexandrov, P. S., An Introduction to the Theory of Groups (translated
by Hazel Perfect and G. M. Peterson), Hafner, 1959.
2. Baumgartner, L., Gruppentheorie, de Gruyter, 1921.
*3. Baumslag, B. and Chandler, G., Theory and Problems of Group Theory,
Schaum's Outline Series, 1968.
*4. Burrow, M., Representation Theory of Finite Groups, Academic Press,
1965.
*5. Dixon, J., Problems in Group Theory, Blaisdell, 1967.
*6. Fuchs, L., Abelian Groups, Pergamon, 1960.
*7. Gorenstein, D., Finite Groups, Harper and Row, 1968.
8. Hall, Jr., M., The Theory of Groups, Macmillan, 1959.
*9. Huppert, B., Endliche Gruppen, 2 vols., Springer Verlag, 1967.
*lO. Kaplansky, 11, Infinite Abelian Groups, University of Michigan Press,
1954.
11. Kurosh, A. G., The Theory of Groups, 2 vols. (translated by K. A.
Hirsch), Chelsea, 1960.
12. Kurosh, A. G., Lectures on General Algebra (translated by K. A.
Hirsch), Chelsea, 1963.
*l3. Lederman, W., Introduction to the Theory of Finite Groups, Oliver and
Boyd, 1957.
*14. Rotman, J. J., The Theory ofGroups .' An Introduction, Allyn and Bacon,
1965.
15. Schmidt, 0., Abstract Theory of Groups (translated by Fred Holling
and J. B. Roberts), Freeman, 1966.
*16. Scorza, G., Gruppi Astratti, Rome, 1942.
*17. Scott, W., Group Theory, Prentice-Hall, 1964.
*18. Sono, S., Group Theory, Tokyo, 1928 (in Japanese).
* 19. Wielandt, H., Finite Permutation Groups (translated by R. Bercov),
Academic Press, 1964.
The references preceded by an asterisk have been added by the translator.
233
234 Bibliography
2. The books in this section do not deal entirely with group theory
but have chapters which introduce the reader to the basic elements of group
theory.
*20. Albert, A., Modern Higher Algebra, University of Chicago Press, 1937
*21. Barnes, W., Introduction to Abstract Algebra, D. C. Heath, 1963.
*22. Birkhoff, G. and MacLane, S., A Survey of Modern Algebra, Mac-
millan, 1953.
23. Bourbaki, N., Algebre (Structures Algebriques. Algebre Lineaire.
Algebre Multilineaire), Hermann, 1964.
24. Chebotarev, N. G., Basic Galois Theory, GTTI, 1934 (in Russian).
25. Chebotarev, N. G., Lie Group Theory, Gostekhizdat, 1940 (in Russian).
*26. Herstein, I., Topics in Algebra, Blaisdell, 1964.
*27. Jacobson, H., Lectures in Abstract Algebra, 3 vols. (Basic Concepts,
Linear Algebra, Theory of Fields and Galois Theory), Van Nostrand,
vol. I 1951, vol. II 1953, vol. III 1964.
28. Kurosh, A. G., Higher Algebra, Fizmatigiz, 1962 (in Russian).
*29. Lang, S., Algebra, Addison-Wesley, 1965.
30. Lyubarski, G., Group Theory and its Applications to Physics, Gostekhiz-
dat, 1958 (in Russian).
*31. McCoy, N. H., Introduction to Modern Algebra, Allyn and Bacon,
1960.
32. Okunev, L., Foundations of Modern Algebra, Uchpedgiz, 1941 (in
Russian).
33. Postnikov, M. M., Galois Theory, Fizmatgiz, 1963 (in Russian).
34. Proskuryakov, I. V., A Collection of Problems on Linear Algebra,
Gostekhizdat, 1957 (in Russian).
35. Smirnov, V. I., A Course of Higher Mathematics (translated by D. E.
Brown), Addison-Wesley, 1964.
*36. Van der Waerden, B. L., Modern Algebra (translated by F. Blum),
Ungar, 1953.
*37. Zariski, O. and Samuel, P., Commutative Algebra, vol. I, Van Nostrand
1958.
3. The present book also includes notions which do not belong properly
to group theory. The references listed below are suitable for an introduction
to these notions.
38. Alexandrov, P. S., Introduction to the General Theory of Sets and
Functions, Gostekhizdat, 1948 (in Russian).
39. Birkhoff, G., Lattice Theory, Amer. Math. Soc. Colloq. Pub!., vol. 25,
1948.
40. Bourbaki, N., Theorie des Ensembles, Hermann,' 1964.
·Bibliography 235
237
238 Index