2-Groups with normal noncyclic subgroups

2-GROUPS F.

WITH N.

NORMAL

NONCYCLIC

SUBGROUPS UDC 512.4

Liman

We study n e a r l y - h a m i l t o n i a n 2 - g r o u p s (H2-groups). A n o n a b e l i a n 2 - g r o u p h a v i n g at l e a s t one p r o p e r n o n c y c l i c s u b g r o u p is c a l l e d an I~2-grou p if all n o n c y c l i c s u b g r o u p s a r e n o r m a l .

A n o n a b e l i a n g r o u p h a v i n g at l e a s t one p r o p e r n o n c y c l i c s u b g r o u p is c a l l e d an Q - g r o u p if all nonc y c l i c s u b g r o u p s a r e n o r m a l . If a p - g r o u p is an l~-group, we shall b r i e f l y call it an ~ p - g r o u p . In the p r e s e n t a r t i c l e a t h e o r e m will be p r o v e d which fully d e s c r i b e s the s t r u c t u r e of I~2-groups, thus c o m p l e t i n g the i n v e s t i g a t i o n of I~-groups p o s s e s s i n g a n o r m a l s y s t e m with l o c a l l y finite f a c t o r s which has b e e n s t a r t e d in [1]. It is well known (see [2]) t h a t e v e r y infinite 2 - g r o u p contains an infinite a b e l i a n s u b g r o u p . H e n c e , an infinite I~2-group is an e x t e n s i o n of an a b e l i a n g r o u p by an a b e l i a n o r h a m f l t o n i a n g r o u p and, t h e r e f o r e , is l o c a l l y finite. It is obvious that all h a m i l t o n i a n 2 - g r o u p s , e x c e p t the q u a t e r n i o n groups, a r e H2-groups. The following t h e o r e m d e s c r i b e s the s t r u c t u r e of the n o n h a m i l t o n i a n H 2 - g r o u p s . THEOREM. A nonhamiltonian types :

2 - g r o u p r is an H 2 - g r o u p if and only if it is o f o n e of the following

1) r = {A} {B}; A 8= B 4= 1, A 4= B 2, B - l A B = A-i; 2) r = {C} {D}; C 8= Ds= 1, C 4= D 4, D-1CD = C-l; 3) r

{B}) • {C}; F 2 n = B 2 = C 2 = 1 , [F, B] = [F, C] = I, [B, C ] = f 2 n - 1 ;

4) r = (~I • {B}) • {C}; B 2 = C 2= A12 = 1, AlE ~I, ~I is a q u a s i c y c l i c 2 - g r o u p , []3, C] = A 1, [A, B] = [A, C] = 1 f o r all A 6 )I; 5) r = ( ~ • {B})• i (i = 1, 2);

~ = {S1, S2} is a q u a t e r n i o n group, B 2 = C 2 = 1, [B, C] = S12, [Si, B] = [Si, C] =

6) gt = {X} • {Y}; X 2n= Y 2m = 1, n >- 2, m ->- 1, IX, Y] = X 2n-1. 7) • = ({D} • {F}) {C}; D 4= F 4= C 4 = 1 , C 2=D2F 2, [C, F] = C 2, [D, C] = D2; 8) gt = ({D} • {F}) {C} {Y}; D 4= F 4 = C 4 = Y 4 = 1 , C 2 = y 2 = D 2 F 2, [D, C] = D 2, [C, F] = C 2, [Y, D] = y2, [F, Y] = F 2, [Y, C] = D2; 9) r = ~ x {C}; ~ is a q u a t e r n i o n g r o u p , C 2n= 1, n>-2; 10) ~t = ~ • ~; ~ is a q u a t e r n i o n g r o u p , ~l is a q u a s i c y c l i c 2 - g r o u p . E a c h of the g r o u p s o c c u r i n g in the above t h e o r e m is, o b v i o u s l y , an H2-group, and h e n c e , only the n e c e s s i t y of the t h e o r e m will be p r o v e d . We r e d u c e the p r o o f of the n e c e s s i t y to the p r o o f s of the s u b sequent lemmas. Obviously, the following a s s e r t i o n holds: A n o n - h a m i l t o n i a n H p - g r o u p does not contain an e l e m e n t a r y a b e l i a n s u b g r o u p of type (p, p, p). It will be u s e d in the p r o o f of the t h e o r e m . L E M M A 1. A n o n - h a m f l t o n i a n H2-group r e i t h e r is a g r o u p of type 1) o r 2) of the t h e o r e m a b e l i a n e x t e n s i o n of an a r b i t r a r y one of its e l e m e n t a r y a b e l i a n s u b g r o u p s , of type (2, 2).

