MATHEMATI C S : G . A.

MI LLER
ORDERS FOR WHI C H THERE EXI S T EXAC TLY FOUR OR FI VE
G ROUPS
By G . A. MI LLER
DEPARTMENT OP MATHEMATI C S , UNvBRS rTY OF I LLI NOI S
C o m m u n i c a t e d J u n e 6 , 1 9 3 2
We s h a l l f i rs t s u p p o s e t h a t t h e re a re e x a c t l y f o u r g ro u p s o f o rd e r g =
p p 2 . . . p A, w h e re p i , P2 1 . . . p A a re d i s t i n c t p ri m e n u m b e rs . I f a p ri m e
f a c t o r o f g w h i c h i s c o n g ru e n t t o u n i t y w i t h re s p e c t t o a n o t h e r p ri m e f a c t o r
o f g i s t h u s c o n g ru e n t w i t h re s p e c t . t o e x a c t l y t w o s u c h f a c t o rs t h e n n o n e
o f t h e p ri m e f a c t o rs o f g e x c e p t t h e f i rs t c a n b e t h u s c o n g ru e n t w i t h re s p e c t
t o a p ri m e f a c t o r o f g . As t h e re a re e x a c t l y f o u r g ro u p s w h o s e c o m m o n
o rd e r i s t h e p ro d u c t o f t h e s e t h re e p ri m e f a c t o rs e ve ry g ro u p o f o rd e r g i s
t h e d i re c t p ro d u c t o f o n e o f t h e s e f o u r g ro u p s a n d a c yc l i c g ro u p w h i c h
m a y re d u c e t o t h e i d e n t i t y. Ea c h o f t h e f o u r f o rm e r g ro u p s g i ve s ri s e
t o a c yc l i c q u o t i e n t g ro u p w i t h re s p e c t t o t h e i n va ri a n t s u b g ro u p w h o s e
o rd e r i s t h e f i rs t o f . t h e t h re e g i ve n p ri m e n u m b e rs .
Wh e n g i n vo l ve s f o u r p ri m e f a c t o rs s u c h t h a t e a c h o f t w o o f t h e m i s
c o n g ru e n t t o u n i t y w i t h re s p e c t t o o n e a n d o n l y o n e o f t h e re m a i n i n g t w o ,
re s p e c t i ve l y, b u t n o t w i t h re s p e c t t o a n o t h e r p ri m e f a c t o r o f g , a n d n o
p ri m e f a c t o r o f g b e s i d e s t h e t w o g i ve n o n e s i s c o n g ru e n t t o u n i t y w i t h
re s p e c t t o a n o t h e r p ri m e f a c t o r o f g a n d t h e l a rg e r o f t h e s e t w o i s n o t t h u s
c o n g ru e n t w i t h re s p e c t t o t h e s m a l l e r, t h e n e a c h o f t h e f o u r p o s s i b l e g ro u p s
o f o rd e r g i s t h e d i re c t p ro d u c t o f t h re e g ro u p s . Th e t h i rd o f t h e s e g ro u p s
i s a l w a ys c yc l i c a n d m a y re d u c e t o t h e i d e n t i t y w h i l e t h e o rd e r o f e a c h o f
t h e o t h e r t w o i s t h e p ro d u c t o f t w o d i s t i n c t p ri m e n u m b e rs . I n e a c h o f
t h e t w o g i ve n c a s e s w h e n t h e re a re f o u r g ro u p s o f o rd e r g t h i s o rd e r i s
e vi d e n t l y o d d a n d t h e re i s n o u p p e r l i m i t t o t h e n u m b e r o f i t s p ri m e f a c t o rs .
I n t h e re m a i n i n g c a s e t h i s o rd e r m u s t a l w a ys b e e ve n a n d i n vo l ve t h re e
a n d o n l y t h re e p ri m e f a c t o rs s i n c e g m u s t t h e n i n vo l ve t w o o d d p ri m e
n u m b e rs s u c h t h a t t h e l a rg e r i s n o t c o n g ru e n t t o u n i t y w i t h re s p e c t t o t h e
s m a l l e r a n d t h e c yc l i c g ro u p w h o s e o rd e r i s t h e p ro d u c t o f t h e s e t w o p ri m e s
i s e x t e n d e d b y a n o p e ra t o r o f o rd e r 2 .
I f t h e re a re e x a c t l y f i ve g ro u p s o f o rd e r g t h e n t h e l a rg e s t p ri m e
f a c t o r
o f g w h i c h i s c o n g ru e n t t o u n i t y w i t h re s p e c t t o a n o t h e r s u c h f a c t o r
p
c a n o b vi o u s l y n o t b e t h u s c o n g ru e n t w i t h re s p e c t
t o t w o s u c h f a c t o rs .
He n c e i t re s u l t s t h a t e i t h e r p i s c o n g ru e n t t o u n i t y w i t h re s p e c t
t o a n o t h e r
p ri m e f a c t o r o f g o r o n e o f t h e s e o t h e r f a c t o rs i s t h u s c o n g ru e n t w i t h
re s p e c t t o p . I n t h e l a t t e r c a s e t h e re a re e x a c t l y
f i ve s u c h g ro u p s
o f o rd e r
g i f a n d o n l y i f p
= 3 a n d n o n e o f t h e p ri m e
f a c t o rs o f
g e x c e p t
t h e t w o
g i ve n o n e s i s c o n g ru e n t t o u n i t y w i t h re s p e c t
t o s u c h a f a c t o r a n d t h e s e
t w o a re t h u s c o n g ru e n t o n l y w i t h re s p e c t
t o 3 . I t re m a i n s t o c o n s i d e r
VOL. 1 8 , 1 9 3 2
5 1 1
5 1 ATHEMATI C S : G . A. MI LLER
t h e c a s e w h e n p i s c o n g ru e n t t o u n i t y w i t h re s p e c t t o a n o t h e r p ri m e f a c t o r
o f g a n d h e n c e t h e re a re e x a c t l y t h re e g ro u p s w h o s e c o m m o n o rd e r i s e q u a l
t o t h e s e t h re e p ri m e f a c t o rs . Th e re f o re g m u s t i n vo l ve a t l e a s t f o u r p ri m e
f a c t o rs . Wh e n e i t h e r o f t h e l a s t t w o o f t h e g i ve n t h re e p ri m e f a c t o rs
( b u t o n l y o n e o f t h e m ) i s c o n g ru e n t t o u n i t y w i t h re s p e c t t o t h i s f o u rt h
p ri m e f a c t o r o f g t h e re a re o b vi o u s l y f i ve g ro u p s o f o rd e r g a n d o n l y t h e n .
He n c e , t h e re a re a l s o t h re e c a s e s i n w h i c h t h e re a re e x a c t l y f i ve g ro u p s
o f o rd e r g w h e n g i s n o t d i vi s i b l e b y t h e s q u a re o f a p ri m e n u m b e r. I n
t h e l a s t t w o o f t h e s e c a s e s e a c h o f t h e p o s s i b l e g ro u p s i s t h e d i re c t p ro d u c t
o f a g ro u p w h o s e o rd e r i n vo l ve s f o u r p ri m e f a c t o rs a n d a c yc l i c g ro u p
w h i c h m a y re d u c e t o t h e i d e n t i t y. I n t h e f i rs t c a s e e a c h o f t h e p o s s i b l e
g ro u p s i s t h e d i re c t p ro d u c t o f a g ro u p w h o s e o rd e r i n vo l ve s t h re e d i s t i n c t
p ri m e f a c t o rs a n d a c yc l i c g ro u p w h i c h m a y re d u c e t o t h e i d e n t i t y. I n
a l l o f t h e s e c a s e s t h e o rd e rs o f a l l t h e p o s s i b l e g ro u p s a re o d d . Th a t i s ,
i f t h e re a re f i ve a n d o n l y f i ve g ro u p s o f a g i ve n o rd e r w h i c h i s n o t d i vi s i b l e b y
t h e s q u a re o f a p ri m e n u m b e r t h e n t h i s o rd e r m u s t b e o d d . I n w h a t f o l l o w s
g w i l l n o t b e re s t ri c t e d t o a n u m b e r w h o s e o rd e r i s n o t d i vi s i b l e b y t h e
s q u a re o f a p ri m e n u m b e r.
A n e c e s s a ry a n d s u f f i c i e n t c o n d i t i o n t h a t t h e re a re e x a c t l y f o u r g ro u p s
o f o rd e r g w h e n g
=
Pl ' p l Ps .
. i s t h a t a l l t h e g ro u p s o f t h i s o rd e r a re
a b e l i a n . Th a t i s , n o
p i "
- 1 , i = 1 , 2 , . . . X i s d i vi s i b l e b y o n e o f t h e
p ri m e s
p i , P2 , . . . p , . ' Th e o n l y f o rm o f g , w h e n t h e re a re e x a c t l y f o u r
g ro u p s o f o rd e r g , t h a t re m a i n s t o b e c o n s i d e re d i s
p 2 p 2 .
.
p N.
I f o n e
a n d o n l y o n e o f t h e p ri m e n u m b e rs
p 2
. . .
NP
i s c o n g ru e n t t o u n i t y w i t h
re s p e c t t o
p i ,
b u t n o t w i t h re s p e c t t o p 2 n o r w i t h re s p e c t t o a n o t h e r o f
t h e s e p ri m e s , w h i l e n o n e o f t h e o t h e r p ri m e f a c t o rs o f g i s c o n g ru e n t t o
u n i t y w i t h re s p e c t t o s u c h a p ri m e f a c t o r o r d i vi d e s
p i
+ 1 , t h e n e a c h o f
t h e p o s s i b l e f o u r g ro u p s o f o rd e r g i s t h e d i re c t p ro d u c t o f a g ro u p o f
o rd e r p 2
q , w h e re q
- 1 i s d i vi s i b l e b y Pi b u t n o t b y p 2 , a n d a c yc l i c g ro u p
w h i c h m a y re d u c e t o t h e i d e n t i t y. Th e f a c t t h a t t h e re c a n n o t b e m o re
t h a n f o u r g ro u p s o f o rd e r g w h e n t h e s e c o n d i t i o n s a re s a t i s f i e d re s u l t s f ro m
t h e p ro o f t h a t s u c h a g ro u p c o n t a i n s e x a c t l y p l 2 q o p e ra t o rs w h o s e o rd e rs
d i vi d e t h i s n u m b e r a n d t h a t i t c o u l d n o t i n vo l ve p 2 s u b g ro u p s o f o rd e r
q . He n c e i t m u s t i n vo l ve a c yc l i c i n va ri a n t s u b g ro u p o f o rd e r p i q s i n c e
i t c a n n o t c o n t a i n e x a c t l y
p i
s u b g ro u p s o f o rd e r q .
I f o n e a n d o n l y o n e o f t h e p ri m e n u m b e rs
p i
. . .
N
i s c o n g ru e n t
t o
u n i t y w i t h re s p e c t t o a n o t h e r o n e o f t h e m a n d t h i s i s t h u s c o n g ru e n t
w i t h re s p e c t t o o n l y o n e o f t h e m w h i l e n o n e o f t h e s e n u m b e rs d i vi d e s
p a
_1 n o r i s a n y o f t h e s e p ri m e s c o n g ru e n t t o u n i t y w i t h re s p e c t t o
p i ,
t h e n e a c h o f t h e f o u r g ro u p s o f o rd e r g i s t h e d i re c t
p ro d u c t
o f a
g ro u p
o f
o rd e r p 2 , a g ro u p w h o s e o rd e r i s t h e p ro d u c t
o f t h e t w o
g i ve n p ri m e
n u m b e rs , a n d a c yc l i c g ro u p w h i c h m a y
re d u c e t o t h e
i d e n t i t y.
He n c e
i t re s u l t s t h a t t h e re a re s i x c a s e s w h e n t h e re a re
e x a c t l y f o u r g ro u p s o f
o rd e r
g .
5 1 2 PROC . N. A. S .
MATHEMATI C S : G . A. MI LLER
I n f o u r o f t h e s e c a s e s g m u s t b e o d d , i n o n e c a s e i t m u s t b e e ve n , w h i l e i n t h e
re m a i n i n g c a s e i t m a y b e e i t h e r o d d o r e ve n .
Wh e n t h e re a re e x a c t l y f i ve g ro u p s o f o rd e r g t h i s o rd e r m a y b e o f t h e
f o rm P3 1 P2 . . . PA p ro vi d e d n o o n e o f t h e s e p ri m e n u m b e rs i s c o n g ru e n t
t o u n i t y w i t h re s p e c t t o a n o t h e r o n e o f t h e m a n d n o n e o f t h e o rd e rs o f
t h e g ro u p s o f i s o m o rp h i s m s o f t h e va ri o u s g ro u p s o f o rd e r p 3 i s d i vi s i b l e
b y o n e o f t h e p ri m e n u n b e rs p 2 . . .
p x .
Ea c h o f t h e s e f i ve g ro u p s i s t h e
d i re c t p ro d u c t o f a g ro u p o f o rd e r p 3 a n d a c yc l i c g ro u p , w h i c h m a y re d u c e
t o t h e i d e n t i t y. As t h e re i s o b vi o u s l y n o o rd e r o f t h e f o rm
p 2 , p 2 : p 3
. . .
f o r w h i c h t h e re a re e x a c t l y f i ve g ro u p s i t re m a i n s o n l y t o c o n s i d e r t h e
o rd e rs w h i c h a re o f t h e f o rm p 2 > . . .
p N,
f o r w h i c h e x a c t l y f i ve g ro u p s e x i s t .
S u p p o s e t h a t g i s o f t h i s f o rm a n d t h a t o n e a n d o n l y o n e o f t h e p ri m e
f a c t o rs o f g i s c o n g ru e n t t o u n i t y w i t h re s p e c t t o a n o t h e r s u c h f a c t o r a n d
t h i s i s t h u s c o n g ru e n t w i t h re s p e c t t o p 2 b u t n o t w i t h re s p e c t t o a n y o t h e r
p ri m e f a c t o r o f g n o r d o e s a n y s u c h p ri m e f a c t o r d i vi d e p 2
-
1 . I t i s
e a s y t o p ro ve t h a t e ve ry g ro u p o f o rd e r g m u s t t h e n i n vo l ve e x a c t l y p 2 q
o p e ra t o rs w h o s e o rd e rs d i vi d e t h i s n u m b e r, w h e re q - 1 i s d i vi s i b l e b y
p 2 . S u c h a g ro u p c a n t h e re f o re n o t i n vo l ve a s m a n y a s p 2 s u b g ro u p s o f
o rd e r q a n d h e n c e i t i n vo l ve s o n l y o n e s u c h s u b g ro u p . I t re s u l t s t h a t e ve ry
s u c h g ro u p i s t h e d i re c t p ro d u c t o f o n e o f t h e f i ve p o s s i b l e g ro u p s o f o rd e r
p l q
a n d a c yc l i c g ro u p w h i c h m a y re d u c e t o t h e i d e n t i t y. Th e s m a l l e s t
va l u e o f g f o r w h i c h e x a c t l y f i ve s u c h g ro u p s e x i s t i s 2 0 . Th e re a re o b -
vi o u s l y a l s o e x a c t l y f i ve g ro u p s o f o rd e r 2 p 2 , p ,
b e i n g a n y p ri m e n u m b e r.
Wh e n
p i
- 1 i s d i vi s i b l e b y o n e o f t h e p ri m e n u m b e rs P2 . . . . t h e re
a re a l w a ys m o re t h a n f i ve g ro u p s o f o rd e r g e x c e p t w h e n t h i s p ri m e i s 2
a n d g re d u c e s t o 2 p 2 . He n c e w e m a y a s s u m e i n w h a t f o l l o w s t h a t
p i
i s
i n c o n g ru e n t t o u n i t y w i t h re s p e c t t o e a c h o f t h e p ri m e f a c t o rs o f g a n d
t h a t n o n e o f t h e s e f a c t o rs i s c o n g ru e n t t o u n i t y w i t h re s p e c t t o
p i
e x c e p t
w h e n g = 1 2 . I f
p i
+ 1 i s d i vi s i b l e b y t w o a n d o n l y t w o o f t h e d i s t i n c t
p ri m e f a c t o rs o f g b u t n o s u c h f a c t o r i s c o n g ru e n t t o u n i t y w i t h re s p e c t
t o a n o t h e r t h e n e a c h o f t h e p o s s i b l e g ro u p s o f o rd e r g c o n t a i n s a n i n va ri a n t
s u b g ro u p o f o rd e r p a a n d t h e re a re f i ve g ro u p s o f o rd e r g . Th i s i s a l s o t h e
c a s e w h e n
p i
+ 1 i s d i vi s i b l e b y o n e a n d o n l y o n e p o f t h e s e p ri m e f a c t o rs
a n d p
- 1 i s d i vi s i b l e b y o n e a n d o n l y o n e s u c h f a c t o r w h i l e n o n e o f t h e
o t h e r p ri m e f a c t o rs o f g i s c o n g ru e n t t o u n i t y w i t h re s p e c t t o s u c h f a c t o rs .
Th e e x i s t e n c e o f e x a c t l y f i ve g ro u p s i n t h e s e c a s e s re s u l t s a l m o s t d i re c t l y
f ro m t h e f o l l o w i n g e l e m e n t a ry t h e o re m : I f a n y g ro u p
i n vo l ve s a
c yc l i c
S yl o w s u b g ro u p o f
o rd e r p m t h e n a l l
o f
i t s s u b g ro u p s o f
o rd e r
p a
a re
c o n j u g a t e
u n d e r t h e g ro u p .
As t h e re a re e x a c t l y 5 g ro u p s o f o rd e r 1 2 t h e re a re 9 c a s e s i n w h i c h t h e re
a re e x a c t l y 5 g ro u p s
o f t h e g i ve n
o rd e r
g .
I n t h re e o f t h e s e c a s e s g
i s n o t
d i vi s i b l e b y t h e s q u a re
o f a
p ri m e n u m b e r, i n o n e
g
i s d i vi s i b l e b y t h e c u b e
o f s u c h a n u m b e r,
w h i l e i n t h e re m a i n i n g f i ve , g i s d i vi s i b l e b y t h e s q u a re
o f
VOL. 1 8 , 1 9 3 2
5 1 3
MATHEMATI C S : J . L. WALS H
o n e a n d o n l y o n e p ri m e n u m b e r. I n o n e a n d o n l y o n e o f t h e s e c a s e s g
i s c o m p l e t e l y d e t e rm i n e d , b e i n g 1 2 . I n a n o t h e r c a s e g i n vo l ve s o n l y t w o
d i s t i n c t p ri m e f a c t o rs , b e i n g 2 p 2 . Wh i l e i n t h e re m a i n i n g s e ve n c a s e s
t h e re i s n o u p p e r l i m i t t o t h e n u m b e r o f d i s t i n c t p ri m e s w h i c h m a y d i vi d e
g w h e n a n d o n l y w h e n i t i s o d d . I n f a c t , i n f i ve o f t h e s e c a s e s g m u s t b e
o d d w h i l e i n t h e re m a i n i n g t w o i t m a y b e e i t h e r o d d o r e ve n .
Mi l l e r, Bl i c h f e l d t , Di c k s o n , Fi n i t e G ro u p s , 1 9 1 6 , p . 1 1 7 .
ON I NTERPOLATI ON TO HARMONI C FUNC TI ONS BY
HARMONI C POLYNOMI ALS
By J . L. WALS H
DEPARTMENT OF MATEMATI C S , HARVARD UNI t ERS rTY
C o m m u n i c a t e d J u n e 8 , 1 9 3 2
I t i s t h e o b j e c t o f t h e p re s e n t n o t e t o i n d i c a t e a c e rt a i n e a s i l y p ro ve d re -
s u l t o n i n t e rp o l a t i o n t o h a rm o n i c f u n c t i o n s b y h a rm o n i c p o l yn o m i a l s , a
re s u l t w h i c h t h e w ri t e r e x p e c t s l a t e r t o e l a b o ra t e .
I f t h e f u n c t i o n u ( x , y) i s h a rm o n i c i n t h e c i rc l e C R w h o s e c e n t e r i s t h e o ri g i n
a n d ra d i u s R > 1 , a n d i f
p n ( x ,
y) i s t h e ( u n i q u e ) h a rm o n i c p o l yn o m i a l o f d e -
g re e n [ t h a t i s , a n e x p re s s i o n o f t h e f o rm i n p o l a r c o 6 rd i n a t e s a O +
a i r
c o s 0
+ b i r s i nO + a 2 r2
c o s 2 0 + b 2 r2 s i n 2 + . . . + a r c o s n O +
b , r"
s i n n O]
w h i c h c o i n c i d e s w i t h t h e f u n c t i o n u ( x , y) i n 2 n + 1 p o i n t s e q u a l l y s p a c e d
o n t h e u n i t c i rc l e C , t h e n t h e e q u a t i o n
u ( x , y) = l i m p ( x , y) ( 1 )
i s va l i d f o r ( x , y) i n t e ri o r t o C R, u n i f o rm l y f o r ( x , y) o n a n y c l o s e d p o i n t s e t
i n t e ri o r t o C R. Mo re o ve r, i f u ( x , y) h a s a s i n g u l a ri t y o n t h e c i rc l e C R, e q u a -
t i o n ( 1 ) i s va l i d u n i f o rm l y i n n o re g i o n c o n t a i n i n g i n i t s i n t e ri o r a p o i n t o f C RI
Un d e r t h e h yp o t h e s i s o f t h i s t h e o re m , i f R1 i s c h o s e n l e s s t h a n R b u t
g re a t e r t h a n z e ro , t h e re e x i s t h a rm o n i c p o l yn o m i a l s q " ( x , y) o f re s p e c t i ve
d e g re e s n =
0 , 1 , 2 , . . . s u c h t h a t w e h a ve f o r ( x , y) o n C ,
u ( x , y)
-
q . ( x , y)
I R
1
w h e re Md e p e n d s o n
R,
b u t n o t o n ( x , y)
o r n . 1 On t h e c i rc l e C t h e
p o l y-
n o m i a l s p " ( x , y) a n d
q . ( x ,
y) a re t ri g o n o m e t ri c p o l yn o m i a l s
o f o rd e r n .
Fro m a g e n e ra l t h e o re m d u e t o J a c k s o n 2 t h e re f o l l o w s i m m e d i a t e l y t h e
i n e q u a l i t y o n C
| u ( x , y) -P. ( x , Y) <
BRn l o g n ,
5 1 4
PROC . N. A. S .