Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
OF GROUPS
THE THEORY OF
GROUPS
BY
A.G.KUROSH
K. A. HIRSCH
VOLUME TWO
SECOND ENGLISH EDITION
'l
8 CONTENTS
PART FOUR:
GROUP-THEORETICAL CONSTRUCTIONS
CHAPTER IX
FREE PRODUcrs AND FREE GROUPS
O=fi"'Acu (2)
•
and if G is the free product of a finite number of subgroups A1, A~o ••. , A.,
by the symbol
The subgroups Aa are called the free facttws o£ the free decomposition (2)
of G. The expression (1) (under the restrictions imposed on it) is called
the normal fo"" (or irreducible rspresmmfion) of the element g in the
decomposition (2), and the number n the length of g in this decomposition;
we write n=Z(g).
11
12 pART THREE. IX. Fl:IEE PRODUCTS AND F'REE GROUPS
From the uniqueness of the normal form of an element it follows that the
intersection of any free factor Aa. in (2) with the subgroup of G generated by
the remaining factors is E.
Suppose that a group G is decomposable into the free products of proper
subgroups. If (2) is such a decomposition, then we take two elements,
OJ. and ~, different from the unit element and belonging to distinct free
factors of (2). From the definition of the free product it follows that the
products Ot~ and ~IIJ. are different elements of G, so that G is necessarily
non-commutative, even if all the free factors Aa. in {2) are abelian. Further,
all the products
where the length n > 1, where every a.c is an element, other than the unit
element, of a group Aa.t• and where any two adjacent elements a.c and C£c+1
belong to different groups A a.. In addition we shall regard the case n 0 =
as corresponding to the empty word. If (3) and
(4)
1 Note that in the case of a free group the concept of the length of an element as
defined above does not coincide with the similar concept introduced in§ 18.
13
are two words, then we define the product of w by w' in the following
way: let
a1I =a.-1, -1
a.= a,.-1,
I
.•• , -1
a,= llta-4+1,
I • ( )
0 < l < mtn n, m,
but~+1 =I= a;~,. If the elements "---' and a;+1 belong to distinct subgroups
A11 , then we put
'1lnll = attzs· • ·tla-1~+1~+1• • -~;
but if ,._, and a;+1 lie in the same subgroup A 11 and a•-~+1 = a, then
-·-J _I I
- =atilt·· ·tla-1-taaHt• ·.a,..
In other words, in order to obtain the product of w by we write down w
these words in juxtaposition and then carry out the necessary ctmcelltJlions
and contractions (or MIUJlgtJMafions).
The empty word plays the role of the unit element in the multiplication
of words so defined; the inverse of (3) is the word
1
'Ill- =a,.-t ••• At-1 At-1•
The proof of the associative law of multiplication, although not essentially
different from the corresponding proof of § 18, is technically very compli-
cated. We can avoid these complications in the following way (van der
Waerden [2]).
We denote by M the set of all words defined above and by s. the un-
restricted symmetric group of all one-to-one mappings of M onto itself.
Let .A11 be one of the given groups and let a be an element of .A" other
than 1. The element a defines a mapping of M into itself: if a word w
with the representation (3) does not end with an element of .A.-in
particular if it is empty-then we map w onto the word
attft• • ·tla-1a'.
Finally, if a. e A. and a. a= 1, then the image of w shall be the word
14 p .AllT THREE. IX. FBEE PRODUCTS AND FREE GROUPS
If, however, a= 1, then the identity mapping of M onto itself shall cor-
respond to a.
If b is any other element of A," then the mapping corresponding to ab is
obviously the product of the mappings corresponding to a and to b in the
sense of their being performed in succession. In particular, when the map-
pings corresponding to a and a- 1 are performed in succession, then we
obtain the identity mapping. Therefore, the mapping corresponding to an
arbitrary element a of A 4 is a one-to-one mapping of M onto itself, that is,
an element of s•. Distinct mappings correspond to distinct elements of A 4 ,
since the mapping corresponding to a, a :F 1, carries the empty word into
a itself.
We have obtained an isomorphic mapping of A" into some subgroup A4
of S M; the image of an element a under this mapping will be denoted by a.
We perform this process for all a, and we denote by f; the subgroup of s.
generated by all the subgroups A4 • Every element of t
can be written
uniquely as a word in the elements of the A4 : if w is an arbitrary word of M
and ( 3) its representation, then
is the ~rmutation that carries the empty word into precisely w. In other
words, Gis the free product of its subgroups A4 •
Multiplication in G is carried out by the same rule as was laid down in
the above definition of the multiplication of words. Thus, the set M of all
words now appears as a group which we denote by G. The words of length 1
corresponding to the elements of one group A 4 form, together with the
empty word, a subgroup A" of G, which is isomorphic to A 4 • The iso-
morphism between the groups G and G shows that G is the free product
of its subgroups A", and these O¥e isomorphic to the given groups A 4 •
We shall now show that the definition of a free product can also be put
into another form that uses generators and relations.
Let
O=H*A•
•
and let each group A" be given by a system 1 of generators im4 and a system
m
of defining relations (>A in these generators. Then the union of all the sets
m" is a system of generators of G, and the union cl> of all the sets cl>4 is a set of
1 Systems with different indices are here assumed to be disjoint. [Trans.]
§ 33. DEFINITION OJ' A F'lmE PlloDuCT 15
O=H*A•
•
and if a group H and homomorphisms tpa are given, then the required homo-
morphism tp is defined as follows : If
w=~a. ... a.
is a word of G and ~eA-,, i= 1, 2, ... , n, then
For the proof of the converse we need only take asH the free product of
the groups A. in the sense of the above construction and as the homo-
morphism tpa the identity mapping of A. onto itself. The homomorphism f1'
whose existence is now assumed turns into an isomorphic mapping of G
onto H.
Using the most convenient form of the definition each time the reader
will have no difficulty in proving the following simple properties of free
products:
I. If 0 = ll*A. cmd if every subgroup A. is itself a free product,
•
A.= If-*s.,, then G is the free product of all B.p. This new free product
is called a refineffltnl of the original free product.
II. If tJ free decomposition of a group G is gi'llt!ll, thc>11
'lt'C' obtain a11oflrt!r
free decomposition if we split the set of free factors of the gi'IJt!ll decomposi-
tion into disjoint subsystems cmd toke the products of Gil factors tr!ithin each
subsystem.. In particular, every group that is decomposable into a free
product can be represented as the free product of two groups.
III. If 0 == ll* A. and if in each factor A. a subgroup A a' is clzostll,
"
E s; A~ s; A11, then the subgroup gmerated in G by all subgroups A.' is the
free product of these subgroups.
IV. If G =A * B and if N is the normal sztbgro~tp of G gr11eratt!d by B,
then A!::::.G /N.
For the transition to the factor group of N is equivalent to the addition
of relations which equate all generators of B to the unit element. After this,
however, there remain only the generators and defining relations of A.
An interesting example of a free product is the tnodztlar groztp, that is,
the group of linear fractional transformations of the complex plane,
§ 34. SUBGROUPS OP A F'uz Pllooucr 17
z' az+b
=cz+d'
where a, b, c, d, are rational integers and the determinant ad- b c 1. =
It can be shown that the modular group is the free product of two finite
cyclic groups, one of order 2 and the other of order 3~
(1)
then a_Tc ••• a_ 1 will be called the left half, Gt ••• a~: the right half, of g.
If l(g)=2k +
1 and
then a_Tc ••• a_ 1 will be called the left half, Gt ••• a~: the right half and czo
the middle, of g. If, moreover, the left and right halves of g are inverses,
so that a_,=
a;1, i= 1, 2, ..• , k, then g will be called a transform.
1 The author has had no access to this paper.
18 pART TRUE. IX. FREE PBODUCTS AND FREE GROUPS
A transform is conjugate to its middle and has the same order. Every
element of G that is not a transform has infinite order.
We now define subgroups()" of H (where I' is an ordinal number). Let
()0 =E. If the subgroups ()" have already been defined for all I' less than v,
and if K, is the subgroup generated by all these •• then let l, be the smallest
length of an element of H outside K,. If among these elements there is a
transform, then we choose one of them, g;1ag., where aeA.,, and where
the first element in the normal form of g, does not belong to A-,.. and we put
A., =ling;1A..p,.
In particular, for 1, = 1 the chosen transform is simply an element tJ of
some A._, and therefore
A,=HnA..,.
But if there are no transforms of length Z, among the elements of H outside
K.., in particular if l, is even, then we put A,= E.
We now take an element /9-t in H, but not in {K.,, A,l.~hose right half
is g, and whose middle, if it exists, belongs to A._,.
If A, E, then /.1 =
shall be an arbitrary element of length Z, in H, but not in K,, its right half
will be denoted by g, and the free factor Aa in which the middle of l., lies
(for odd Z,) by A._,.If the elements /,a have already been chosen for all
ordinal numbers &, & < a, and if in H, but outside the subgroup generated by
1(, A, and by all the elements f .,a, &< a, there are still elements of length 1,
having g, as their right half and some element of A. as their middle, then
we denote one of these elements by /.,,. This pr~s stops at a certain
ordinal number a.,. We now denote by •• the subgroup of H that is gen-
<
erated by A.,. and all the elements ,,., a CJ.,. Obviously, we then have
./(,+1 = {K,, ct».,J, and when Ais a limit ordinal number K'A is the ttnion of
<
the ascending sequence of subgroups K,, v A. The process of constructing
subgroups (l),. and K, comes to an end at an ordinal number 1: such that
~=H.
"fe shall take as genertJtors of!" the elements/~, & <a,., the elements
/PJ ,and also all the elements of A,., except 1. We shall take as generators
of K, the generators of all the subgroups(),., I'< v. In what follows we
shall speak of generators of the subgroups (l),. and K, only in this special
sense.
Let U be one of the subgroups •• or K,. Its generators will be denoted
by ~. tcs, · · • • A product 1 ~ u, . . . "• will be called a word in U if no
1 Here and in what follows, the notation Us 11s • • • u. is adopted to avoid the cumbrous
"\ "\ ... '"•· [Trtu~~.]
§ 34. SUBGROUPS OF A FREE PRODt;CT 19
two adjacent factors are inverses nor belong to one and the same subgroup
A,.. In speaking of the length of a word we shall always means the length
of its normal form with respect to the decomposition ( 1) of G. In particular,
a word Ut u2 ••. u" will be called sintple if its length is equal to the greatest
length of the factors u,.1 Simple words of U will be denoted by u', u", ....
Finally we shall say that between two simple words u' and 1t" there exists
a link of the first, second, or third kind, according as the length of the
product tt' u" is greater than, equal to, or less than the greater of l ( u'),
l(u").
We shall now proceed to prove the following statement:
The subgroup ~,.is the free product of A,. and of the i12jinite cyclic grottps
generated by the elements f ~· a< ap..
This is clearly equivalent to the fact that every non-empty word of ~,.
(in the special sense defined above) is distinct from the unit element of G,
that is, has a non-empty normal form in the decomposition ( 1). We first
prove Lemma 1.
LEMMA 1. Any two elements f'f,J. and fvSa• al < a2. have disti11ct
left halves.
This is clear for l,. even, because the right halves of the given elements
are both equal to g,.. But if 1,. is odd and the left halves of f p.~1 and f ~~
are equal,then f~f~''s is an element of A,. so that !11-.., lies in the subgroup
generated by A,. and f v4 , in contradiction to the choice of the elements f f&&.
We shall now denote The generators of ib,. by v1, va, ... , and the simple
words by v', v'', . .. . Among the simple words of ~. . there occur the
following:
1) Every word consisting of a single factor Vt .
2) Every word of the form v1 v2, if the right half of v1 is g,. and the left
half of v2 is g,.- 1. For ifl(v1v2) < l,., then vtv2sK14 , that is, both Vt and t•2
lie in a subgroup generated by other elements of K,., and this cannot hold
for one of the two elements.
3) Every word of the form V1VaVa, where Vas..4,., V1 is an element/~,,
and v3an element f;i., and where the indices al and 5a may be distinct
or equal.
The cases 1)-3) exhaust all simple words of w,.;
this is shown by the
following result :
If V1V2 .. . v,. is e1 word of ib,., then its factors can be bracketed.
in such a 'Way that every word 'D1 . +1 ••• "'.is a simple word v<i> of one
1-1 I
of the fomas 1)-3),
'D1'D2 ••• "• = 'D''D" ••• -o(k),
and that between any two adjacent simple words vU>, v<i+I> there is a link
of the first kind.
This theorem is true for n =
1. If it is proved for n - 1, then
and that between any two adjacent simple words u<i>, 11<i+ 1> there is a li·llk
of the first kind.
§ 34. St1BGllOUPs OP A FRa PRoDuCT 21
For it follows easily from (A) that the length of every word of K, that
is not simple exceeds the length of each of its factors, so that every non-
empty word of K, has a non-empty normal form.
Theorem (A) will be proved by induction on v; for K1 = E it is obvious,
and for Ka = il>1 it has been proved above. If v is a limit Ot"dinal number
then the theorem follows from the remark that in this case every word of K,
is already a word of some subgroup K,. with J.' < v. It remains to assume
Theorem (A) for a subgroup K, with a certain v and to prove it for K,+1·
LE:u::u:A 2. If ~~ ••• u~: is a simple word of K,, then every segment
~ ~ ... u,, s < k, (and every segment u, ... u~:, t > 1) is also simple.
If any segments of the given word (at the beginning, say) are not simple,
then there exists an s, s < k, such that ~ ... u, is not simple, while
u1 • • • u,a,+l is simple. By (A) we have
u1 ••• u,=u' ... u'"• r> 1.
In this case the length of ~ ... u, exceeds the length of each factor, that is,
of each simple word u' •.• u<r>. If between the simple words u<r> and u,H
there is a link of the first or second kind, then the length of u 1 • • • "-"•+ 1
also exceeds the length of each factor, and this contradicts the fact that it is
simple. But if the link between u<r> and "•H is of the third kind, then the
product uCr>u,+ 1 is a word whose length is less than that of one of its factors,
and this contradicts Theorem (A).
LEKKA 3. In the nontllll form of the simple WOf'd u1 ••• tt~: of K, the
left half of ~ and the right half of u~: are preserved without any changes,
and the middles of these elements (in the case of odd length) can only be
replaced by elements, other than the unit element, of the .mme free factOf'.
By Lemma 2 the word u1 ••• u1H is simple, so that its length is equal
to the maximal length of its factors; ~ ... u~: has the same property. There-
fore the link between the simple words u1 ••• "J:-l and u~: must be of the
second kind. It follows that the cancellations cannot affect the right half
of u~:, and that its middle can only undergo an amalgamation. The argument
for ~ proceeds on similar lines.
LE:u:KA 4. E'IJery word w of K, hCilling a transform as its nonnal form
is of the form
-1 -1
fll = ,. .. . lit "o"t .. • "••
where 11o is a transform, that is, belongs to one of the subgroups A,., J.' < v.
Let 111 = =
u1 ~~t ... "J:· If 111 ui'1, then we can consider the word
22 p ABT THIIEE. IX. FuE PitODUCTS AND FliEE GROUPS
-1
Ill flllll = "' . . . "k-1•
whose normal form is also a transform. If 1ft and lit belong to one and the
same subgroup A11 , 1.1. < v, then we can consider the word
u11fllll 1 = u1 ••• "k-l (ultul).
We can therefore assume that u1 and Ut are not inverses and do not belong
to one and the same subgroup A_. The lemma will be proved if we can
show that in this case k = 1.
Let k > 1. If w is not a simple word then, by (A), w can be written as
a product of simple words between which there are links of the first kind
w = u'u" •.. u<r>, r > 1.
However, since the normal form of w is a transform, that is, since its left
and right halves are inverses, the product ttCr>u' is a word in which the
cancellations go so far that the link between the factors is of the third kind.
The length of uCr>u' is therefore less than the length of one of the factors,
in contradiction to Theorem (A).
Now let w be a simple word. There eJ!:ists, then, a factor "' such that
l(w)= l(u.) and l(u,) > l(u1) for all ; #< i. We can assume that "• is
not one of the elements j,.,-1, 1.1. < v, since otherwise we could consider
the word w- 1 • We can assume, further, that i. = k, since for i < k we
could consider the word
"'+l ··· ""wuk -1 -1
• • • "Hl = "'+1 • • • llk"1 • • • a,,
.
whose nonnal form is again a transform; by the above arguments this new
word can again be taken to be simple.
If u~:e«-11 , that is, if the right half of u~: is 8~& and the middle belongs to A 11 ,
then by Lemma 3 the right half of w is also equal to 8~& and the middre
belongs to Aap.. However, since the normal form of w is a transform, its
left half is eqUal to 8"- 1 • If A"#<E, then we.A,... Now
if u,.;.A,., then the left-hand side is a word, while for tt 11 eA" we obtain a
word after amalgamating the factors"" and w- 1 • So we see that the assump-
tion k > 1leads to a contradiction to Theorem (A). If A"= E, then w is
already contained in a subgroup Ki with l < "' that is, it can be expressed
by the generators of that subgroup
- == "1111 ••• u, .
- J I I
§ 34. SUBGII.OUPS OP A FlEE I'Rooucr 23
'lll • -- .. -.. • • •
... u-1
1 "o"l ••• u,.,
where UoeA,., p. < v. The normal forms of w and w' differ from one
another only in that their middles are distinct elements of one and the same
subgroup A.. It follows that the element ~ •.. tc.WU. 1 ••• t11 - 1 must
belong to A", but then ws K,, because all the elements"'' i= 1, 2, ..• , n,
are known to lie inK,.
We now proceed to the proof of Theorem (A) for the subgroup K.,+l.
Throughout the following we shall denote by ~, t&t, ••• the generators of
K,, by u.', u", ••• the simple words of K.,, and by fh, fll~t ••• and v, v', ...
the generators and the simple words of ••· From the construction of<&-"
and the definition of a simple word there follows the inequality l ( u') < l ('II),
for any II and 'II, that is, Z(sl) < l.,.
LEKKA 6. If l(tl) < l(v), then G link of the third kind ctiNIOt occttr
bet'UJem thl simple 'UJM'ds u' and v.
For if we had a link of the third kind between the factors of the product
u'v, say, and if 'II= fJ1 ••• 'UJI (here k < 3 by what has been proved above
about the simple words of •"), then the length of the product slv1 would
already be less than l, so that slv1eK, and fJ1sK,. The latter is impossible,
however, by Lemma 5, if v1 e.A.,, or by the definition of the elemen~ /.,.,
if v1 is one of these elements or the inverse of one.
LE:M::M:A 7. If p. < v a~~d if the left half of till elln&8f&t h of H coincides
with the left half of one of thl eletf&ents I,., while the middle of h (for odd
l~ belongs ttiA., then his conttsined in K,.+ 1 Gnd therefore inK.,.
For 1(h-1/.)'< l,_. If this is a strict inequality, then h-1f., e K,.. and
therefore heK"+l· But if l(h-lf,.)=Z,., then the right half of h-1/ , . is
equal to '"' and its middle is contained in A. • All the elements of this
kind belong to KH1• so that h-lfP" e K,.+ 1, fud again heK"+l·
24 PART TBUB. IX. FDE Paonucrs AMD FUB GRouPs
LEKKA 8. If l(tl)=l(fl), then only a link of the first kind CtDJ occur
between the simple 'IJIOrds u' and v.
Let •'= ~ Ua ••• "a, v = fl1 ••• v. and suppose that there is a link of
the second or third kind between the factors of the product •' fl. Then
there is also a link of the second or third kind between •' and 'll1. If
l(u1)=l(•')=l,, butwhenj < k, Z(tcc) <I, for j < i< k, then there is a
link of the second kind between f'J+t· •• •• and 'll1 so that l( "1+1 ••• u~:flt)=l,.
For a link of the third kind is excluded by Lemma 6, since the word
f'I+1 ••• u 11 is simple, by Lemma 2, so that l( UJ+t ••• u~:) < l,; while a link
of the first kind would imply a link of the first kind between u' and fl1.
By Lemma 3, the right ba1f of the simple word ~ ... UJ coincides with
the right half of "~• and its middle belongs to the same free factor A. as the
middle of "I· Since there must be a link of the second or third kind between
• l ••• u1 and "1+ 1 ••• UJ:'ll11 and since these words have the same length, the
left half of u1+1 ••• u~:'ll1 is the inverse of the right half of u1 and their middles
belong to one and the same free factor. Hence we deduce that
either from the definition of •,., if "I belongs to A,. or is equal to an element
/.,_, J1 <v, or from Lemma 7, if UJ is equal to some Jp:, But then 'll1aK.,
which is impossible.
The case of the product fl tl is treated similarly.
LE1nu 9. If l(tl) < l, tmtl if there is a link of the second kind between
the f«tors of the products 'll'tl aM tlfl', then only a link of the first kind
ctm occur between flu' and fl'.
=
If fl v 11 • • • '018, ..,, = 'IP11 • • • 'Ira and if there is a link of the second
or third kind between fl tl and fl', then there will also be a link of the
second or third kind between v11u' and fl11 (and also between fl11 and
•'fl.,.). This is, however, impossible if the right half of fl11 is equal to g,
and the left half of 'll11 is equal tog,- 1, because the cancellations would not,
then, cancel out the entire word u'.
Now let the left half of 'll11 be equal to g,- 1, but the right half of v 11
different from g,; then the left half of fl11 is necessarily equal to g, - 1• Since
by hypothesis there is a link of the second or third kind between fill"'
and flu, the right half of fiJP' is equal to g,, that is, fllJU' e A,. Hence
fl11e { K,, A,}, and this contradicts the definition of the elements
When the right half of fl11 is equal to g, but the left half of fla1 is different
from g,-1 , we use a similar argument.
§ 34. SUBGBOUPS 01' A F'Bmt PllooUCT 25
Finally, let the right half of '011 be different from g. and the left half of flu
be different from g.- 1 • By our hypothesis on the link between v 11 ..& and
'011 we now obtain that the product v 111l "11111 is either a transform contained
in A. or is the unit element. In both cases one of the elements '011• "'la1 will
lie in the subgroup generated by K., .A., and other elements. However,
since v 11 is different from "1111 as well as from v 21 -1-the cancellations in
the product "111/u' '011 must cancel out 1l entirely-we obtain a contradiction
to the definition of the elements f n• This completes the proof of Lemma 9.
The proof ofTheorem (A) for K.+l now goes through without any
diffi.culty; for we can now show that wery wortl of K•+1 is a product of
simple words of one of the forms 1) u', 2) '0', 3) flu, 4) ufl, and 5)
u''0' u" with links of the first kintl between them.
For if w is a word of K•+1• then after amalgamating adjacent elements
of K. and of ~•• we represent w as a product of words from K. and from
~•• alternatingly. By the induction hypothesis for the case of words of K.
and by what we have proved earlier for the case of words of ~., every one of
these words can be represented as a product of simple words with links of
the first kind between them. Urnmas 6, 8, and 9 show that two adjacent
simple words, one inK., the other in~•• give, by amalgamation, a simple
word; in the case considered in Lemma 9 the word 1l can be amalgamated
arbitrarily with '0' or with u'. We see that w can, in fact, be represented
as a product of simple words of the form 1 )-5) with links of the first kind
between them.
Theorem (A) is therefore true for all subgroups K., and so for H, which
is equal to K'C. In other words, H is the free product of all the subgroups
<
A-., v 1:-and these subgroups are, by definition, conjugate to subgroups
of the free factors A 111-and of all the infinite cyclic subgroups
{/...,}, a<a~, v<-c.
This completes the proof of the theorem on the subgroups of free products.
The free decomposition of H that we have obtained has the following
properties: If g is an arbitrary element of G and A. an arbitrary free factor
of the initial decomposition of G, and if the intersection D = H 0 g-"~A.g
is different from E, then we can find in the decomposition of H a free factor
that is conjugate to D in H. For if tl is an element of D, other than 1, then
4 = g-la,g, a. eA.. The application of Lemma 4 of the present section
shows that tl is conjugate in H to an element of one of the subgroups A",
that is,
4 = g-la,g s b-l..i,.h, where heH.
26 pART THREE. IX. FREE PRODUCTS AND Fl!EE GROUPS
d € (gp.h)-1A•p. (g,_h),
and so
a~~. e (gp.hg-1)-lA.l-'- (gll-hg-1).
Henceitfollowsthatcx=CE.. and gp}tg- 1 =a~.. eA ...... thatis,g=a~; 1g/e.
Now
D=Hng- 1Aug=Hn (a~-p. 1g...r h)- 1A.p. (a~-p. 1gorh) =
= h-1 (Hn g;·;1A"'""gp.)h = h- 1Aorh,
and this proves our statement.
are called isomorphic if F 1 and F2 are isomorphic free groups and if a one-
to-one correspondence between the factors A a. and BfJ can be established
such that corresponding factors are conjugate in G. Using the concept of
a refinement of a free decomposition of a group, introduced in § 33, we can
now prove the following theorem (see Kuro~ [2], [3], Baer and Levi [2]):
Any two free decompositions of an arbitrary group possess isomorphic
refinements.
For let
{1)
If
(2)
(3)
§ 35. ISOMORPHISM. FBEE PRoDUCTS WITH AMALGAMATED SUBGROUP 27
(4)
whether two free groups with different ranks can be isomorphic. This
question is answered by the following theorem (Schreier [4] ) :
The rank of o free group is an invariant of the group, that i.r, it does not
depend on the choice of o system of free generators.
This theorem shows that an isomorphism of two free groups implies the
equality of their ranks: in an isomorphic mapping of one of the groups onto
the other, the images of a given system of free generators of the first group
form a system of free generators of the second group.
For the proof of the theorem we take the factor group of the com-
mutator group Kin the free group W. Since the transition to the factor
group of the commutator group is equivalent to the assumption that all the
generators are permutable, the factor group W /K is a free abelian group
and the cosets of K that contain the elements of the given system of free
generators of Ware a basis of this free abelian group. The invariance of
the rank of W now follows from the invariance of the rank of an abelian
group, which was proved in § 19.
When the theorem on the subgroups of a free product is applied to the
case of a free group, that is, a free product of infinite cyclic groups, it leads
to the following theorem.
NIELSEN-SCHREIER THEOREM. Every subgroup of o free group is itself
o free group.
For every subgroup that is conjugate in some group to a subgroup of an
infinite cyclic group is itself an infinite cyclic group.
We shall come back to this theorem in the following section. Here we
shall prove, as another application of the theorem on subgroups of a free
product, the following theorem (Baer and Levi [2] ) :
No group can be decOMposable both into a free product and into o direct
product.
Suppose that
subgroups B. and BtJ which are mapped by the isomorphisms fP• and fPtJ
onto one and the same element of B. The subgroups B. are "amalgamated,"
as it were, in accordance with the isomorphisms "''t&/J.
This definition does not enable us immediately to clarify the structure
of G : it could conceivably happen that the introduction of additional defining
relations gives rise to amalgamations among the groups A. that are not
provided for by the isomorphisms VJatJ, or that it replaces some groups A.
by factor groups, and so on. We must, therefore, look into the matter
more closely.
In every group A. we select a representative from each right coset of B.,
assuming only that the representative of B. itself is the unit element. We
denote by if. the representative of the coset in which a. lies, so that
(5)
where the right-hand side is a word in the present sense, and let
,_-t = b1•
"T-.
b
tl1 1 =tit,
I I 1-1
tit= b1t~1 ,
I I
b1cp., = IJ •
If tif = 1, then
t.J,tJa ••• a.= b' a: ... 0..',
§ 35. IsoxOBP:a:ISK. F'D:E Paooucrs W1TII AMALGAMADD S'UBGBOUP 31
where the right-hand side is a word. But if it' o:F 1 and if i/ and Hta' lie in
different groups A., then the required expression is
a1~ ••• a,.=// a;, a; ... a;,.,
Finally, if ~' and lie' lie in one and the same A., then let
now carries the word 1 into (6), so that distinct products (7) are distinct
elements of G. Hence follows the uniqueness of the expression of the
elements of G as words.
We can now easily establish a number of properties of the free product G
of groups A. with an amalgamated subgroup B.
The groKps A. are contained in G as subgroups, and they genemle G and
intersect pairwise in the CJMOlgamo.ted subgroup B.
For the word on the right-hand side of (5) is different from the word 1
if a. =F 1. If a.! B. and a, is an arbitrary element of A~, ~=Fa, then the
reduction of the product a.,- 1 a:. leads to a word ending with a.,
so that it
is different from 1.
EfJery element of G lu.wing finite order is conjugate in G to an elnnent
of one of the subgroups A •.
Let J be an element of G, of finite order k,
1"=1,
written in the form (6). If n < 1, there is nothing to prove. If n > 1,
and if the elements a,. and a,., in this expression belong to the same sub-
group A., then after transforming by ~ - l and subsequent reduction, we
go over to a word of shorter length. We can therefore, assume that n > 1
and that it and 2i. lie in distinct subgroups A. and then show that this case
cannot occur. We write the word (6) k times in succession and each time
combine the factors b and ~. Owing to our hypothesis we obtain the normal
form of the product of certain elements of the groups A.; moreover, these
elements lie outside the corresponding subgroups B •. In carrying out the
reduction, we can therefore never arrive at a representative equal to the
unit element: if an element of A. outside B. is multiplied on the left by an
element of B., we obtain an element outside B., and so the reduction can-
not lead to the word 1.
If c. is the intersection of B. with the centw of A., then the center of G
is the intersection of all the subgroups C•fP• of B.
It is clear that the intersection of all the subgroups C.tp. lies in the center
of G. On the other hand, let
g= ba1a.•..• a,.
be an element of the center of G. If n > 1 and O.eA., then in an arbitrary
group A~, ~=Fa, we take an arbitrary element rl ouside B~. The reduc-
tions of the products gtl and a' g are lmown to lead to distinct words. But
§ 36. SUBGBOUPS 07 FUE G:aoUPS 33
if n =
0, that is, g =
b, then b lies in one of the subgroups C,. and we are
again led to a contradiction if we take as ri an element of A,. that is not
permutable with brp,.- 1 •
The problem of subgroups of a free product with an amalgamated sub-
group would require the study of an even more general construction: instead
of the amalgamation of one and the same subgroup B in all the groups A"
it is assumed that in every pair of groups A,., A 1 a subgroup Ba~ is amal-
gamated, where the choice of these subgroups B 4 in the group A,. is properly
coordinated. This construction is studied in papers by Hanna Neu-
mann [1-3]. It is interesting also because a special case is the union of an
ascending sequence of groups introduced in § 7.
The element ga"~z, which lies in U g can now be taken as g. Its repre-
Pr
sentation - • • .._ 'liz
g=a ta • •. • a "a
·~ "'• "7c llz
We shall write
and we shall show that the set of all ag; « is a system of generators for the sub-
A U If
gf"O'Ur • ll=a,•, a....
'• a«•n e U,weputg1c=a«'aa•
11 n
• • ... a 11•rc , k Sn.
•• 7c-
Obviously, g0 = 1, g.=u. Now
a-n- -
,.
=1
Tc--1
Kk-1a«~vk
1(0'
1
,
then
• • == tr,.••
a-g,
Every generator, and therefore every element, of U* is the image of an
element of U. Moreover, we see that U is a free group tJnd the set of elmumts
"i. • is o system of free generators.
This concludes the proof of the Nielsen-
Schreier Theorem.
The method just explained of constructing systems of free generators for
the subgroups of a free group can be used to establish some new properties
of free groups.
I. The commutator group of o free group of finite rank n, n > 1, is 11
free group of countCJble rtJnk.
For let G be a free group with tJ,., tJa, ••• , a. as a system of free generators,
and let K be the commutator subgroup of G. Every coset of K contains one
and only one element of the form a,_"la.-s ••• a:•
with integer exponents ac,
and the set of these elements form a set of representatives satisfying the
requirements set forth in the preceding proof. However, it is easily seen
that the element ia4Ka1-t, where
k=1 + j(n-1).
Let tJ,., Ga, ••• , a. be a system of free generators of G, and let the repre-
sentatives l of the right cosets of U be chosen such that every segment of a
representative is also the representative of its coset. The total number of
products of the form [a.p..-'1 is obviously jn; hence it follows that k is
finite. We shall now calculate how many of these products are equal to the
unit element.
Let P, be the number of representatives g of length l having one of the
§ 36. SUliGROUPS OP FBEE GROUPS 37
~ (P~
·~0
+P,+l),
and this sum is equal to j - 1, because we get j by adding Po= 1 to the
sum. Now
k=jn-(j-1)=1 j(n-1). +
This completes the proof.
III. (M. Hall [4]). Let G be a free group tmd let
0 = A 0 :::> A 1 :::> Ag :::> • • • :::> A.t :::> •••
x=a:a: ...a;:
is the reduced form of sin the chosen generators of A111-1o and if we have
..
ae• .,& a•• , then
...
38 PART THREE. IX. FREE PRODUCTS AND FREE GROUPS
., ..
--1
Y = a•• a••
of A1c is different from 1. Its length in the chosen generators of A~o- 1 is,
however, two, because the representative a::
of the coset Akai, has minimal
length, that is, length 1. This is in contradiction with the conditions of the
theorem. So we see that on transition from Ak-t to A11; the length of an
element of A~; strictly decreases, and hence no element, other than 1, can
lie in all the subgroups A~;.
The following result is a consequence of this last theorem : If oo is the
first infinite ordinal number, then the oo-th derived group of a free group
(see § 14) is E. For if r a are free generators of a free group G and if y is
an element of the derived group of G, y ¥= 1, then in the reduced form of y
in terms of the generators ra. the sum of the exponents for every ra. is zero.
Hence it follows that the length of y in the generators r a. is not less than four.
The corollary just proved could also be deduced from the following
theorem.
MAGNus' THEOREM. If G is an arbitrary free group, then the oo-th term
of its lower central chain is E.
This theorem was first proved by Magnus [6] and later by Witt [ 1],
Fuchs-Rabinovit [5], M. Hall [4]. It is also contained in much more general
results of Mal'cev [7], which state conditions under which the oo-th term
of the lower central series of a free product is E. We shall prove Magnus'
theorem by Mal'cev's method.
Let R be an arbitrary associative ring. If we put for a, beR
a 0 b=a+ b-ab,
we obtain a new operation in R which we shall call the adjoint multiplica,.
tion.e This operation is associative:
ao 0=00 a=a.
§ 36. SUBGBOUPS OF F'BEB GBOUPS 39
Oearly
(a)'=o.
(ao b)'=b'O a.
So we see that the radical elements of a ring R form a group under the
adjoint multiplication, which we call the adjoint group of the ring R.
Now let m be a cardinal number, finite or infinite. We choose a set of
symbols e., where the index a. ranges over a set of cardinal number m,
and we call every expression
+
a word of length n, n > 1 if tz1 111+1, i= 1, 2, .•. , n-1, so that
adjacent "factors" are distinct. We now construct a ring R in the following
way. The elements of R shall be formal sums of a finite number of words
with non-zero integer coefficients; the representation of the elements of R
in the form of such a sum shall be unique up to the order of the summands.
Among the elements of R we shall also count the empty sum of words which
contains no word with non-zero coefficients.
We define the addition of two sums of words as the addition of the co-
efficients of identical words and subsequent omission of those words whose
coefficients turn out to be zero. It is clear that this addition is commutative
and associative and has a subtraction; in particular, the empty sum of words
is the null element.
Let us define the prodwct of words. If
is a word which will be regarded as the product ff1 "•; but if cz. = P1, then
we put f11 f11 = 0; in particular the square of every word e. is zero. Note
40 pART THREE. IX. FREE PRODUCTS AND FREE GROUPS
(1)
We show that the subgroup F generated in G by all the elements e~~. is free,
and the set of e~~.'s is a system of free generators of F.
For
and for every positive integer k and also every negative integer k by ( 1)
the adjoint k-th power of ea. is ke~~.. The element e~~. therefore generates an
infinite cyclic subgroup of G. I£ we expand the adjoint product
(2)
where aco::i=<Xc+lJ i= 1, 2, ... , n-1 and all the k, are different from
the zero, then we obtain, among others, the term
tJ + tl-ati=O,
but the height of the product atl is strictly greater than the height of either
factor, so that the lowest terms of the summands cz and rl must annihilate
each other.
If a and b are non-zero elements of G, then the height of their cMMnutator
is strictly greczter than the height of both a tmd b. For if we expand the
expression of the commutator and take the definition of the adjoint inverse
element into account, then we obtain
tlob'oaob=-a'b' -ab-a'b-b'a+ttab+b'ab+
+
a'b'a+ a'b'b- a'1/ab.
The height of every term of the sum on the right-hand side is strictly
greater than the height of each of the elements a and b, and the same is
therefore true of their sum.
We now consider the lower central series of F
(3)
and show that the height of every element of F. is greater than or equal to
+
n 1. This is true for F = F0 • Suppose it has been proved for F•· If we
form the commutator of an element a of F. with an arbitrary element of F,
we obtain an element whose height is strictly greater than the height of a
and hence greater than or equal ton+ 2. This also holds for the adjoint
products of such commutators, that is, for every element of F•+l·
It now follows that the intersection of the subgroups (3), that is, the •th
term of the lower central series of the free group F of rank m is E. Since
the cardinal number m was arbitrary, we have proved Magnus'Theorem.
We mention, without proof, a theorem of Witt [ 1] which states that all the
factors P.JFa+trn= 0,1, 2, ... of the lO'fllercenlrtJl chain of czfree group F
are free czbelit:Jn groups.
Another theorem of the same type as the above theorems of M. Hall and
Magnus can be found in a paper by Levi [3]. All these results represent
partial advances on the general and not-too-well-defined problem of a survey
of all the subgroups of a free group or the problem-to use a terminology
42 PART THIIEE. IX. FREE PRODUCTS AND FREE GROUPS
(4)
is satisfied when arbitrary group elements are substituted for the "variables"
X1 and St. Similarly, in every nilpotent group of class 2 (see§ 14) we have
(2)
for arbitrary group elements x 11 x,, sa. Lastly, in a finite group of order n
the order of every element divides n, and therefore the equation
(3)
is satisfied "identically."
More generally, let G be a given group. We consider an auxiliary free
group W with a countable set of free generators -*'1t -*'t• ••• , x., .... If w
is an element of W, that is, a word in the generators x1, St, ••• , '*'•• •.. ,
then the equation
W=1 (4)
obviously also hold, so that the left-hand sides of the identical relations form
a subgroup of the free group W. We now consider an arbitrary endo-
morphism rp of W. It carries every generator zc into an element z,cp, which
is a word in the generators z 11 za, ... , z,., ···. If (4) is an arbitrary
identical relation of G and
then
111
. .
= x,a• xl•.,• ••• x 4••,
On the right-hand side there stands some word in the generators zh x., ·· o o
The substitution of arbitrary elements of G for these generators is equivalent
to the substitution of the elements in the words x41l~t k =
1, 2, ... , n, and
the substitution of the values so obtained into the word w. This last substi-
tion turns the word w into the unit element, and therefore
wcp=l
(5)
where i,, it, ... , i. are natural numbers and i 111 =i1 if and only if a 111 =az,
is an identical relation in G.
For in order to substitute arbitrary elements of G, that is, arbitrary cosets
of N, in (S) it is necessary to substitute in the left-hand side representatives
of these cosets, that is, certain words in the generators a_. This is equivalent,
however, to applying to the element hofF an endomorphism, which does
not lead outside H nor, consequently, outside N. Equation (5) is thus satis-
fied for arbitrary elements of G, in other words, if is on identical rela.lion in G.
Conversely, if
x~ x~2 ••• x;•=l (6)
1 S II
ll
7 ,
"' •
(7)
where f s F', m > 0, and where all the subscripts a 1 , 11:1, • • • , «m are distinct
and all the exponents kx. k2, •.• , k,. different from zero. If here hiP', then
m > 0. The endomorphism of F that leaves a., in place and carries all
r
other generators a. into 1 caries h into a!', since goes into 1 under this
ill
endomorphism, because in f the sum of the exponents for every generator
is 0. Now His a fully invariant subgroup, so that
.a! sH, i= 1, 2, ... , m,
1 (8)
and therefore f EH, that il,
fe(HOF')=K.
§ 37. FlJu.y INVABIAN'I.' SUBGROUPS. IDENTICAL RELATIONS 47
Let n be the smallest positive exponent with which any generator a. occurs
in H; the existence of such an n follows by what we have just proved from
the assumption H l!l: F'. But since there exists an endomorphism of F that
carries a. into an arbitrary preassigned element of F and since H is fully
invariant, the n-th power of any element ofF lies in H, that is, H;;;J.F".
By (8) every exponent k1, k,, ••• , k.. in (7) must be divisible by n, so that
ba- 1 (1 2 i)ab 2 = (1 2 i. + 1 ),
so that the subgroup {a, b } , which contains ( 12 3), contains all ternary
cycles of the form (12i), 3<i<n, and their inverses, (li2), If i:Fj,
i> 3, j> 3, then
50
§ 38. GENERAL PRoPERTIES OF FINITELY GENERATED GEOUPS 51
so that {a, b} also contains all ternary cycles of the form (lij). Finally, if
the symbols i, j, k, l are distinct from each other and from 1, then
that is, {a, b } contains all ternary cycles of degree n and therefore coincides
with the alternating group.
Now let
( U) ~ < ~ < ... < u,. < ...
be an ascending sequence of odd numbers, Ut > 5, and let Gu' be the direct
product product of the finite alternating groups whose degrees occur in U
Every group A~~n is a group of even permutations on a,w an!l• ••• , an, ..,.,
==
and the cycles a,.= (a,. 1, ~ 1 , ••• , a,.,.,.) and b" (an1, ant• a,.s) are
generators of this group, as we have shown above. 1f l: '1s the set of all
symbols anTe• k = =
1, 2, •.. , ""' n 1, 2, ... , then Gu' is a subgroup of
the unrestricted symmetric group of l:, that is, the group of one-to-one
mappings of l:' onto itself.
In the latter group we form the subgroup Gu generated by the elements
a= (a11 , a111, •.. , a1, u1) (ag1, a112, ••• , as.~ .•• (a31 , an 2, ••• , an,.,.) •.. ,
b =(au, alt• ala) (o!ll• a!l2, au) ••• (a,.1, 4n2• a,.s) ••. •
and show that Gu ::> Gu'.
An immediate verification shows that the elements a"-Cum- 2>ba!m-1 and
bare permutable when n > m. Since in an arbitrary product of powers of
a and b the cycles containing the symbols a"' with one and the same first
index n are multiplied together just as in A..• we see that the commutator
k,. of the elements a-cu,.-2) ba"•-2 and b leaves all the symbols atoC with
n > m in place but affects the symbols a"" and, possibly, certain a's with
a first index less than m. In other words, 'km is contained in the direct
product of A., and some of the subgroups A!'c, l < m. This also holds
for every element conjugate to k,. in Gu: tne process of transforming
an element x of AIIJa by an arbitrary element of Gu carries x into another
element of the same subgroup Au,.. Therefore the whole normal subgroup
generated in Gu by k,. is contained in the direct product
52 PART THREE. X. FINITELY GENERATED GROUPS
Au I
X Au X··· X Au••
I ••
We can give yet another reason for the great complexity of the class of
all finitely generated groups ; we begin with the follo\'\oing lemma, which is
of independent interest (see G. Higman, B. H. Neumann and Hanna
Neumann [1]).
LEMMA 1. Let A and B be isomorphic subgroups of a group G and let t:p
be an isomorphic mapping of A onto B. Then G can be embedded in a
group H containing an element h such that the transformation of A by h
induces the mapping t:p,
U=G-.u- 1 Au
V G•vBv- 1 •
for all a of A.
We can therefore construct the free product H of K and L with an
amalgamated subgroup (see§ 35) by amalgamating U and V in accordance
with the isomorphism 'I'. H contains G as a subgroup. On the other hand,
since in H
we have
induces the mapping tp4 • Moreover, the elements ha, a eM, can be chosen
so that they generate a free subgroup of Hand are free generators of it.
We define the group H in the following way: Its generators shall be the
generators of G and the symbols ha, a eM, and its defining relations shall
be the defining relations of G together with all the equations
(1)
(the elements aa and Gatp4 are, of course, assumed to be expressed by the
generators of G). The elements ha are then indeed free generators of the
subgroup of H that they generate: if we put all the generators of G equal
to the unit element, we tum the relations ( 1 ) into identities, and therefore
no non-trivial relation linking the elements ha only can follow from them
and from the relations of G.
On the other hand, if the generators of G were linked in H by a relation
that is not a consequence of the defining relations of G, then this relation
could be obtained after adjunction of a finite number of elements ha. It
would then be satisfied a fortiori if these elements ha were adjoined to G
in accordance with the basic Lemma 1 ; but that is not the case. Thus H
contains G as subgroup and so satisfies all the requirements of Lemma 2.
For what follows we mention that the generators ha of H occur in relor
tion (1) only.
Applying Lemma 2 to the case when Ats = G for all a, and tp4 ranges
over all the automorphisms of G, we obtain a group H that plays the same
role as the holomorph of G.
Our aim is the following theorem, which was expressed as a problem in
the first edition of this book and proved in the paper by G. Higman,
B. H. Neumann, and Hanna Neumann [1].
Every countable group G can be embedded isomorphically in a group with
two generators.1
Proof. We choose in G a finite or a countable system of generators
g1, ga, · ·.. Further, we set
(2)
where { u} is an infinite cyclic group. As a system of generators of K we can
take the elements u and
u.=ug,, i= 1, 2, ... , (3)
1 For J?nite groups this theorem bas, in essence, been proved in § 5, since every finite
since Kc=U- 1 14i, i= 1, 2, ···· The elements"' are all of infinite order,
so that the cyclic groups generated by them are isomorphic. By Lemma 2,
K can therefore be embedded in a group L in which there are elements ht,
=
i 1 , 2, • . . satisfying the conditions
(4)
moreover, the elements ht are free generators of the subgroup H that they
generate; they occur only in the defining relations ( 4) of L, and together
with K they generate the whole group. By ( 4), we can take as generators
of L the elements u and he, i= 1, 2, ....
Now let W be the free group with the generators x, y. We lmow from
§ 36 that in the commutator group of W we can find a subgroup with the
same {finite or countable) number of free generators s 1 , s.. •.. as there
are elements he, i= 1, 2, .... We can therefore form the free product Q
of L and W with the amalgamated subgroup that arises from the isomorphic
subgroups H and S by means of the equations
z-1.xz=u, z- 1yz=x,
and hence zxz- 1 =y. It follows that R, generated by the elements u, x,
y, z, is in fact a group with two generators x and z. This completes the
proof of the theorem.
A number of essentially negative results are known about finitely generated
groups. For example, there exist finitely generated groups that are iso-
morphic to proper factor groups (B. H. Neumann [9], G. Higman [2]).
This gives a negative solution to a problem that was known as H opfs
problnn. This cannot happen in free groups of finite rank, as we shall
prove in the following section. It is also known that there exist infinite
simple groups with a finite number of generators (G. Higman [3]); this
answers a problem that was proposed in the first edition of this book?
Very little is known about the following extremely important problem,
the so-called Burnside problem: Is e'i!Br'J finitely generated periodic group
finite?
This problem has not yet been solved even under the restriction that the
orders of the elements of the group are bounded. The answer, in the affirma-
tive, is obvious in the case in which the orders of all the elements other than
the unit are 2, because such a group is necessarily abelian. Burnside [2]
has also found an affirmative answer in the case in which the orders of
the elements are 3 and, furthermore, for groups with two generators in
which the orders of all the elements are 4 or divisors of 4; the first case is
also studied in a paper by Levi and van der Waerden [1]. Further, B. H.
Neumann [3] has found the solution for groups in which the orders of the
elements do not exceed 3 and, finally, Sanov [ 1] for groups with an arbitrary
finite number of generators in which the order of the elements does not
exceed 4. However, even for groups with two generators in which the order
of all the elements other than the unit element are 5, the problem remains
open. Note that all such groups are factor groups of the reduced free group
B a with two generators, that is, are obtained by imposing the identical rela-
tion ~ = 1 (see § 37). Attempts have been made to give upper estimates
for the orders of the finite factor groups of B 11 (Sanov [SJ ), but they have
not yet led to a definite result. Sanov [3] has proved that for an affirmative
solution of Burnside's problem in the case of bounded orders, a solution for
groups with two generators is sufficient.h
We conclude the present section with a proof of the following theorem
(M. Hall [4]):
A finitely generated group CMt. have only a finite nuMber of subgroups
of given finite index j.
§ 39. G:au!bto's THEOUx 57
For let G be a group with the generators Gt, as, ... , a.. and let H be a
subgroup of G, of index j. We denote by
(6)
(1)
which are assumed to be not necessarily distinct from one another or from
the unit element. If an element h of G has in terms of the generators ( 1)
an expression in which g1 does not occur, then obviously we again obtain
58 pART TBREE. X. FINITELY GENERATED GROUPS
(2)
The normal forms of the elements of G, their length, their left halves,
middles, and right halves, etc. will be considered in what follows with
respect to the free decomposition (2).
We shall call an admissible system of generators minimal if the sum of
the lengths of its elements or the length of the system does not exceed the
length of any other admissible system of generators of G (with respect to
the original system ( 1) ) .
GRu~xo's THEOREM: Every element of an arbitrary minimal system of
generators is contained in one of the free factors of the decomposition (2).
Before we proceed to the proof of this theorem let us indicate a few of its
consequences.
The minimal number of generators of a finitely generated group is equal
to the sum of the corresponding numbers for all factors of an a.rbitrary free
decomposition of the group.
For if (1) is a system of generators of G with the smallest possible
number of elements, if (2) is a given free decomposition of G and
(3)
morphic mapping of the free group with n free generators onto G. In the
case of a free group the transformation of a system of generators considered
above give a transition from one system of free generators to another
system of free generators. From Gru§ko's Theorem we can therefore
deduce the following theorem, which is essentially equivalent to it.
If ts free group S 'lllith ts finite nUMber of genertstor.r is Mapped homo-
morphicolly onto ts group G that is decomposable into the free products of
subgroups A11 Aa. ... , A,, then we can choose in S a system of free
genertstors such that etseh genemtor is 1Mppetl by the homomorphism in
question into an element of one of the free ftsetors Ac.
From this it follows that ts free group of nmk n ctsnnot 'halue ts system of
genertstors consisting of fewer tlum n elements. This result could also be
obtained immediately by going over to the factor group of the derived group.
E'Uery system of genertstors of ts free group of rt141k n that consists of n
elements is ts system of free generators.
For if Gt, ~ •••• , ts. is a system of free generators of a free groupS, and
if b11 ba, •.. , b. is a system of n. generators of S, then by Gruska's Theorem
there exists a system of generators ~. ~. • •. , IJ~, admissible relative to
b1, b., .•• , b. and such that every bl lies in one subgroup { ~} • Since
every { ~} must contain at least one of the bl, we can assume that ble {ac},
because the number of elements in both systems is equal. Now it is easy
to see that b~ = af 1, that is, b~, IJ;, .•• , &!a is a system of free generators
of S. The generators b1, ba, ... , b. are therefore also free.
This result states, in other words, that wery homtn~~orphic Mapping of
tJ free group of finite rank onto itself is isomorphic or that ts free group of
finite rtlllk cannot be isomorphic to OM of its proper factor groups. This
theorem was first proved by Magnus [6], using other methods. It can also
be deduced from earlier results of Nielsen [3].
We now tum to the proof of Gruiko's Theorem.
Proof of Grulko's Theorem. Let
(4)
g. fig:"'==
., ., PQP-l,
that is, for even l' g • n. ,...., = 1. Otherwise g is called irreducible.
Let us assume, for the time being, that the following statement has been
proved.
(B) If (4) is a •inimal atlfltis.rible sy.rtnn of generators of G, anti if
among its ellfllmts there is one of lmgth greater thtm 1, thm ( 4) contains
irreducible special ellfllnts.
Let g, = P Q R be one of the elements of shortest length among the
irreducible special elements of the minimal admissible system ( 4) . If the
elements g1 and g4o., g4o., •.• , g,_ and their exponents have been chosen in
accordance with the definition of a special element, then we have by ( 4)
and (5)
- ng.,. g,=R-
g= . Q'T,
..
1 ••
.. il
1
i·fig7=R-'Q'R,
p. p.
l(gJ p.l'<l, p.=l, 2, .•• , t,
then
(6)
where Q" lies in the same free factor as Q. However, since the left half
of g~ is equal to P if g is irreducible and 8 = +
1, and also if g is reducible
and a= ± 1, it would follow from the equation
Hi"'·
... ,.,. P=-R- 1
which holds in this case,1 that R •ll g~ = p-t, in contradiction to the fact
that g, is irreducible; the only p~ble case rema;ning is: i irreducible and
&= -1. In that case, however, from (5) and (7) it would follow that
,,~. T-1 = R-I. that is,
R= T{l(g!P')-t.
... p;
1 Condition (6) of the definition of a special element bas to be taken into account.
62 pART THREE. X. FINITELY GENEIL\TED GROUPS
,,..~
l\6j)=l(g,• ng,"" •gi•. n gA~p. •g;)=l,
.. ., .. Jp.
1
These two equations show that g1 is itself a special element : the first shows
it for 8 = - 1, the second for 8 =+ 1. Conditions 5) and 6) of the
definition of a special element are obviously satisfied in both cases.
The transformations of the system ( 4) considered above therefore decrease
the number of irreducible special elements of length l in the system, and after
§ 40. GRub;o's THEOR&M: (conclusion) 63
g,=g;
, n "'"
1 ... Ks.,
l[ll, v] is the length of [11, v], relative to the free decomposition (2).
We shall now prove some lemmas about the right-hand side of (8).
LEMMA I. There exist indices 11, v with 1 < 11 < v < oo such that
1) l(g1P.)=l[p., p.+11= ... =l[p., v-1] >l[p., v],
2) I (gJ) > I (gil.), p. < J.. < v,
3) l(gi) > 2.
For there exists a 11 such that 1 1[1, 11-11 < 1[1, 11], but for all A> J.L,
1[1, J..} > 1[1, A.+
1 ).Since 1[1, oo] = l(a) = 1 for 11= oo, we would have
1[ 1, oo- 1] = 0, that is, [ 1, oo- 1] = 1. However, it would then follow
that a = g;:,
which is impossible in view of l( a) = 1 and the assumptions
made about a.
<
We shall now look for some v, p. v ~ O>,such that
1 In other words, p. is the index of the last factor of (8) which leads, on multiplication
when the cancellations between [!',A] and g"}-+ 1 are carried out, the whole
"l.+1
right half and the middle of [f1, A] would cancel and, for even l, its left
half would be affected by cancellations. Hence it would follow that
1[p., l.+1J <1(gh+t); but since in [f1,1+ 1) the element g~:~ is the
only factor of length greater than l, we could then diminish the length of
the system ( 4) by replacing ~.~. rrs')+1 = [p., ).. 1].
":O.·rt by the element o: +
Qearly, this again gives an admissible system of generators. Therefore
l(gs,.+ 1)<1. If now A+1<v, then Z[1,A]=Z[1,A+1], and so
1[1",). + 1] = l[f1, A]= I, and the left halves of [1", A + 1] and [!', 1]
coincide. Thus for A+ 1 < vall the induction hypotheses have been proved.
But if A+ 1 = v, then it follows from 1[1, 1] > 1[1, v] that the cancella-
.
tions in the product (!', A.] •
of gj', so that l[f1, v] < l.
g;"..
eliminate the wh~le left half and middle
'
Finally, from l = 1 it would now follow that Z[f1, v] = 0, that is,
[!", v] = 1, But this would enable us to replace (8) by a shorter product,
and this contradicts our assumptions about (8). Hence l > 2, and Lemma I
is proved.
We shall now assume that [!", v] is chosen in accordance with Lemma I.
We shall also assume that this product has the smallest number of factors
among all those products of the form [a,..:] and [a,1:]- 1 , 1 <a< 1: < m
that satisfy all the requirements of Lemma I. Moreover, we can assume
that this product [!', , ]
s.,. ip+l ... i"J..
= i~"lv-+t is a product with the smallest
total number of factors which can be constructed from the elements of ( 4)
66 p AJitT TBBEL X. FINITELY GENEBATED GROUPS
in keeping with all the requirements of Lemma 1. The length of K~p. will be
denoted by l, as above.
LEMMA II. E'llery element g, of length l that a.ppeOTs in the product [f.', v]
at all occurs in it at least twice.
For if an element g,, l(g,)= l occurs in [f.', v] only once, then by
Z[f.', v] < l the replacement of g, in (4) by g/= [f.', v] leads to a new
admissible system of generators, of length smaller than ( 4).
LEMMA III. If p. <a< t < v and if the product [a, t] does not contain
a factor of length l, then l[a, 't'] < l. But if factor:s of length l occur in the
product and if,;< v, then l[a, ,;] = l.
Let us suppose the assertions of the lemma to be already proved for all
the partial products of [f.', v] consisting of a smaller number of factors than
[a,,;]-they obviously hold for a='t'. Then we have to consider the
following cases :.
<
1) l[a, -c-1] l,l(g1-c) < l, -c < v. In this case it follows from
l[f.', a-1] = l[f.', ,;-1] = l that in the product
it follows, as above, that l[a,,;] < l. However, if the inequality sign holds,
§ 40. GauA1to's TKEOliiCK (conclusion) 67
then we could decrease the length of ( 4), since gi.. is now the only element
of length lin [a, 1:]. Therefore Z[ a, 1:] l. =
4) l[a, 1:-1] = l, l(gJ.. )= 1, "C < v. Again, we have 1[a, -r] < 1, by
(11). Suppose I[ a, 1:] < l. Since-by the induction hypothesis 1[1, -r] 1, =
a< 1 < -r, we would find in this case that (cr, 1:)-1 satisfies all the require-
ments of Lemma I, although it consists of a smaller number of factors
that [!£, v], in contradiction to the choice of the latter element. Therefore
l[a,-r] =I.
LEMMA IV. l(gJJ=I.
For if l(gJ.J <I, then let l]' be the last factor of length Z in [!£, v].
.
Smce 1
g1 ·1Jg~==PQP-l, g1 • ,g;;=R-1Q'R,
then
that is, KtKt is also reducible. Finally, it is easy to see that from the reduc-
ibility of g there follows that of g- 1, and vice versa.
We now tum to the proof of the lemma. It is clearly true for even l,
because if there were a reducible element of even length in ( 4), then the
system would not be minimal. Let l be odd. From Lemma V there follows
the existence of a factor g~ of length lin [!', v] with I'< A< v. If all
such factors were reducible, then the above remarks and Lemma III show
that the product [I'+ 1, v-1] would also be reducible. Moreover, again
by Lemma III, Z[!£ + 1, v-1] =Z. Let[!'+ 1, v-1] =PQR, and
~,.... ·fig!"'=
• •
sQ.s- 1, g..,1., · Hl•
• • ..
== R- 1Q.R.
.
Now
R·H a""'=P-1
~o'a ' T · Hg~• == R.
..
Hence
§ 40. GllusB:o's TBEOUJ( (conclusion) 69
[p., "~~)=ST=R-IP-1=\Jg;:.
If 8). = + 1, then we take the element g_1, that stands nearest to g11 on 8
"
the right among all elements of length lin [J.L,v], a<v. Now we sball
convince ourselves, by recourse to [1, a] tbat gh. satisfies all the require-
ments in the definition of a reducible element. For conditions 2) and 3)
follow from the choice of the element g},
, conditions 4), S), and 6) from
Lemma III for a < v. For a= v they are also easily seen to be satisfied.
It remains to show that condition 1) holds. Let },=A· If 1 •.=+
=
and KJ,. PQR, then we also have PQR, hence g;: =
•-1
KJ- •
·;A,
!!
•• +1
8
gl.c • KJ, 11 =
•
8
•
1D
PQn. • !!- - Ks, •
·- +1
8c
•
PQ'D
n..
is added to the defining reltJtions, where w(a) is any given uJortl i11 the
symbols au, afJ, · · ·.
We first prove the following lemma.
LEMMA. Let W be the free group with a system. of free generators IDl.
If b is an element of IDl, IDl' the set of all elements of IDl except b, and B
the normal subgroup of W generated by b, then the factor group W IBis
isomorphic to the free group with 9Jl' as a system of free generators.
For the subgroup W' of W generated by IDl' is a free group with IDl'
as a system of free generators. On the other hand, every word that occurs
in B bas the following property: If all the powers of the symbol b in it
are deleted and then all necessary cancellations are carried out, then the
empty word results. This statement is clear for words that are conjugate
to b. For arbitrary elements of B it follows from the remark that if w1
and W2 are words of W that are transformed into the empty word by dele-
tion of powers of b and subsequent cancellations, then w1 w1 has the same
property. It follows that the intersection B nW'- E, so that by the
isomorphism theorem
W/B~W'/E~W'.
We now turn to the proof of the theorem. If W is the free group with IDl
as a system of free generators, then G!::::! W /H, where H is the normal
subgroup generated by the left-hand sides of the defining relations. Let W
be the free group with ml as a system of free generators-we then have
W:> W-and let H be the normal subgroup of W generated by the elements
that occur in Hand by c= bw(a). We have to show that
W/H~W/H.
W/B~W.
W/H'!::::!.W/H.
H' :::l li while on the other band every element of H' bas the form hb' with
- b'eB,
heH, - -
' so tbatH'S,H.
The case of an arbitrary word w(a) will reduce to the case just considered
if we can show that the set 9n and the element c = b •w(a) together form
a new system of free generators for W. For this purpose it is sufficient to
prove tbat the elements~.~ •.•. are not linked with c by any relations;
for it is clear that these elements together generate the whole group W.
Suppose, then, that we bave in W an equation
where w 1 (a), w1 (tJ), ••• , WJ:(tJ) are non-empty words in the elements
""' ~· ... , and 31, ~•••• , 3k are non-zero integers. After we replace
every c in this equation by bw( a) and carry out all the cancellations, the
left-hand side must become the empty word, because otherwise we would
obtain a relation linking the symbols of Hn in W. Now all factors band b- 1
actually remain unca.ncelled, since for i = 2, 3, ... , k
(the left-hand side is a word in~. ap, ... , and b) and replace one of the
factors b occurring in it by w-.l(a) (or b- 1 by w(a)) and carry out the
necessary cancellations. We obtain a new relation
where w has been written in a form that exhibits the factor b that is to be
replaced, then
'W' (a; b)= • 1 (a; b)(b'W (a))-t 'lV:lt (a; b}_w (a; b),
so that (2) is a consequence of the given defining relations and can there-
fore, by B, be added to the system of defining relations. But if we now
solve the last equation with respect to w( 11; b), then we find that ( 1) is a
consequence of the remaining relations and can therefore be omitted.
These types of transformations of the defining relations enable us to
prove a few important theorems on finitely presented groups.
If a group G is given by a finite system of generators linked by a finite
74 PAilT THREE. X. Fnmi:LY GENERATJtD GIIOUPS
In the corresponding free group the words w1 (a), ... , w, (a) generate the
same normal subgroup as the words
(5)
However, every element w,(a), i= 1, 2, ... , s can be expressed as a
product of a finite number of elements conjugate to elements of the sequence
( 5). Thus, a finite number of elements in ( 5) already suffice to generate
the whole normal subgroup H. Finally, the following theorem holds (Tietze
[1]).
If a finitely presented group G is given in two ways by a finite system of
generators, then we can go from one to the other by a finite number of trans-
formations of types A and B.
For let G be given, on the one hand, by the generators~ •... , a1c linked
by the defining relations
w1(a)= 1, ... , w,(a)= 1 (6)
and on the other by the generators b11 ••• , b1 with the relations
Since every b, must be expressible by the first system, let b,= f,(a),
i=1, 2, ... , l; similarly, Dj=q;1(b), j=1, 2, ... , k. By applying
transformations of type A we can now give G by the generators~ •... , a~:,
b11 ••• , b, and the defining relations (6) and
1 Quite recently Novikov [1-3] has proved that the word problem and the transforma-
tion problem for finitely presented groUJlS are algorithmically unsolvable.i (7'ran.r.]
§ 41. GROUPS WITH A FINITE NuMBER o:r DEFINING RELATIONS 77
what further than that of groups with an arbitrary f.}nite number of relations ;
but, for example, the subgroup problem for groups with a single defining
relation is far from exhausted. The fundamental result here is the following
Freedom Theorem (Magnus [1]).
If a group G is given by the generators~~ a21 ••• , a. and one relation
f(~, ~ZJ, ••• , a..)= 1, and if further the element a.. occurs in this relation
and cannot be removed from it by transformations, then the subgroup
{ IJ:L, ••• , a..-d is free, and IJ:L, ••• , 0..-1 are free generators of the subgroup.
We shall not prove this theorem 1 but we mention that it has the conse-
quence that two elements of a free group W generate the same normal sub~
group of W if and only if they are conjugate. This once more points to the
great wealth of normal subgroups in a free group, on which we have already
commented in § 36.
In a paper by Whitehead [2] an algorithm is given to decide whether a
giv~ group with one defining relation is isomorphic to a free group.
0 = AtXAs X o o • XA,.X. o o
be one of them. If
then
0=== 8 1 =:JB1 :::lo •o =::JB11;=::J o ••
g=abeA XB
and G=A XB.
It can be shown (see Baer [33]) that only complete groups have the
property discussed in this theorem.
In what follows we sball be interested in two fundamental problems of
the theory of direct products of groups. F'"trst of all, there is the problem of
conditions under which rmy lwo direct decompositions of a group have a
common refinement; such a group admits not more than one direct decom-
position with indecomposable factors. Even the finite abelian groups show
that the case in which a group has a unique direct decomposition with inde-
composable factors is very rare. In the non-commutative case, however, it
occurs more often; we sba11 show below that all groups without center and
all groups that coincide with their derived groups have this property.
Even more important is the problem of conditions under which rmy two
dwect decompositions of a group have isomorphic refinements so that any
two direct decompositions with indecomposable factors tum out to be iso-
morphic, provided that the group admits such decompositions at all. We
lmow that many important types of abelian groups have this property. But
on the other hand, as we have shown in § .28, there exist primary abelian
groups with direct decompositions that do not have isomorphic refinements.
Corresponding examples for the case of abelian operator groups that are
decomposable into direct products of a finite number of indecomposable
groups have been given by Krull [3], and Kuro§ [16] has constructed an
exMnple of a group without operators that M.r two non-isomorphic direct
decompositions, each consisting of two indecompo.rtJble factors. This example
will now be given.
We consider a group A with generators ~ and t~t and one defining relation
GJ.1 = as•.
It is (see§ 35) the free product of two infinite cyclic groups with the amal-
gamated subgroup {a}, where
a=~=<·
From results of § 35 it follows that the center of A is {a} and that A
does not contain elements of finite order other than 1. A is therefore not
decomposable into a direct product: if such a decomposition existed, then
the center {a} would have to be contained entirely in one of the direct
82 pART THREE. XI. DIBECT PRODUCTS. LATTICES
factors, and the component of each element ill, t~t in the other factor could
not be of order more than two.
We also consider a group B with generators b1 and bz and one defining
relation
we have
G={C,D}.
1-.
C1-c =c•- _._c
1
~-,;·-
and that eAch of the elements c1, Ct is permutable with both c8and c,. Since c
belongs to the center of the group, it follows that every element x of C can
be written as a product of a power of c with a word of length 4, l1 > 0,
in which first powers of c1 and ca alternate and with a word of length
It, la > 0, in which first or second powers of c8 and c, alternate. If we
replace the elements c1, c9, c8, c, in this expression by their expressions
§ 42. Puu:mNARY Rni:ARKS 83
cnD={c}nD=E.
(3)
which is clearly not isomorphic to (1). Both factors of (3) are indecom-
posable: for D this is obvious, and for C it can be proved in the same way
as for A above; we have to take into account that the center of C is { c},
which follows from what has been proved in the preceding paragraph.
The existence of examples such as the one just considered naturally leads
to a search for classes of groups as wide as possible for which we can assert
the isomorphism of any two direct decompositions v.ith indecomposable
factors or, more generally, the existence of isomorphic refinements for
arbitrary direct decompositions. For arbitrary finite groups this was proved
by Remak [ 1], who filled a gap in a previous proof by Wedderburn [1],
and again by Schmidt [ 1, 2]. Later Krull [ 1] proved the corresponding
theorem for groups with an arbitrary operator domain and Schmidt [4]
for groups with a principal series, also with an arbitrary operator domain.
This Krull-Schmidt theorem has been the starting point of numerous in-
vestigations. Various generalizations of this theorem and also results leading
in other directions can be found in papers by Kuro'§ [1, 13, 16], Fitting [2],
Konnek [1], Golovin [1], Livsic [2], Baer [37, 38], Azumaya [1],
Kulikov [3).
It has been shown, further, that it is appropriate to develop the theory of
direct decompositions within the framework of the theory of modular lat-
tices (Dedekind structures). The extension of the Krull-Schmidt Theorem
to modular lattices has been given by Ore [2]. Further results in this
direction are contained in the above-mentioned papers bv Kuro§ [13, 16],
and also in papers by Graev [3], Baer [39], and LivSic [3]. In § 47 we
shall prove one theorem from the paper by Kuro!l [16] from which the
Krull-Schmidt Theorem follows. Aiming at the greatest possible clarity we
shall use mixed lattice-theoretical and group-theoretical methods. The
84 pART TBBEE. XI. DJBECT PRoDUCTS. LATTICES
extension of this theorem to the theory of lattices can be found in the paper
by Livsic! [3].
Central isomorphism. Two subgroups A and B of a group G are called
centrally isomorphic if they are isomorphic and if an isomorphism fP (an
operator isomorphism if the groups under consideration are operator groups)
can be established between them such that for every element a of A the
element ab- 1, where b = tup,lies in the center of G. Note that in this case
(4)
In that case it follows from the lemma that the direct decompositions (4) are
centrally isomorphic. A study of several variants of the concept of submtu-
§ 43. LATTICES 85
§ 43. Lattiees
The concept of a subgroup plays an exceptionally important role in every
part of group theory. This is especially true of the theories of composition
series and of direct products: in the definition of the fundamental concepts
(direct product, principal series) and also to a certain degree in the formula-
tion of the fundamental theorems, there occur not the elements of the group
with their multiplication but rather the subgroups (or normal subgroups) with
set-theoretical inclusion and with the operation of intersection and union.
It therefore seems appropriate to select as objects of an independent study
certain axiomatically defined fonnations similar to the set of all subgroups
or all normal subgroups of a group. Fonnations of such a kind, so-called
lattices (or structures), occur in many distinct branches of mathematics,
and their theory has already been worked out fairly well (see the book by
Birkhoff [5] ) . In this and in the following sections we shall investigate only
certain basic definitions and elementary properties of lattices that will later
be applied to the theory of direct decompositions.
A setS is called parlially ordered if for some pairs of its elements a, b a
relation a< b is defined (in words: "a is contained in b," "a precedes b,"
"a is less than or equal to b") satisfying the following conditions:
1) a<a;
2) a< b and b < a implies a= b; that is, the elements a and b coincide;
3) a< b and b < c implies a < c (transitivity).
The symbol a < b shall mean that a< b but a =F b. The symbols a> b
("a contains b," "a. follows b," "a is greater than or equal to b") and a > b
are equivalent to b < a and b < a, respectively.
A partially ordered set L is called a lottie' (or a structure) if it satisfies
the following two conditions:
=
I. For every pair of elements a, b of L there exists an element c ab in
L, the product of a and b, such that
c<a, c<b,
and if there is an element c' that also has the properties c' < a, c' < b, then
c'<c.
86 p AllT TDBB. XI. DIRECT PRoDUCTS. LAT'l'ICES
Let us prove the eqtWtnslence of these two definitions. The product and
the sum introduced in the first definition are unique : if, for example, in
Axiom I the role of the element c can also be taken by then c < c, < c; c, c
so that c=c. We are, therefore, dealing here with algebraic operations
(in the sense of§ 1}. Conditions (1) and (3) are obviously satisfied by
these operations. We verify (2), say, for multiplication, as follows : By I,
G(bc)< a,
G(bc)< be< b,
G(bc) <be< c,
and again by I,
a( be)< ab
a(bc)<(ab)c.
• Other names for the two lattice operations, and other notations, are in frequent use:
other names for the product are mtwseclion or men or IJt'eGtlst lO'I.CIW bo11Ktl of tJ and b,
denoted by aflb; the corresponding names for the sum are tmiOft or join or least ujjw
btnmtl, denoted by aub. [TrtJftS.]
§ 43. LATTICES 87
(ab)a=a(ba)=a(ab)=(aa)b=ab
so that c' < ab. The element ab is therefore the product of a and bin the
sense of Axiom I. Similarly, we show that the element a + b is the sum
of a and b in the sense of Axiom II.
An example of a lattice, fundamental for the theory of groups, is the set
of all subgroups of a group G. In the set of subgroups the role of the order
relation is played by their set-theoretical inclusion, the intersection of two
subgroups is their product in the sense of lattice theory, and the union of
two subgroups (that is, the subgroup generated by them)is their sum.
The set of all normal subgroups of a group also forms a lattice with respect
to these operations and, more generally, so does the set of all subgroups of
a given group that are admissible for a certain operator domain.
A subset L' of a lattice L is called a sublattice of L if it is a lattice with
respect to the operations defined in L, that is, if it contains the product and
the sum of any two of its elements. For example, the lattice of normal sub-
groups is a sublattice of the lattice of all subgroups of a given group, because
88 P.AllT TBDE. XI. DDECT PRoDUCTS. LATTICES
the intersection and the union of normal subgroups are themselves normal
subgroups. We must emphasize that in the definition of a sublattice we
have used the operations defined in the lattice and not the partial ordering :
a subset of a lattice L which is a lattice with respect to the partial ordering
that exists in L does not always satisfy the above definition of a sublattice.
Among the elements of a lattice L there may be one that is contained in
every other element of the lattice. This element (which is unique if it exists)
is denoted by the symbol 0 and is called the null element (or least element)
of the lattice; obviously it satisfies
for all a of L.
The lattice L may also have an element containing every other element.
This element is denoted by the symbol 1 and is called the unit element (or
grlltllest element) of the lattice; it satisfies, for all a of L, the conditions
In the latlice of all subgroups of a group G the role of the null element is
played by the unit subgroup E and that of the unit element by G itself.
Two lattices Land L' are called isomorphic if a one-to-one correspond-
ence can be established between their elements such that the sum and the
product of any two elements of L goes over into the sum and the product
of their images in L'. We can also say, by using the connection between
the lattice operations and the partial order, that a lattice isomorphism is a
one-to-one correspondence preserving the order relations in the two lattices.
To every group G there corresponds uniquely the lattice L(G) consisting
of all its subgroups. The problem naturally arises whether the group G is
determined by giving the lattice L (G), in other words, whether a lattice iso-
morphism between L(G) and L(G') implies a group isomorphism between
G and G'. It is easy to see that in the general case the answer is in the nega-
tive : all cyclic groups of distinct prime orders have the same subgroup lattice,
although they are not isomorphic. Nevertheless for certain types of groups
it can be shown that if a group G of this type has a subgroup lattice L( G)
isomorphic to the subgroup lattice L(G') of some group G', then G and G'
are, in fact, necessarily isomorphic; in other words, a group G of the given
type is determined by the lattice of its subgroups.
A number of theorems of this kind can be found in a paper by Baer [20].
For example, every abelian group of rank not less than 2 is determined by
§ 43. LATTICES 89
c= IT a"' d= ~a,.
::. ...
It is clear that every complete lattice is a lattice, so that we shall use the
previous notation for finite products and sums.
The definition of a complete lattice can also be given in the following
form.
A set L is called a complete lattice if for an arbitrary subset of L a product
and a sum are uniquely defined satisfying conditions ( 4) in the definition of
a lattice and if, in addition, the following conditions are satisfied, which
contain conditions (1), (2), and (3) in the definition of a lattice as special
cases: If elements a., a eM, are given in L, and if the index set M is
represented in an arbitrary way as the union of subsets M~, ~eN, then
90 PART THREE. XI. DIBECT PRoDuCTS. LATTICES
(5)
(6)
Then c < Da, asM6, that is, c < c6, and therefore c <c.
On the other
hand, for every aeM there is a PsN such that aeM6• and therefore c6 <a..
Hence it follows that
c< c6< a., asM,
c
that is, < c. We thus have arrived at the equation c = c;
that is, we have
proved (5).
The second definition of tJ complete lattice implies the first.
For, as we know, it follows from the second definition that Lis a lattice
and that a.< b if and only if ab =a. and therefore o + b = b. Let a.,
us M, be an arbitrary set of elements of L, and let
n
"car
a"=c.
Then, by ( 5), we have for an arbitrary Clo of M
aa,,c=a.,0• TJ
a't"M
0 11 = n ar:=C,
acJr
that is, c < Da for all a in M. On the other hand, if an element c' has the
property that c'<aa for all a. in M, so that c'aa=c', then again by (5)
Lattices in which this law holds for any three elements are called distributive
lattices and they arise in a natural way in many branches of mathematics.
For the theory of groups, however, the restriction to distributive lattices
would be unnecessarily strong. For as Ore [6] has shown (see also §50
of the first edition of this book) a group has a distributive lattice of sub-
groups if and only if it is either cyclic or the union of an ascending sequence
of cyclic groups.
Of considerable interest for the theory of groups are the modular lattices
(or Dedekind structures), which form a much wider class than that of the
distributive lattices. A modular lattice differs from a distributive lattice in
that the distributive law
(a+ b)c=ac+ be
is postulated only under the condition that one of the summands in the
parenthesis, say a, is contained in c, so that ac =a. In other words, a
lattice L is called modular if it satisfies the condition
(D) If a< c, then (a +b)c=a +be,
The definition of a modular lattice can be put into many other equivalent
forms. The following definition is often convenient: A lattice L is modular
if and only if the following condition holds
(D') If a, b, c, are elements of L with a< b, and if
and hence a= b.
Suppose now that (D') is satisfied and that a, b, e, are elements of L
with a < e. We introduce the notation:
(a+b)e+b>t.~+b,
Conversely, if (D) holds and if x 11 x1, ... , x., 'J1, 'JI, .•• , 'Y• are subject
to the conditions x, < :y1 fori :F j, then applying (D) several times we
obtain
0=110 <111 < 111 < ... < 11,_ 1 <111 = 1 (2)
We put
a 11 =a1 +ah 1b1, l=O, 1, •.. , k-1, }=0, 1, ... , l;
bJ,=b1 +o1+ fl,,
1 J=O, t, ... ,l-1, i=O, t, ... , k.
Since
and
av<a1, J+t• j=O, 1, .. . ,l-1,
the elements av form a normal series, possibly with repetitions, which is a
refinement of (1). Similarly, the elements biC form a refinement of (2).
These two new series have the same length k l; it therefore remains to show
that they have the same number of repetitions.
Suppose, then, that
(3)
By applying in succession the definition of a4. .1+ 1,the equation (3), the
inequality ac, <
~~&+t, the definition of tJv, and finally, condition (D) to-
gether with the inequality ~1 b1 < bi+l• we obtain the following chain of
equations:
bi, = b.1 +bi+till = bi +bi+ta, + a,+lbi == b.1 + aHlb.1+1 .... bJ, '+t·
Thus we have shown that the repetitions in the refinements of the normal
series ( 1) and (2) which we have constructed are in one-to-one corres-
pondence, so that they can be omitted simultaneously. This completes the
proof of the theorem.
A principal series of a lattice is a normal series that cannot be refined
without repetitions. Just as in § 16, we deduce from the theorem the
following results.
If tJ motlultr lattice luu principtJl series, than tmy two of its principtJlseries
(JTe of equalltmgth.
If a •oclultr lattice has principal series, then wery nonKIJl seriss ctm
be refined to a print;i.pal seriss.
§ 44. MODULAR AND COMPUTE MODULAR LATTICES 95
Eflery complete modular lattice is mod'ldar, since (D") follows from the
definition of complete modular lattices. The converse, however, does not
hold: there exist complete lattices that are modular, and even distributive,
but not complete modular in the above sense.
The value of this class of lattices for the theory of groups arises from the
following theorem.
The lattice of admissible nornsal subgroups of a group with an arbitrary
operator domtJin is complete mod'ldar.
96 PART TIDlEE. XI. Dm:cr PRoDUCTS. LA'lTICES
where all the subscripts 111, tz1 , ••• , GC• are distinct. If a is also contained
in the intersection of all theY., then it occurs, in particular, in Y.4• All the
factors of the product ( 5) except Xc.c also occur in Y"4' by ( 4), so that
x"" e Y.41 that is, x-. e (X., 0 Y.J. Thus we have proved that a is contained
in the product of all intersections x. 0 Y., in other words, that the left-hand
side of the equation (D) is contained in the right-hand side. The opposite
inclusion, however, holds in an arbitrary complete lattice because of the
conditions x. < '11 for a =F- fl.
The element a is the direct -"'* of the elements a_, a e M, if we have for
every a of M
To express the decomposition of a into a direct sum we shall use the follow-
ing symbolism:
§ 45. DIRECT Suxs m CoxPLETE MODULAR LATTICBS 97
a= ~a•
•••
or, in the case of a finite number of summands,
. . .
CI=~.~!+CJa+ ... +a..
The element~ is called the complement of Cia in the direct decomposition.
It is clear that direct decompositions of tJ group are equivalent to direct
ilecompo.ritions of the unit element of the lattice of nonntJI subgroups of
the group.
Later on we shall make use of the following properties of direct sums in
complete modular lattices.
I. If
(1)
and if tJll or some of the direct suMMC~ntls are theMselves decomposed into
direct sums
a.=;allfl, (2)
then
a=l:a.,.
c. It
For tJ is the sum of all elements aalf (compare with the second definition
of a complete lattice in § 43).on the other hand, when we fix the subscripts
a and ~ and use, successively, the inequality 11atf < a,., the modular nature
of the lattice, and the fact that the decompositions ( 1) and (2) are direct,
then we obtain
II. If
a= l: a.,
•••
tmtl if N ira proper subset of M tmtl
b= ~a., c= ...~IC-Na.,
••N
98 p AllT THREE. XI. DIRECT PRODUCTS. LATTICES
then bc=O.
For by using the inequality Owl< ii11 for a?':~ and then the definition of
a complete modular lattice (that is, equation (D)), we obtain
III. If
then
Foro is the sum of the elements b11, by the definition of a complete lattice.
Moreover, by property II we obtain
IV. If
then the sum c of all the elements c. is direct. This sum differa from o if at
leost one c. differs from the corresponding a.
For
If c = o, then we use the fact that the lattice is modular and obtain for
every fi:
V. If
then
b == a 1 +btZt.
For by the use of (D) we obtain
Components. Let
(3)
bf.=a.(b+a.) (4)
the component of b in the direct summand a., of (3), where aa, as above,
is the supplement of a. in (3).
If a direct decomposition of a group G is given,
(5)
and hence
.. - -1
a.==ua. ,
The mapping of G into itself that associates every element with its com-
ponent in A. is obviously an endomorphism of G (an operator endo-
morphism if G is a group with operators). These endomorphisms, for all u,
are called the endomorp'his'lfts of the direct decomposition of G under con-
.sitlertJticm.1 With this in view we can also call the mappings fP•, a e M, of
the lattice L in the general case the endomorphimts of the direct decomposi-
tion ( 3). These mappings are monotonic: if b < c, then btp. < ctp••
The direct decomposition (3) implies
l=a. +a.
.
The component of b in the direct summand 0. of this decomposition is
But by X and VI
b= ~lJ,. < ~D•fPa+ aa,
II 1'-' "
and so, by applying ( 4), (D), and VI, we obtain
brta < (.f bpfPa +D.) Cfla =aa(~ b~cp,.+a.)= .f DpfP,. +aa«a= :t bp,a.·
XII. Let N be a subset of the index set Min (3) and
102 p Al!.T TBBEE. XI. DIRECT PRoDUCTS. LATTICES
For since
we have, by (D),
b'JI =a(o+a) < ~
116N
n (o+aJ=
a... :fN ~ a.. (o+aJ= ~ bf-...
~teN ccN
XIII. If btp~~o = c, then for every element c', c' < c, there exists an
element b', b' < b such that b' tp~~o= c'.
For we can put
b' = b(c' +tic&).
Then the condition b' < b is satisfied. But by applying (D), ( 4), and the
equation ciic&= 0 (which follows from c= btp~~o ;;i! ~).we obtain
(8)
refinement if and only if for all u and ~ the mapping ~.e,,. carries the unit
element ( tmd hence every element of the lattice) into the nuU element, that is,
(9)
1= ~c,.
'
Every c7 is contained in some product a.b~, so that the sum of all the
products (for all u and ~) is the unit element. Moreover, this sum is direct:
~ a.bp
o:.fl
= ~ {~II a.b,),
c
but every sum on the right-band side is direct, by IV, so that it remains to
use I. Thus,
(10)
Hence
(11)
l'·=a.=~ ~y,.
l:f:c '
Hence, applying XI, VII, and VIII, we obtain
t,.e,=ii.a,=~y, <a.,
l:f.:c
and therefore (9) holds, again by VIII.
Suppose now, conversely, that (9) is satisfied for all u and ~. By (8),
VI, and IX,
Let us show, by using (9), that this sum is direct. By XI and (D)
bp'fr. • ~ by'Pc = bll'fc • ~·-=a. (b,+aJ . a.(~+ a.)=
1~
Thus
a.=~Opf!l.,
II
1 =~bprp•• (12)
•·II
which is a refinement of the first decomposition (8).
Re-writing (12) in the form
1= ~ (~ o,rp.)
p •
bp <~bptp.,
"
we find from (8) and IV that for all P
bp=~b~rp••
"
Thus (12) is also a refinement of the second decomposition (8). This
completes the proof of the theorem.
Let us apply the theorem to groups. Suppose that two direct decomposi-
tions of a group G with an arbitrary operator domain are given:
(13)
We denote by tp., o,, and ip11 , the mappings that carry every element of G
into its component in A 11 , B,, and A.= l lAy, respectively.
T/"..
Therefore the mapping ,.& 11cp. is also an operator endomorphism. We
shall show that if ctwries wery element of G into the centw of G tJIIItl tl&we-
fore ma.ps the whole of G onto aa adMissible subgrO#P of lhe centw. We
know from § 17 that components of permutable elements of a group are
themselves permutable ; therefore, if two p,.,uttlble elements ore given,
then tJ c0111ponent of one is peNnuttlble with the othw. Let g be an arbitrary
element of G. Then g;p. lies in A11 and is therefore permutable with every
element of A ... It follows that its component in a direct factor B, of the
§ 46. Ftm.TBEil l..EKUAS lOS
second decomposition ( 13), that is, the element jp.e,, is also permutable
with every element of Aa.. Finally, this is also true for P,.&~cp,, and since
this element lies in Aa, it must belong to the center of Aa. that is, to the
center of G.
The admissible center of an operator group G is defined as the union of
all admissible subgroups of the center. We know from§ 14 that the center
of a group is not always admissible, so that the admissible center may turn
out to be smaller than the center itself. From the above theorem we obtain
the following result (Fitting [3], Kurol [5]).
Suppose that a group G with an arbitrary operator domain is such that
the mapping onto the unit element is the only operator homomorphiSM of G
(or, what comes to the same thing, of the factor group of its derived group)
into its admissible center.1 Then CJny two direct decompositions of G ho:ve
CJ common refinement.
In particular, any two direct decompositions of CJ group have a common
refinement if it is a group 'Without center (or, in the case of an operator
group, at ll'CJSt without atlmissible center) or if it coincides with its derived
group.
(1)
We denote the endomorphisms of these decompositions by fP1, fP2 and 81, fJ.,
respectively, and shall prove a number of lemmas that will be used in the
following section for the proof of the fundamental theorem.
LEMMA 1. For all x of L,
x&lcplot= xelcp.e~a.
The equations obtained by interchanging the roles of 81 CJnd s. and of 8 e~nd fP,
tJlso hold.
For we have by xfJ1 < b1 and (D)
1 We shall come across groups with these properties in§ 47. We call them F-groups.
106 p .AJlT Tmu. XI. DJBECT PRoDUCTS. LATTICES
in other words~ tJS far tJS eletHmts contained in tit are concerned, 61(/11 and
fJz(/11 are permutable.
For by applying Lemma 1 several times, and by the equation x = XfPl,
which follows from VII, we obtain
(k) (6
s<ft )1: = 0 • nu
(Ji:) (6
t'Pt ) = 0.
71
nu (2)
Qearly,
(3)
Further, let nile) be the sum of all the elements s, x < GJ,, for which
x (01cp162cp1)1c = o.Again
n114 (61cpt6tcpl)k = O, (4)
n~< J: < .•. <~7c> < ... • (5)
Let j = 1, say. Applying Lemma 2 and the first equation (2) we obtain
ng:> (6 2 ~1 82~PJ" = n~> (01!p1)71 (81cp1)'' = 0 (6J.cp1)1t = 0,
and hence
§ 46. F'lmTBEil UIIUU.S 107
LEMMA 4. If x< Gt, then fork= 1, 2, •.. 'We htriJe the follouring
inequality:
X<-~ (8lcpl)k +X (8lcpl)"-l (62ft)+-~ (6lcpl)I:-B (62cpl )II+· • • 7-~(62cpl)Tr. (6)
For by X
This proves the lemma fork= 1. Suppose it already proved fork -1. We
apply Lemma 4 to niTc> in place of x. From (4) it follows that
that is, nile> (81cp1)'' < nW, and similarly, n1k) (GgcpJ'Ir < n~>.
The remaining tenns on the right-hand side of (6) are all mapped into
the null element even under (6 1cp1611cp1)k-\ that is, they are contained in
n17r-l) ; therefore, by the induction hypothesis, they are in ni~-l) +
n~-l)
+
and finally, by ( 3), in n~~ ni~>.
LEMMA 6. n\~J • nfJ=O, k, l= 1, 2, ...
Let
that is
108 P.AllT T:a:UL XI. DIRECT PB.ouucrs. LAnras
+
If k = l = 1, then from X< .rilcpl .ritf1 and x9JcpJ = xfl,cp1 = 0 it
=
follows that x 0. We now argue by induction over the sum k + 1.
If, for example, k > 1, then from
X (811fl) (811cpl~-J = 0
and
X (811cpJ (81cpl)' =X (81cp1)1 (ftscpl) = 0
it follows that x(811cp1J=0; from this and x(8 1cp1) 1 =0 we deduce that
x=O because 1 + l < k + l.
From Lemmas 3, 5, and 6 we get
LEKKA 7. n'f>=ni~+ni~' k= 1, 2, • ...
Let "~>, ~' tf.J:> be the elements that play the same role for o. as
ni~>, n~ ntf> dofora,.;alsoletmW, ~>,mjl:)j=1,2,playthecor
responding roles in the direct summand bl in the second decomposition (1).
Lemmas analogous to the above hold for all these elements.
T-
J.AKKA 8. IJ1(Jir)+ IIi(k) = m1(Jir)+ ll2j(lt), k = ) , 2, . · . ,
For by applying Lemma 1 several times and by using the equation
m'f' (cp181cp.,&1i' = 0, we find that
(mi•>cpt) (81cp1811cpl =
= (m1ltlcrt)(8tfl8tfl)lt = (m~•>cplJ {8tft~cpl' = m~•> (cp18tcpt8t)•cpl = 0.
This proves that m1'k)cp1 < ni•>, since m{J:>cp1Sa1• Similarly, m11:>cp2 < n'f>.
+
Hence, from mit) < mi'k>cp1 mi"'cp2 it follows that
m\'k) < n1•> +t~a•>.
The same inequality holds for ~J:) instead of m'f>. But by a similar argument
tl,'k)<mr'+n41c), i= 1, 2.
Hence x61cp1 = 0, and since x < n1~> < a1, we have x < n~2 • Therefore,
again by Lemma 6,
Furthermore, by Lemma 9, with the roles of the first and second decom-
positions in ( 1) interchanged,
Thus
we have
fk) 8 < (1:-J)
mu91 1 =mit ,
and so, by the induction hypothesis,
(I:) 8 < n<t-l)
m11cp 11 = u + ........,.t~- > <=
1 n<'kl
11 + ........,..
~>
Finally,
and by Lemma 1,
(m~~>916.) (cp16.Jt = mi~> (9181) (r.pl&t)'' = ··· =
= mi~> (cp181)" (918.) = 0,
so that m~l~81 < m!f.>. This proves the lemma.
We shall say that an element c of a lattice L has a principoJ series if the
sublattice Le consisting of the elements between 0 and c,
O<x<c
has a principal series.
We know that this is equivalent to the fact that all ascending and descend-
ing chains of elements in Lc break off.
We shall now make the following assumption, which will remain in force
until the end of this section.
(A) E'llery ma.pping r.p,&19c819c• i= 1, 2, cmd 8p.16JP28J, i=l, 2,
c(lf'fies the unit ele11C8nt into em element having a principoJ series.
We introduce the notation
LEXK.A 12. The ele11C8nts 1, 1Yj, 1'1j1, ••• , 1'1J7t, ••• fonn a descending
seqvence
(7)
Thereennsak 0 nKhtMt
lYj"= l"'lro+1 = •••• (8)
Wriling
-at= 1'1J'k•,
1rove the third statement of the lemma. Let 0 < x < a1 and XlJ = 0.
)ince by (8)
!Ve have 'i,. :;I= 0, because 0 < x. By repeated application of XIII, there
!Xists an element y, y < ~, such that
Yl)=Z.
)ince by XI,
(:1C+Y)'IJ = X'1l+ ytj= y'1j=X,
we can assume strict inequality: y > x. Continuing this process, we con-
rtruct in it, and hence in 1TJ, an infinite ascending sequence of elements,
n contradiction to (A).
LEMMA 13. n~ke> = n~'ke+l) = ....
For every natural number l we have
But
ni'ke+Z)"'k,+l = (niio+')"ll'o) "1'"= 0.
niio+J>.rj•· = 0,
that is, n~ko+IJ < n/c•. Hence the lemma follows from ( 5).
LEMMA 14. n'{j' = n~+l) = ... , j =
1, 2.
This follows from (3), Lemmas 7 and 13, and IV.
We denote the sums of the ascending sequences (5) and (3) by tSt and
J&,.f>j =
1I 2 I respectively. The elements that play the same roles for /Jt
will be denoted by ~ and "zl, j = 1 1 2, and for b, 1 i= 1, 2, by me and
"'«~• j =
1, 2. Lemmas 13 and 14 allow us to deduce the following results
from Lemmas 7 and 8:
n,=n,1 +n., m4 =m41 +m,. i=l, 2,
(9)
n1 +~~t=m1 +ms. (10)
We denote the element on the left-hand (or right-hand) side of (10)
by v. Since
and similarly
ffl.3,flll=01
112 PAaT Taaa. XI. DDECT PRoDuCTS. LATTICES
the element n11 can therefore be substituted for mu in the second decom-
position (12). By a similar argument we also have
Furthermore, it is easy to verify that, for example, the elements nu and f1lu
stand in the same relation to each other as nu and m,1. Thus the lemma
follows.
LEKMA 16. 111Bt = o.
Since, by Lemma 13, n1 = ni'ke'i, we have
The lemma now follows from the last statement of Lemma 12.
LEKMA 17. a;
(m 1 +b1) = O, and iii (m. + b1) = 0.
We use the notation
al (ml +b.J=x.
By Lemma 13 there exists a ko such that m1 = mile,). Then
§ 46. FUilTHEil l.Do.tAS 113
The second part of the lemma is proved in the same way, because
al (81cp16gepl)ko+t = al (&,cp16l<p1)'"•+1 •
(B)
ai=n,+a,, i= 1, 2,
b1 =ms+bi. J= 1, 2.
Assumption (B) together with Lemma 16 and the analogous lemmas for
the other terms of ( 1) lead to the following direct decompositions :
a1 =n1 +~. i= 1, 2,
b1 =m1 +'bJ, }= 1., 2.
From this and from (9) we obtain the following refinements of the original
direct decompositions ( 1) :
1 =4Jt+n1il+a~+ na +,.4-D;=
= m11 +m1t +ii1 +"'t.t +"'tt+bs- (13)
LEKKA 18. The tenHS in the direct decompositions (13) c.an be put into
114 PAllT TBUB. XI. DIBECT Pacmucrs. LATTICES
(1)
Asszcmptiot~ (B). Instead of tit and tit we shall now write N1 and At.
We have to show that
Hence
(ti1 1a 1)1jk0 = 1,
and by Lemma 131 it- 1 a1£N11 so that atf.{NIJ.i.fl}.
Asszmsption (C). Instead ofbt we shall write Bt. We have to show that
B1 (cp161cpt61) = Bt,
ycp18lcpt81 = x.
Let ko' be the number that plays the same role for B 1 as ko does for At in
Lemma 12; we denote the larger of the two numbers by k. Then there
exists an element bt in Bt such that
(3)
..d1'f1Qt = x-l61'flt8s.
For since
we have
x61 ~1 82 • x61cpg81 =(x61f 1 • x61Ch)61 = x0181 = 1.
LEKKA 'J!. If the element xis conlt:Med in the subgr011p A1o then
x81cp181f1 = x&lcplel,l'
The proof is the same as that of Lemma 2 except that in the course of
the proof Lemma 1' has to be applied four times.
We now return to equation (4). By applying (3) and Lemmas 1' and 'J!,
we obtain
This proves (2). The other part of assumption (C) is proved similarly.
Let us now consider two direct decompositions of a group G with an
arbitrary finite number of factors :
(8)
(9)
where
n•
a
I
C.=C,
C= rr "C.,.
§ 41. To FuNDAMENTAL TBEOU:u 119
Hence g.=m., •.
The transformation of A by g11 induces an automorphism in A. We denote
the image of an element a of A under this automorphism by a." ;
g,-1ag,=a.
II
(1)
We note, finally, that if g11 a and gflb are two arbitrary elements of G, then
they are multiplied in the following way:
and the right-hand sides of the two equations are equal by (2).
=
We now note that from ( 1) with u = p 6 it follows that
(a•t = (a•)m., •,
(4)
Further, from (2) it follows for P= y= 6 that
•
m.,.m., .=m.,.m..,.,
and hence by ( 4)
m ... .... ....
=m- =m··-.,
and since m., • does not change when it is transfonned by itself, we obtain
so that every element of G has a right inverse. This proves that G is a group.
Let us show that G is the required extension of A by B. If we associate
with every element a of A the element
- -1
a=g,m•.•a
of G, then by ( 4) and (6)
a
and from =g,m;,! (that is, for the unit etem.=nt of G) it follows that
a= 1. Thus, the elements irform a subgroup A of G, isomorphic to A.
Further, if we use the notation g« = g« • 1, then, by (5),
-- -1 -1
g~~.a = g~~.l • g.m., ,a= g~~.m~~., .m•.• a= g~~.a. (7)
Kp = i~~.a, ~=I=«,
would imply
gpl =g~~.a,
and this is clearly impossible because~+ a. On the other hand, (7) shows
that every left coset of A contains one of the elements ia· From (6) and
(7) we deduce
-- -1
ag.. = g.m..•a· g.. l = g..m., .. (m., .) a
-1 fl. fl.
= g..a
fl. - - ..
=g.. a,
and hence
i;~g.. =ace~
that is, A is a normal subgroup of G, and the transformation by la induces
an automorphism in A that coincides with the original automorphism a~ If'
of A. Finally, the equation
g.. · gp·= g.. l • gpl = g..pm., p= g.pm~~., p
shows that the factor group G/A. is isomorphic to B, in other words, that G
is an extension of A by B and that the factor system of this extension
coincides with the given elements ma,/J• provided that t!J.e chosen repre-
sentatives of the left cosets of A. are precisely the elements la..
Finally, if we compare the construction of G just explained with the one
given earlier for a definite factor system and if, in particular, we take (3)
§ 48. FACTOII SYSTEMS 125
into account, then we find that every extension of A by B to which the
factor system"'"·' and the automorphisms a-+ a& correspond is equivalent
to the extension G constructed above.
We have, then, the following result.
Every system of elements """·IJ
and of azttomorphinns a-+ a" of A,
a, ~ E B, for which conditions (1) and (2) are satisfied corresponds to an
extension of A by B, which is uniquely determined up to eqstiwlence. Con-
versely, eflery extension of A by B can be given by sztch a system of elnnents
and automorphim&s.
This correspondence between extensions on the one hand and factor
systems on the other is, however, not one to one, since the choice of the
representatives g" of the cosets of A in the extension G was completely
arbitrary. If G is an extension of A by B and if this extension is given
by the factor system m&.B and the automorphisms ""for the choice of rep-
resentatives g", while another choice of representatives I.= g..c.., c"EA,
leads to the factor system ""'-land the automorphisms If~· then each q;,/
is obtained from rp" by multiplying on the right by the inner automorphism
induced in A by '"' Furthermore, from
Conversely, if two extensions G and G' are given and if we can find elements
'"in A., asB, such that the factor systems and automorphisms which give
the two extensions are linked in the way just described, then it is easy to
verify that the correspondence carrying the element g,a of G into the
element ~c; 1 a of G' is an isomorphism that establishes the equivalence of
G and G'. If we note, finally, that the factor systems and automorphisms
do not change when c"= 1 for all a, then we obtain the following result.
Tu•o extensions G and G' of a group A by n&eans of a group B given by
the factor .system.r m•. 8ancl m~ 8 ancl the autOflnorphismsq;" and rp"'• respec-
tively, are equivalent if and only if eflerJ element a of can be associated
with an element c" of A in such a way that (i) eflery autOflnO'rphism (/),:
is obtained by multiplying the automorphism (/)& on the right by the in-
ner av.tOflnorphism of A induced by c" and (ii) the factors are linked by
the relations (8).
This theory cannot be considered as complete. The description of the
distinct extensions of a given group A by a given group B is here reduced to
126 pART THREE. XII. EXTENSIONS OF GROUPS
that products aa, aeA, aeB, are so defined that aaeA and that the follow-
ing conditions are satisfied :
1) (ab)a=aa•ba,
2) a( a~)= (aa)~.
3) as= a, where s is the unit element of B.
Since we wish to emphasize that we investigate the extension of A by B
with a gh•en associated homomorphism, in other words, that the way in
which the elements of B act as operators on A is fixed, we shall speak of
the extensions of the abeliata group A b:y the grou,p of operators B.
If G is one of these extensions, then the automorphism a.-. tzG of A (see
the preceding section) does not depend on the choice of the representative
in the coset g,.A and coincides with the automorphism induced by the
operator a, so that a"=aa. Thus, an eztm.sion of atl abelitu& group A by
a group of operators B is completely determined by the factor system nz,.,/J
subject to condition ( 2) of the preceding section ; condition ( 1) coincides \\ith
condition (2) in the definition of an operator group, because A is abelian.
Let us consider all possible factor systems m,..s, a,lhB, that can be
chosen in a group A with a group of operators B, subject to (2). One such
system always exists, namely tnws,tJ= 1 for all a and~- If m,.,fJ and n,.,/J
are two such factor systems then the products
also satisfy condition (2) in view of the commutative law in A, that is,
they form another factor system.
This "multiplication" of factor systems is associative and commutative ;
the role of the unit element is played by the system m,.,tJ= 1 for all a
and~; the inverse of the system m,.,/J is the system m;;:A, which, as is easily
verified, satisfies condition (2). We therefore obtain an abelian group,
which we denote by F(A, B).
If we associate with every element a of B an arbitrary element c,. of A,
then the system of elements
(9)
will satisfy condition (2) and will therefore be a factor system. All such
factor systems form a subgroup T(A, B) of F(A, B).
From results in the preceding section, in particular from (8), it follows
that all non-equivalent extensions of an abelian group A by a gro11p of
128 p .ART THREE. XII. EXTENSIONS OF GROUPS
We call this factor group the group of extensions of the abelian group A
by the group of operators B.
The group of extensions could, of course, have been constructed by taking
as its elements the classes of equivalent extensions themselves and by defining
multiplication of these classes suitably. In another context, in §51, the
reader will come across the multiplication of extensions starting from this
construction.
We note the following analogy. If we wish to get an over-all picture of
all the automorphisms of a group, we have to investigate its group of
automorphisms. Similarly, the task of getting such a picture of non-
equivalent extensions of an abelian group A by an operator group B reduces
essentially to the investigation of the corresponding group of extensions.
The remainder of the present section is devoted to this task.
Cohomology groups. We shall write the abelian group A with elements
a, b, . . • in additive notation and its group of operators B with elements
a, ~, . . . in multiplicative notation. Every function f («1, ~~a, ... , aJ of
n elements of B with values in A shall be called an n-dimensional cochain.
In particular, the zero-dimensional cochains will simply be the elements of A .
If we define addition of n-dimensional chains by the equation
&(&f)=O (12)
Type of Summand
I k, l Sign
k,k-1 (-1:p1c-1
f(rJt, •• •, a~:-trzrccal:+1· ... , lln+2l• 2~ k ~ n + 1{
k-l, k-l (-1)2ll:-1
{ k, 0 (-l)i
/(2J. ••• , •a11.1:+1• ••• , rln+J), 2 ~ k ~ n + 1
0, k-1 (-l)i-1
{ n+2, k (-l)"+i+l
I (fit, ••• , a~1c+1• ••• , lln+U rlta+2t 1 ~ k ~ n (-1)'1+1c+1
k,n+1
{ 1, 0 -1
I C-.. ••• , rln+z> 0,0 1
{n+2.n+1 (-1)b+S
f(a, • • •• rlta) lla+t11n+1
n+1, n+l (-1)2"+1
(15)
The mappings of B into A subject to this condition are called crossed honro-
morphiml.s. They are studied in a number of papers, particularly in connec-
tion with their application to the theory of fields. Historically, the first
paper is one by Schur [2], and some of the latest are the papers by Baer
[28, 31].
By (14) a cochain f(U!) belongs to D 1 (B, A) if and only if there exists
an element a in A such that
{17)
Such crossed homomorphisms are called principaJ. Therefore, the first
cohomology gro1tp Hl(B, A) is the factor group of the subgroup of the prin-
'The author uses the terms homology, chain, boundary, and cycle \\ithout the prefix
'co'; the text gives the accepted topological terminology. [Tra11s.]
§ 50. CALcULATION o:r TB& SECOND CoHOMOLOGY GROUP 131
or, comparing (19) vdth (2), iff is a factor system of A with the group of
operators B ; therefore
ZS(B, A)= F(A. B).
(23)
If tp and 'P are two operator homomorphisms of R into A, then their sum,
defined by the equation
+ +
('f +> (r) = cp (r) ~ (r),
is also an operator homomorphism. Under this addition the operator homo-
morphisms of R into A form an abelian group which we call the group of
operalor hoMomorphi,mu and denote by Q ( R, A ; S).
If we consider, further, a crossed homomorphism cp(x) of S into A, tbat
is (see (16)),
== +
'f (xy) cp (.v) cp (x)y, (24)
then by (22) the mapping tp applied to the elements of R is a homomorphism.
This is an operator homomorphism: by (24) and (22)
and therefore
'P (x) + 'P (x-1) x = 0,
where r(a, ~)6R and the factors r(a, ~) are, of course, linked by equa-
tions of type (2). In R itself we choose the unit element as representative,
that is, 88 = 1, where E is the unit element of B.
Now let cp (r) be an arbitrary operator homomorphism of R into A. Then
(27)
(3"f)(«, ~. T) = 0,
carries the sum of two operator homomorphisms of R into A into the sum
of the corresponding two-dimensional cocycles, in other words, it is a homo-
morphic mapping of Q (R I A ; S) into z• (B, A). Mapping the latter group
in the canonical way onto its factor group H•(B, A) we fJf'ritue at a. homo-
morphic tMpping of Q(R, A; S) into HI(B, A).
Let us show that this h0111.0morphi.sm mtJfJs Q (R, A; S) onto the whole
group W(B, A). For this purpose we choose an arbitrary element of
H 2 (B, A}, that is, an arbitrary coset of D1 (B, A) in Z 1 (B, A), and a
cocycl~ f(a, p) as a representative of this coset. We can take this cocycle
to be normalised ; that is, we can take it to satisfy the equation
9'(1)=0· (31)
§ SO. CAI.ctrLATIOX OF THE SECO!.'"D CoaoxOLOGY GROuP 135
(33)
Let tf (y) be already defined for all elements y whose reduced length in
the given system of free generators is less than k and let s be an element of
length k. Expressing the word s as a product of two words between which
there are no cancellations and using ( 30), we define a value of q; ( s). This
is independent of the choice of the mode of expressing s as a product of
two words of length l1 and 121 where l1 + lz = k: it is easy to verify on
the basis of (30) and equation (19), which holds for the cycle f, that
tp(s•y.s)= qJ(sy•.s);
s -- •1
81 Sz
•a ~
••• s.lf•
then
tp(/l•(l.• .. ·~·)) =tp((J11J,•)· (1.· ···ia» = ... =
= tp(( s~1 •• • lf-it) • s~t).
The mapping q~(s) is therefore defined for all z. We have to show, how-
ever, that (30) does, in fact, hold for arbitrary z and y. If there are no
cancellations between s and y, then this follows from what we have shown
in the preceding paragraph. Moreover, it is easy to verify that the statement
is true when one of the elements s, y is 1 and also when they are both of
length 1. For
and the right-hand side of this equation is %ero : we can deduce this from
(21) and (19), putting tt 1 =sR, «a= s-1R, tta=sR.
Suppose, then, that (30) .is already proved for eft!rY pair of elem.ents
136 p All.'1' TBUL XIL Ex'l'BNSIONS OF GllOUPS
the sum of whose lengths is less than that of z and y, and suppose that
cancellations occur between x and y. If
where s is one of the free generators and the expressions are reduced, then
by the induction hypothesis
cp(x)=cp(x')s+f(x'R, sR),
cp(y)=-f(sR, s- 1R)y' +cp(.v')+f(s- 1R, y'R),
and therefore
The case s = =
x' s-1, y sy' is verified by the same method.
The mapping fJ?(s) of S into A that we bave construeted bas the property
(30). H reR, then by (22) and (29)
<p(r1r~ = cp(rJ+cp(r.),
so that the mopping fJ?(r), reR, i.r t1 homomorp'J&i.sm of R into A. Thi.r i.r
tm opmstor 'lsomonun1'AisM:
cp (x-Irx) = cp (r1r)x+ cp (x) + f (x-lrR, xR),
§ 50. CALcULATION OP THE SECO::<rD CoHOMOLOGY GllOCP 137
or by (34)
'P(x-trx)=cp(x-l)x+«p(r)x+cp(x)+f(x-tR, xR).
For r= 1 we obtain
and therefore
«p(x-trx)=«p(r)x.
Therefore
f(a,P)=O. (36)
138 PART THREE. XII. ExTENSIONS OF GROUPS
Since in the last paragraph of the preceding proof we have not made use
of any properties of the mapping «p(.r) except (30), relation (35) in our
case takes the form
~(a, ~) e D'(B, A)
by (36), that is, the operator homomorphism tp(r) is, in fact, mapped by
(28) into D 2 (B, A).
Conversely, let an operator homomorphism «p( r) be such that it is mapped
by (28) into D 2 (B, A). There exists, then, a one-dimensional cochain
tp(a}e C'(B, A) such that
where e is the unit element of B. For (26) leads to the equation r(e, P)= 1,
in view of s,.= 1; and since tp maps R into A homomorphically,
~(a. ~)=tp(r(a, p))=cp(1)=0.
Therefore by (37)
ljl@)-+@)++<·>~=+(•)~=0.
=
Putting P e, we arrive at (38) because of condition 3) of the definition
of a group of operators.
We now define a mapping f(.r) of S into A as follows. Every element
.r of S can be written uniquely in the form
We put
f(.r)=VJ(a) + tp(r). (39)
then by (26)
xy = s.~ [r(a, ~)(si" 1rs~) r'].
Therefore, using (39), (37), (27), (23), and (21), we obtain
§51. ExTE:NSIO:liS OF NoY-COlll.lt."TATIVE Gaot:'PS 139
Then, by ( 40) and ( 41), cp~ = '" < 11• >· (4:S)
cp~cpp=cpll(l < h(tz, ~)(".•,)", > =f'., < k;lh(tz, ~)("·'~"' >.
Since by what we have shown above the choice of elements h.'(a, p) is at
our disposal, we put
(44)
§51. ExTENsioNs OF NoN-Coli:Ut."'TATI\"E Gaot."Ps 141
We use this last equation several times, taking as a and ~ first the elements
a~ and y, then a and ~ themselYes, then ~ and y, and so on, and we also
take into account (43), (40), and (42); we thus obtain
k_,.,h' (a~, T)[h' (a, ~) rp;] = h (a~, T) k1 [k4 11 {a, ~)] rp; =
==h(a~, T)k1 (h(a, ~)k,(k,.rp~]'p~=
=k(«~, T)(h(«, ~)rpT)kT [i,(k..11~] ,;=
= h(a, ~T)h@, T)z(cz, p, T)k1 (~rp;)(k.'P~'P? =
=h(a, ~T)kp1h'(~, THk.cp~rp~)z(a, ~. T)=
=h(«, ~T)kp1 (k.'P~)h'(~, T)z(«, ~. T)=
=~(«, ~T)h'@, t)z(«, ~. T)·
Hence
k'(«~, t)[h'(«, ~)rp;] =h'(«, ~T)h'@, y)z(«, ~. T);
in other words, with our choice of the elements h' (a,~) the cochain s( a, ~, y)
remains unchanged. Together with what we have shown above, this
completes the proof.
A homomorphism (J of B into 9t is associated 'll!ith tm extension of A by B
if tmd only if the coset of D•(B, A) that contains the cochain z(a, ~. y)
defined by (42) is the coset D 8 (B, A) itself.
For suppose there is an extension G of A by B associated with (J. For
a definite choice of the coset representatives of A this extension is defined
by a factor system ma,6 and a system of automorphisms o-+ a• satisfying
conditions {1) and (2). We can take for the automorphisms q;. the auto-
morphisms o-+ o•, and for the elements h{a, ~) the factors "'•.IJ·
From
(1) it follows that (40) holds, and (2) shows that we must put
subject to the condition that the cosets gA and h.Z correspond to one tllltl
the same element a of B.
The operation
(g, h)(g', h')=(gg', hh')
turns the set of all such pairs into a group, which we denote 1>y f:. The
pairs of the form (a, z), aeA, zsZ, form a normal subgroup A of G, and
the pairs of the form (•, r 1 ), z e Z, a normal subgroup N.
The group
G'=~/N
tives g, of the cosets of A by the factor system fna.,JJ and the automorphisms
a-+ a" (see § 48), and that the extension H of Z in tenns of the representa-
tives h, of the cosets of Z is given by the factor system na.,IJ; the automorph-
ism& are in this case determined by the fact that B is a group of operators.
From what we have shown above, it follows that we can choose the elements
form the required factor system. On the other hand, by transforming the
element a of A, that is, the coset (11, l)N, by g,', we obtain
(g;l, h;l)N. (a, l}N. (g., hJN=(~, l)N=a&. (48)
Using (2) for the elements m~ 11 and taking into account that the elements
, , lie in the center of A and that the elements m..11 also satisfy (2), we
see that the elements na,IJ satisfy the same equation (2), in other words,
that they are a factor system of an extension H of Z by the group of
operators B.
Comparing (50) with (47) and taking into account (48) and the fact
that the automorphisms corresponding to the extensions G and G' coincide,
we find that the extensions G' and ( G, H) are equivalent.
To complete the proof of the theorem it now remains to show that if H 1
and Ha are two ertensions of Z by the vof11J of operattws B, then the
extensions
~=(0, HJ and ~=(0, HJ
ag~ == g'lceP.
Applying the mapping 1J' to this equation and taking (51) into account,
we obtain
However
ag'a.==~r:P,
so that
g'..a«b. == g'z,,b.r:P,
and hence
But the element a"' ranges 0\"er the whole group .d as a does; therefore
b. lies in the center,
b.ez. (52)
We know, further, that
g'~{i == ~. 4"'•· ~)p·
Applying the mapping 1J' to this equation and taking (51) into account,
we find
g',.b.g'.,b, == 1'., ,IJ4 m., ,n<;},.
However
g'.._g'llll == 1'.. _,m., ,.nf,,
and therefore, since ba~~eZ
oeb, == ba(Sn~;1n(~),.
Going over to the additive notation in Z we see that the difference of the
cycles n<~J' and n<;!p is the boundary of the one-dimensional chain b., and
as we know from § 49, this implies the equivalence of the extension H1
and H •· This completes the proof of the theorem.
for all a of A and all a of B. We can therefore speak of the group of central
ezten.rions.
Let us apply the theory of § 50 to this case, in which B is considered as
being expressed in the form
B=S/R,
cp(.rlrx)=cp(r), r e R, x 6 S.
It therefore maps all the elements of R that are conjugate inS into the same
element; in other words, it carries every commutator of the form r-lx-lrx.
into the null element. Finally, (24) shows that the crossed homomorphisms
of S in A are simply homomorphisms. We therefore have the following
theorem.
THEOREM. The group of central extensions of an abelian group A by
tMMIS of tJ group B expressed in the fo"" S/R, where Sis tJ free group, is
isomorphic to the factor group U/V, where U is the group of those homo-
nuwphisnu of R into A that map the commuttJtor group [R, S] into the null
element Qlllcl V is the subgroup of those homomorphisms of R into A that
•e induced by the homomorphisms of S into A.
In connection with central extensions see also Baer [32] .
.Abelian exteDiioDS. Not every central extension of an abelian group A
by another abelian group B is abelian; this follows from the existence of
nilpotent groups of class 2. Let us see how to single out the abelian exten-
sions from the group of all central extensions of A by B.
We lm.ow that the central extensions of A by B are determined by the
identity automorphisms and by factor systems m,.,~. If B is abelian, then
§ 52. SPECIAL CASES 147
it follows from (3) that the extension G is abelian if and only if the factor
systnn tna.,IJ is symmetrical, that is,
tnc.t=m!l,u foralla,~ofB.
B=S/R,
and if S' is the derived group of S, then S'c R and
(54)
then
that is,
153
154 PART Fot'"R. XIII. FrxiTE:O."ESS CoxDITIOXS, SYLow St:BGROt:Ps, RELATED PROBLElls
1 It would be more in keeping \\ith the systematic terminology if groups of this class
were called locally finite arul flormal. [Tra11s.]
1 A subset of a group is called normal or .self-cofljugate if it consists of complete classes
a1a.
a==ao~- ... -a1 _.,
which, because of rz: == 1, leads to an expression with 1-"' factors. This
proves that A is finite.
In order to deduce the above theorem from Dietzmann's Lemma it only
remains to remark that a normal subset generates a normal subgroup and
that in a group with finite classes every finite subset is contained in a finite
normal subset.
Next we mention the condition of finiteness of the layers. A group is
said to have finite lGyers if it contains only a finite number of elements
of any given order. A group with finite layers cannot contain elements of
infinite order (because it would then contain infinitely many), and it is
therefore periodic. Moreover, every element of such a group can have
only a finite number of conjugates. By the preceding theorem we now have:
Eflery group with. finite ltsljlers is locally nonllal.
A paper by Cernikov [ 12] gives an almost exhaustive survey of the
groups with finite layers. Some of their properties are also mentioned in a
paper by Baer [40].
A number of finiteness conditions refer to the lattice of subgroups of the
groups in question. The most important among them is the tninitnal condi-
tion for subgroups, that is, the condition that all descending cbains of su~
groups break off. Every group with this property is periodic, because an
infinite cyclic group does not satisfy the minimal condition. However, it is
not yet known whether groups fllith. nsinifiUJl condition for subgroups are
locally finite nor whether they are countable.
/fin a group G a not'9'lllll subgroup Nand its factor group G/N are grcw.ps
with tninitnal condition, then G itself satVfies the tninitnal condition.
For let A and B be subgroups of G; where ASB, andAnN==BnN.
AN =BN. If b is an arbitrary element of B, then from beAN we have
b=as, where oeA, seN. Hence s=tr1 b6B, that is, se(BnN), and
therefore x e (A nN) S A. Thus we bave shown that b = aseA, so that
156 P.ur Fot.TJL XIII. FixiTE~"ESS Co~'"Dmoxs, Snow St."BGBot."PS, ~TED PBom.Exs
must break off; that is, for some n we must have A.= A. Hence it follows
that A is finitely generated. Conversely, if there exists an infinite ascending
chain of subgroups of G, 8 1 c:: ~ c:: ••• c: B,. c:: ••• , then we know from
§ 7 that the union of this chain cannot haYe a finite system of generators.
By analogy with the minimal and maximal conditions for subgroups we
can introduce the very much weaker ncininuJl and tnarimal conditions for
normal subgroups. Groups with minimal condition for normal subgroups
are studied in a paper by Baer [ 41]. For certain special types of groups
the minimal condition for subgroups can be deduced from the minimal
condition for normal subgroups-see Jennings [ 1), Ado [3), temikov ( 11),
GluAkov [4] .0
The condition of being finitely generated can also be regarded as a finiteness
condition; groups with this property have been studied in Chapter X. \Ve
also mention the condition that the number of classes of conjugates is finite.
But groups of this type can have a very complicated structure, as the
following theorem shows (G. Higman, B. H. Neumann and Hanna Neu-
mann [1]).
Eflery torsion-free group G can be embedded in a torsion-free group in
'Which all the elements other than the unit element are conjugate, so that the
group has only two classes of conjugates.
Applying Lemma 2 of § 38 we embed G in a group G' generated by G
and by elements ho.• for all ordered pairs a, b of elements of G other than 1,
where
In G' all the elements of G other than the unit element are conjugate. G' is
also torsion-free, since the elements h.," generate a free subgroup of G' so
that G' is an extension of a torsion-free group by a torsion-free group.
Applying the same construction to G' and proceeding further, we obtain
an ascending sequence of torsion-free groups
A group G has finite special rank r if r is the smallest number \\ith the
property that e\·ery finite set of elements of G generates a subgroup \\ith
no more than r generators.
It is clear that the general rank of a group is less thtm, or equal to, its
special raflk. The restricted countable symmetric group (see § 4 ) is an
example of a group \\ith finite general rank; the rank is 2, beCause every
finite set of elements of the group is contained in a finite symmetric sub-
group, that is, a subgroup \\ith two generators, while the special rank is
infinite. Indeed, every finite group whatsoever is contained in the restricted
countable symmetric group, but the minimal number of generators of finite
groups is not bounded.
For abelian groups the general and special ranks coincide, since every
subgroup of an abelian group \\ith n generators has not more than n gen-
erators. For torsion-free abelian groups these ranks are equal to rank in
the sense of § 19.
n=c+ r.r.
"S!I,.
•
§54. SYLOW SUBGBOUPS. To CaTEis OF #-GROCPS 159
Ql c: Q, c: ... c: Q. c: ... ,
where a ranges o\·er all the ordinal numbers less than a certain ~. If ~- 1
exists, and ifa,_ 1 is not a Sylow IT-subgroup, then it is contained in some
(4b)-=ii"'= 1,
group of G containing .V, tJ1IIl if all the Sylow n -subgroups of H ore con-
jugate, then H is its ou., norniiJlizer in G.
If g is an element of G such that g- 1 Hg=H, then g- 1 QgcH. There-
fore, by assumption, H contains an element h such that h-1g-1Qgh=Q,
and hence ghe.V; that is,gheH and geH.
Using the concept of a free product and the theorem on the subgroups
of a free product (see § 34) we could construct examples of groups showing
that these two theorems cease to be valid without the assumptions on the
conjugacy of the Sylow subgroups under which they have been proved.P
Moreover, as the example of the symmetric group of degree 3 shows, in
the first theorem the normal subgroup cannot be replaced by an arbitrary
subgroup.
The problem of finding conditions under which the Sylow subgroups of
a given group are conjugate will be treated here only for the case of Sylow
p-groups; we sball come to Sylow ll-groups in the next chapter.
First of all we prove the followiiig statement about jJ-groups.
If o jJ-group G contains G subgroup A of finite index j, then j is G pO'Wer
of p.
For we know from§ 11 that under these conditions A contains a normal
subgroup D of G, also of finite index. The factor group GI D is a finite
P-group, so that by what we have proved above its order is a power of p,
say p•. To A there corresponds in G/D the subgroup A/D, also of index j.
Therefore j is a divisor of p•.
Now we proceed to the proof of the following theorem (Kurol [15]).
If G group contaiM G p-subgroup A laaoing a finite nunsber of conjugates,
then we ctlft fond for wery jJ-subgroup B of G at leGSI one subgroup that is
conjugate to A tJntl that generates, together 'Diith B, G p-subgroup. If, in
addition, none of the subgroups conjugate to A generGtes, together 'Diith A,
a jJ-subgroup, then the ntmlber of subgroups conjugate to A is congruent
to 1 (modulo p).
Suppose that the subgroups A<1 >, ••• , A(l•>, conjugate to A, are such tbat
Another proof of the theorem was gh·en by Baer [25] ; his method bas
been used in the proof of the preceding theorem. Some generalizations of
the theorem can be found in papers by Kurol [ 15] and Dietzmann [6, 7].
The assumption of finiteness of the number of conjugates of P cannot be
omitted in the fonnulation of the theorem. For let G be the free product
of two arbitrary p-groups
This theorem can be deduced from the following theorem of Dietzmann [1]
which refers to arbitrary (not necessarily finite) p-groups.
If 4 p-group lsGs tJ finite cla.rs of conjugtJte elements other tlstm the unit
element, tlstm its center is different from E.
Suppose that a p-group G has a finite class 9£ of conjugate elements. Then
by Dietzmann's Lemma (see the preceding section) the (normal) subgroup
A.= { W} is finite. Hence every element of A. is contained in a finite class
of elements conjugate in G, so that the index of its normalizer in G is finite
and, as shown above, is a power of fJ. Suppose the normal subgroup A.
splits into q classes of conjugate elements consisting of p•1, p.., •• •, tf''l
elements, respectively. If the order of A is p•, then
locally free gro~tps, that is, groups in which every finitely generated subgroup
is free (see KuroA [10], and also§ 48 of the first edition of this book; also
papers by Fucbs-Rabinovit [2] and :\Ial'cev [4] .r
By the Xielsen-Schreier Theorem, all free groups belong to the class of
locally free groups. The definition of a locally free group is also satisfied
by the additi,·e group of rational numbers and all its subgroups ; for in these
groups e,·ery finite subset generates an infinite cyclic subgroup.
On the other hand, the property W may be such that if it holds for all
finitely generated subgroups of G, then it also holds for G itself; the simplest
e..~ple is the commutathity of the group. "Local theorems" of this kind
occur in many branches of the theory of groups. .1\s a rule it is not necessary
here to call for the use of all finitely generated subgroups, nor does the
question of a local theorem have to be connected with finitely generated
subgroups only. The natural statement of the problem is as follows (see
Kuro~ and Cernikov [ 1]) : A certain set L of subgroups of a group G is
called a local SJ.'sfeJJI of subgrorcps of G if
(1) every element of G is contained in at least one subgroup of L,
(2) for any two subgroups of L (and hence any finite number of them)
there is a subgroup of L containing them.
The system of all the finitely generated subgroups of a given group and
the system of all its finitely generated normal subgroups are examples of
local systems. Further examples, of course, are the system of all the sub-
groups of the given group, the system of all its normal subgroups, and-at
the other extreme-the system consisting of the given group only.
We shall say that G htJS the property W locally if there exists at least one
local system of subgroups such that all the subgroups occurring in it have
the property W.1 To prove the local theorem for the properly W now con-
sists in sho\\ing that a group has the property W if it has this property
locally. Moreover, we shall sometimes have to impose additional restrictions
on the local system in question: for example, we may require that all sub-
groups occurring in the system be normal.
A general method for proving local theorems has been indicated by
Mal'cev [ 3]. This method utilizes the apparatus of mathenmticallogic and is
based on a theorem of Mal'cev in the restricted predicate calculus. The
theorem can also be proved easily by means of a method given below, which
comes from a paper of KumA on the theory of compact topological spaces
• Many authors adhere to the more rigid convention that a group has a property
locally if every finitely generated subgroup bas the property. [TriUI.r.]
§ 55. LocAl. PJoPDTIES 167
(see also Kuro5 [12]). This method also is used frequently to prove local
theorems in the theory of groups.
LetS be a system of finite sets A., A,, A.,, ... , partially ordered (see
§ 43) by a relation
A.<A,
of elements pre\iously labelled such that the elements of the system (i)
and b, do not have a common inverse image in S. The union of all systems
(i), i= 1, 2, ••. , n, gives a finite system of labelled elements for which
there therefore exists a common inverse image c belonging to a certain set Ap.
We take a set A-y following A11 and AP.,and choose in it an element d, one
of the in'·erse images of c. The image of d in AP. is an element b,_. We find
that b~o and the system (io) have a common inverse image, and this contra-
dicts our assumption.
We have proved that a labelled element aP. can be chosen in every set AP..
If several elements of AP. can serve as marked elements, then for the sake
of definiteness we can regard the elements of AP. as numbered and we always
choose the element with the smallest number.
The set P of all labelled elements is a projection set. For if aP. and a" are
the labelled elements in AP. and A", then they have a common inverse image
in some set Al following AP. and A". In Al an element all. is labelled, and
since aP., a-, and al must have a common inverse image, al is, by (2}, the
common inverse image of aP. and a". The projection set P contains P and
is complete. This concludes the proof of the theorem.5
If the definition of a projection "--I is altered so that it is a single-valued
mapping of Ap into A. and not necessarily onto A., then on the basis of
the theorem just proved the existence of complete projection sets can be
esttJblishetl in this case as well.
For in A. there exist elements x having an inverse image in every Ap,
Ap > A11: ifA11 consists ofr1o xll, ••. ,x.and ifforeveryi, i= 1, 2, ..• , n,
we can find a set A., such that A,, > A.,
but that x, has no inverse image
in A,, then a setAr,~ > A,.,i= 1, 2, ••• , n, cannot be mapped into Aa.
at all, which is impossible. We denote by A 11' the set of all elements x
of A. with the required properties. In the mapping n,c. the set Al is
mapped onto the whole of A,/: if none of the inverse images Yt, ••• , Yt
§ 55. LocAL PRoi'EilTIES 169
a{f=g-la,g, i= 1, 2, .•. , n.
P' :!PnH,,
then we consider the intersectionP' 0 H .. = P.' Since H" is normal in H~
and since all Sylow p-subgroups of the finite group H~ are conjugate, then,
by what bas been proved in the preceding section, P" is a Sylow p-subgroup
of H". Since
=
P" P' nH.. :! (P nH~ 0 H.. = P nH..,
P'' belongs to the set A.. The mapping
P'-+P''
170 PART Foca. XIII. FD"nn"Ess Co:!~."DITIONS, S\"LLW St."BGRRt."PS, RELATED Paom.Exs
is a projection of AIJ into A., and conditions (2) and (3) are satisfied: if
every subgroup occurring in W is also contained in~'. Xote that here every
s11bgrozf.p A' that occurs i11 W' but does tzot belong to ~ falls into a jzm~p
of the system ~, in other words, it lies between the union of all the
subgroups of ~ contained in A' and the intersection of all the subgroups
of W containing A'.
A normal system of G that does not admit further refinements is called
a composition syste·m.
Every nonnal system ~ of a group G can be refined to a composition
system.
To prove this we put ~=~1 • Suppose now that normal systems~
have already been defined for all cardinal numbers y less than a certain 3
such that they form an ascending sequence. If 3 -1 exists and if ~a- 1 is
not yet a composition system, then we take as 9la one of the refinements of
~- 1 • But if 3 is a limit number, then we denote the union of all !l'T, y < 3,
by !l~. In general, this system is not complete, but its completion, obtained
by the method described above, satisfies all the requirements occurring in the
definition of a normal system and can therefore be taken as !la.
For it is obvious that ~ is ordered by inclusion. Further, 9la is com-
plete-eo:ery section in~ gives rise to some section in every!lr, r <a,
and the first (second) classes of all these sections have unions (inter-
sections) that belong to~ and therefore to~; but then the union (inter-
section) of all these unions (intersections) is, by assumption, contained
in !fa and is the union of the whole first class (intersection of the whole
second class) of the given section. Finally, !Ia satisfies the nornwlity
condition for sectiotzs. For, every jump A., A.+ 1 in !111 determines a jump
A..r• A«1+ 1 in ~ such thatfory < y' we have Acy s; A"T,A«y+ 1 ;;! A.7,+ 1•
Now Aa is the union of all Aay and Aa+l is the intersection of all A«y+ 1• and
since every A"T is a normal subgroup of A«y+ 1 and therefore of A 4 +11 we
see that Aa is a normal subgroup of Aa+l·
The process of constructing the 9(8 systems comes to an end with a
certain 3 = 3o, and the system !la, is the required composition system.
This completes the proof of the theorem.
If all the inner automorphisms of the group are taken as operators, then
the concept of a normal system turns into that of an invariant system-
this is a system of normal subgroups of G, containing E and G, ordered by
inclusion and complete ; the normality condition for jumps is automatically
satisfied here. The concept of a composition system now turns into that
§56. NourAL AND INVABIA.."iT SYSTExs 173
of a principal system, that is, an invariant system that does not admit further
invariant refinements.
A '\\-ell-ordered ascending normal system will be called an o.scending
normal series; a finite normal series is a special case of this concept.
Similarly we define the concepts of o.scnuling inr.'tlritmt series, o.scending
composition series, and tJScending principal series. Similarly, a well-ordered
descending normal system '\\ill be called a descnuling nonnal series, and so on.
We now come to the generalization of the main theorems of § 16. If
&£ = [A.] is a normal system of a group G, then to every jump A., A-+ 1
in the system there corresponds a factor group A.+ 1!A., called a factor of 9£.
For the subgroups of G we have the follo'\\ing theorem.
If 11 = [9£.] is a normal system of a group G urith an arbitrary operator
tlomtlin, then every (admissible) subgror~p F of G has a normal system
whose factors are isomorphic to subgroups of distinct factors of 9£.
We put
s.=B.+1 nA.
and applying Zassenhaus' Lemma, we find that B. is normal in B•+~ and that
are descending principal series, but all the factors of the first series are
cyclic groups of order two, and all the factors of the second series are
cyclic groups of order three. A few results that generalize the Schreier and
the Jordan-Holder Theorems can, nevertheless, be proved.
Let 1£= [A.], O<a<J.L and m=
[B,), O<p<v be two nonnal
systems of a group G with an arbitrary operator domain. We put
+
for all Pfor which P 1 exists and for all a. Inserting all the A., 11 into 9£
and all the B11•• into m, we obtain ordered systems of subgroups of G,
posEibly with repetitions; we denote them by I' and ~.
Every jump in fi has the form A14, A.. J+l' where a is such that a 1 +
exists. If we associate it with the jump B,_,
B,, «+l of ! we obtain a one-
to-one correspondence between the jumps of tlie two systems. Zassenhaus'
Lemma enables us to state that A.,,
is a normal subgroup of Ac.ll+l and
B/1.• a normal subgroup of Bp,«+l and that the· corresponding factors are
isomorphic:
175
The systems 9£ and fa need not, howe\-er, be complete in the sense of the
above definition of completeness for subgroup systems \\ith repetitions.
If we choose, for example, a section in I, then it is easy to Terify that
the union of the first class of the section al'\\-ays belongs to i. But the
intersection of the second class need not belong to !(: if B~ is the inter-
sections of the subgroups B~~ tl' > j:l, then A.,. 1 nB, is the intersection of
the subgroupsA-+ 1 0 B~'· but the product A. (A•+J 0 B 3) may turn out to be
smaller than the intersection of the products A.IA.,. 1 0 B 11,J, fl' >fl.
Let us make the following assumption:
(C) The normal systems!( and f8 are such that the systeJns i o.JJd ti
contain the i11tersections of the second class for each of their Si'clioJJs, iJJ
other words, are such that i and ~ are co»aplete.
In that case every collection of equal subgroups of I (and of ~) has a
first as well as a last subgroup. If we replace eTery such collection of eq~
subgr._?ups by a single subgroup, we obtain systems '\\ithout repetitions 9£
and f8 containing the original systems Wand 1B respectiTely. In the transi-
tion from I to i and from iS to m
no new jumps haTe appeared and
no old ones have vanished, except those corresponding to factors E: and
from the completeness of i and iS there follows that of I and fi. Thus
i m
and are isomorphic normal systems urithout repetitions, and are reftne-
tlle11ts of il Md fa, respectively.
We apply this method to prove the follo'\\ing theorem.
Any two ascending normo.l series of an arbitrary group G hmJe isomorphic
refinements, which are also ascending normGl series. In particular, if G
has ascending composition series, then all such series are isoJnorphic.
For if & and IB are well-ordered ascending systems, then the same is true
for i1 and~. so that assumption (C) is satisfied. I and m.
as subsystems
of i and l8, are also well-ordered.
If !( is an ascending iwuariant series of a group G and 1B an arbitrary
m
invariant system, then they have invariant refinements i and such that
m
the totality of factors of form.r a part (not necessarily a proper part) of
the totality of factors of i. In partiCfllar, if G lias an ascending principal
series il, then the totality of factors of any other principal systenu of G
fomu port of the totality of factors of 9£.
Let us construct the systems 1£ and iJ from 9£ and f8. f8 is complete,
because it is obtained from f8 by completing every jump of some ascending
well-ordered system of subgroups. However, f need not be complete, and
we complete it to a system I' by adding the intersections of the second
176 P.ur Fot."JL XIII. Ft'--rrE'-"ESS Co)o"DITIONS, SYWw St:.BGROt."l'S, Rm.ATED PRom.Eus
classes of all sections; from the in,-ariance of @£ there follows the imrariance
of i'.1 AU the iactors of I' are presen·ed, but new jumps, and therefore
new factors, may be added which do not correspond to any factors of ~.
The transition from '!' and '! to im-ariant systems \\ithout repetitions i
and 0 completes the proof of the theorem.
Let the group G hm:e an ascending principal series W= [A.] with the
order type of the tzatural numbers, that is, of the form
E=Ao c: A1 c::: Ag c: ••. c:: An c: ... c:: A..= 0.
Then all principal systems of G are isomorphic to W.
For let~= [B1 ] be an arbitrary principal system of G. \Ve construct
the systems I and '!. Since W is a principal system, and since we know
that i contains the unions of the first class of all its sections, we can find
for e\"«:9" n, n > 0, an index P. such that A,., p,. =A,., but A. J = Ata+ 1
for all P> ~.; in other words
Taking into account the remark in the proof of the preceding theorem, we
can state that our theorem "rill be proved if we can establish the existence
of the index P. + 1 for e\"ery n. For in that case tr is complete, and there-
fore in the transition to the system l-in our case toW-no new factors
can appear, so that the principal systems W and fa tum out to be isomorphic.
Let us first prove the following lemma.
LEKMA. If the indices P' and fY', P' <~".are such that for a given n
none of the indices ~.. 0 < i < n, sa.tisfies the ineqiUJlity ~' < f:lc < ~,,
then
A,.+1 n s, = A.+t n Bp·.
For if n = 0, then by (1) and (2}
Suppose the lemma already proved for 11-1. If~,<~•. then by (1)
that is,
, e (A~~ na,.,).
By the induction hypothesis
A,. nBp· =A,. na,,;
therefore y e B;, and hence
example, the direct sum oj a countable set of cyclic groups of order two.
This group ob\iously has an ascending principal series "ith the order type
of the natural numbers. On the other hand, we can number the direct sum-
mands by means of the rational numbers and perform all possible sections
in the system of rational numbers-omitting, in the case of a rational section,
the corresponding rational number in the second class. If we take for every
section the sum of the direct summands corresponding to the first class of
the section and complete the system of subgroups so obtained, then we
obtain a principal system \\ith the cardinal number of the continuum, with
the order type of a perfect e\·erywhere-discontinuous set; and the jumps in
the system correspond to rational sections.
CHAPTER XIV
SOLVABLE GROUPS
AN=B, AON=N'.
In them we can substitute the normal subgroups H X and H X', and then
AIH•HNIH=BIH, AIHOHNIH=HN'/H.
Hence it follows that all the factors of a composition series of G ba\·e the
property ( 0). If at least one of these factors is not a cyclic group of prime
order, then it must have a non-trivial subgroup and therefore, by (0), a
non-trivial normal subgroup, and this is impossible.
This proves that G is solvable.
Suppose, on the other band, that A and B are subgroups of a finite solv-
able group, A c:B, and that A is a maximal proper subgroup of B. \Ve
denote by N' a maximal normal subgroup of B contained in A. Since B,
as a subgroup of a solvable group, is itself solvable, its factor group
B =BIN' is also solvable. It therefore bas an abelian normal subgroup
N = N IN'-for example, the last term but one of a sol\TS.ble invariant
series of B. It is clear that
AN=B. (2)
AON~N', (3)
This proves that A is almost nonnal in B, in other words, that G has the
property ( 0) ..
Generalized solvable groups. The concept of a soh·able series of a
group is easily generalized to the concepts of a solv:able normal system
and of a soltrable in'i'tZritmt system, that is, a normal or an invariant system
with abelian factors. This leads to the follo\\ing '"ee}" broad generalizations
of sol,-able groups.
A group G is called an S .V-group if it has a solvable normal system, and
an S I -group if it has a soh-able in'\-ariant system. The problem whether
these two classes of groups coincide is still open.
Other forms of the definition of soh-able and finite solvable groups also
lend themselves to corresponding generalizations, and the classes of groups
so obtained cease to be identical. The class of S N -groups is the widest.
We shall describe these classes of groups and some of their properties
below, but for additional details we refer the reader to the paper by Kuro§
and Cernikov [ 1] .
The definition of a solvable group by means of the derived series leads
to the concept of an S D-group, that is, a group whose derived series,
possibly continued transfinitely, contracts to the unit subgroup. S D-groups
are SI-groups and therefore are SN-groups.
In § 36 we showed that free groups are S D-groups, and since every group
can be represented as factor group of a free group, the factor group of
S D-groups (and also of S !-groups and S N-groups) need not belong to
the corresponding class. By contrast, the subgroups of SD-, S 1-, and SN-
groups have the corresponding property. This is obvious for S D-groups;
and for S !-groups and S N-groups it follows from the subgroup theorem
proved in the preceding section.
Narrower than the classes of SN- and SI-groups are those of SN- and
SI-groups, that is, groups for which every composition (or principal) system
is solvable. These classes are also closed with respect to f01"HtGtion of factor
groxp.r. Suppose, for example, that G is an S7-group and that an arbitrary
principal system in the factor group GI H is given. There corresponds to it
an invariant system of G passing through H. Completing this to a principal
system, bearing in mind that it must be solvable, and going over to the
factor group G/ H, we see that the given principal system of the factor
group is solvable.
Oosely related to SJ-groups, and poss1"bly identical with them, are the
groups studied in a paper by Schmidt [7], namely groups in which every
factor group of every subgroup is an S !-group. Another class of groups
§58. l...ocAr. TBEOIWIS. Loc.w.Y SoLvABLE Gao'C'S 183
or else
As above we can show that at least one of these lwo classes is a local systnn
of subgroups of G. This will be a local system linked with the set of pairs
( c, d), ( c', d'), and there are one or two of them.
We define the intersection of several local systems as the system of sub-
groups belonging to every one of the given local systems. If a finite number
of pairs (a., b,), i= 1, 2, .•• , n is given, and a finite number of sets of
pairs (cJ,dJ), (c/,d/),j=l,2, ... ,m, thenwectmselectinatleastone
tvtJy, from all the local systems linked with each of these pairs tmd sets of
§58. Loc.u. TBEOBJWs. LOCALLY SoLvABLE Gaot.."PS 185
pairs, one systnn each such that their intersecti011 is also a local S)'stem of
subgrmtps of G.
For suppose that for each of these intersections-and there is only a
finite number of them-we can find a "contradictory" element or pair of
elements, in the above-defined sense. We also choose ''contradictory" ele-
ments or pairs of subgroups for all these classes \dth respect to each pair
(ac, b,) and each set of pairs (c4, dJ, (~, cf,) which are not local systems
linked \\ith these pairs or sets of pairs. Howe\·er, in L there exists a sub-
group A" containing all "contradictory" elements and subgroups enumerated
in this paragraph as well as all elements of the gh·en pairs and sets of pairs.
For obviously each of these pairs or sets of pairs A 11 \\ill belong to one of
the local systems linked \\ith that pair or set of pairs and will therefore
belong to the intersection of all these local systems. Howe\-er, this contra-
dicts the fact that A" contains an element or pair of subgroups "contra-
dictory" to the intersection in question.
On the basis of this result we can show that for eT:ery pair (a, b) and
every set of pairs ( c, d), ( c', d') u•e CMI choose at least one locol S)•stem
of G linked with if-denoted by L 1 ~~, 11, and Lee, tJ), Co'. d') respectively -such
that the intersection of May finite number of these local systems is itself a
local system of subgroups of G.
For the proof, we shall regard the set BJl of all pairs and sets of pairs as
well-ordered and shall proceed by induction with respect to this set ill.
Suppose that the a-th element of Bn is taken (a > 1) and that for all the
preceding elements we have labelled one of the local systems linked with
it so as to satisfy the following conditions: For any finite number of
labelled systems L', L", ... , L<ll> and any finite number of elements of BJl
standing, for example, in the u'-th, ct''-th, ..• , a<l)-th places we can choose
for these latter elements local systems linked with them,
1 (a')
.&..0
1 (a")
' .....
r
' ••• , .&4
(-">
such that the intersection of the local systems
of ~, then taking the union of all these collections and including the a-th
element itself, we arrh·e at a contradiction to the induction hypothesis.
The set of all local systems Lea. b) and lto. cl). (oi,II'J will be denoted by S.
We no\\· proceed to the construction of a soh-able normal system of G.
We choose an arbitrary pair of elements (a, b) and define a subgroup H •. .,
of G as follows:
1. \Ve take the intersection of the local system L{o, b) and an arbitrary
finite set of other local systems of S; this is, as we know, a local systetn.
2. We take the intersection of the subgroups C:.b for all those A• that
belong to the local system constructed under 1.
3. We take the union of all the intersections described under 2. that are
obtained for the fixed pair (a, b), but for the various local systems con-
structed under 1., and we denote this union by H •••.
H••• is actually a subgroup, because any two intersections of the fonn
described under 2. are contained in a third intersection of the same fonn.
The subgroup H,..., either contains only one of the elements a, b or
neithw; houreuer, it al'Watys contains their commutator [a, b]. For this
is precisely a property of the subgroup C:.b, for all A• that belong to the
local system
The set~ of subgroups H,..,, constnu:ted for all pairs (a, b), is ordered
by set-theoretical inclusion. For let us choose subgroups H(a,PJ) and H(c.4)·
By definition of the local system Lt.o, b), (c, tiJ• only one of the two possible
incluSions C:. 11 s; ~ 11 or C:. b ;a C:. 11 can hold for all A• occurring in the
system; suppose it is the first. However, since the intersections described
under point 2. of the definition of H,..., can only increase if we add the
system Lto. b)(e. tiJ to the local systems descn"bed under 1., we find that
Omitting all repetitions from the ordered system of subgroups ~ and com-
pleting it by the unions and intersections of all its subsets, we obtain a well-
ordered system of subgroups ~.
The subgroup E belongs to ~. For if a is an element of G other than the
unit element, then the subgroup H1,•• which certainly contains the unit ele-
ment, cannot contain a. Hence the intersection of all the subgroups of~ is E.
However, we cannot show that G itself belongs to ~, since the union G'
of all subgroups of~ may be different from G. Nevertheless if we take two
elements a, b, of G, then we know that their commutator belong to H.,,
§58. LocAL TBEO!WI:s. LocALLY So1sABLB Gaot:PS 187
and hence toG'. For the proof of the theorem it only remains, therefore,
to show that the cotnplete S'j'stem ~ is a sohJable nonnal S)'sle111 of G'.
The systma ~ is normal. For let Hp, HP+l be an arbitrary jump in it.
If the elements a, bare such that
a E H1,
then Ha, 11 s; Ht, since otherwise the subgroup H•. 11 , which belongs to~.
would contain HP+t• that is, would contain both a and b. However, since
[a, b1is contained in H •. 11. it belongs to H ~ and so, as at> H~, the element
b-1 ab also lies in H~. This proves that H~ is a normal subgroup of Ha+J•
The system ~is solvable. For let H1, Hf+l be a jump in the system~th
a non-abelian factor. This means that we can find elements a, bin Hl+l
such that they and their commutator both lie outside RB. But this is im-
possible, because H a.ll contains [a, b1 and, moreover, cannot contain both
a and b ; in other words, H•. ., is itself contained in H~, so that [a, b] e H~.
This completes the proof of the theorem.
Proof of the local theorem for S !-groups. This can be conducted by the
same method. We only have to show that every subgroup H.,., is normal
in G.
Let c be an arbitrary element of H.,.,, and let d be an arbitrary element
of G. The definition of H ., 11 shows that c is contained in the intersection of
the subgroups ~ ,, taken for all A• that form the intersection of the local
system ~.. II) with a certain finite number of othet local systems of the set S.
We know that we can assume here that the system L(,. II). <a. d) belongs to
these local systems. Therefore all these subgroups A• contain d, and since
C:. ll is now a normal subgroup of A•, all the subgroups C:. ll in question,
and therefore their intersection, contain the element d- 1 ctl. This element
belongs, then, to H.,.,, and this is what we had to prove.
Proof of the local theorem for ~-groups. Let L be a local system of
subgroups of a group G and suppose that all the subgroups A• of the system
are 57-groups. Since every invariant system can be refined to a principal
system, it is sufficient to prove the following statement:
If B1 CliJid B:a Dl'e normal subgroups of our group G, if B1 is contained in Ba,
and if the factor group B./B1 ir non-commumtioe, then between B1 and
Ba there can. be inserted a fiM'1IIol subgroup C of G, distinct from B1 tmtl B ••
From the fact that B1 /B1 is non-commutative it follows that there are
two elements x andy in B1 such that B1 contains neither these elements
188 PABT Fot."B. xn·. SOL\"ABLE GROCPS
themseh·es nor their commutator [x,y]. If A• is an arbitrary subgroup in
the local system L containing x and y, then the intersections
are normal in A•; morem·er 1ft is contained in 1ft and is distinct from it,
since the elements x, y, and [x, y] belong to .S: but not to Bi.
Since A• is an S /-group, its invariant system
and hence lie in one class. Therefore there are elements .r, in G such that
i= 2, 3, ...• (2)
Since Gf H 1e-1 is finite, we can find indices i and j, i oF= j, such that
and hence
(3)
ac = (x,hi-1x;1 r 1 aJ (xchk- 1
1x4 ),
and since the element x,hi_ 1x'i1 lies in the normal subgroup H1c- 1 , a,, and tss
turn out to be conjugate, contrary to assumption.
:Now we can prove that H'k-t!Hlt:-t is finite and, continuing the process,
that all factors of ( 1) are finite. Hence G is finite, and the theorem is proved.
The following theorem of Cernikov [4, 5] on soh:able groups with minimal
condition for subgroups completely reduces the classification of these groups
to that of finite solvable groups.
Every SN-group with minimal condition for subgroups is solfJable. A
group G is a solwble group urith fl'linimal condition for subgroups if and
only if it is an extension of a complete abelian group with minimal condition
for SKbgroups by a finite sohnwle grovp.
Proof (see Schmidt [7]). Let G be an S N-group with minimal condition
for subgroups. By the minimal condition e:very solvable normal system of G
must be ascendingly well-ordered, so that G is an S N*-group. Again by
the minimal condition G is periodic and, as a periodic S N*-group, G is even
locally finite. However, we have shown above that in the locally finite case
every S N -group is an S !-group, so that G is an S I -group and therefore,
again by the minimal condition, is even an S I*-group.
By the minimal condition,G has a minimal subgroup P of finite index con-
taining no subgroup of finite index. P is the only subgroup of this kind,
since the intersection of two subgroups of finite index has itself finite index.
Therefore Pis a normal subgroup of G. Let us show that the center Z of P
is different /rOf!ll E.
As a subgroup of an S !*-group, P is itself an S I*-group and therefore
has an abelian normal subgroup A other than E. It follows from the classi-
fication of abelian groups with minimal condition given in § 53 that A con-
192 PABT FOUL XI\". SOL\"ABLE GllOt:PS
tains only a finite number of elements of any gh·en order and therefore,
since A is a nonnal subgroup, that the normalizer in F of every element of A
bas finite index in F, so that it must be equal to F. Hence it follows that
A lies in the center of F, A ~ Z, and so Z =F= E.
We sball now show that Z is equal to F. Suppose that Z =F= F. Then
F I Z as a factor group of an S !*-group is itself an S !*-group. Furthermore
it satisfies the minimal condition and, like F, contains no proper subgroup
of finite index. The arguments of the preceding paragraph are therefore
+
applicable to F I Z, so that F IZ must have a non-trivial center Z' I Z, Z' Z.
If 8 is an arbitrary element of Z', then every element 8" conjugate to s' in F
is contained in the coset 8 Z, that is, bas the form
8'=8s, seZ.
Since the elements s' and s'' have the same order and
the order of s must divide the order of s'. There can only be a finite number
of such elements s in the abelian group Z with minimal condition, so that s'
has only a finite number of conjugates in F. It follows that the normalizer
of s' in F has finite index in F and is therefore equal to F, so that 8 e Z.
This contradiction to the inequality Z' =F= Z shows that Z = F.
Thus F has turned out to be an abelian normal subgroup of G. As an
abelian group with minimal condition containing no proper subgroup of
finite index, F is complete and, by § 53, is the direct product of a finite
number of groups of type ; • for certain prime numbers fJ.
Furthermore, the factor group GIF is finite and at the same time is an
S !*-group, that is, a finite solvable group. Therefore G, as an extension of
an abelian group by a solvable group, is itself solvable.
To complete the proof, we mention that an extension of an arbitrary
abelian group with minimal condition by a finite solvable group is itself
solvable and (see§ 53) satisfies the minimal condition for subgroups.
From the theorem of Cernikov it follows, in particular, that tl'llerY solwblll
group with miniffiiJl ctmdilion for sub.grnfJs is countablll.
The following statement is obvious: A solvable group satisfies the minimal
condition for subgroups if and only if all the factors in its solvable normal
series are abelian groups with minimal condition.
We mention, further (see Schmidt [7], eermtcov
[21] ), that for periodic
solvable groups and for some more general classes of groups the minimal
§59. Sol.\'"ABLE Gaot."PS wrra FI~ITE~ESs Co,."Dmo~s 193
condition for abelian subgroups implies the minimal condition for all sub-
groups. On the other hand (see Carin [1] ) , for periodic soh·able groups
the minimal condition for nonnal subgroups does not imply the minimal
condition for all subgroups.
For soh.'Cible groups with 1nuinzal conditio~& for subgroups the results so
far obtained are less complete. These groups are studied in papers by
Hirsch [1, 2, 4, 6, 7] and Zappa [2, 4]. Mal'cev [10] has proved that for
solvable groups the maximal condition for abelian subgrouJJs implies the
maximal condition for all subgroups. We mention the following result
(Hirsch [1]).
If a solwble group G has a solvable normal series in v!hich all factors are
fi1litely generated abelian groups, then it satisfies the fiUJ.rimal condition for
subgroups. Com•ersely, if a group G satisfies the tnasimal condition for
subgroups, then all factors in oil solr.'Cible normal series of G are finitely
generated; thot is, these series can be refined to normal series 'll.ith cyclic
factors.
For suppose that every factor in the solvable series of G
(4)
This result and the above-mentioned analogous result for solvable groups
with minimal condition show tbat it is appropriate to study special classes
of solvable groups defined by restrictions of one kind or another im-
posed on the factors of the solvable series of the groups. For example,
Mal'cev [10] has obtained a number of results relating to solvable groups
in which all the factors of the solvable series are abelian groups of finite
rank and also results relating to narrower classes of solvable groups; see
also Smirnov [1].*
1 P. Hall [41 and Omihin [1] have proved tbat the CXIIlverse is also true, even in the
following form: If II jiaite flt'Wt G htu Sllbgr011p of ordlr II for tJll tlirlisor.r i of it.r
order" for wllicla (I) laolds GJitlfor wlliclr. flu correqtnldmg comtlemmt l i.r 11 IO'fllet'
of rs #rime IIUtftbw, tlull G ir .rolTIIJble.
The proof of this theorem is based on the following Tluorftl of Bunuitle, which is a
special case of it : E71WY fiaiW fii'Otll Tllho.re order ir tlirJilible by Dilly DO tli.rlifll:t trifM
llflfflber.t ir .rolwble. The proof of this last theonm uses a md:hocl tbat falls outside the
scope of the present book, IUIIIlely the theory of c:baracters of finite groups.
§ 60. S\"1.0\\" n-St."BGGIIt:PS OF SOL\"ABLE Gaot.•PS 195
Let II be a set of some (not necessarily all) prime numbers that occur
in the order n of a finite group G. A Sylow II -basis S of G is a collection
of Sylow p-subgroups P, of G, one for each p of II, satisf)ing the follo\\ing
condition : If
are some of the subgroups occurring in S, then the order of every element
in the subgroup
n=kl, (k,l)= 1,
and if all the prime dit;sors of k occur in II, then G ho.s a subgroup of
order k, and all these subgroups are conjugate in G.
If the set II consists of all the prime numbers, then this theorem turns
into Hall's First Theorem and, if II consists of a single prime number p,
it turns into the fundamental statement of Sylow's Theorem, which was
proved in § 54.
We shall prove the following theorem (Gol'berg [3]), which is even
more general.
GoL'BERG's THEOREM. If G is a finite IT-separable group and II' an
tJTbitrary .subset of II, then G ho.s Sylow II'-bases, and all these bases are
conjugate.
This theorem turns into Hall's Second Theorem if n consists of all the
prime divisors of the order of G and II'= II. Let us show that it also
implies Cunihin's Theorem.
Let k be a number as indicated in Cunibin's Theorem. If n' is the set
of all the prime divisors of k, then by Gol'berg's Theorem G has a Sylow
n '-basis C!S'. The subgroup A of G generated by all the subgroups in S'
has order k : for the order of A is obviously divistole by k, but the order
of every element of A itself is a divisor of k. Now if A1 and At are
any two subgroups of order k of the n -separable group G, then they are
Il'-separable (see the Subgroup Theorem of§ 16) and therefore solvable.
By Hall's Second Theorem, which follows,as we have pointed out above,
from Gol'berg's Theorem, A1 and A. have complete Sylow bases C!Sl and Sa'.
These will be Sylow II'-bases for G; by Gol'berg's Theorem they are con-
jugate; and therefore the subgroups A1 and At generated by them are also
conjugate.
Proof of Gorberg's Theorem. Without loss of generality we can assume
that all the prime numbers of n divide the order of the finite n -separable
group G, and we shall prove the t1ieorem by induction over the order of
the group. Let the subset n, consist of the prime numbers
§ 60. SYLOw n-Stl'liGIIOt."PS oF SoL\"ABLE Gllot."Ps 191
p;
number P1 of IT'. We assume that p{ and 1 are the highest powers of P1
that occur in the order of G and H, respectively:
{2)
order Pi'· We denote by N(G) and N(H) the normalizers of the set-
theoretical union of the subgroups (2) in G and H, respectively. & His
normal in G and all Sylow II'-bases of H are conjugate, the indices of
these nonnalizers in G and H must be equal; let them be divisible by
pf, p>o.
The intersection~ nN (H) is a Sylow PI-subgroup of N (H)-otheno,;se
~would not be a Sylow ;1-subgroup of H-and it is therefore of order
are Sylow ll'-bases of H, as one can easily verify. By assumption they are
conjugate in H. Suppose tbat under the transformation by an elements
the second of these bases goes over into the first. Then, under the trans-
formation by the same element, ( 4) turns into a Sylow II '-basis of G
(5)
It remains to prove tbat (3) and (5) are conjugate bases. Let
From
x- 1 (Q1 0H)x=P1 0H
follows
RtOH=PtOH,
and since P,cH, i = 2, 3, .•• , k, we have
By what has been proved above, A, and B~ are conjugate in G. Since now
G = B = B,P., we can find an element .r, in P,
(6)
such that
(7)
(8)
By (6) we have
and by (7)
Therefore
carries the basis (5) into (3). For it follows from (6) and (8) that
'll=kl, (k,l)= 1,
l'< I. (9)
The order of its subgroup AH/H divides k/k' so that, by the induction
hypothesis, AH/H is contained in a subgroup F /H of order k/k'. Therefore
the subgroup F of G has the order k f and is, by (9), different from G. Apply-
ing the induction hypothesis once more, this time to F, we see, since Ac.F
and the order of F is divisible by k, that A is contained in a subgroup of
order k.
But suppose that we cannot find a normal subgroup H of G with the prop.
erty (9), so that the order of every non·trivial normal subgroup is divisz"ble
by I. We now denote by H the sznallest term other than E in a principal series
of G. H must be abelian and its order is a power of a prime number-
otherwise H would not be a minimal normal subgroup of G. We know that
this order is divisible by I and hence it is simply equal to l.
The subgroup AH now is of order kol, and (ko. l)= 1. Furthermore,
by Hall's First Theorem proved earlier in this section, G has a subgroup B
of order k. Since
{AH,B}=HB=G,
the intersection
AHOB=A'
§ 60. Snow n-St.."'BGJIOt."PS C1P SOL\"'ABLE G:aons . 201
is a subgroup of order ko. Applying Hall's Theorem again, but to the sub-
group AH, we find that A and A' are conjugate
.~- 1 A'x=A.
In equation (2) of§ 48 \\·e take the product of each side v.ith respect to a,
keeping p and y fixed. Since Z is a commutath·e group, we arrive at the
equation
ms,z T -- ....,,
-lc,.ct11 ·' (10)
we haYe to bear in mind that the element ap ranges over the whole group Z
as a does.
\Ye denote bY k' the order of Z. Since (k', 1)= 1, there exists a number
r satisf}ing the congruence
If ii!ii51 (mod k').
ABIA-=:BI(AOB).
direct product of a finite number of simple groups (in the case of operator
groups : simple with respect to the given operator domain) .
Et!ery completely reducible group has a pri1zcipal series. For if
is a completely reducible group and if all the A, are simple groups, then the
series
The equations (2) and (3) show, by the lemma of§ 42, that A' and g-1 A' g
are centrally isomorphic in A, and since A is a group without center,
A'=g-1 A'g.
This shows that A' is a normal subgroup of G and is, moreover, completely
reducible and without center. Since
AB={D,A',B}= {A',B}
and
we bave
AB=A'XB,
If Cis notE, then by the preceding theorem its maximal completely reducible
normal subgroup H' is also different from E. But then it follows that G
has a completely reducible normal subgroup H' X H that is not contained
in H, in contradiction to the maximal property. Thus C = E, which is
what we had to prove.
After these preliminary considerations we can go over to a SfW'IJty of the
semi-.rimple groups. Let G be an arbitrary finite semi-simple group, H its
maximal completely reducible normal subgroup, and r the group of auto-
morphisms of H. Since H is a group without center, it is isomorphic to its
group of inner automorphisms, so that we can assume that H is contiMed
in r.
Transforming H by an arbitrary element s of G, we obtain an auto-
morphism q;. of H. The mappingS-+ q;. of G into r is a homomorphism,
and even an isomorphism, because the centralizer of H in G is E. Thus,
G is isomtwfJmc to t1 subgroup of r, and this subgroup olnliously contains H.
§ 61. FINlTB SEKI-SIMPLE GROt."l'S
r
Further, we denote by the group of automorphisms of H. The i~
morphism of H and H, of course, implies the isomorphism of r and r:
r. r
if y £ then there corresponds to "': an element y' of such that for eyery
xofH
xy'=xy. (4)
Let us show that for e\"ery 1 of r
y'=y, (5)
(6)
or since ry = r8 ranges oyer the whole group Has x does, we haYe by (6):
fte='T- 1ftT
for all f,. of 'F1 and shows that F, and Fa are conjugate in r.
Hence it follows
that F1 and F2 are conjugate in r, and this is what we had to show.
The theorem just proved leads to the follo'\\ing results:
W t' obtain wery finite snni-simple group, and each of them o1rce ot~l)'tif aoe
1) take oll finite completely reducible groups without center,
2) nnbed et•ery completely reduciblt grortp urithout center H in its
group of automorphisms r. idelrtifying it uoith its groitp of imrer
automorplzisms,
3) separate all the srtbgroups of r containing H into classes of con j11gate
srtbgroztps, tmd
4) choose one represnztative from each of these classes.
So we ha\•e reduced the survey of the finite semi-simple groups to the
survey of the finite completely reducible groups '\\ithout center and their
groups of automorphisms. We have also shown above that the survey of
the completely reducible groups '\\ithout center is reduced, in tum, to the
survey of the simple groups. Fitting [ 6] (see also Gol'berg [ 1] ) has sho'\\-n
that also the group of automorphisms of a completely reducible group
without center
where all the A, are simple groups, can be constructed by a perfectly lucid
method by means of the groups of automorphisms of A. 11 ••• , A •. We
210 P.uT Fot."ll. XIY. Sou·ABLE GROl"PS
NII..POTFNT GROLTPS
(2)
Note that the invariance of ( 1) need not have been postulated, because it
follows from (2) for all i that
Since by (2)
we have
where all the G,. are nilpotent. We choose a central series in each of these
groups and assume that t..lte lengths of these series are equal, admitting, if
necessary, series with repetitions. Let
•
B1 = H Alri, i = 0, 1, ... , n,
t.:t
form a central series of G.
Note that an extension of a nilpotent group by a nilpotent group need not
be nilpotent, for otherwise all solvable groups would turn out to be nilpotent.
§ 62. XILPOTE"T AXD Fn."'ITE XILPOTE"T Gaot."PS 213
where
Oi+t = [Ov OJ, k = 0, 1, 2, .•••
Let us construct this chain in a nilpotent group G \\ith central series ( 1).
By (2),
such that Z1 is the center of G, Z2/Zt the center of G/Zh and more generally,
Z'fl;+t/Z~:
the center of G/Z~:.. It is easy to see that this chain consists of
characteristic subgroups; in general, it can be continued transfinitely, be-
coming stationary but not necessarily leading up to G itself.
Let us construct the upper central chain of a mlpotent group G with
central series (1). Since, by (2), [A 11 G] =E, wehaveAtS;;Zt. Suppose
we have already proved that A~:!;Z~:. Then, by (2),
This shows that in the natural homomorphic mapping of G onto GIZ" the
subgroup A.t+t is mapped into the center of this factor group, and therefore
Alr+t S: Z7c+t· Hence it follows that
A.= a;;z"'
orZ.=G.
This proves that in a nilpotent group the upper central chain leads to the
group itself in a finite number of steps; in other \\"ords, it becomes the ztpper
central series, and the length of this series does not exceed the length of Ml'J'
central series of the group. The existence of an upper central series can
also be taken as the definition of a nilpotent group.
From what we have shown above it follows that in a nilpotent group the
lO'Wer and the upper central series haue one Md the .rome length, which is
the minimal length of all the central series of the group. This length is
called the class of the nilpotent group. In particular, nilpotent groups of
class 1 are abelian groups, and nilpotent groups of class 2 have been intro-
duced in § 14.
Let G be a nilpotent group whose class does not exceed k. Then the
k-th term G.t of the lower central chain of the group is E. In other words,
the (identical ) relation
[ ••• [[xv x.J, xsJ, ••• , xli:+t1 = 1
holds identically in G. Therefore, by § 37, G is a factor group of a certain
reduced free group, corresponding to this identical relation. It is easy to see
that this is the factor group of a free group F \\ith respect to the k-th tem1 F~;
of its lower central chain.
The factor group FIF~: is itself a nilpotent group of class k; we call it the
free nilpotent group of class k. The number of free generators of F we call
the rank ofFIF~:. This is an invariant of the group, by the theorem of Baer
proved in § 37.
Thus, every nilpotent group whose class does not exceed k is a factor
group of a free nilpotent group of class k. A nilpotent group with n generators
is a factor group of the free nilpotent group of rank n. Fork= 1 this is the
familiar theorem that every abelian group is a factor group of a free abelian
group.
Some theorems on the automorphisms of free nilpotent groups are proved
in a paper by Mal'cev [9]. Golovin [2-5] bas introduced and studied the
k-th nilpotent product of groups, k = 1, 2, .... This construction stands
in the same relation to free nilpotent groups of class k as does the direct
product to free abelian groups, or the free product to free groups. A number
§ 62. NILPOTE:-tT AXD FIXITE XlLPOrE:-iT GROt:PS 215
of properties of direct and free products can also be proYed for nilpotent
products; in particular, this construction, considered as an operation in the
set of all groups, is associative. Other examples of constructions with these
properties bave been given by Lyapin [7) .w
Finite nilpotent groups. We shall now indicate a number of properties
of nilpotent groups which, in the case of finite nilpotent groups, are equivalent
to their definition.
Every subgroup of a nilpotent group CCDl be included in a 110nKal series
of the group; in other words, wery such subgroup is accessible.
For let G be a nilpotent group,
E=Ao c: A1 c: ~ c: .• . c:A,.= 0
S1tbgroups, taken for all p, fonll a direct product in G uJhich coJZtains pre-
cisely the elements of finite order i11 G. (We know that every finite cyclic
group can be decomposed into the direct product of primary cyclic groups.)
If we apply the above results to finite groups, we see that wery fitrite
nilpotent group can be deco,zposed into the direct product of p-grottps.
The converse statement is also true, and this lends particular interest to
finite nilpotent or-as they used to be called-finite special groups.
Eflery finite group that can be decomposed into the direct product of
p-groKps is nilpotent.
We have shown above that the direct product o{ a finite number of nil-
potent groups is itself nilpotent; it is therefore sufficient to prove the follow-
ing theorem; this in tum implies the fact, proved in § 57, that a finite
p-group is solvable.
Eflery finite p-groKp is nilpotent.
For a finite p-group G has a non-trivial center Z1, as we proved in§ 54.
The factor group G/Z1 again is a finite p-group, its center Z2/Z1 is again
non-trivial, and so Z1 is strictly greater than Z1. Continuing the process,
we construct the upper central series of G ; that is, we prove the nilpotency
of the group.
We have found several properties of finite groups each of which can be
taken as definition of a finite nilpotent group ; for example, the existence of
a central series, the normalizer condition, the decomposition into the direct
product of ;-groups. Finite nilpotent groups admit many other equivalent
definitions. V{e mention a few of them, but by no means do we aim at an
exhaustive statement of everything that can be said in this connection.
A finite group is nilpotent if and only if all its nw.rimal (proper) .sub-
groups are normal.
For a finite nilpotent group satisfies the nonnalizer condition, and its
maximal subgroups must therefore be normal in the group. Suppose, con-
versely, that all maximal subgroups of a group G are normal. Let P be a
Sylow p-subgroup of G for some p and N its normalizer. If N is different
from G, then we denote by A one of the maximal subgroups of G contain-
ing N. Since the theorem on the conjugacy of Sylow ;-subgroups holds in G,
every subgroup containing N, including A, must be its own normalizer, by
§54. However, this contradicts the fact that A is normal in G. Thus N
coincides '\\ith G ; that is, P is a normal subgroup of G. But the fact that
the Sylow ;-subgroups are normal for all p implies the nilpotency of a
finite group.
§ 62. XILPOTEXT .-\SD FINITE XrLPOTENT GROt:'PS 217
As the reader can easily verify, the proof of the statement that the deritJed
group of a nilpotent group is contained in its ._subgro~tp does not require
the finiteness of the group. A generalization of the above theorem to the
case of finitely generat~ groups can be found in a paper by Baer [24] ;
see also Hirsch [2, 4] .
[Aa+J' 0) S: As,
in other words, that Aa+ 1 /A,. is contained in the center of GfA,..
A Z-group or group with properly Z is a group that bas at least one
central system. This generalization of the concept of a nilpotent group is
,·ery wide-by llagnus' Theorem (see § 36) all free groups are Z-groups.
llal'cev [3] has prO\•ed that the local theorem holds for the property Z:
E.,,rery group tluJI has the property Z locolly is a Z-group.
The proof of this theorem is conducted on the same lines as the proof of
the local theorem for the property SN (see§ 58), and we only point out
the changes that now have to be brought in. The subgroup C:, ., must now
be defined as the largest subgroup of the system Ci• containing neither of
the elements a and b other than 1 ; therefore, in particular, it is not necessary
to consider local systems linked with one pair (a, b). The subgroup Ha,ll
also contains neither a nor b, but it does contain their commutator. The
proof that the system ~, supplemented if necessary by the group G itself,
is a central system of G now proceeds without difficulty.
A much narrower class of groups is that of the Z A-groups, that is, groups
having an ascending well-ordered central system or, as we shall say, an
ascending central series. Many properties of nilpotent groups can easily be
219
(1)
and let a and X~o x2, ••. , .:r~:, •.. be elements of G. If none of the elements
is the unit element, then we can find an index a, a > 0, such that A. con-
tains none of the elements tJJ:, whereas Aa+t contains at least one of the
elements, say a 1•1 But then, by the definition of a central system,
1 It follows from the definition of a normal system that for a limit number e1 the sub-
Ec:Ac: 0,
b!V=UOA.
ae vs=w,
we find that
E = Z0 c: Z 1 c: ... c: z. = a. (3J
We call the ordinal number a the length of this central series and we
assume that the theorem is proved for all Z A-groups ha'·ing an ascending
central series of smaller length; for a =
1 , that is, for abelian groups, the
theorem is clearly true. In G v.·e choose a finite system of elements
(4)
If a is a limit number, then the elements (4) lie in some subgroup Z~,
fl < a; and since this subgroup has an ascending central series of length fl
and since fl < a, {a.,, az, ... , a.} is nilpotent by induction hypothesis.
If a is not a limit number, then there is a limit number fl and a natural
number k for which
a=fl k. +
We take all possible sequences of commutators of the form
On the basis of this result Plotkin [2) has proved the follo·wing theorem.
TBEO:U:M. Et•ery .Y-group is locally 1'lilpotent.
The proofl requires the follo\\ing lemmas.
UMliA 1 (Schmidt (6]). If a nonntd subgroup H of an K-gro11p G has
a non-trioial center Z and if GI H is cyclic, then G itself has a non-triuial
center.
By assumption, G contains an element a such that
G={H,a}.
Suppose that all the elements x, are different from the unit element. Let A.,
be the least subgroup of (5) containing x 10 i= 1, 2, .... The index ac
cannot be a limit number. X or can it be 1, because we would then ha\·e
x,+l = 1, in contradiction to our assumption. Hence it follows that eli- 1
e...Osts and is different from zero, and therefore
This shows that the indices eli form a strictly decreasing sequence
{7)
226 PART Fot1 XV. XIL1'0'1'E!Io"T GllOUPS
All the elements (7) and (8) lie in Hand by Lemma 3, only a finite number
of them are different from the unit element; therefore F is nilpotent. More-
over, F is a normal subgroup of P generated by the elements (6), because
normal series (9) \\ith the property (10) in an arbitrary N-group G. The
factors of this series are ob\iously cyclic.
Groups haviug an invariant system with cyclle factors. Obviously,
every abelian group has an ascending im-ariant series with cyclic factors.
Using this fact, we can show that e'l'try Z A-group also htu an ascending
in'Variant series u.ith c)•clic factors, a1ul e'l'W}' Z-group has an im•ariant
ssstn11 with C)•clic factors.
If G is a Z-group '\lith a central system W=[A.], then, as we have
mentioned above, at e\•ei)· jump A., Aa+t of the system we can insert an
ascending series with cyclic factors. All the terms of this series are normal
in G, since the factor Aa+t!A. lies in the center of G/A ••
The converse does not hold, even for finite groups. For example, the
symmetric group of degree 3 has a principal series \\ith cyclic factors but
is not nilpotent. We therefore have a class of groups between solvable and
nilpotent groups.1
The folto\\ing theorem (Cernikov [7]) is known in the case of finite
groups as Wendt's Theornn.
The derif!ed group of wery group having an im~ariant systefn with cyclic
factors is a Z-group.
Let G have an invariant system W= [A.] with cyclic factors; since all
the subgroups of a cyclic group are characteristic, we can assume that all the
factors of 1£ are finite. Let K be the derived group of G. The intersections
B.,=A.,OK
form an invariant system 0 of K, after omission of repetitions, again with
finite cyclic factors. Let B,., B.,+ 1 be a jump of 0 and let Ba+t/B11 be a
cyclic group of order n consisting of the elements ciB 11 , where c e Ba+t•
i= 0, 1, ... , n- 1. If x and y are arbitrary elements of G, then since
B. and Ba+t are normal subgroups of G there exist exponents k and l
such that
(xBJ(cBJ(xBJ-1 = ctB.,,
(yB.,) (cB.,) (yB.)-1 =as...
Hence
On the other band, not every Z-group is an S-group (see Mal'cev [7]).
The corresponding problem for N-groups is still open; some partial results
are contained in a paper by Baer [24].
lmpoeidon of finiteness eondidons. When finiteness conditions of
one kind or another are imposed, then additional connections appear, of
course, between the classes of generalized nilpotent groups. For example,
the following theorem holds.
For locally finite grozcps the following properties are equiwlent: Z, N, S,
a;nd local nilpotency.
For if G is a locally finite group with the property Z, N, or S, then all its
finite subgroups have the same property-that is, by § 62, are nilpotent-
so that G itself is locally nilpotent. Conversely, if a locaJiy finite group G is
locally nilpotent, then all its finite subgroups have each of the properties
Z, N, and S, and then the local theorems for these properties imply that G
itself is a z-, N-, and S-group.
We mention that it follows from the local finiteness of periodic locally
solvable groups, which was established in § 59, that every periodic locally
nilpotent group is locally finite. Restricting this result successively we find
that periodic N-groups, periodic ZA-groups, tmd periodic nilpotent groups
•e locally finite.
Now we subject the groups under consideration to the mininuJZ condition
for subgroups. Under this condition property R obviously turns into prop-
erty N, and Z into Z A ; therefore, as we have just mentioned, the periodicity
of a group, which is a consequence of the minimal condition, turns into local
finiteness in these two cases. Therefore the theorem that was proved above
for locally finite groups leads to the following result ( Cernikov [ 37] ) .
In groups fllith miftin&ol condition for subgroups, the foUO'flling properties
•e equiwlent: 1) ZA, 2) N, and 3) the consbiMtion of local finiteness
MUJ s.
Groups for which this theorem gives three equivalent definitions are
periodic and have the property S, so that they are direct products of p-groups.
t
Let us define a ernikO'll p-group as a group satisfying any one of the follow-
ing equivalent definitions: •
(1) ;-groups with minimal condition for subgroups having an ascending
central series ;
(2) p-groups satisfying the minimal condition for subgroups and the
normalizer condition;
(3) locally finite p-groups with minimal condition for subgroups.
§ 64. Cox!lo"ECTTOXs WITH Sou·ABLE GROL"PS. S-GaouPs. FrxiTENESS Coxnrnoxs 231
be the lower central series of G. The factor group GIG" occurs in the lower
central series
so that. by the induction hypothesis, the theorem is true for G/Gt. It follows
that G/G 11 has a finite system of generators
Also all the factor groups of ( 1), except (possibly) the last, are finitely
generated; in particular, G~:-dG,. has a finite system of generators
has at least one solution in G or, in other words, if every root of every element
of G belongs to G.
The structure of a complete group may be very complicated. However,
it is natural to expect that complete nilpotent groups, which are very closely
related to complete abelian groups, may form the object of a rather far-
reaching theory. Such a theory has been developed by Cernikov [10, 13]
and will be expounded in the present section. It turns out to be convenient
not to confine ourselves to complete m1potent groups but to study at once
arbitrary complete ZA-groups; some of the results to be obtained here
cannot, however, be extended to arbitrary complete locally nilpotent groups.
We shall call a group G Cemikw complete if for every natural number n
it is generated by the n-th powers of all its elements. Of course, every com-
plete group is ternikw complete. The converse, which is obvious for abelian
groups, does not hold in general; it will be proved for Z A-groups after some
preliminary considerations. To avoid cumbersome formulations in deriving
this result we shall understand by a complete group one that is Cemikov
complete.
1 Other proofs of this theorem are contained in papers by P. Hall [12) and Jennings (2].
234 PAKT Fot."R. XV. XII.POTE~"T GllOt.'"PS
On the right we have the product of two factors of finite order; therefore
[r, a1 also belongs to the periodic part of G-that is, it has finite order.
It follows from the induction hypothesis that this commutator, as an element
of ZIJ, must even belong to the center Z1 of G. As the element r was arbitrary
we see that, in fact, tu Z~o in contradiction to the assumption ~ > 1.
This proves the theorem. We deduce from it that every periodic complete
Z A-group is abelian. Some generalizations of this last result can be found
in a paper by 1\.!uhammed!a.n [21. The result cannot, however, be extended
to arbitrary periodic complete locally nilpotent groups; Cemikov [101 has
constructed an example of a non-commutative complete locally finite p-group.
If the periodic part F of a: com.plete ZA-group G is finite, then F = E;
in other 'IIJO'Ttls, G is torsion-free. Moreww, in this case G has an ascending
central series in whichtJll the factors are complete abeliolz torsion-free groups.
We can even assume that all these factors ore of rtJJ&k 1.
We have seen above that F is contained in the center Z of G. If G is
abelian, then everything is proved, because the periodic part of a complete
abelian group is either E or infinite, and a complete abelian torsion-free
group is a direct product of groups isomorphic to the additive group of the
rational numbers (see§ 23). Otherwise, by Griin's Lemma (§ 64), Z con-
tains a non-trivial subgroup onto which G can be mapped homomorphically.
236 PABT Fot111. XV. NILl'O'l"IOo"T GROt."PS
this follows from what we have shown above about the periodic part of a
complete abelian group. Finally, the periodic part of GIL1 is PLtiL1 and
is therefore finite. For if an element aLt has finite order n in GIL1, then
a" 6 L 1 • As L 1 is a complete abelian group, we can find in it an element b
such that a"=b•; and since b lies in the center, {ab- 1 )•= 1-that is,
ab-1 6 P; therefore
L.nP=E,
the periodic part of GIL. is PL,JL., and the factor L..+ 1/L, lies in the
center of GIL.. and is a complete abelian torsion-free group. If Pis a limit
number, then we take as L~ the union of all L., u < p. This is a normal
subgroup of G, and its intersection with P is E. Let us find the periodic
part of G1~. If a coset aL~ has finite order n in GIL~, so that a" 6 L~,
then there exists an u less than Psuch that a" 6 L •. Therefore, by the induction
hypothesis, the coset aL. is contained in the factor group P L,jL.; that is,
aL.=cL., c6P;
and then
or aLIJ e P LIJIL1 •
But if ~- 1 exists, then GIL~- 1 satisfies all the conditions to which the
original group G was subject. We can therefore find in its center a non-
trivial complete normal subgroup ~IL,_ 1 , whose intersection with the
periodic part FLp_ 1 f~-J of GIL~-~ is the unit subgroup. Hence
§ 65. Co)IPLETE NILPOTEXT GROt."'PS 237
then
coincides with
1FLP_ 1/L,_ 1 ) • (L9/L~_ 1 )/(Lp.!Lp_ 1 ),
and hence it follows that the periodic part of GIL~ is F L~lL~. Finally,
we mention that L~/L~_ 1 can be chosen such that its rank is 1.
Thus, the strictly increasing chain (2) can be continued as long as L,.
does not coincide with G. However, for F =FE, this can never happen,
since the intersection of F with an arbitrary L,. is E. We have thus proved
that F =E. The ascending chain (2), brought up to G itself, now turns
into the required ascending central series of G. The last part of the theorem
follows from the remarks made in the course of the proof.
Next we shall prove a theorem which would not be true under the defini-
tion of completeness with which we began the section.
The periodic part F of a complete ZA-group G is itself t enr.ikw complete.
IfF has a proper subgroup F 0 of finite index, then the latter, as a sub-
group of the center, is normal in G. The factor group GIFo is complete and
is a Z A-group, but its periodic part F IF 0 is finite and is not E, in contra-
diction to what we have shown above. Hence F cannot have a proper sub-
group of finite index and, being an abelian group, is therefore complete;
this follows from the first theorem of this section. This proves the theorem.
On the basis of this and the preceding results we can now prove the follow-
ing theorem.
EfJtry complete ZA-group G has an ascending central series
E S: f.o c: L 1 c: •.. c: 4. c: ... c: Ly = 0, (3)
and hence
a=x~a 1 , a1 s L,. {4)
There exists an index a1, ~ < a, such that
We know that L.,+I/L., is a complete abelian group and that it lies in the
center of OfL... Therefore there exists an element ~2 in L..+ 1 such that
Hence, by (4),
aL,, = (x1L..)" (x.J.,.J" = (x1x2J"L.,,
and therefore
a= (x1x2J"a2 , a2 £ L.,.
Suppose we have already found a decreasing finite set of indices
with
a= (xlx2 •.. ~)flak, ak £ L,.,_l.
Then there exists an index alt, alt < alt-1> such that
§ 65. Co:HPLE'm XILP01'EXT Gaot:PS 239
(4) B.,=G.
PART Fot.."R. XV. N~'"T G:aouPs
such that L 0 is a periodic complete abelian group and all factors La+t!La,
a=O, 1, ... , are complete abelian torsion-free groups of rank 1. If L 0
is different from E, then it is the direct product of groups of type p• for
some prime numbers p; let these be Ao. AIJ ..• , Aa, ..• , where a is less
than a certain ordinal number 3. Thus, condition ( 3) is satisfied for
0 < p < 3. Moreover, as L 0 lies in the center of G, condition (2) is satis-
fied for 0 < p< &.
We know, further, that La, a> 0, is a nonnal subgroup of G and there-
fore of La+t· Let us show that La+t is a splitting extension of La.
Let Zt be an arbitrary element of .La+to outside La. We define elements
x.,u k = 2, 3, ... , by induction : the element Xt is one of the solutions
of the equation
X~; exists, because G is complete. As the coset ZtLa has infinite order in
Lc+tfL,., the order of Zt is also infinite and
{x1 ) n Lc=E.
Thus, Zt is contained in some subgroup isomorphic to the additive group of
rational numbers (see§ 7); we denote it by Aa'·
From the equation
We now proceed to the proof of the second half of the theorem. First we
prove a lemma.
LEMMA. /fa group A, isomorphic to agro11p of type P'" or to the additive
group of rational numbers, is a JJOnJZal s11bgroup of a gro11p G that has 110
proper subgro11p of ji11ite index, theJZ A is contained i11 the ceJZter of G.
To begin with, let A be a group of type p'", and let a be an arbitrary ele-
ment of A. The subgroup {a} is cyclic of prime-power order, say p•. A has
only one subgroup of this order, so that {a} is characteristic in A and
therefore normal in G. Thus, a has a finite number of conjugates in G and
since, by assumption, G has no proper subgroup of finite index, a lies in the
center of G.
Let A be now isomorphic to the additive group of rational numbers. We
know from § 21 that the group of automorphisms r of A is isomorphic to
the multiplicative group of non-zero rational numbers, so that it is the direct
product of cyclic groups (see§ 17). Every subgroup of r is also a direct
product of cyclic groups (see § 24) and therefore cannot be complete.
The transformation of A by an arbitrary element of G induces an auto-
morphism in A. We obtain a homomorphic mapping of G into a subgroup r•
of r. As G, by assumption, contains no proper subgroups of finite index,
there are no such subgroups in I"' either. The abelian group f" is therefore
complete and, by what we have shown above, f" = E. This shows that A
lies in the center of G and completes the proof of the lemma.
Now let G be a group having a system of subgroups ( 5) with conditions
(1)-(4). We shall show that G has no proper subgroup of finite inde.'C. It is
clear that there are no such subgroups in B 1 = A 0 , which is a complete
abelian group. Suppose we have already proved that subgroups of finite
index do not exist in any of the subgroups B~, 0 < a < ~. If ~ is a limit
number, then there are no such subgroups in B1, because B1 is the union
of all Ba., a<~. and the intersection of a subgroup of finite index in B1
with an arbitrary Ba. would give a subgroup of finite index in Ba., that is,
would be equal to B 4 •
Suppose now that ~ - 1 exists. If B~ contains a subgroup H of finite
index, then as above, H;:,BI-h so that H/B~-~ is a subgroup of finite
index in
PABT Foca. XV. NtLPOTDlT GROuPs
E c: B1 c: . . . c: Bp c: ..• c: B1 = 0
has not more than one solution; in other words, for every pair of elements
z and y and every natural number n it follows from z" = =
Y" that z y.
It is obvious that every R-group is torsion-free and that all abelian torsion-
free groups are R-groups. It is also easy to verify that every free group is
an R-group. But not every torsion-free group is • R-group: the group
with the generators a, band the defining relation at= b2, which is the free
product of two infinite cyclic groups with an amalgamated subgroup, is
torsion-free, by § 35, but is not an R-group.
§ 66. Gaoun WITH Umot:E ExTRACTio::f OF ROOT 243
R-groups are studied in papers by Kontorovif [5, 7]; see also Plotkin
[ 1, 3). We shall indicate only some of the main properties of these groups,
following the paper by Kontormi~ [5].
In the theory of R-groups the concept of a sen:ing subgroup plays an
important role ; it is carried over from the theory of abelian groups (see
§§ 25, 30), but here it is more often known under another name: a sub-
group A of an R-group G is called an isolated subgroup of G if for every
element a of A and every natural number n the solution of the equation
:e"=a,
if it exists in G, belongs to A.
The group G itself and its unit subgroup are isolated in G. Since the
extraction of roots is unique, the intersection of an arbitrary set of isolated
sztbgroups of an R-group is itself isolated. Hence there exists a unique
minimal isolated subgroup of an R-group G containing a given set of ele-
ments M; this group is called the isolated closzwe or isolator of .l-/ in G
and is denoted by I (M).
It is obvious that a normal subgroup H of an R-group G is isolated if
and only if the factor group G/H is torsion-free. Note that this factor group
need not be an R-group.
If H is an isolated normal subgroup of a" R-group G and if the factor
group G/H is an R-group, then in the natural one-to-one correspondence
between all the subgroups of G/H and all the subgroups of G containing H
isolated subgroups correspond to one another.
For let A be an isolated subgroup of G containing H. If
(gH)•=aH, ge G, a£A,
~'If= b'a,",
ab=ba,.
(xZ)•=(yZ)•, x, ys G.
Hence
(1)
§ 66. GllOCPS WlTB UNIQ't"B EXTL\CTION OF ROOT 245
This equation shows that X" and 'J" are pennutable and, by what we ha\·e
proved above, x and y are also pennutable. From ( 1) we now obtain
and as Z is isolated,
and hence
xZ=:yZ.
(xZ)•=(:yZ)•.
and since G/Z .. is, by hypothesis, an R-group, then x z .. = yZ.. and a fortiori
xZtJ='JZIJ. This proves that G/Z1 is an R-group.
We mention that the derived group of an R-grou.p need not be isolated.
For example, let us consider the group G with the generators a, b, c and the
defining relations
ac=cG, bc=cb, [a, b] =CS.
The center of the group is the cyclic subgroup {c}, so that the factor group
of the center is an abelian torsion-free group, that is, an R-group; therefore
by the above theorem G itself is an R-group. But the factor group of its
derived group contains an element of order 2; therefore the derived group
is not isolated.
The following property of R-groups could also be taken as their definition,
provided the concept of an isolated subgroup is duly extended to arbitrary
torsion-free groups.
The isolator of an arbitrary element other than the unit element of ms
R-grou.p is an abelian torsion-free group of rank 1 and is the isolator of
eGCh of its elements other thom 1. The isolators of any two elements of tm
R-grou.p either Me identicol or else intersect in the unit element.
For in every torsion-free group G an arbitrary element x, x -=F 1, gen-
erates an infinite cyclic subgroup which is an abelian torsion-free group of
rank 1. Since the union of an ascending sequence of abelian torsion-free
groups of rank 1 is a group of the same kind, x is contained in at least one
subgroup A that is a maximal abelian torsion-free subgroup of G of rank 1.
If G is now an R-group, then A is contained in the isolator l(x) of x:
for an arbitrary a of A the cyclic subgroups {x} and {a} have an inter-
section other thanE, but clearly {x}c::I(x).
§ 66. GllOt:PS WITH u~ngn ExTRACTION OF ROOT 247
(zy-1 )"= 1;
From the theorem at the end of the preceding section it follows that all
the properties that have been established above for R-groups are true, in
particular, for arbitrary locally nilpotent torsion-free groups. These latter
groups, however, admit of a much deeper analysis. This analysis is, as yet,
far from complete, and in this section we shall mention only some results
on which further investigations may be based.
We know from § 25 that the isolator of a subgroup A of an abelian
torsion-free group G, that is, the serving subgroup of G generated by A,
consists of all the elements of G a positive power of which occurs in A.
Let us show that arbitrary locally nilpotent torsion-free groups have the
same property. The following lemma holds (Mal'cev [5]; the proof is
due to Fedorov).
LEMMA. Let G be a nilpotent tcwsion-free group hafling a finite system
of generators
(1)
be the lower central series of G. By the last theorem of§ 64, G, is finitely
generated. In addition to the lemma we shall prove the following statement.
G, ha.s a finite system of generators .such that .rome po.sitVue power of wery
element of G, lies in D.
For groups of class 1, that is, for abelian groups, all the statements are
obvious. Suppose they are already proved for groups of class k. Then
DG,/G1rs has finite index in GjG,, therefore DG, has finite index in G.
Moreover, G,_JG, has a finite system of generators
such that
(2)
§ 67. l.ocALU" NILPOT£!1.""T TOilsrox-FREE GaorPs 249
As in the proof of the last theorem of § 64, we can now show that the ele-
ments [x" .r11, i= 1, 2, ... , s, i= 1, 2, ... , t, form a system of gen-
erators for G~:. By the commutator properties (1)-(4) of§ 14,
D bas finite index in D G.,., and since we have already shown that GD1;; has
finite index in G we have proved all the statements of the lemma.
In 11 locally nilpotent tor.sio•free group G the isolator I (A) of aJz arbitrary
subgroup A consists precisely of those elnne~zts of G some positive pou•er of
which belongs to A .
It is clear that x" E A implies x E I (A). Further, let
x"EA, 'J"'EA.
The subgroup x- 1 Ax does not lie within A, because then (4) could not
hold; we can therefore find an element a in A such that
(S)
Let
(6)
Moreover, we shall assume that a is chosen such that the suffix k, 1 < k < n,
is as small as possible, so that
x- 1 (A nz1t)x cA. (7)
We can assume also that
x(AnZk)x- 1 c A, (8)
otherwise we replace x by x- 1-it follows from ( 4) that x-"' s N.
We put
(a, x] = Yt• ryi, X]= YI+I• i = 1, 2, •..•
By (6),
y,sZ~:, i= 1, 2, ... , (9)
(10)
Since
(11)
we have, by (5),
(12)
(13)
by (7) and (8) its images under the transformations by x and .r 1 also
belong to A. We shall denote by tl or 8<1 > the product obtained from 8 by
increasing by 1 the indices of all the factors y, occurring in 8. Furthermore,
we put z<•> = {z{s-I)) 1 , where 8<0> 8. =
Let us show that for all i > 1 we can find Be such that
(14)
and
(15)
so that 8z = 8t',Yt8t'. Suppose (14) and (15) have already been proved for
all i < j. Then for any i with 1 < i < j,
tl6)
(17)
Hence (14) and (15) follow for j. The equation (15), of course, implies
for s= 1, 2, ..• that
.,(a)_ cs) 1)' z<•+I> (18)
,., -ZC- 1+1 ,_1 •
252 PAilT Foua. XV. NII.PO'fEllo'T GROUPS
{19)
that is, by (15),
X
-1 ( I )
Zm-JYtZm-1 X= X
-1
z,._lx. X -1YtX. X
-1 '
Zm-lX =
= J'I-1z,.ytzm
I
e A•
As y1 1 =x- 1a-1xa, we have, by (7) and (8),
I -1 A
z"'y1z,.y1 6
or by (19),
In general,
s.,<•"> 6A, i= 1, 2, ... , k-1. (20)
or, by {18),
~l«-1) II)
.r,.-1y,z-,._l e
A•
<«-t>
Z•-iYI 6
A
or, by (7) and (8),
§ 67. LocAu.v NILPOTENT Toasiox-FREE GJtOt:Ps 253
JI(Z':.=~ 6 A.
Suppose we have already proved that
{21)
Then, by {18)
The last factor on the left lies in A; hence, if we again transfonn the
remaining product by y,-1 we find tbat
Jlf+1,.(C-1) .. A
' •ts--t--1 ~ •
This proves that all the elements y., and .Y1 in particular, lie in A ; but this
is in contradiction with fonnula (12).
We now tum to the C&.Se of a locally nilpotent torsion-free group G. Let A
be an isolated subgroup of G, let N be its normalizer, and let x"' 6 N, x; .V.
As above, we find an element a of A such tbat
(22)
The subgroup
H= {a, s}
is nilpotent and
A'=AnH
is isolated in H. Let N' be the nonnalizer of A' in H. By (22) .n! N'.
Furthennore it is clear tbat
or
x-A'r•~A,
Some of the statements of the last theorem are not immediate consequences
of the corresponding theorem of the preceding section. In fact, the statement
on the factor groups follows from the fact that they are homomorphic images
of G and that Za. is complete. The statement on the completeness of z~~.+t/Z.
is then obtained by reference to the completeness of the center.
Let G be an arbitrary (not necessarily complete) locally nilpotent torsion-
free group. If it is contained in some complete locally nilpotent torsion-free
group G, then the isolator of G in G is the minimal complete subgroup of G
containing G.
A completion of G shall be defined to be an arbitrary minimal complete
locally nilpotent torsion-free group G* containing G. By the first theorem
of the present section, a complete locally nilpotent torsion-free group G* is
a completion of its subgroup G if and only if some positive power of every
element of G* lies in G.
The following theorem of Mal'cev is fundamental for the whole theory of
nilpotent torsion-free groups.
THEOREM. Every locally nilpotent torsion-free group G can be embedded
in a complete locally nilpotent torsion-free group and therefore possesses
completions. If G1* and G2* are two completions of G, then there exists
an isomorphism between them that extends the identity automorphism of G,
and this isomorphism is unique.
Mal'cev [6] has proved this theorem by an apparatus from the theory of
groups and of Lie algebras. A direct proof has not yet been published,
and so we are compelled to quote the theorem without proof.
Independently of Mal'cev's Theorem we can prove some theorems on
completions of locally nilpotent torsion-free groups, substantially following
Mal'cev [6].
If a complete locally nilpotent torsion-free group G* is a completion of
two of its subgroups G1 and G21 then it is also a completion of their inter-
section al n 02.
For if x s G*, then there exist two natural numbers k1 and k2 such that
and therefore
§ 67. LocALLY N'ILPOTENT TORSIOX-FREE GROt:PS 257
H*OG=H.
is the upper cetztral chain of G, and if Za.* is the completio11 of Za. i11 G*, thetz
then by (23),
•
[g0, g] e (Z,-t n0) = z,_ 1,
Now several of these free factors may be trivial groups and would have to
be suppressed. The above statement of the theorem would then not be
strictly correct and is not easily put into a correct form, because F or some
or all-of the factors g.- I H .g. may be trivial ; or only a single factor (which is
then not a free product) may remain. The circumlocution here and in similar
situations is avoided by the wider definition given in the text. On the other
hand, the term "indecomposable" group is, of course, to be understood as
"only trivially decomposable," that is, if G = H•K, then H or K is the
trivial subgroup E.
is also lmown as the infinite dihedral group. If we put be= a., then we have
c = ba. and G =D. = {a, b} with the defining relations b1 = 1, ba.b = tr1 •
The name is chosen by analogy with the finite dtbedral group D,. = {a., b}
with the same defining relations as above and in addition a" = 1. The
latter group is of order 2n and is the group of space symmetries of a plane
regular polygon of n sides.
It is mentioned in the text that the modular group of linear substitutions
261
262 Al'PEYDIXES
w:
'tJ b
•=I e d
± (~ ~)
{because a change of sign in the coefficients does not change the linear substi-
tution). We take the factor group of this kernel, in other words, we agree
to identify two matrices that differ only in the sign of their four coefficients.
We have then an isomorphism between this factor group M and the group
of substitutions above.
Now let
then
1 k
sA= ( 0 1
0-1\
:= { 1 0/ J
APPE;);DIXES 263
then
t2 = l-1 0 ) = ( 1 0)
\ 0-1 0 1
If c =F 0, then
We again multiply on the left by t and continue the division process. Since
Ia I > c > tl > ... , after a finite number of -steps we reach a matrix m'
with 0 in the upper left comer, so that tm' is a power of s. Hence we see
that m = F.s'lts'l •• . t.s'l<r), with«= 0 or 1. We put
U=
0 -1) ( 0
ts = ( 1 1 = -1 -1
1) ;
then
u•= 1, tu=s, andtu-1 = (! ~) =s'.
When we replace all the powers of s occurring in the above representation
by tu, we arrive at
(1)
APPEXDIXES
and it is obvious that a product of such matrices can never yield the unit mat-
rix unless k = = =
k' 1 1' = ... = r= r = 0. This completes the proof.
r=j(n-1) + 1-l:dcr.
cr.
for the rank r of the free factor F in terms of the index j of H under G, the
number n of factors Ger. and the number dcr. of double cosets of G modulo
(H, Ger.); in the case of a free group this formula turns into Schreier's result
(see p. 36) on the rank of a subgroup of finite index in a free group of finite
rank. M. Hall [5], following the proof of the Nielsen-Schreier Theorem by
Levi [2], replaces the transfinite induction by a well-ordering argument based
on an alphabetical ordering of the group elements. His proof is very short,
but does not yield quite as much. A common feature of these proofs is the
use of cancellation arguments, which are necessary to show that certain
subgroups, or products, or generators are free. A new method was intro-
APPEXDIXES Z6S
Appendix D (page37)
Appendix E (page38)
To complete the argument of the text it is necessary to show that the set
of all countable groups has the cardinal number of the continuum. All count-
able groups are factor groups of the free group of countable rank and the
cardinal number of the set of factor groups of this group clearly does not
exceed that of the continuum. On the other hand, the survey of the subgroups
of the additive group of rational numbers (see vol. I, § 30, pp. 207-210)
shows that these groups alone form a set with the cardinal number of
the continuum.
266 APPENDIXES
The example of Higman [3] arises from the group G ={a, b, c, d} with
the defining relations
b-1ab= a•,
c 1 bc= b1,
d-1cd= cl,
tr1d4= dl.
Appendix J (/JfJge76)
The "sieve" method of Tartakovskii [1-6] solves the word problem for
finitely presented groups in which there is, roughly speaking, very little inter-
dependence and superposition between the defining relations. A detailed
account of his work is contained in the review by K. A. Hirsch, Mathematical
Reviews, vol. 11 {1950}, pp. 493-495. Tartakovski~'s results have been
extended by Stender [ 1] to groups with a countable number of generators
and defining relations, provided each generator occurs in only a finite number
of relations and the lengths of the relations are uniformly bounded.
An independent general approach to the word problem in groups is con-
tained in the thesis by Britton [ 1]. The range of applicability of his results
overlaps those of Tartakovskii' and Stender to a large extent, but goes much
further in some directions, particularly in groups with an infinite number of
generators and defining relations.
For other work on the positive side of the word problem see Haken [1],
Peiffer [ 1].
Appendix K (page89)
A more detailed study of groups with isomorphic subgroup lattices can be
found in § 52 of the First (Russian) Edition of this book. See also Birkho:ff
[5], Chapter VI, 9/10, where further references are listed.
268 APPEXDIXES
Appendix L (page93)
The structure of finite and infinite groups with a modular subgroup lattice"
has been completely determined by I wasa\\-a [ 1, 3]. They are direct products
of hamiltonian groups (see vol. I, p. 67) and of two special types of finite
solvable groups. Further references on the problem of groups with a modular
(or some generalization of a modular) subgroup lattice are M. Hall [Birk-
hoff [5], p. 97, footnote 20], Zacher [3-5), Ito [6].
(D) ..
G=l:Dcuat:A
(D)
L(D, Q),
then the above condition is also sufficient for the existence of centrally iso-
morphic refinements of any two direct decompositions of G.
The far-reaching applications of Kulikov's method to the decomposition
of abelian groups have been mentioned before (vol. I, p. 216).
All the elements of order 2 in D,. are of the form oP·b. Since abtr1 =o.2 b,
etc., these are easily seen to fall into two conjugate sets: those with even a
and those \\ith odd a. The subgroup H = {o.2, b} is of index 2 and hence
is normal in D..,. But its intersection with the Sylow 2-subgroup {ab} of
D.., is trivial and is not a Sylow 2-subgroup of H. This shows that the first
theorem does not hold. Next, {b} is a Sylow 2-subgroup of D.., and is its
o•m normalizer in D..,. Yet the subgroup H above, which contains {b} is
not its own normalizer but is normal in D..,. This shows that the second
theorem does not hold.
As Kuros [9] has proved (seep. 164), for arbitrary p-groups P1 and P2
*
the free product P1 P2 is a group for which P1 and P2 are Sylow
p-subgroups. This shows that Sylow p-subgroups of infinite groups, so far
from being conjugate, need not even be isomorphic nor of equal order.
Another simple example is the following.
Let G = {a, b, c, d} with the defining relations b2 = 1, bab = trl, ac =co.,
ad= da, b-1 c-1 bc =a, bd =db, d2 = 1, cdcd =a. ( G is an extension of
the infinite dihedral group {a, b} by another infinite dihedral group.) A
principal series of G is
The four factor groups are cyclic : the first and third of order 2, the second
and fourth of infinite order. It follows easily that the order of a Sylow
2-subgroup cannot exceed 4. All the elements of order 2 in G are of the
following forms: aa.b, aa.c-2a.d, aa.bc"~d. G has no elements of order 4. A
simple calculation shows that the elements of the form ol'c-2 a.d are permutable
with every element of the form aa.'b, and that the element aa.bc2"~d is per-
mutable with a-rb but with no other elements of order 2. Finally, the ele-
ments of the form o.a.bc"~d with odd y are not permutable with any other
element of order 2. Hence G has Sylow 2-subgroups both of order 2 and of
order 4. (See also Zappa [2].)
The set of elements G= {1 + "l'} with vc,V then forms a group. If the
characteristic of K is a prime number p, then G is a locally finite ;-group;
if the characteristic of K is 0, then G is locally infinite. (If K is countable,
then G is countable.)
Every element g c G has a unique representation of the form
where all but a finite number of the coefficients aa~ are 0. G can be generated
by the elements 1 + ae,, a c K. If N is a proper normal subgroup o;l= E of G,
then there exist two rational numbers a, fJ such that for all E, "' satisfying
+
the condition t < a < fJ < "'• N contains the elements 1 ae1,. Every
order-preserving mapping of the rationals onto themselves induces an auto-
morphism 6 of G as follows: If in the mapping a....,.
a.', {J....,. {J', then
Appendix S (pagel68)
The author's proof is rather condensed and requires, strictly speaking, one
further transfinite induction or application of Zom's Lemma. His argument
shows that if the projection set P is not complete, then it is properly con-
tained in another projection set-but the latter need not be complete. When
the projection sets containing Pare partially ordered by inclusion, then one
proves easily that the union of a transfinite ascending chain of such sets is
272 APPENDIXES
This result suggests the conjecture that for simple groups of finite composite
order 'Wz(G) > (fi1(G}] 1 • It would include as a special case Burnside's
Theorem (seep. 194) on the solvability of groups of order fJ"qtJ.
New simple groups have been discovered by Chevalley [ 1]. His paper
gives a uniform procedure of associating with every simple complex Lie
group a finite simple group. He determines the orders of these finite analogues
to the "exceptional" Lie groups of types G., F~,, Ea, E1, Ea (the first-named
had previously been treated by Dickson: Math. Ann., vol. 60 ( 1905), pp. 137-
150) and investigates the structure of their Sylow subgroups.
274 APPE.... DIXES
Appendix W (page215)
In the First (Russian) Edition of this book Kurog raised the problem
whether there exist algebraic operations in the set of all groups, similar to the
formation of the direct product and the free product ( § 17 and § 33), with
the following properties :
(i) The operation assigns to an arbitrary collection of groups A" a group
G which contains isomorphic images G" of the groups A" and is generated
by them, G = {G11} ;
(ii) if Ha = {G~}, fJ =F a, and H" !he least normal subgroup of G con-
taining H"' then the intersection G" 0 H" = E for all a;
(iii) the operation satisfies the most general associative and commutative
laws as they are expressed in properties I and II of § 17 and § 33.
Golovin [2-5] has constructed a countable sequence of operations satisfy-
ing these requirements. (The papers [3-5] are also available in English
translation: Amer. Math. Soc. Trans. Project, vol. 2 (1955).) These are
the k-th nilpotent products mentioned in the text. Further examples were
found by Miss R. R Struik [ 1]. All these are special cases of a very general
construction: the formation of the fJerbal product of a given set of groups,
which is described and studied in a paper by Moran [1].
Let z,..z.-1 be the letters of an alphabet and
-- =x• .,. •
1 ... 2 ••• •
x" (s,=-
-t-1 ' ,·-1
- ' 2' ... , n)
"Jo; ..
be a word in this alphabet. When arbitrary elements of a group G are sub-
stituted for the letters x.•J (the same group element when the indices repre-
sent the same letter), th~ we obtain a fJalue of the word 'W in G. The group
generated by all possible values of 'Win G is called the fJerbal subgroup V (G)
tJSsociatetl 'With the 'Word w (see B. H. Neumann [4] ). V(G) is a fully
invariant subgroup of G, and if G is a free group, the converse holds (Levi
[3}). However, in the general case, a group may have fully invariant sub-
groups that are not verbal: for example, the group generated by all the
elements of finite order in a group G is fully invariant but need not be verbal.
Familiar examples of verbal subgroups of a group G are the terms of the
derived chain and of the lower central chain ( § 14), the group generated by
the k-th powers of all the elements of G, and so on.
Now let G" be a given set of groups; F= IT*G"' their free product;
•
C(F) = [G"],, the least normal subgroup ofF generated by all the conunu-
tators of the form [g,.. g~], a =F fJ, g11 € G,.. g~ e: G~; V(F), an arbitrary verbal
APPENDIXES 275
II"Ge~=F/(V(F)
Cl
nC(F))
satisfies all the requirements (i)-(iii) above.
The examples of Golovin and Miss Struik arise from special choices of the
verbal subgroups V(F).
It is known (S. Moran, unpublished) that there exist operations which
satisfy the requirements (i)-(iii) but are not verbal products.
Appendix X (page218)
The ~-subgroup both of finite and infinite groups has received much
attention in recent years. Some of the relevant papers are Baer [52, 55],
Gaschiitz [2], D. G. Higman [3], G. Higman and B. H. Neumann [11,
Hirsch [91, Huppert [31, Ito [71, Zacher p].
Appendix Y (page226)
Another class of generalized nilpotent groups is formed by the groups G
in which for any two elements g, h a commutator identity
[g, h, h, • • • 1 h1= 1
AsANo, K.
[1] Bemerktmgn fiber dw En:vlitmmg.rtlllorie t•on Gru""'· ]. lost. Polytec:h.
Osaka City Univ. Ser. A., vol. 5 (1954), pp. 75--ln
AYOUB, C. w.
[1] A theory of normtJl chaim, Canadian J. Math., vo1. 4 (1952), pp. 62-188.
[2] On the primary subgronp of a gronp, Trans. Amer. Math. Soc.. vo1. 72 (1952),
pp. 450-466.
AzUKAYA,G.
[1) On gnwrtlli::ed smsi-primary ritlgs and Knlll-Remall-Schmitlt's theornn,
Japan. J. Math., voL 19 (1948), pp. S25-547.
BAD, R.
[46) Kla.ssijikatio" der GnJppeneTV~eitenmgen, ]. reine angew. Math., vo1. 187
(1949), pp. 75--94.
[47] Free ffiObilit:y and orthogonality, Trans. Amer. Math. Soc., vol 68 (1950),
pp. 439--460.
[48) Bin Einbettungut~fll fir GrappiiMr'fllritmmgen, Arch. Math., voL 2 (1950),
pp. 178-185.
[49) Endlichlleitsllriterien fir Kommutatorgruppen, Math. Ann., voL 124 (1952),
pp. 161-177.
[SO] Factori::atitm of J&-.roltwle and n-nilpoterJt gronp, Proc. Amer. Math. Soc.,
voL 4 (1953), pp. 15--.26.
[51] Gronp elnnmts of prime pouocr i11de.s, Trans. Amer. Math. Soc.. vol. 75 (1953),
pp. 20-47.
[52] Nilpot~:~~t characteristic mbgrotl/ls of finite gronps, Amer. ]. Math., vo1. 75
(1953), pp. 63J.......#J.
[53] The h:ypercenter of a grottp, Acta Math., voL 89 (1953), pp. 165--208.
[54] Da.r H:yper:;entrum einer Gruppe. //,Arch. Math., vo1. 4 (1953), pp. 86-96.
[55] Das H:yper:;ntnlm riner Gn•/1/Jt!. Ill, Math. Zeit., vo1. 59 (1953), pp. 299-338..
[56] Du H:yper::eJJtrum einer Gn~ppe. 11/, Arch. Math., vol 5 (1954), pp. 56--59.
280 BIBLIOGRAPHY
[57] Direkte Faktore11 endlicher Gn,ppen, ]. reine angew. Math., vol. 192 (1953),
pp. 167-179.
[58] Supersolnble gro11ps, Proc. Amer. Math. Soc., vol. 6 (1955), pp. 16-32.
[59) Finite extensions of abelian groups with minin111m condition, Trans. Amer.
Math. Soc., vol. 79 (1955), pp. 521-540.
[60] iJber Nil-Gn4ppen, Math. Zeit., vol. 62 (1955), pp. 402--437.
[61] BuNJSitlesche Eigenschaften, Arch. d. Math., vol. 6 (1955), pp. 165-169.
[62] At4ftosbare Gr,ppen mit Muimalbedingung, Math. Amt., vol. 129 (1955),
pp. 139-173.
BAEVA,N. v.
*(1] Completely factori::able gro11ps, Doklady Akad. Nauk SSSR (N.S.), vol. 92
(1953)' pp. 877--880.
BEAUMONT, R. A. and ZucKERMANN, H. S.
[1] A characteri::ation of the subgrot4Ps of the additive rationals, Pacific J. Math.,
vol. 1 (1951), pp. 169-177.
BEST, E. and T AUSSKY, 0.
[1) A class of groups, Proc. Roy. Irish Acad. A, vol. 47 (1942), pp. 55--62.
BooNE, W. W.
[1] Certain simple unsolwble probletHs of gro11p theory. I, Nederl. Akad. Wet-
ensch. lndag. Math., vol. 6 (1954), pp. 231-237.
[2] Certain simple unsolvable problems of groop theory. JJ, Nederl. Akad. Wet-
ensch. Indag. Math., vol.16 (1954), pp. 492--497.
[3] Certain simple unsolvable problems of group theor)•. l/1, Nederl. Akad. Wet-
ensch. Indag. Math., vol. 17 (1955), pp. 252-256.
BOREVI~, z.I.
*[1) OJ£ homology gror•Ps comaected with a fru gro11p, Iz"-estiya Akad. Nauk
SSSR. Ser. Math., vol.16 _(1952), pp. 365-384.
*{2] On m' Abelian group with operators, Doklady Akad. Nauk SSSR (N.S.), vol.
91 (1953), pp. 193-195.
BBITTON, J. L.
[1] SolZ4tiofl of tilt u•ord problem for certain types of groups, Thesis, University
of Manchester, 1953; to appear in Proc. Glasgow Math. Assoc., vol. 3 (1956).
UMM,R.
[1] Simple free P,.oducts, J. London Math. Soc., vol. 28 (1953), pp. 66-76.
CARIN, V. s.
*[4] On the mini,nal condition for normal .miJgroups of locally soltrable gro,.ps,
Mat. Sborm"k N.S., vol. 33 (1953), pp. 27--36.
*[S] On groops of automorphi.rms of certain classes of soltrable groups, Ukrain.
Mat. Z., vol5 (1953), pp. 363--369.
*[6] On the grm•Ps of ar~tomorphist11s of nilpote11t groups, Ukrain. Mat. ~-. vol. 6
(1954), pp. 295--304.
281
CASADIO, G.
[1] Costnuione di gruppi come prodotto di sottogruppi permutabili, Rend. Mat.
sue Appl. Univ. Roma Ist. Naz. Alta ~rat. (5), vol. 2 (1941), pp. 348-360.
~EilNiltOV, s. N.
*[22] Groups with systetr&S of complemented Sllbgroups, Doklady Akad. Nauk SSSR
(N.S.), vol. 92 (1953), pp. 891-894.
*[23] Groups uith ~stems of complnnented .subgroups, Mat. Sbornik N.S., voL 35
(1954), pp. 93-128.
*[24) On the complementation of the S;ylou! IT-subgroups in some classes of infinite
gr011.ps, Doklady Akad. Na.uk SSSR (N.S.), vol. 102 (1955), pp. 457-459.
CHABLES, B.
[1) Le centre de l'annetJu des mdomorpllisms tfun groupe abelien prifiUJire, C.R.
Acad. Sci. Paris, vol. 236 (1953), pp.l122-1123.
CHEHATA, c. G.
[1] An algebraically .simple ordered group, Proc. London Math. Soc. (3), vol. 2
(1952), pp.l83-197.
[2} CommuttJiitle extension of partilll automorphimu of groups, Proc. Glasgow
Math. Assoc., vol.l (1953), pp.l70-181.
[3] Simultane0111 extension of Partial mdomorphimu of groups, Proc. Glasgow
Math. Assoc., vol. 2 (1954), pp. 37-46.
CHEN,K. T.
[1] Integration in free groups, Ann. Math. (2), voL 54 (1951), pp. 147-162.
[2] Commutator calculus and link i71't'tJriants, Proc. Amer. Math. Soc., voL 3
(1952), pp. 44-55.
[3) A gr011.p ring method for finitely generated groups, Trans. Amer. Math. Soc.,
vol. 76 (1954), pp. 275--S.
CHEVALLBY, c.
[1] 0• .some simple groujs, Tohoku Math. J. (2), vol. 1 (1955).
CLowEs, J. s.
[1] On gr011.ps of odtl order, ]. London Math. Soc., voL 27 (1952), pp. 507--510.
CoHN, P.M.
[1) GeneraZi.ratioJJ of a theorem of Magnus, Proc. London Math. Soc. (3), voL 2
(1952), pp. 297--110.
[2] A c01111tably genwated group which cannot be C(lf}Wed by finite permwtable
.subsets,]. London Math. Soc., vol. 29 (1954), pp. ~-
28Z BIBLIOGJIAPBY
s.
Ct:~IBI!Ii' A.
*[11] On U!eakming the conditio11s in thetWems of SylD'l~ts type, Doklady Akad.
Xauk SSSR (X.S.), vol. 83 {1952), pp. 663-:-665·
*[12] On subgroups of a finite gro11p, Doklady Akad. Nauk SSSR (N.S.), vol. 86
(1952)' pp. 27-30.
*[13] On the embcdtli11g and nu111btr of sttbgroups of IT-separable groups, Doklady
Akad. Nauk SSSR {X.S.), vol. 91 (1953), pp. 461--462.
*[14] On esisttJrct anti conjugacy of subgrortps of a finite group, Mat. Sbornik N.S.,
vol. 33 (1953), pp. 111-132.
*[15] On the decomposition of IT-separable gr011ps into a product of subgrOflps,
Dok1ady Akad. Nauk SSSR (N.S.), vol. 95 (1954), pp. 725-'lZJ.
*[16] On factori.:·ation of finite groups, Doklady Akad. Nauk SSSR (N.S.), vol. '11
(1954), pp. 977-980.
DIETZMANN, A. P.
*[8] 011 criteria for noJr-.ritJrplicity of groups, Doklady Akad. Nauk SSSR (N.S.),
vol. 44 (1944), pp. 89--91.
DouGLAs,].
[1] 011 finite groups uoith. tu•o independent gmerattWs, Proc. Nat. Acad. Sci.
U.S.A., vol. 37 (1951), pp. ~10, 677~1. 749-760,808-813.
DYUBYVK, P. E.
*[2] On tile automorphisms of Jl-groups, Mat. Sbomik N.S., \"OJ. 18 (1946), pp.
281-298.
*[3] On tlte number of subgroups of aJ& abelitJn Jl-grOIIp, Isv. Akad. Nauk SSSR.
Ser. Mat., voL 12 (1948), pp. 351--378.
*[4] On tile nr~t~~ber of subgroups of gir•en indes of a finite p-gror~p, Mat. Sbomik
N.S., vol. 27 (1950), pp. 129-138.
*[5] On the nttmber of stlbgroups of certain categtWies of finite p-groups, Mat.
Sbomik N.S., voL 30 (1952), pp. 575-580.
EAsTERJI'IBLD, T. E.
[1] The orders of products and c-tators in prime-power groups, Proc. Cam-
bridge Philos. Soc., vol. 36 (1940), pp. 14-26.
Ecx:MANN, B.
[2] Cohomology of gro11ps and transfer, Atm. of Math. (2), vol. 58 (1953),
pp. 481-493.
EDEJ.':auN, S. L.
*[1] On the p..normal slries of a group, Doklady Akad. Nauk SSSR. (N.S.), voL
79 (1951), pp. 209-212.
Eu.BNBERG, S.
[1] Topologictll metlaods ia abstrGct algebra. CohomologJ• tlteory of groups, BulL
Amer. Math. Soc., vol. 55 (1949), 3--37.
BIBLIOGL\PBY 283
EJmOs,J.
[1] The theory of groups urith finite cloues of conjugGte elemmts, Acta :Math.
Ac:ad. Sci. Hungar., vol. 5 (1954), pp. 45-58.
[2] On direct decompositions of torsion-free t~belian grou~s, Publ. Math. Debrecm,
vol. 3 (1954), pp. 281-288.
FADDBEV, D. K.
*[3) On tJ theoret~~ iJS the theory of homology groups, Doklady Akad. Nauk SSSR
(N.S.), vol. 92 (1953), pp. 703-705.
Fox,R.H.
[1] On Fmchel's co11jecture t~bout F-groufls, Mat. Tidskr. B (1952), pp. 61-65.
[2] Free differmtial calculru: I. DeriuGtion mtl&e free grou~ riag, Ann. of Math.
(2), vol. 57 (1953), pp. 547-560.
[3] Free differmtitJl calculru: II. The isomorphism problem of groups, Ann. of
Math. (2), vol. 59 (1954), pp. 196-.210.
[4] Free differmtitJl cGlculus: Ill. Ann. of Math. (2),
FuCHs, L
[1] The direct sum of cyclic gror~ps, Acta 'Math. Ac:ad. Sci. Hungar., vol. 3 (1952),
pp. 177-195.
[2] Uber die Zerlegrmg emer Gruppe nach swri U11tergrupta, Monatsh. Math.,
vol. 57 (1953), pp. 109-112.
[3) On Gbelitm grou~s in 'Which tl&e cltuses of isomorphic pro~er ,.bgrtlfl/11 coa-
ttlin tl&e lfJ1M umber of subgrtlfi/Js, Ceboslovac:k. Mat. 2. (2), vol77 (1953),
pp. 387-390.
[4] 011 the structure of t~belitJJJ fJ-groups, Acta Math. Ac:ad. Sci. Hungar., vol. 4
(1953), pp. 267-288.
[5] On t1 qeciGI kind of duality mgroup theory. II, Acta Math. Acad. Sci. Hungar.,
vol. 4 (1953), pp. 299--314.
[6) o,.tJ property of btJSic subgroups, Acta Math. Ac:ad. Sci. Hungar., vo1. 5
(1954), pp. 143-144.
GAcs.U.n. S.
[1] o,. GlgebrtJictJlly closed t~belitm groups, PubL Math. Debrecen, vot 2 (1952),
pp.~
[2] o,. /JUre subgroups and direct Sfjfllftlllllds of Gbelitm groups, Publ. Math. Debr&-
cen, vol. 4 (1955), pp. 89--92.
284 BIBLIOGRAPHY
GASCBL'TZ, w.
[1] Zw Erweiterungstheorie dcr endlicllen Gruppen, ]. reine angew. Math., vol.
190 (1952), pp. 93-107.
[2] Uber die i/1-Ur~tergr~~ptm endlicher Groppen, Math. Zeit., vol. 58 (1953),
pp.160-170.
[3) Groppm deren siimtliche Untergruppen Zentralisatoren sind, Arch. Math.,
vol. 6 (1954), pp. S-8.
GLuiB:ov, V. M.
*[5] On the central series of infinite groups, Mat. Sbomik N.S., vol. 31 (1952),
pp. 491--496.
GoL'BDG, P. A.
*[4] Sylow bases of infinite groups, Mat. Sbomik N.S, vol. 32 (1953), pp. 465-476.
*[5] On a colldition for conjtl!lfJC'J of Sylow fi-bases of an arbitrary group, Mat.
Sbornik: N.S., vol. 36 (1955}, pp. 335--340.
GoNCALVES,]. V.
[1] On groups hmring a set of p-Sylou• subgroups, Univ. Lisboa. Revista Fac. Ci.
A. Ci. Mat. (2), voL 2 ( 1952), pp. 161-168.
Goae!NsKif, Yu. N.
*[l] Groups Ulith a finite JJumber of classes of conjugate eletnents, Mat. Sbomik
N.S., vo1. 31 (1952), pp.167-182.
*[2] Periodic groups uoith a finite number of classes of conjttgate elemmts, Mat.
Sbomik N.S., voL 31 (1952), pp. 209-Z16.
GliEEN,]. A.
[1) On groups tvith odd prime-power exponent, ]. London Math. Soc., voL Zl
(1952), pp. 467-485.
GRIFFJTBS, H. B.
[1] A note on cmmnutators in free products, Proc. Cambridge Phil. Soc., voL 50
(1954),pp. 178--18&
[2) A note on commutators iJJ free J>roducts 11, Proc. Cambridge Phil. Soc.,
voLS1 (1955), pp. 245--251.
GaiiN,Orro
[7] Uber c>iM gewisse Klaue t:•on mdlichen Gr~~ppe", Mat. Nachr., vol. 8 (1952),
pp. 167-169.
[8] Beilrllge6W Gn~ptmthlorie. V, Osaka Math.]., voL 5 (1953), pp. 117-146.
[9) Uber das direllte Prodrtllt regul/Jrer p-Gr~~ppm, Arch. Math., vol. 5 (1954),
pp. 241--243.
BIBLIOGilAPBY
GRUENBERG, K. w.
[1] A JJOte on 11 theorem of Burnside, Proc. Cambridge Phil. Soc., vol 48 (1952),
p. 202.
[Z] Tu'O theorems OJJ Engel groups, Proc. Cambridge Phil Soc., vol. 49 (1953),
pp. 377-38).
[3] Residual Properties of groups, Proc. London llath. Soc. (3), vol. 6 (1956).
HAEPELI-HUBER, V. E.
[1] Eifs Duali.rmu.r al.r Klassifiko.tion.rprin.:ip in der o.b.rtro.kten Grrcppentheorie,
Thesis, University of Zurich (1948).
HAIXO, F.
[2] A clo..u of ifl'l•erselimit groups, Amer. J. Math., vol. 71 (1949), pp. 171-177.
[3) Group.r f.tlitla 11 certo.ia cOIIdition 011 conjugates, Canadian ]. Math., vo1. 4
(1952)' pp. 369--372.
[4] Some JJOJI-IJbelitm esten.rion.r of completely divi.rible groups, Proc. Amer.
Math. Soc., vol. 5 (1954), pp. 256-258.
[5) AutomorPhi.rm.s gmerated by 11 cla.r.r of .rulmormo.l.rubgroup.r, Duke Math.].,
vol. 21 (1954), pp. 349--353.
[6) The FC-chaifs of 11 group, Canadian]. Math., vot 5 (1953), pp. 498-511.
[7] POWIT-t;vPe mdomorphi.rms of some cla.r.r 2 groups, Pacific J. Math., vol. 5
(1955), pp. 201--213.
[8] Ntn"ffltJl outomorplai.rm.r tJnd their jised points, Trans. Amer. Math. Soc.,
vol. 78 (1955), pp.1~167.
HAr6s,G.
[1) Svr Ia factoristJtion us groupes Gbilim.r, Casopis Pest. Mat. Fys., vol. 74
(1949), pp.157-162.
[2] Svr le probletM de /tJCtori.rtJtion du groupes c;vcliquu, Acta Math. Acad. Sci.
Hungar., vol. 1 (1950), pp. 189-194.
HAimN,H.
[1] Ztm~ Idmtitiitsproblem bei Gruppen, Math. Zeit., vol. 56 (1952), pp. 335--362.
HAI.L, M., ]L
[5] Subgroups of free products, Pacific J. Math., vol 3 (1953), pp.llS-120.
[6] On a theorem of Jordan, Pacific J. Math., vol 4 (1954),pp.219-226.
HAIJ.., P.
[11) The splitting properties of relatiwly free groups, Proc. London Math. Soc.
(3), vol. 4 (1954), pp. 343-356.
[12] Finiteness conditio11.r for soluble groups, Proc. London Math. Soc. (3), vol4
(1954), pp. 419-436.
[13] Tneorem.r like Sylorrls, Proc. London Math. Soc. (3), voL 6 (1956).
286 BIBLIOGRAPHY
HAN"INlt, G.
[1] 1•erlagerung und X ichteinfachhtit 11on Grupp,., Monatsh. Math. Phys., vol. 50
(1942), pp. 207--233.
HIGMAN, D. G.
[1) Lattice homomorplrisms ind11ced b3• group homomorphisms, Proc. Amer. Math.
Soc., vol. 2 (1951), pp. 467--478.
[2] Focal series uJ finite groups, Canadian J. Math., vol. 5 (1953), pp. 477--497.
[3] R~~~~t~rks on splitting estmnons, Pacific J. Math., vol. 4 (1954), pp. 545-555.
HIGMAN, G.
[5] Almost free groups, Proc:. Landon Math. Soc. (3). vol. 1 (1951), pp. 284--290.
[6] On tJ problem of Takahui, ]. London Math. Soc., vol. 28 (1953), pp. 250--252.
[7] On infinite simple ptrmutation groups, PubL Math. Debrecen, vol. 3 (1954),
pp. 221-226..
[8) A r~~~~t~rk on finitely gtntrated nilpotent gro11ps, Proc:. Amer. Math. Soc.,
vol. 6 (1955), pp. 284--285.
[9] Finite groups lunJing isomorphic images in t7.'WJ finitt group of which tilt,
ore homomorphic imagts, Quart. J. of Math. (Oxford Series), (1956).
[10] On finite groups of espOIIIJJt frue, Proc. Cambridge Phil. Soc., vol. 52 (1956).
Hmscs,K.A.
[6] 03 tJ theorem of Burnsidt, Quart.]. Math. Oxford Ser. (2), vol. 1 (1950),
pp. 97--99.
[7] Sur Its groupts resolubles a ctmdition muimalc, Colloques lntemat. clu
CNRS., vol. 24 (1950), pp. ~10.
[8) On infinite soluble grm•p. IV,]. London Math. Soc., vol. 27 (1952), pp. 81-
85.
[9] 03 infinite soluble groups. V, ]. London Math. Soc., vol. 29 (1954), pp. 250-
254.
[10] Ubtr loktJkilpotenle Gnppen, Math. Zeit., vol. 63 (1955}, pp. 29().......294.
HOCRSCIIILD, G. and SEDE, J.-P.
[1) Cohomo'hlgy of group estensions, Trans. Amer. Math. Soc., vol. 74 (1953},
pp. 110-143.
HoNDA,K.
[1] 03 primary groups, Comment. Math. Univ. St. Paul, vol. 2 (1954), pp. 71-83.
BIBLIOGllAPBY 287
HliNIG, c. s.
[1] Classification of the additit•e grortPs of rational nrmsbers, Bot. Soc. Mat. Sio
Paulo. vol. 3, no. 1-2 (1948), 37-47 (1951). [In Portuguese.]
HowsoN, A. G.
[1) On the intersection of finitely gmerated free grortps, ]. London Math. Soc.,
vol. 29 (1954), pp. 428--434.
HUGHES, N. ]. S.
[1] The fiSC of bilinear mappings in the classification of groups of cltw 2, Proc.
Amer. Math. Soc., vol. 2 (1951), pp. 742-747.
[2] The nniquc decDttlposition of regular •-linear mappings as direct products,
Proc. Amer. Math. Soc., vol. 3 (1952), pp. 359--362.
HuPPERT, B.
[1] Uber dtu Prodrtkt von paarwcise vertauschbarm syklischm Gruppm, Math.
Zeit., vol. 58 (1953), pp. 243-264.
[2] Uber die A•flosbarkeit faktorisierbarer Gruppen, Math. Zeit., vol. 59 (1953),
pp.1-7.
[3] Normalteiler rmd muimale Untergruppen mdlit:her Gruppm, Math. Zeit.,
vol. 60 (1954), pp. 409-434.
HUPPEllT, B. and I~, N.
[1] Uber die AsflOsbarkeit faktori.rierbarer Gruplefl. II, Math. Zeit., vo1. 61
(1954), pp. 94-99.
I'l'C, N.
[1] Note 011 p.groups, Nagoya Math. J., vol 1 (1950), pp. 113-116.
[2] Note 011 (LM)-groups of finite orders, Kodai Math. Sem. Rep., (1951),
pp.1-6.
[3] A theorem 011 the alternating group A.(n > 5), Math. Japcmicae, vol. 2
(1951), pp. 59-6).
[4] Remarks 011 factori::Gble gro11ps, Ann. Sci. Math. Szeged, vol. 14 (1951),
pp.83--84.
[5) On a theorem of L. RNlei and/. SJIIp concerning p.groups, Ann. Sci. Math.
Szeged, vo1.14 (1952), pp.186-187.
[6) Note 011 A-grosps, Nagoya Math.]., vo1. 4 (1952), pp. 79---81.
[7] Note 011 S-groups, Proc. Japan Acad., ,·ol. 29 (1953), pp. 149-150.
[8) Remarks 0110. Griif(s paper "Beilrlge t:fW' Gnlppentheorie Ill," Math. Nacbr.,
vol 6 (1952), pp. 319--325.
[9) On IT-structures of finite groups, T8hoku Math. J. (2), vol. 4 (1952), pp.172-
177.
[10] o,. the factorisation of the linear fraclitmal group LF (2, pa), Acta Sci. Math.
Szeged, vo1.15 (1953), pp. 79--84.
[11) Uber dtu Prodflkt 71011 S'lllei abilsche Gruppen, Math. Zeit., vol. 62 (1955),
pp. 400-401.
[12] Uber dtu Prodflkt fiOfl ::wei syklischm 2-Gnlppen, Nagoya Math.]., (1956).
288 BJBLIOGR.APBY
IWASAWA, K.
[4] On linear/)• ordered groups,]. Math. Soc. Japan, vo1.1 (1948), pp.1-9.
]ENNINGS, s. A.
[2] The group ring of a class of infinite nilpotmt groups, Canadian J, Math., vol 7
(1955), pp.169-187.
KAl.oU]NINE, L
*[13] Uber eine Verallgemeintnmg der ji-Sylou!grlltptlz synunetrischer G"'ppm,
Acta Math. Acad. Sci. Hungar., vol. 2 (1951), pp. 197--.221.
[14] Uber grwisse Be&iehrmgm zrt.Vt:hen tillt!T Gf't4pte und ihren Ar~tomorphi.rmerJ,
Bericht Math. Tagung Berlin, January 1953, pp. 164--172.
:KAPI.ANSICY, I.
[4) Some remit on abelitm gr011ps, Proc. Nat. Acad. Sci. U.S.A., vol. 38 (1952),
pp. 538-540.
ICEKBADZE, S. S.
*[3) 0• the detl.nflifuJtion of reglllar p-gr011ps, Uspehi Matern. Nauk (N.S.), vol. 7
(1952), No.6 (52), 193--196.
KaTEsz,A.
[1] On gr011ps ft'lf".Y subgr011p of which is tJ dirut .mm1fl4nd, Publ. Math. Debre-
cen, vol. 2 (1951), pp. 74-75.
[2] On the decomPombility of obelion jl-groups into the direct .rum of cyclic
groups, Acta Math. Acad. Sci. Htmgar., vol. 3 (1952), pp. 121-126.
[3) On fully decomposable obelia• torsiOJS groups, Acta Math. Acad. Sci. Hungar.,
vo1. 3 ( 1952). pp. 225-232.
[4] 0. tJ theorem of Kulikw and Dieudonnt, Acta Sci. Math. Szeged, vol 15
(1953), pp. 61-69.
[5] Oa subgroups tmtJ laomomorplric images, Publ Math. Debrec:en, vol. 3 (1954),
pp. 174--179.
KnrOSITA, Y.
[1] On an enutnerotiOJS of certain .mbgr011ps of a p-gra~~p, J. Osaka Inst. Sci.
Tech., Part I, vol 1 (1949), pp. 13--20.
BIJILIOGBAPBY 289
KNOCBB, H. G.
[1) Uber den Frobntius'schen Klassenbegriff m nilpotenten Gruppm, Math. Zeit.,
vol. 55 (1951), pp. 71---83.
[2) Uber dm Frobmiru'schen Klassenbegriff in nipotmten Gncpen. II. Math.
Zeit., vol. 59 (1953), pp. S--16.
KocBENuOuna, R.
[1] Zw Theorie des Rltlei.schen schiefen Produktes, ]. reine angew. Math., vol.
192 (1953), pp. 96--101.
KosTRIItiN, A. I.
*[1) Solution of the restricted Burnside problm& for the esponmt 5, Izvestiya
Akad. Nauk SSSR. Ser. Mat., vol. 19 (1955), pp. 233--244.
KuBN,H. W.
[1) Subgroup theorm&s for groups P,.esmted b;p generators and relalitm.r, Ann. of
Math. (2), vol. 56 (1952), pp. 22--46.
Kuu~tov, L. YA.
*[4) Generalised /WiftltJry groups. /, Trudy Moskov. Mat. Oble.., \-ol. 1 (1952),
pp. 247--326.
*[5) Generali::ed primary gror~ps. II, Trudy llloskov. Mat. 0~, vol. 2 (1953),
pp. 85-167.
LAzARD, M.
[1) Sur certaines suites d'elhnents dans les groupes libres et leurs estmsions,
C. R. Acad. Sci. Paris. voL 236 (1953), pp. 36--38.
[2] Problmws d'estensions concemtml les N-grOJCpes; in71trsion de lG fOf'fllwll de
Hmudorff, C. R. Ac:ad. Sci. Paris, vol. 237 (1953), pp. 1377-1379.
LEmmxANN, W. and NEUKANN, B. H.
[1] On the order of the automorphism group of a finite group./, Proc. Roy. Soc.
A, (1956).
LYNDON, R. c.
[4) Two notes on nilpotent yror~ps, Proc. Amer. Math. Soc., voL 3 (1952),
pp. 519--583.
[5] On the Fuclu-RabmMJil strics for free grortps, Portugal. Math., voL 12
(1953), pp.llS-118.
[6] On Bunasitl4's probletn, Trans. Amer. Math. Soc., voL 71 (1954), pp. 20Z-
215.
[7] On BtmUidt's problm&.II, Trans. Amer. Math. Soc., voL 78 (1955), pp. 329--
332.
McL.uN, D. H.
[1] A characteri.rticall~-sitn;le group, Proc. Cambridge Phil. Soc., voL SO (1954),
pp. 641-642.
[2] A class of locGll:y nilpotent grov}ls, Thesis, Cambridge, 1956.
BIBLIOGBAPHY
MACLAn,S.
[J] CohOfNJlog}' theory of abelian grotlps, Proc. Int. Congr. Math. Cambric
Mass. 1950, vol. 2, pp. 8-14.
MAL'CEV, A. I.
*[11] On ordered groups, Izvestiya Akad. Nauk SSSR. Ser. Mat., vol. 13 (19-
pp. 473-482.
*[12] On the ctm~pletion of group order, Trudy Mat. Inst. Steklov, vol. J8 (195
pp. 173-175.
MATSUSHITA, S. J.
[1] Sw 1tJ p.iuance des ordres das rm groupe fibre, Nederl. Akad. Wetens~
lndag. Math., vol. 15 (1953), pp. 15-16.
MEIER-WUNDERLI, H.
[2) Metabelsche Gn~ppm, Comment. Math. Helv., ,·ol. 25 (1951), pp. 1-10.
[3) Note OIIIJ basis of P. H Gll for the higher ctm~mutators in free group,, Comme1
Math. Helv., vol. 26 (1952), pp.l-5.
MIU.D, C.
[1] Tlu second hcn11ology gr011P of a group; relations among commuiiJtors, Pro
Amer. Math. Soc., vol. 3 (1952), pp. 588-595.
MI~INA, A. P.
*[3) Oa the isomorphism of COfiiPlete direct '""" of abelian groups of rlmk
without torsion, Mat. Sbornik N.S., voL 31 (1952), pp. llS-127.
MORAN,S.
[1] Auociafi'l.re operations on grou# I, Proc. London Math. Soc. (3), vol.
(1956).
NAGAO, H.
[2] A note on estensions of groups, Proc. Japan Acad., vol. 25 (1949), No. 1()
pp.ll-14.
NEUMANN, B. H.
[11] W'oufJs uitl1 foaite classes of conjrtgate ell!fiii1Jts, Proc. London Math. Soc
(3), voL 1 (1951), pp. 241-256.
[12] A note 011 algebraically closed groufJs, J. London Math. Soc., vol. 27 (1952)
pp. 247-249.
[13] On a problma of Hopf, ]. London Math. Soc., vol. 28 (1953), pp. 351-353.
[14] A note 011 ffllfiM in groups,]. London Math. Soc., voL 28 (1953), pp. 47Z-
476.
[15] W'Dti#S COflered by permatable subsets,]. London Math. Soc., vol. 29 (1954),
pp. 236--248..
[16] Aa lfflbetlding tluorltfl for Glgebraic I'J/Itlffll, Proc. London Math. Soc. (3),
vol. 4 (1954), pp.138-153.
BIBLIOGRAPHY 291
[17] AJS essay em free Jwodru:ts of groups with amalgamatimu, Pbilos. Traus. Roy.
Soc. A, vol. 246 (1954), pp. 503-554.
[18] Grouts cwered by jmitely many cosets, Publ Math. Debrec:en, vol. 3 (1955),
pp. 227-242.
[19] Grouts with finite classes of conjugate Sllbgrotc/Js, Math. Zeit., voL 63 (1955),
pp. 76-96.
[20) Ascending derit~ed series, Compositio Math., vol. 30 (1956).
[21] Groups with tJUtOfftOf'phisms that leaw only the MUfral eletllftlt fi$ed, Arch.
Math, vol. (1956).
[22] 0" a qwsticm of Ga.rcltiibl, Arch. Math, vol 7 (1956).
NEUKANN, B. H. and NEUKANN, H.
[3] &tending partial entlOfftOf'thisflu of groups, Proc. London Math. Soc. (3),
vol. 2 (1952), pp. 337-348..
[4] OJS a class of abelian group, Arch. Math., vol. 4 (1953), pp. 79--85.
[5] A ccmtribution to the mtbeddmg theory of group amalgaflll, Proc. Londou
Math. Soc. ( 3), vol 3 (1953), pp. 243-256.
[6] Partial endomorphisms of finite grm1ps, ]. London Math. Soc., vo129 (1954),
pp. 434--440.
NEUKANN, H.
[4] On the intersection of Jmjtely glfSirated grou/Js, Publ. Math. Debrecen, vol. S
(1956).
NIELSEN,].
[S] The cammtctator group of the free Jwoduct of cyclic group, Mat. Tidsskr. B.
(1948), pp. 49-56. [In Danish.]
[6] A study ccmcernmg the Con!/f'UIIICI Sllbgrou/Js of the modular group, Danske
Vid. Selsk. Mat.-Fys. Medd., vol. 25, No. 18 (1950), 32 pp.
[7] A btui.r for subgrou}s of free group, Math. Scand., vol. 3 (1955), pp. 31-43.
Novncov, P. S.
*[2) UMolwbilily of the con.jugtJCy Jwobte. i1S the theory of groups,J.zv. Akad.
Nauk SSSR. Ser. Mat., vo118 (1954), pp. 485-525.
*[3] Algorithmic un.solwbility of the identit)• Jwoblmt, Trudy Mat. Inst. Steklov,
vol. 44 (1955).
Oifo, K. and Tsnox, T.
{1] Remarks on grou/Js, Sci. Rep. Yokohama Nat.· Univ., Sect. I, vol. 2 (1953),
pp.13-15.
PETRESCO, J.
[1] Surles commr~tateurs, Math. Zeit., vol. 61 (1954), pp. ~56.
Pxc,GH.
[1] Sur le quasi-c,.,.e rlun groupe, ~?.4 Repab. Pop. Romine. Stud. Cere.
Mat., vol. 4 (1953), pp. 7~1. [In R()J:Ilanian.]
BIBLIOGBAPIIY
'~'• B. I.
1 On the theory of solT.'tlble torsion-free groups, Doklady Akad. Nauk SSSR.
(N.S.), vol. 84 (1952), pp. 665-668..
1 On nil groups, Doklady Akad. Nauk SSSR. (N.S.), vol. 94 (1954), pp. 999-
1001.
1 Lattice iso•orPhisms of solt'tlble R-gro11ps, Doklady Akad. Nauk SSSR.
(N.S.), vol. 95 (1954), pp. 1141-1144.
'1 On some criteria of locally nilpotntf gr011ps, Uspehi Mat. Nauk (N.S.), vol. 9
(1954), No.3 (61), pp. 181-186.
:1 On the nil-radical of a gr011p, Doklady Akad. Nauk SSSR. (N.S.), vol. 98
(1954), pp. 341--343.
1) On the theory of sol'i'tlble, torsioJJ-/ree gr011ps, Mat. Sbornik (N.S.), vol. 36
(1955), pp. 31--38.
)] On the theory of soltrable gr011Ps with finiteness conditions, Doklady Akad.
Nauk SSSR. (N.S.), vo1.100 (1955), pp. 417-420.
t.
l) A theornn on abelian groups,]. London Math. Soc., vol. 22 (1947), pp. 219-
226.
!) A proof of the basis theorem for ji11itel;y generated abelian groups,]. London
Math. Soc., vol. 26 (1951), pp.74-75,160.
L.
1] Das "schiefe Prodfikt" in der Gruppentlaeorie mit Am:c•endung auf die end-
lichen nicht kommutativm Gmppn' mit Iauter kommutativen echtm Unter-
gruppm und die Ordnungs::ahlm, =t' dmm mar kommutali'ue Gruppen gei&Orm,
Comment. Math. Helv., vol. 20 (1947), pp. 225-262.
2) Vereinfachter Brweis des Sat=es flon MinkOtt•ski-Haj6s, Acta Sc:i. Math.
Szeged, vol. 13 (1949), pp. 21-35.
3) DW Reduktion des gruppmtheoretisc'hm Sat::es fiOn Hajos auf den Fall~~tm
P-Gm;;en, Monatsb. Math. Pbys., vol. 53 (1949), pp. 221-226.
4] Kurt:er Beuoeis des gntP/It'PitheoretischiiJ Sat::es t•on Haj6s, Comment. Math.
Helv., vol. 23 (1949), pp. 272--282.
5) Die Anv.rendung des schiefm Produktes in der Gruppentheorie, ]. reine angew.
Math., vol.188 (1950), pp. 201-227.
6] Em Sal:: iber die endlichm einfachen Grunen, Acta Math. Copenhagen,
vol. 84 (1950), pp.129-153.
71 Zur Theorie der faktorisierbarm Gruppen. I, Acta Math. Acad. Sci. Hungar.,
vol. 1 (1950), pp.74-98.
8) Die mdlichtm Grup;mohne direkt unurlegbare Untergruppen, Math. Ann.,
vo1.122 (1950), pp.127-130.
9] Endlich-projektiflgeometrisches AMlogan des MinkOtuskisrhen Fllndammtal-
stlf6es, Acta Math. Copenhagen, vol. 84 (1950), pp. 155-158.
OJ tJber dj, Basen mtllicher GmPim, Math. Zeit., vol. 53 (1951), pp. 454--455.
BIBLIOGRAPBY 293
[11] Em Beilrr!.g .sum Problem der Faktori.mticm vcm tmdlichm abelschm GnlptJen,
Acta Math. Acad. Sci. Hungar., vol.1 (1950), pp. 197-$11.
[12] Die Einfachheit der altemiermdm Grup;e, Yonatsh. :Math. Phys., voL 55
(1951), pp. 328--329.
[13] Die Holotnorphentheorie fiir Gnppen rmd Ringe, Acta Math. Acad. Sci.
Hungar., vol. 5 (1954), pp.169-194.
R.Eom, L. and Snumu..D, 0.
[1] Gegmseitige Schreiersche Gruppenera.•citerrlngen, Acta Sci. Math. Szeged,
vol.15 (1954), pp. 243-250.
REoa, L. and STI:)o, A.
[1] Uber ein s;esielles schiefes Produkt in der Grv.ppmtheorie, Acta Sci. 'Math.
Szeged, voL 15 (1953), pp. 7-11.
~.L.andSriP,J.
[1] Ubw die tmdlichen tsilpotenten Gnppen, Monatsh. Math. Phys., voL 55 (1951),
pp. 2()().....205.
Ru,R.
[1] On order-ed, finitely generated, .rol'llable gr0t1ps, TraDS. Royal Soc:. Canada Sec.
III, vol. 48 (1954}, pp. 39-42.
Rmm,l. s.
[1) A geMral isomorphism theorem for factor grDflp.r, Math. Mag., voL 24 (1951).
pp. 191-194.
ROBINSON, A.
[1] Note on an embitlding theorem for algebraic s,.rtems, ]. London Math. Soc..
vol. 30 (1955}, pp. 249-252.
SASIADA,E.
[1] On abelian groups ruery etmJJtable subgroup of u•hich i.r an endomorphic
image, BulL Acad. Polon. Sci. 0. III, voL 2 (1954), pp. 359--362..
SATO, s.
[2) Note on ltJttice isomorphisms between abelian groups and ncm-abelian groups,
Osaka Math.]., vol. 3 (1951 ), pp. 215--220.
[3) On the lattict homomorPhisms of infinite groups. I, Osaka Math. J., voL 4
(1952), pp. 229-234.
SCBBNB:KAN, E.
[1) A genwali::aticm of the central elements of ts group, Pacific J. Math., voL 3
(1953), pp. 501-504.
[2) Two theorems OJJ finitely generated groups, Proc. Amer. Math. Soc., vol. 5
(1954),pp.497-49~
[3) The esistmce of order automor;lai.rm.r of SOflll nilpotent groups of class 2,
Proc. Amer. Math. Soc., ,.ol 6 (1955), pp. 6-11.
[4) The splitting of certain solwble grottps, Proc. Amer. Math. Soc., vol. 6 (1955),
pp. 286-290.
294 BIBI.IOGBAPBY
SCBIE.K, H.
[1) BmterkUHg iiber eine Relation iJJ freiell Gruppen, Math. Ann., vol 126 (1953),
pp. 375-376.
SCOTT, W. R.
[3) MetDJS in groups. Amer. ]. Math., vol. 74 (1952), pp. 667-675.
[4) The n11mber of .rubgroups of git•en intles in nontlenwmerable abelian groups,
Proc. Amer. Math. Soc., vol. 5 (1954), pp. 19--22.
(5) 0• the order of the fJtltomorphism group of a finite group, Proc. Amer. Math.
Soc., vol. 5 (1954), pp• .23-24.
SEGAL, I.E.
(1J The non-esi.rtence of a relation which is tffJiid for all finite groups, Bot Soc.
Mat. S1o Paulo, vol. 2, No.2 (1947), pp. 3-5 (1949).
SESEKIN, N. F.
*[2) o,. the tl}eory of locally •ilPotftt torsi01f-free groups, Doklady Akad. Nauk:
SSSR. (N.S.), vol. 84 (1952), pp. 225-228..
*[3) Ors locally 11ilpotmt torsi01f-/ree groups, Mat. Sbornik N.S., vol. 32 (1953),
pp. 407-442.
SKIRNOV, D. M.
*[2) On automorphi.rms of solwble groups, Doklady Akad. Nauk SSSR. (N.S.),
vol. 84 (1952), pp. 891-894.
*[3) On groups of fJtltomorphi.rms of solt.ffJble groups, Mat. Sbornik N.S., vo1. 32
(1953),pp.365--J84.
*[4) On groups with upper centrGl .series, Mat Sbonuk N.S., vol. 33 (1953),
pp. 471-484.
*[5] lnfraimlarillnt subgroups,~ Zap. Ivanovsk PeeL Inst., vol. 4 (1953), pp. 92-
96.
SPECKER, E.
[1) Atlditiw Gruppm t'Oif Folgm gaN:er Zahlm, Portugal, Math., vol. 9 (1950),
pp. 131-140.
STENDER, P. V.
*[1) On the opplicatioll of the sirue tMtlrod to the solution of the word problem
for certain groups with a tlmutMTGble set of generating elmaents tJiftl a de-
umerable set of defUsing relatioru, Mat. Sborm'k N.S., vol. 32 (1953),
pp. 97-108.
BIBLIOGRAPB:Y 295
STilUIK, R. R.
[1) 0• as.rociative #otlucts of groufls, BuD. Amer. Math. Soc., vol. 61 (1955),
pp. 219--220; to appear in Trans. Amer. Math. Soc.
SuzuKI, M.
[3) 0• the finite groups tt.'ith 11 complete PtJrtition, ]. Math. Soc. Japan, vol. 2
(1950), pp.165-185.
[4] A cluJracteri::tJtion of the simple groups LF (2, p), J. Fac. Sci. Univ. Tokyo,
Sect. 1., vol. 6 (1951), pp. 259--293.
SzEKEREs, G.
[2] On a certain class of metabeliiJn groufls, Ann. Math. Princeton (2), vol 49
(1948), pp. 43-52.
[3) Determination of a certain family of finite metabelian groups, Trans. Amer.
Math. Soc., vol. 66 (1949), pp. 1-43.
SZBLB, T.
[5) Neuer t•ereinfachter Beu.•eis des gruppentlr.eor~tischen Sat:;es tron Haj6s,
Publ Math. Debrecen, vol 1 (1949), pp. 56-62.
[6] Uber die direkta Teiler der endlichm abelschen Gruppen, Comment. Math.
Helv., vol. 22 (1949), pp.117-124.
[7] Sur la decomposition directs des groupes abeliens, C. R. Acad. Sci. Paris,
vol. 229 (1949), pp.1~1053.
[8] Ei11 Analoga der Korpertheorie fUr abelsche Gruppe,., ]. reine angew. Math.,
vol. 188 (1950), pp. 167-192.
[9] Die rmendliche QuatemiDfllmgruppe, Acad. Repub. Pop. Romine. But. Sti. A.,
vol. 1 (1949), pp. 799-a02.
[10] On direct sums of c:yclic groups, Publ. Math. Debrec:en, vol. 2 (1951), pp. 76--
78.
[11] Sur les groupes a:ytJtSt un sous-groupe PtJrfait, Bull. Sci. Math. (2), voL 74
(1950), pp. 207~.
[12] Gnlppentheoretische Besiehungen bei gt!'Wissen Rmgktm~trwktiDfll!fl., Math.
Zeit., vol. 54 (1951), pp.168-180.
[13] OJJ a theorem of Pontrjagirs, Acta Math. Acad. Sci. Hungar., vol2 (1951),
pp. 121-129.
[14) On groups with atomic layers, Acta Math. Acad. Sci. Hungar., vol. 3 (1952),
pp. 127-129.
[15] On direct decompositions of abelian groups, ]. London Math. Soc., vo1. 28
(1953), pp. 247-250.
[16] On no~&-countable abelitJtS #-groups, Publ. Math. Debrecen, vo1. 2 (1952),
pp. J00-..1()1.
[17] 0• direct Sll1fiS of c;yclic groups fllith DtSe amalgatriiJtetl SflbgrDtlp, Publ. Math.
Debrecen, vol. 2 (1952), pp. 302--307.
[18] The tntutiplicatit•e gro11p of the roots of ••it;y, Magyar Tud. Akad. Mat. Fsz.
Oszt. Kozl., vol. 3 (1953), pp. 55-58.
BIBLIOGRAPHY
[19] On arbitrary systems of li111ar eqrtations, Publ. Math. Debrecen, ,·ol. 2 (1952),
pp. 297--:.?99.
[20] On the basic subgroups of abtlim• p-groups, Acta Math. Acad. Sci. Hungar.,
vol. S (1954), pp.129-141.
SzELE, T. and SZENDJW, J.
[1] On abelian groups uoith commutati£•t endomorphism ring, Acta Math. Acad.
Sci. Hungar., vol. 2 (1951), pp. 309--324.
szm..tL,I.
[1] Die abtlschtJJ GriiPPm• oh'w eigentliche H omomorphi.nntll, Acta Univ. Szeged.
Sect. Sci. Math., voL 13 (1949), pp. 51-53.
[2] Die Wltfltllichen abelschm Gru.ppm mit larlll'T endlichen echfen Untergruppm,
Publ. Math. Debrecen, 'lo"Ol.l (1949), pp. 63-64.
[3] TAt abelian gror~Ps uoith torsion-free endomorphism ring, Publ. Math. Debre-
cen, vol. 3 (1954), pp. 106-108.
[4] Uber die alert Grm::t der Ordnrmg 11-smjig flicht-kommntatit•cn Gru.ppen,
Comm. Math. Helv. vol. 21 (1953), pp. 73-74.
SZENDIIEI, J.
[1] Bine """ Dt:/blition des Holo,norphes der Grr~P/11! IUJd der Holomorphe des
Ringes, Acta Math. Acad. Sci. Hungar., vol. S (1954), pp. 197-201.
szD.,J.
[1] On simple gror~ps, Publ. Math. Debrecen, voL 1 (1949), p. 98.
[2] On the struchrre of gr011Ps which can be represented as the product of two
.mbgr011ps, Acta Sci. Math. Szeged, vol. 12 (1950), pp. 57-61.
[3) 0• factorisable simple groups, Acta Sci. Math. Szeged, vol. 14 (1951}, p. 22.
[4) Zur Theorie der faktorisierbarm Gruppm, Publ. Math. Debrecen, vo1. 2
(1951), pp. 43-45.
[5] Zur Theorie der mdlichtJI einfachm Gruppm, Acta Sci. Math. Szeged, vol. 14
(1951), pp.lll-112.
[6] Zur Thl'orie der cinfachen Gru.ppm, Acta Sci. Math. Szeged, vol. 14 (1952),
p.246.
[7] Uber endliche einfache Gruppen, C. R. de Premier Congres des Math. Hongrois
1950, (1952), pp. 451-453. [In Hungarian.]
[8] BtJntrkung .n eintm Sat:: oz•oJJ 0. Ore., Publ. Math. Debrecen, vol. 3 (1954),
pp.81-82.
T AKAHASI, M.
[4) Note on wortl subgrov.ps in free products of groups,]. Inst. Polytecb. Osaka
City Univ. Ser. A. Math., vol. 2 (1951), pp.13-18.
[S] Primitive locall3• free groups, ]. Inst. Polytecb. Osaka City Univ. Ser. A.
Math., vol. 2 (1951), pp.1-11.
[6] Note on chain conditions in free groups, Osaka Math. ]., vol 3 (1951),
pp. 221-225.
[7] Group exten.siotu and their splitting grov.ps, ]. Inst. Po1ytecb. Osaka City
Univ. Ser. A. Math., vol. 5 (1954), pp. 81-85.
TAUNT,D.R.
[1] Or~ A-groups, Proc. Cambridge Phil Soc., vol. 45 (1949), pp. 24-42..
[2] Rmuwks on the isDtnOrphism problem in theories of constnlction of finite
grov.ps, Proc. Cambridge Phil. Soc., voL 51 (1955), pp.16-24.
[3] Finite groups htwir~g unique proper chtmJcteristic Stlbgrov.ps. I, Proc. Cam
bridge Phil. Soc., vol. 51 (1955), pp. 25-36.
TAYLOll,R.L.
[1] Compound group extmsions. I, Trans. Amer. Math. Soc., voL 75 (1953),
pp. 106--135.
[2] Compound group estmsions. II, Trans. Amer. Math. Soc., vol. 75 (1953),
pp. 304-310.
[3] Co•Pountl group estmsions Ill, Trans. Amer. Math. Soc., vol. 79 (1955},
pp. 490-520.
TsUBOI, T.
[1] Or~ folite si1J&ple groups, Sci. Rep. Saitama Univ. Ser. A., vol. 1 (1953),
pp. 55-57.
[2] Or~ abelia r~or1J&Gl sv.bgr011ps, Sci. Rep. Saitama Univ. Ser. A., vol. 1 (1954),
pp. 101-104.
[3] Note on 1J&I!tabelims groups, Sci. Rep. Saitama Univ. Ser. A., vol 1 (1953),
pp. 59--62.
TUAN,H.F.
[1) An An::ahl theornn of Kulakorls t,pe for p-gro,.ps, Sci. Rep. Nat. Tsing
Hua Univ. Ser. A., vol.5 (1948), pp.18Z-189.
[2) A theorem abo"t p-gratljs with abelian mbgroups of i1ades ;, Acad. Sinica
Science Record, vol. 3 (1950), pp.l7-23.
TURING, A. M.
[2] The wortl problnn in si!1J&i-groups with cancellation, Ann. of Math. (2),
vol. 52 (1950), pp. 491-505.
298
VINOGRADOV, A. A.
*[1] On the free jWoduct of ordered groups, Mat. Sbomik N.S., vol. 25 (1949),
pp. 163-168.
WEDDERBtnlN, J. H. M.
[1] On the direct lf'oduct in the theory of finite groups, Ann. of MatlL, voL 10.
Wma,A.J.
[1] The /leidemeister-Sclweiw and KuroJ subgroup theormu, Matematika, vol. 3
(1956).
WErD,F.
[2] Uber die Kmueichnung wn ReltJtitmm endlicher Gruppm, Arch. Math.
vo1. 5 (1954), pp. 326-J31.
WIELANDT, H.
[4] Uber dtss Produkt p,mrweise fiWitJuschbt~rer 11ilpotenter Gnlppen, Math. Zeit,
voL 55 (1951), pp. 1-7.
[ 5] Zu• St~tnD11 Sylofll, Math. Zeit., voL 60 (1954), pp. 407--408.
YAMAD,H.
[11 A condili011 for an tJbelilJn groufl to be tJ free tJbelitm grou/1 'IIIith tJ /ifKie
btuis, Proc. Japan Acad., voL Zl (1951), pp. 205-.207.
Yo, Y.
[11 On #iffll /lower tJbelitm groups, Bull. Amer. Math. Soc., vol. 54 (1948),
pp. 323-327.
ZACBBil, G.
[1) CtnWIIIIitme dei gruppi finili tJ solfogruppo di FrtJttini itlenlico, Rend. Sem.
Mat. UDiv., Padova, voL 21 (1952), pp. 383--394.
[2) Ct~rtJiferis.:-a::iOfll' dei t-gruppi finiti risolubili, Ricerche di Mat, voL 1 (1952),
pp. 287-294.
[3] Ct~rtJtlericasitme dei gruJipi risolubili tfordine finito COffSPllflllmttJti, Rend.
Sem. Mat. Univ. Padova, vol. 22 (1953), pp. 113-122.
[41 Detlrfllina::ione dei gruppi tfordme finite reltJtWtzf11171te cDffiPllflllmtofi, Rend.
Acad. Sci. Fis. Mat Napoli (4), vo1. 19 (1953), pp. 2()().....2()6.
[SJ S"'/li elenlenti ffSOdulari in "" Jl-grupflo, Rend. Sem. Mat. Univ. Padova,
voL 24 (1955), pp.l65-182.
BIBLIOGRAPHY 299
ZAPPA, G.
[6] Sulla costnt=iolle dei gruppi prodotto di due dati sottogrup;i ;ermutabili trtJ
loro, Atti Secondo Congresso Un. Mat. ltal. Bologna (1942), pp. 119-125.
[7) Determinluione dei gruppi finiti in on1omorjismo strutturale con un gn~ppo
ciclico, Rend. Sem. Mat. Univ. Pado,-a, \"Ol. 18 (1949), pp. 140-162.
[8) Sulla co11di=io11e perche Utl OfiiOtnorfismo ordinaria sia am:he "" omomorjinno
slnlttrwale, Giom. Mat Battaglini (4), vol2 (78) (1949), pp. 182-192.
[9] Sulla condi=ione perche un emitro;imlo inferiore tipico tra due gruppi sia tm
omotro;ismo, Gion. Mat. Battaglini (4), vol. 4 (80) (1951), pp. ~101.
[10) Sulla risolubilita dei gnt;pi foziti ;,. isomorfismo reticolare con "" gruppo
resolubile, Giom. Mat. Battaglini (4), vol. 4 (80) (1951), pp. 213-225.
[11] Sttlle ;-cate11e dei gntppi p-risolrtbili, Giom. Mat. Battaglini (4), vol. 3 (79)
(1950)' pp. 121-126.
[12] St~gli omomorfismi del reticolo dei sottogrup;i di tm gruppo finito, Ric:erche
Mat., vo1.1 (1952), pp. 78-106.
[13] Stti gruppi p-su;ersolubili, Rend. Accad. Sci. Fis. Mat. Napoli, (4), voL 17
(1951). pp. 328-339.
[14) Sopra tm estensione di Wielandt del teorema di Sylow. Boll Un. Mat. Ital
(3), vol. 9 (1954), pp. 349-353.
ZEEMAN, E. C.
[1] On direct sums of free cycles,]. London Math. Soc., vol. 30 (1955), pp. 195-
212.
INDEX
AUTHOR INDEX
Ado, I. D., 157, 189,270 Gol'berg, P. A., 169, 196, 201, 203, 209
Azumaya, G., 83 Gol'fand, Yu. A., 121
Baer, R., 17, 26, 28, 47, 48, 49, 81, 83, 85, 88, Golovin, 0. N., 29, 83, 214, 274
121, 130, 139, 146, 154, 155, 157, 164, 165, Graev, M. 1., 83
169,190,201,218,221,227,229,230,232, Green, J. A., 266
233,264,269,272,275 Gruenberg, K.. W., 275
Birkhoff, G., 85, 89, 71, 267, 268 Griin, 0., 227, 234, 235
Boone, W. W., 267 Grulko, I. A., 57, 58, 59, 63, 70
Britton, J. L., 267 Haimo, F., 269
Burnside, W., 56, 153, 180, 194, 210, 273 Haken, H., 267
Camm, R., 266 Hall, M., 17, 37, 38, 41, 43, 56. 93, 264, 268
tarin, ".5.,193,242,269 Hall, P., 149, 191, 195, 196, 199, 200, 201,
Cauchy, A., 159 233, 269, 272, 273
Cayley, A., 70, 76 Higman, G., 53, 54, 56, 157, 266, 271, 275
<::emikov, S. N., 155,157, 166, 171, 182, 183, Hirsch, K. A., 193, 218, 224, 232, 233, 266,
190,191,192,218,219,226,227,228,229, 267,275
230,231,233,235,237,238,242,247,255 Holder, 0., 95, 171, 174
Chehata, C. G., 266 Hopf, H., 56
Chevalley, C., 273 Huppert, B., 275
Clowes,]. S., 266 Hurewicz, W., 33
~unihin, S. A., 194, 195, 196,202,210 Ito, N., 268, 275
Dedekind, R., 83, 91, 171 Iwasawa, K., 42, 93,265,268
Dehn, M., 75 Jennings, S. A., 157, 233
Dickson, L. E., 273 Jones, A. W., 93
Dietzmann, A. P., 154, 155, 159, 163, 164, Jonsson, B., 33
165,210 Jordan, C., 95, 171, 174
Dyubyuk, P. E., 210 Kasa&ov, B. "·· 201
von Dyck, W., 15, 73 Klein, F., 262
Kontorovie, P. G., 218. 243
Eilenberg, S., 121, 131, 139, 148
Faddeev, D. K., 121 Konnek, "·· 83, 95
Krull, W., 81, 83, 120,204
Federer, H., 33
Kostrikin, A. 1., 266
Fedorov, Yu. G., 232,248,257
Kuhn, W., 17, 265
Fitting, H., 83, 105, 203, 209 Kulakov, A. A., 210
Frattini, G., 217 Kulikov, L. Ya., 52, 83, 120
Fricke, 262 Kuro!l, A. G., 17, 26, 27, 52, 81, 83, 95, 102,
Frobenius, G., 164, 210 105, 114, 159, 162, 163, 164, 165, 166, 167,
Fuchs-Rabinovi~. D. I., 29, 38,166 171,177,182, 183,21~229,264,267,270,
Gaschiitz, W., 275 274
Glu§kov, "· M., 157, 249, 254, 258 Lagrange,]. L., 164
Goheen, H., 194 Lefschetz, S., 272
303
304 AUTHOR b'DEX
Levi, F. W., 17, 26, 28, 33, 41, 46, 49, 56, Sanov, I. N., 56, 266
264,274 Schenkman, E., 275
Livlic, A. H., 83, 84, 95 Schmidt, 0. ]., 83, 120, 153, 165, 189, 190,
Locher, L., 33 191,192,204,224,226,231,270
Lyapin, E. S., 215 Schreier, 0., 28, 29, 33, 36, 37, 121, 166, 171,
Lyndon, R. C., 266 174, 181, 264
llac!.lne,S.,121,131,132,133,139,148 Schur, 1., 130, 201, 202
McLain, D. H., 269, 270 Sesekin, N. F., 247
llagnus, \\'.,38,41,59,76,77,218,266 Smimov, D. M., 194, 249, 272
Mal'cev, A. I., 38, 42, 49, 157, 166, 183, 193, Specker, E., 271
194,214,218,222,230,231,232,247,248, Steenrod, N., 2'12
255,256,272 Stender, P. V., 267
Meier-Wunderli, H., 266 Struik, R. R., 274
Moran, S., 274, 275 Sylow, L., 153, 158 ff., 194 ff., 215, 216
Muhammed!an, H. H., 231, 235 Szele, T., 210
:\Iyagkova, N. N., 231,232 Szelpat, I., 210
Neumann, B. H., 29, 46, 49, SO, 53, 54, 56, Takahasi, M., 17, 264, 265, 271
58, 154, 157, 217, 254, 266, 269, 2'/2, 274, Tartakovslai, V. A., 76,267
275 Tietze, H., 75
Neumann, H., 33, 53, 54, 157, 266 Turkin, V. K., 210
Nielsen,]., 28, 29, 33, 36, 37, 59, 166 Turing, A. M., 267
Novilcov, P. S., 76,267 Uzkov, A. I., 95, 159, 163
Ore, 0., 83, 91, 95, 180, 194 van der Waerden, B. L., 13, 56
Peiffer, R., 267 Wedderburn,]. H. M., 83
Perlis, S., 265 Weir, A. ]., 265
Petropavlovskaya, P. V., 89 Wendt, E., 228, 229
Plotkin, B. I., 224, 232, 243, 249, 254, 275 Whitehead,]. H. C., 29, 77
Priifer, H., 234 Wielandt, H., 217, 273
Redei, L., 210 Witt, E., 38, 41
Reidemeister, K., 33, 77 Zacher, G., 93, 268, 275
Remak, R., 83 Zappa, G., 93, 193, 270, 273
Robinson, A., 212 Zassenhaus, H., 173, 174, 194, 201, 202,
Sadovsku, L. E., 29,89 217,212
INDEX
A left half of, 17
adjoint group, 39 length of, 11
adjoint multiplication, 38 middle of, 17
admissible system of generators, 58 right half of, 17
almost normal group, 180 irreducible, 60
automorphism classes, 126 of lattice, greatest, 88
least, 88
c null, 88
central extension, 145 unit, 88
central isomorphism, 84 radical, 39
central series, 211 reducible, 60
lower, 213 special, 59
upper,214 empty word, 12
central system, 218 endomorphism, complement of, 100
ascending, 218 of direct decomposition, 100
class of a nilpotent group, 214 equivalent extensions, 121
coboundary, 128
cochain, 128 F
cocycle, 129 factor, free, 11
cohomology group, 128 tf. of normal system, 173
complement, in direct decomposition, 97 factor system, 122
of endomorphism, 100 finite classes, group with, 154
complete group, 233 finite layers, group with, 155
ternikov, 233 finitely presented group, 71
completely reducible group, 203 finiteness conditions, 153 tf.
completion, 256 Frattini subgroup, 217
component, in direct decomposition, 97 free decomposition, 11
composition system, 172 isomorphic, 26
conjugacy problem, 77 free factor. 11
consequence, of defining relations, 73 free nilpotent group, 214
crossed homomorphism, 130 free product, 11
with amalgamated subgroup, 29
D
decompositions, free, 11 G
isomorphic, 26 greatest element, of lattice, 88
derived series, 179 group, adjoint, 39
direct sum, in lattice, 96 almost normal, 180
complete, 233
E completely reducible, 203
element, with finite classes, 154
of free group, 11 with finite layers, 155
305
306 INDEX
p of lattice, normal, 93
p-group, 159 principal, 9.J
partially-ordered set, 85 principal, of element, 110
~-subgroup, 217 soh·able, 179
IT-basis, 195 soh-able group, 179
IT-group, 159 generalized, 182
IT-separable, 195 locally, 189
principal series, of element, 110 solvable invariant system, 182
of lattice, 94 solvable normal system, 182
principal system, 173 soh-able series, 179
product, special element, 59
free, 11 splitting extension, 149
with amalgamated subgroup, 29 structure, 85
nilpotent, 214 Dedekind, 91
reduction of, 31 sublattice, 87
semi-direct, 149 supersolvable group, 228
projection, 167 Sylow basis, 195
projection endomorphism, 100 complete, 195
projection set, 167 Sylow subgroup, 159
complete, 167 system, central, 218
composition, 171
invariant, 1i'2
R solvable. 182
R-group, 242 normal, 171
radical element, 39 solvable, 182
rank, general, 157 principal, 173
special, 158
reduced free group, 45 T
reducible element, 60 Theorem, Burnside's, 194
reduction of free product, 31 Cauchy's, 159
relation, identical, 43 Cernikov's, 191
tunihin's, 196
Gol'berg's, 196
s Gru§ko's, 57
S-group, 229 Hall's First, 194
semi-direct product, 149 Hall's Second, 195
semi-simple group, 203 Krull-Schmidt, 120
separable group, 195 Kurots Subgroup, 17
series, ascending, composition, 173 l\facLane's, 133
invariant, 173 l\lagnus', 38
normal,173 Magnus' Freedom, 78
principal, 173 Mal'cev's, 256
central, 211 Nielsen-Schreier, 28
lower, 213 Schur's, 201
upper,214 Sylow's First, 158
derived, 179 Sylow's Second, 164
descending normal, 173 Wendt's, 228
308 INDEX
transform, 17 w
transformation, problem, '77 \Vord, 12,18,30,39
transformation, of type A, 73 empty, 12
of type B, '73 simple, 19
of type B', '74 word problem, '76
z
u Z-group, 218
Wlit element of lattice, 88 ZA-group, 218