o r is an

P r o o f . We a s s u m e that r contains a unique involution. Using the local f i n i t e n e s s of $, T h e o r e m 12.5.2 of [3], and the definition of an I~2-grou p we conclude that ~ is a g e n e r a l i z e d q u a t e r n i o n g r o u p of o r d e r 16. M a t h e m a t i c s Institute, A c a d e m y of S c i e n c e s of the U k r a i n i a n SSR. T r a n s l a t e d f r o m M a t e m a t i c h e s k i e Z a m e t k i , Vol. 4, No. 1, pp. 75-84, July, 1968. Original a r t i c l e s u b m i t t e d D e c e m b e r 25, 1967.

535

Now we a s s u m e $ :~ 9 = {A} • {B}, w h e r e A 2 =B 2= 1 and, m o r e o v e r , the f a c t o r g r o u p fit/91 is h a m iltontan. Then $/9l contains a q u a t e r n i o n group $i/91 = {X91, Y~}. F i r s t of all we show that 91 is not c o n tained in the c e n t e r ~(gtl) of $1- In fact, if 91~ ~{$I), then, in view of the above r e m a r k , all involutions of $1 a r e contained in 91. In addition, r = {X, Y, ~} = {X, Y}. Indeed, if {X, Y} r ~ , then {X, Y} has a unique involution and, b y T h e o r e m 12.5.2 of [3], is a g e n e r a l i z e d q u a t e r n i o n g r o u p of o r d e r 16. But then the following d e c o m p o s i t i o n holds @,---~ {X, Y} • {N}, N ~ _ ~ , which y i e l d s that

@~/~R~- {X, Y}/{X, Y} ~ ~R. F r o m this follows that $i/91 is a dihedral group of o r d e r 8, c o n t r a r y to the definition of $1/91. Since X291 -- y291~ we have X 2 = y2N 1, N 1 E 91, and the a b e l i a n s u b g r o u p s ~Il -- {X 2, Y} and ~I2 = {X, y2} a r e m a x i m a l s u b g r o u p s of ~ . But then 8($i) = ~Ii n 9~2, and, t h e r e f o r e , the F r a t t i n i s u b g r o u p of $1 c o i n c i d e s with 8($1)- F r o m this follows that $I is a g r o u p all of w h o s e p r o p e r s u b g r o u p s a r e a b e l i a n (in the sequel g r o u p s with this p r o p e r t y will be c a l l e d M - g r o u p s ) . By the d e s c r i p t i o n of the M - g r o u p s in [4], the c o m m u t a t o r s u b g r o u p $~ has the o r d e r 2, and, h e n c e , $1/91 is an a b e l i a n g r o u p , c o n t r a r y to the definition of $1/91. C o n sequently, 91~.~($1)- Since 91 N .~(~) ~ T , we m a y a s s u m e , without l o s s of g e n e r a l i t y , that AE ~($1) and We show now that $i is a m e t a c y c l i c group. L e t ~I be a m a x i m a l s u b g r o u p of $i- We a s s u m e that ~I does not c o n t a i n e l e m e n t s of o r d e r 8. Then it cannot be a g e n e r a l i z e d q u a t e r n i o n g r o u p of o r d e r 16 and, t h e r e f o r e , b y T h e o r e m 12.5.2 of [3], c o n t a i n s a n o r m a l s u b g r o u p 911={A} x {Bl} , A 2 = Bi2= 1, w h e r e in gene r a l 911, does not coincide with 91. It is not difficult to c o n v i n c e o n e s e l f that ~I ~91. Indeed, o t h e r w i s e BE ~I and, t h e r e f o r e , $ i ~--- ~ •

{B},

g3i/~ ~_ g / { A } .

9J/{A}, h o w e v e r , is g e n e r a t e d b y e l e m e n t s of o r d e r 2, which is i m p o s s i b l e f o r q u a t e r n i o n g r o u p s . C o n sequently, ~ID91. But then ~I/91 is an a b e l i a n g r o u p of type (2, 2) w h i c h is i m p o s s i b l e in the q u a t e r n i o n g r o u p $1/91- T h u s , ~I c o n t a i n s e l e m e n t s of o r d e r 8 and, t h e r e f o r e , is a m e t a c y c l i c group. C o n s e q u e n t l y , all p r o p e r s u b g r o u p s of $1 a r e m e t a c y c l i c . Using the d e s c r i p t i o n of the n o n - m e t a c y c l i c p - g r o u p s all whose p r o p e r s u b g r o u p s a r e m e t a c y c l i c as given in [5] we c o m e to the c o n c l u s i o n that $i is m e t a c y c l i c . A s s u m e that {C} = ~ <~ fftl and gtl/~ = {D~}. If one of the e l e m e n t s C and D h a s the o r d e r 4, then $1 = {C} • {D}. But this c o n t r a d i c t s the fact that the c e n t e r of $1 is c y c l i c . Since fiti does not p o s s e s s e l e m e n t s of o r d e r 16, we have C s= D 8= 1, C 4= D 4= A, C 2= D2B and D-1CD = C -1 o r D-iCD = C 3. If D-1CD = C3 , then we get DI-ICIDI = C1-1, w h e r e C I = CD 2 and Di= D. C o n s e q u e n t l y , both r e l a t i o n s define one and the s a m e g r o u p of type 2) of the t h e o r e m . It is e a s i l y s e e n that $ = r and that all involutions of $ a r e contained in 91. To p r o o f this it is sufficient to show that qtI contains all e l e m e n t s of o r d e r s 2 and 4 of $. If ~ is not a g r o u p of type 1) or 2) of the t h e o r e m , then it is an a b e l i a n e x t e n s i o n of an a r b i t r a r y of its e l e m e n t a r y abelian s u b g r o u p s of type (2, 2). The l e m m a is p r o v e d . L E M M A 2. If a n o n - h a m i l t o n i a n I~2-group $ contains a d i h e d r a l g r o u p ~ of o r d e r 8, then it is of one of the t y p e s 3) to 5) of the t h e o r e m . P r o o f . By a s s u m p t i o n , ~

= ( ( A } x {B}) •

A 2 - ~ B 2~-~ C 2 = [A, BI--=-tA, C ] - ~ t ,

[C};

[B, C ] = A .

By L e m m a 1 the c o m m u t a t o r s u b g r o u p r of $ is contained in an e l e m e n t a r y a b e l i a n s u b g r o u p of type (2,2,), and, t h e r e f o r e , ~.' = {A}. Using the fact that fit does not contain an e l e m e n t a r y abelian s u b g r o u p of type (2,2,2) (see the r e m a r k p r e c e d i n g L e m m a 1) we obtain that the c e n t e r of $ is l o c a l l y c y c l i c and e v e r y c y c l i c s u b g r o u p of o r d e r g r e a t e r than 2 is n o r m a l in ~t.

536

F i r s t w e a s s u m e t h a t a l l i n v o l u t i o n s of $ a r e c o n t a i n e d in ~. T h e n ~ a l s o c o n t a i n s a l l e l e m e n t s of o r d e r 4 of $. I n d e e d , if X E $ ' X ~ a n d X 4= A a n d { X } ~ $ , a n d , t h e r e f o r e , a t l e a s t one of the e l e m e n t s XB, XC, and XBC is of o r d e r 2. F r o m t h i s f o l l o w s t h a t X E $ . S i n c e the s q u a r e of e v e r y e l e m e n t o f ~ is c o n t a i n e d in t h e c e n t e r of $ and ~ c o n t a i n s a l l e l e m e n t s of o r d e r s 2 and 4 of $, we g e t $ = ~. Now we a s s u m e t h a t s o m e i n v o l u t i o n D is not c o n t a i n e d in ~ and t h a t a l l i n v o l u t i o n s of $ a r e c o n t a i n e d in s u b g r o u p ~81= ~ • The s u b g r o u p ~t m a y a l s o b e r e p r e s e n t e d in the f o l l o w i n g f o r m :

e, = ({F} x {B}) • {C}, w h e r e F = BCD, F 4= 1, [F, B] = [F, C] = 1, and [B, C] = F 2= A. B y a r g u m e n t s s i m i l a r to the p r e c e d i n g o n e s w e c a n s h o w t h a t $1 c o n t a i n s a l l e l e m e n t s of o r d e r 4 of $. F r o m t h i s f o l l o w s t h a t $fi8 is c y c l i c o r q u a s i c y c l i c . M o r e o v e r , u s i n g the f a c t t h a t the s q u a r e of e v e r y e l e m e n t of $ is c o n t a i n e d in t h e c e n t e r of $ and c o n s i d e r i n g t h e a b o v e r e p r e s e n t a t i o n of ~t w e c o m e to t h e c o n c l u s i o n t h a t in t h i s c a s e $ i s a g r o u p of one of the t y p e s 3) a n d 4) of the t h e o r e m . F i n a l l y , we c o n s i d e r t h e c a s e w h e r e $ c o n t a i n s a n i n v o l u t i o n K w h i c h i s not c o n t a i n e d in $1. T h e n $ D ~2 = ~ • {D}. W e s h o w t h a t $ = ~2. We a s s u m e t h a t t h e r e e x i s t s a n i n v o l u t i o n X, w h e r e XE $ ~ ~2. T h e n w e h a v e (BCDK) 2= 1, IX, BCDK] = 1, and AE-{X} x {BCDK}, a n d , t h e r e f o r e , $ D {A} x {X} x {BCDK}, w h i c h i s i m p o s s i b l e , s i n c e $ i s a n o n h a m i l t o n i a n I~2-grou p. C o n s e q u e n t l y , ~2 c o n t a i n s a l l i n v o l u t i o n s of $. T h i s y i e l d s t h a t f o r a n a r b i t r a r y e l e m e n t Y E $ of o r d e r 4 one o f the e l e m e n t s YB, YC, and YBC i s c o n t a i n e d in ~2, a n d , t h e r e f o r e , Y E ~2. S i n c e the c e n t e r of ~2 h a s t h e o r d e r 2 and t h e s q u a r e o f e v e r y e l e m e n t of $ i s c o n t a i n e d in t h e c e n t e r of $, no s u b g r o u p of $ p o s s e s s e s e l e m e n t s o f o r d e r 8. T h e r f o r e , $ = ~2. U s i n g the n o t a t i o n BDC = S t a n d BKC = S 2 we o b t a i n a g r o u p of t y p e 5) of the t h e o r e m . The l e m m a is p r o v e d . L E M M A 3. If a l l i n v o l u t i o n s of a n o n h a m i l t o n i a n H 2 - g r o u p $ a r e c o n t a i n e d in a s u b g r o u p 91 = {A} x {B} of t y p e (2, 2), w h e r e $ ' ~ 91, AE . ~ ( ~ , and BE-.~($), then $ = {X} • {B}, w h e r e X 2n= B 2= 1, n > - 3 , a n d [X,B]---X2h-lo " . . . . P r o o f . F i r s t of a l l we s h o w t h a t $ d o e s not c o n t a i n a q u a t e r n i o n g r o u p . In f a c t , a s s u m e b y w a y of c o n t r a d i c t i o n t h a t $ c o n t a i n s a q u a t e r n i o n g r o u p ~ w i t h the g e n e r a t o r s S t and S 2. T h e n $ ~ $1 = ~ x {B}. T h i s d e c o m p o s i t i o n of $1 f o l l o w s f r o m t h e f a c t t h a t a l l i n v o l u t i o n s of $ a r e c o n t a i n e d in 91 a n d the c e n t e r ($) is l o c a l l y c y c l i c . W e s h o w t h a t $1 c o n t a i n s a l l e l e m e n t s of o r d e r 4 of $. I n d e e d , if C E $ \ $ 2 a n d C 4 = 1, t h e n $ ~ $ 2 = $ 1 {C} and C 2 ---- S i 2 -- A. S i n c e $ 2 / ~ i s a b e l i a n , $~ ~ N 91= {A}. F r o m t h i s f o l l o w s t h a t a m o n g t h e e l e m e n t s CS~, CS 2, a n d CSiS 2 t h e r e i s a t l e a s t one o f o r d e r 2, a n d , t h e r e f o r e , C E StW e s u p p o s e t h a t t h e r e e x i s t s an e l e m e n t D E $ ~ $1, w h e r e D 8 = 1. We w i s h to show t h a t ]9 2 E S t. W i t h o u t l o s s o f g e n e r a l i t y we m a y a s s u m e t h a t D 2= S 1. We c o n s i d e r t h e s u b g r o u p ~ {D} of o r d e r 16. By T h e o r e m 12.5.1 of [3] i t is a g e n e r a l i z e d q u a t e r n i o n g r o u p . The c o m m u t a t o r s u b g r o u p of ~ {D}, h o w e v e r , i s c y c l i c of o r d e r 4, c o n t r a r y to o u r a s s u m p t i o n s . C o n s e q u e n t l y , $ d o e s not p o s s e s s e l e m e n t s of o r d e r 8. B u t t h e n $ = $1, w h i c h a g a i n c o n t r a d i c t s o u r a s s u m p t i o n s . T h u s , $ d o e s n o t c o n t a i n a q u a t e r n i o n g r o u p . We s h o w now t h a t $/91 is c y c l i c . In f a c t , if the l o w e r l a y e r of $/91 c o n t a i n s a s u b g r o u p ~I/91 of o r d e r 4, t h e n ~d m u s t b e a b e l i a n o r m u s t b e a n M - g r o u p of o r d e r 16 and e x p o n e n t 4. In b o t h c a s e s we o b t a i n a c o n t r a d i c t i o n . $/91 c a n n o t b e q u a s i c y c l i c , s i n c e $ i s n o n a b e l i a n . The l e m m a f o l l o w s e a s i l y f r o m the c y c l i c i t y of $/91. L E M M A 4. If a l l i n v o l u t i o n s of a n o n h a m i l t o n i a n IT2-grou p $ a r e c o n t a i n e d in a s u b g r o u p 9 = {A} x {B} of t y p e ( 2 , 2 ) , ' w h e r e 9l c .q ($) a n d $ d o e s n o t p o s s e s s a q u a t e r n i o n g r o u p , t h e n $ is e i t h e r a g r o u p of t y p e 6) f o r n > - 2 and m - - 2 o r a g r o u p of t y p e 7) o r 8) of the t h e o r e m . P r o o f . By L e m m a 1 $/91 i s a b e l i a n . We d e n o t e b y ~d/91 the l o w e r l a y e r of $/91. We s e p a r a t e l y c o n sider three cases: 1) ~I/91 i s a g r o u p of t y p e (2,2). We c h o o s e a n a r b i t r a r y n o n a b e l i a n s u b g r o u p $I of $.

~/m={Xm}x

{Ym},

r

Y,

m}={x,

T h e n we h a v e

Y},

s i n c e , b y a s s u m p t i o n , $ d o e s not c o n t a i n a q u a t e r n i o n g r o u p . C o n s e q u e n t l y , the a b e l i a n s u b g r o u p s 9d1 = {X 2, Y} and ~I2 = {X, y2} a r e m a x i m a l s u b g r o u p s o f St- But t h e n 8($1) = ~/1 [1 ~I2, a n d , t h e r e f o r e , t h e F r a t t i n i s u b g r o u p of $1 c o i n c i d e s with t h e c e n t e r ~ ($1) of $1- T h i s y i e l d s t h a t $~ i s a n M - g r o u p of t y p e 6) of the

537

t h e o r e m with n ~ 2 and m->2. (The case n>-2 and m = 1 has been treated in L e m m a s 2 and 3.) Since @1 has been choosen a r b i t r a r i l y and since @ is locally finite, we get @ = @1. 2) ~I/3 is a group of type (2,2,2). Since @ does not contain an abelian subgroup of type (2,2,2) and since ~I is a subgroup of exponent 4, 9/is a nonabelian group of o r d e r 32. All subgroups of o r d e r 8 of ~I a r e abelian, and among the subgroups of o r d e r 16 there must be at least one M-group (otherwise, ~I is an Mgroup generated by two elements, c o n t r a r y to our assumptions). Consequently, ~I is a n o n - m e t a c y c l i c group all of whose p r o p e r subgroups are metacyclic. Usingthe description of these groups in [5] we conclude that ~Iis a group of type 7) of the theorem. It is not difficult to show that @ = ~I. 3) Finally, we consider the case where the lower l a y e r of @/3 contains an e l e m e n t a r y abelian subgroup of o r d e r 16. In ~I/3 we choose a subgroup @1/3 of o r d e r 8. Then @2 is a n o n - m e t a c y c l i c group all of whose p r o p e r subgroups are m e t a c y c l i c . As b e f o r e , we may a s s u m e that

~,

=

({D}

C a = D2F 2,

x

{ F } ) {C};

v ~ ---- F ' =

C - i D C = D-i,

C' =

1,

F - i C F = C -i.

We c o n s i d e r the factor group of @2 over {C2}. It may be r e p r e s e n t e d as follows:

$~!{C2 } = ~ = [ ( { d

~} x {c}) x (dc}l •

{id},

where d, f, and c a r e h o m o m o r p h i c images of the elements D, F, and C, such that c 2 = (de) 2= (fd) 2= 1. If ~t contains all involutions of @~=@/{CZ}, then, by L e m m a 2, ~] also contains all elements of o r d e r 4 of ~. But then all elements of o r d e r 4 of @a r e contained in @2, c o n t r a r y to our a s s u m p t i o n s . Consequently, there exists an involution yE ~ \ ~ . Using L e m m a 2 we conclude that ~=~

x {g}; [g, cl-~ [y, dc]~-~ [y, ] d ] ~ - d 2.

F r o m this we obtain the following possible relations for the g e n e r a t o r s D, F, C, and Y (where Y is an element of o r d e r 4 of the p r e - i m a g e of y): 1) C-IYC = YD2 or C - 2 Y C - YF 2, 2) D-2YD = Y or D-2YD=YC 2, 3) F-2YF = YF 2 or F - 1 y F -- YD 2. We show that {D, Y} is an M-group of o r d e r 16. In fact, if DY=YD, then {D, F, Y} must be a group of type 7) of the theorem. Since the cyclic subgroup {D} of o r d e r 4 is contained in the center of {D, F, Y}, this is not possible. Consequently, DY ~ YD. F r o m this and f r o m the fact that D 2 ~ y2 follows that {D, Y} is an M-group of o r d e r 16. It is not difficult to see that one of the subgroups {D} and {Y} is n o r m a l in {D, Y}. If Y-iDY= D -2, we obtain, using the relations given above, that D 2= C ~, c o n t r a r y to the relations holding in @i. Hence, D-2YD = y - t Similarly we establish that Y-1FY = F -2. Now we consider the f a c t o r group

where C, D, F, and Y are homomorphic images of the elements C, D, F, and Y. For the elements CF-and YDC the relation [2~,

C~] = d ~,

holds, which yields the relation C - 1 y c =YD 2. Thus, in case 3) we obtain a group of type 8). The lemma is proved. LEMMA 5. If a nonhamiltonian IT2-group @ contains a quaternion group ~ ={S 1, $2} and if its cent e r contains a subgroup 3 = {A} x {B} of type (2,2), then @ is a group of type 9) or 10) of the theorem. P r o o f . At f i r s t we note that the d i r e c t product of two quaternion groups: ~ = {BI, ]32} and ~ = {C1, C2} is not an H2-group, since it contains the n o n - n o r m a l quaternion subgroup {B2C1, B2C~}. F r o m the

538

condition 9 ~ ~(r follows that all involutions of r a r e contained in 9t. By L e m m a 1, the c o m m u t a t o r subgroup of $ i s contained in ~l, and, t h e r e f o r e , the s q u a r e of e v e r y element of $ is contained in the center of $. A s s u m e that ~ (] ~ =
{D}, D ~ - - t .

F u r t h e r m o r e , we show that @i contains all elements of o r d e r 4 of $. We a s s u m e that there exists an element X E r 1 such that X 4= 1. As before, we may a s s u m e that X is an element of the c e n t r a l i z e r of in 9 and that {X} • ~ = ~. Then @ ~ 2 = ( ~ x {]3}) {X}. We suppose that ~2/~ is hamiltonian. Then ~2 = ~2//~ -----{]~, X---},where 1~4= ~4 = i, b-2 = ~2, and I~-i X'I~=X -i.

Assume that X2=D 2. By the above remarks we have X-IDX ~D -i. Then X-IDX=D-IA and (DX)2=D2A, and, hence, {DX}<] {]9, X}. Consequently, D-I (DX)D=(DX)-i and (SID)-IDX (SID) = (DX)-i. Since {SID, DX} is a quaternion group, we get ~2--~ x {SID, DX}, contrary to the remark made at the beginning of the proof of this lemma.

Assume that X2= D2A. If D-IXD =X-i, then {DSI X} is a quaternion group. If D-IXD-- X-IA, then {DSI, XD} is a quaternion group. In both cases we obtain a contradiction. Hence,~t2/~ is an abelian group, and

= {A}.

Thus, it follows easily that $1 contains all elements of o r d e r 4 of r Using the fact that the square of e v e r y element of r is contained in the center of r and that r is cyclic or quasicyclie, we obtain a group of type 9) in the finite case and a group of type 10) in the infinite case. The l e m m a is proved. At the s a m e time the p r o o f of the t h e o r e m is complete. The author e x p r e s s e s his deep gratitude towards P r o f e s s o r S. N. Chernikov for guidance while w r i t ing this paper.

LITERATURE 1. 2. 3o

4. 5.

CITED

F. M. Liman, "Groups with normal noncyclic subgroups," Dopovidi AN URSR, Ser. A, 12, 1073-1075 (1967). S. P. Strunkov, "Normalizers and abelian subgroups of certain classes of groups," Izv. Akad. Nauk SSR, Ser. Matem., 3_!, 657-670 (1967), M. Hall, The Theory of Groups, The Macmillan Company New York (1959). L. Redei, "Das sehiefe Produkt in der Gruppentheorie," Comment. Math. HeIv., 2__0_0 , 225-264 (1947). N. Blackburn, ~Generalizations of certain elementary theorems on p-groups, ~ Proc. Math. Soe., II, No. 41, 1-22 (1961).

539