HERE THE ENGLISH TEXT .

Lemma 20 Let G be a group with jGj = pr for some prime p. If G acts on a set S and X
is the set of all G–stable elements in S then jXj ´ jSj mod p.
Proof. Let s1; : : : ; sm be representatives of the disjoint orbits under G containing more
than one element. Then S is the disjoint union S = X [ O(s1) [ ¢ ¢ ¢ [ O(sm), and so
jSj = jXj +
P
i jO(si)j. By Lemma 13, jO(si)j = [G : Gsi ], which by Lagrange’s theorem is
a divisor of jGj. Therefore, since O(si) contains more than one element, jO(si)j is divisible
by p. Therefore jSj ´ jXj mod p.
Theorem 21 (Second Sylow Theorem) Let G be a group of order pnq, where p is a
prime and p does not divide q. If P is a p–Sylow subgroup of G and H is any subgroup of
G of order a power of p then H µ xPx¡1 for some x 2 G. In particular, any two p–Sylow
subgroups of G are conjugate
Proof. Let S be the set of left cosets of P in G and let H act on S as in Example 7.
Let X be the set of all H–stable elements of S. By Lemma 20, jSj ´ jXj mod p. Since
jSj = jGj = jPj = q is not divisible by p, jXj 6´ 0 mod p, so X is not the empty set. Suppose
aP 2 X. The orbit of aP is the set fhaP j h 2 Hg. Since this orbit has only one element,
haP = aP for each h 2 H. So ha 2 aP, or h 2 aPa¡1 for each h. Therefore H µ aPa¡1.
This proves the first statement of the theorem. For the second statement, suppose P0 is
another p–Sylow subgroup of G. Then by the first part of the theorem, P0 µ aPa¡1 for
some
a 2 G. But jP0j = pn = jPj = jaPa¡1j. Therefore P0 = aPa¡1.
A consequence of the second Sylow theorem, which we will use in the proof of the third
Sylow theorem, is that a p–Sylow subgroup P of G is a normal subgroup of G iff P is the
unique p–Sylow subgroup of G. For, P is normal in G iff xPx¡1 = P for each x 2 G.
Therefore P is normal in G iff P is the unique p–Sylow subgroup of G, by the second
Sylow
theorem. We will prove the third Sylow theorem by using some of the ideas in the proof of
the second Sylow theorem.
Theorem 22 (Third Sylow Theorem) The number of p–Sylow subgroups of G divides
jGj and is of the form 1 + kp for some nonnegative integer k.
Proof. Let P be a p–Sylow subgroup of G. Then by the second Sylow theorem, the
set S of all p–Sylow subgroups of G is S = fgPg¡1 j g 2 Gg. The group G acts on S by
conjugation. That is, G acts on S via (g;Q) 7! gQg¡1 for Q = aPa¡1 2 S, as in Example 8.
The orbit of P is S, and the stabilizer of P is fg 2 G j gPg¡1 = Pg = N(P), the normalizer
of P. Therefore by Lemma 13, jSj = [G : (N(P)] = jGj = jN(P)j. Therefore the number of
p–Sylow subgroups of G divides jGj, and this number is not divisible

IN ENGLISH.

Lemma 20 Let G be a is the set of all G–stable disjoint orbits under G

group with jGj = pr for elements in S then jXj ´ containing more
some prime p. If G acts jSj mod p. than one element. Then S
on a set S and X Proof. Let s1; : : : ; sm be is the disjoint union S = X
representatives of the
[ O(s1) [ ¢ ¢ ¢ [ O(sm),
and so
jSj = jXj +
P suppose P0 is
i jO(si)j. By Lemma 13,
jO(si)j = [G : Gsi ],
which by Lagrange’s
theorem is
a divisor of jGj.
Therefore, since O(si)
contains more than one
element, jO(si)j is
divisible
by p. Therefore jSj ´ jXj
mod p.
Theorem 21 (Second
Sylow Theorem) Let G be
a group of order pnq,
where p is a
prime and p does not
divide q. If P is a p–Sylow
subgroup of G and H is
any subgroup of
G of order a power of p
then H µ xPx¡1 for some
x 2 G. In particular, any
two p–Sylow
subgroups of G are
conjugate
Proof. Let S be the set of
left cosets of P in G and
let H act on S as in
Example 7.
Let X be the set of all H–
stable elements of S. By
Lemma 20, jSj ´ jXj mod
p. Since
jSj = jGj = jPj = q is not
divisible by p, jXj 6´ 0
mod p, so X is not the
empty set. Suppose
aP 2 X. The orbit of aP is
the set fhaP j h 2 Hg.
Since this orbit has only
one element,
haP = aP for each h 2 H.
So ha 2 aP, or h 2 aPa¡1
for each h. Therefore H µ
aPa¡1.
This proves the first conjugation. That is, G
statement of the theorem. acts on S via (g;Q) 7!
For the second statement, gQg¡1 for Q = aPa¡1 2 S,
as in Example 8.
another p–Sylow The orbit of P is S, and
subgroup of G. Then by the stabilizer of P is fg 2
the first part of the G j gPg¡1 = Pg = N(P),
theorem, P0 µ aPa¡1 for the normalizer
some of P. Therefore by Lemma
a 2 G. But jP0j = pn = jPj 13, jSj = [G : (N(P)] = jGj
= jaPa¡1j. Therefore P0 = = jN(P)j. Therefore the
aPa¡1. number of
A consequence of the p–Sylow subgroups of G
second Sylow theorem, divides jGj, and this
which we will use in the number is not divisible
proof of the third
Sylow theorem, is that a
p–Sylow subgroup P of G
is a normal subgroup of G
iff P is the
unique p–Sylow subgroup
of G. For, P is normal in
G iff xPx¡1 = P for each x
2 G.
Therefore P is normal in
G iff P is the unique p–
Sylow subgroup of G, by
the second Sylow
theorem. We will prove
the third Sylow theorem
by using some of the
ideas in the proof of
the second Sylow
theorem.
Theorem 22 (Third Sylow
Theorem) The number of
p–Sylow subgroups of G
divides
jGj and is of the form 1 +
kp for some nonnegative
integer k.
Proof. Let P be a p–Sylow
subgroup of G. Then by
the second Sylow
theorem, the
set S of all p–Sylow
subgroups of G is S =
fgPg¡1 j g 2 Gg. The
group G acts on S by
IN ENGLISH.
Lemma 20 Let G be a group with jGj = pr
for some prime p. If G acts on a set S and
X the first part of the theorem, P0 µ aPa¡1 for
is the set of all G–stable elements in S then
jXj ´ jSj mod p.
Proof. Let s1; : : : ; sm be
representatives of the disjoint orbits
under G containing more
than one element. Then S is the disjoint
union S = X [ O(s1) [ ¢ ¢ ¢ [ O(sm), and
so
jSj = jXj +
P unique p–Sylow subgroup of G. For, P is
i jO(si)j. By Lemma 13, jO(si)j = [G :
Gsi ], which by Lagrange’s theorem is
a divisor of jGj. Therefore, since O(si)
contains more than one element, jO(si)j
is divisible
by p. Therefore jSj ´ jXj mod p.
Theorem 21 (Second Sylow Theorem)
Let G be a group of order pnq, where p
is a
prime and p does not divide q. If P is a
p–Sylow subgroup of G and H is any
subgroup of
G of order a power of p then H µ xPx¡1
for some x 2 G. In particular, any two p–
Sylow
subgroups of G are conjugate
Proof. Let S be the set of left cosets of P in
G and let H act on S as in Example 7.
Let X be the set of all H–stable elements of
S. By Lemma 20, jSj ´ jXj mod p. Since
jSj = jGj = jPj = q is not divisible by p,
jXj 6´ 0 mod p, so X is not the empty set.
Suppose
aP 2 X. The orbit of aP is the set fhaP j h
2 Hg. Since this orbit has only one
element,
haP = aP for each h 2 H. So ha 2 aP, or h
2 aPa¡1 for each h. Therefore H µ aPa¡1.
This proves the first statement of the
theorem. For the second statement,
suppose P0 is
another p–Sylow subgroup of G. Then by
some
a 2 G. But jP0j = pn = jPj = jaPa¡1j.
Therefore P0 = aPa¡1.
A consequence of the second Sylow
theorem, which we will use in the proof of
the third
Sylow theorem, is that a p–Sylow subgroup
P of G is a normal subgroup of G iff P is
the
normal in G iff xPx¡1 = P for each x 2 G.
Therefore P is normal in G iff P is the
unique p–Sylow subgroup of G, by the
second Sylow
theorem. We will prove the third Sylow
theorem by using some of the ideas in the
proof of
the second Sylow theorem.
Theorem 22 (Third Sylow Theorem) The
number of p–Sylow subgroups of G divides
jGj and is of the form 1 + kp for some
nonnegative integer k.
Proof. Let P be a p–Sylow subgroup of G.
Then by the second Sylow theorem, the
set S of all p–Sylow subgroups of G is S =
fgPg¡1 j g 2 Gg. The group G acts on S by
conjugation. That is, G acts on S via (g;Q)
7! gQg¡1 for Q = aPa¡1 2 S, as in Example
8.
The orbit of P is S, and the stabilizer of P is
fg 2 G j gPg¡1 = Pg = N(P), the normalizer
of P. Therefore by Lemma 13, jSj = [G :
(N(P)] = jGj = jN(P)j. Therefore the
number of
p–Sylow subgroups of G divides jGj, and
this number is not divisible

IN FINLAND.
Aine 20 Let G on ryhmä, jolla jGj
= pr joidenkin prime s. Jos G
toimii joukko S ja X
on asetettu kaikkien G-vakaita
elementtejä S sitten jXj "jSj mod
s.
Todiste. Olkoon s1;:::; sm olla
edustajia, disjoint kiertoradat
nojalla G sisältävät enemmän
kuin yksi tekijä. Sitten S on
disjoint union S = X [O (s1) [¢ ¢
¢ [O (SM), ja niin
jSj = jXj +
P nonnegative integer k.
i JO (SI) j. By Aine 13, JO (SI),
j = [G: GSI], joka Lagrangen lause
on
yksi jakaja, jGj. Siksi, koska O
(SI) on enemmän kuin yksi tekijä,
JO (SI) J on jaollinen
P. Siksi jSj "jXj mod s.
Theorem 21 (toinen Sylow Theorem)
Olkoon G on ryhmä, jotta PNQ,
missä p on
pohjoispuolella ja p ei jaotella
q. Jos P on ap-Sylow alaryhmä, G
ja H on jokin alaryhmä,
G jotta valtaan p, niin H μ xPx ¡1
joidenkin x 2 G. Erityisesti
tahansa kaksi p-Sylow
alaryhmiä G ovat konjugaatti
Todiste. Olkoon S on asetettu
vasemman cosets P G ja anna H
toimimaan S kuten Esimerkki 7.
Olkoon X on asetettava kaikkien H-
vakaita elementtejä S. By Aine 20,
jSj "jXj mod s. Lähtien
jSj = jGj = jPj = q ei ole
jaollinen p, jXj 6 '0 mod p, niin
X ei ole tyhjä asetettu. Oletetaan
AP 2 X kiertoradalla AP on
asetettu fhaP j h 2 Hg. Koska tämä
kiertorata on vain yksi osa,
Hap = AP kunkin H 2 H. Niinpä ha 2
AP, tai H 2 KHT ¡1 jokaista h.
Siksi H μ KHT ¡1.
Tämä osoittaa, ensimmäinen
selvitys lause. Jo toisen
julkilausuman, oletan, P0 on
toisen p-Sylow alaryhmä G. sitten
ensimmäinen osa, lause, p0 μ KHT
¡1 joidenkin
a 2 G. Mutta jP0j = pn = jPj =
jaPa ¡1j. Siksi P0 = Apa ¡1.
A seurausta toisen Sylow lause,
jota aiomme käyttää todisteena
kolmannen
Sylow lause, että AP-Sylow
alaryhmä P G on normaali aliryhmä
G IFF P on
ainutlaatuinen p-Sylow alaryhmä,
G., P on normaali G IFF xPx ¡1 = P
kullekin x 2 G.
Näin ollen P on normaali G IFF P
on ainutlaatuinen p-Sylow
alaryhmä, G, toisen Sylow
lause. Tulemme todistamaan
kolmasosaa Sylow lause käyttämällä
joitakin ajatuksia, todiste
Toisen Sylow lause.
Theorem 22 (kolmas Sylow Theorem)
määrä p-Sylow alaryhmiä G jakaa
jGj ja on muotoa 1 + kp joidenkin
Todiste. Olkoon P on ap-Sylow
alaryhmä G. sitten toisen Sylow
lause,
asettaa S kaikkien p-Sylow
alaryhmiä, G on S = fgPg ¡1 JG 2
Gg. Ryhmä G toimii S
konjugaatio. Tämä tarkoittaa sitä,
että G toimii S kautta (g, Q) 7!
gQg ¡1 Q = Apa ¡1 2 S, kuten
Esimerkki 8.
The kiertoradalla P on S, ja
vakauttajaa P on fg 2 G j GPG ¡1 =
Pg = N (P), normalizer
, s. näin ollen Aine 13, jSj = [G:
(N (P)] = jGj = JN (P) J. Siksi
määrä
p-Sylow alaryhmiä G jakaa jGj, ja
tämä määrä ei ole jaollinen

IN SWEDISH.
Dem 20 Låt G vara en grupp med jGj
= pr för vissa prime s. Om G
agerar på en uppsättning S och X
är den uppsättning av alla G-
stabila element i S sedan jXj "JSJ
mod s.
Bevis. Låt s1,:::; sm vara
företrädare för den separata banor
under G innehåller mer
än en faktor. Då S är separata
fackliga S = X [O (S1) [¢ ¢ ¢ [O
(sm) och så
JSJ = jXj +
P splittrar
i jo (SI) j. Genom Dem 13, Jo (SI)
j = [G: GSI], som genom
medelvärdessatsen är
en divisor av jGj. Eftersom O (SI)
innehåller mer än en del, jo (SI)
j är delbar
genom s. Därför JSJ "jXj mod s.
Theorem 21 (andra Sylow theorem)
Låt G vara en grupp för pnq, där p
är ett
huvudentreprenör och p inte dela
q. Om P är ap-Sylow undergrupp
till G och H är en undergrupp till
G i ordning en effekt av p så är H
μ xPx ¡1 för några x 2 G. I
synnerhet två p-Sylow
undergrupper av G är konjugat
Bevis. Låt S vara den uppsättning
vänster cosets av P på G och låt H
agera på S som i exempel 7.
Låt X vara den uppsättning av alla
H-stabila delarna av S. Genom Dem
20, JSJ "jXj mod s. Eftersom
JSJ = jGj = JPJ = q inte är delbar
med p, jXj 6 "0 mod p, så X är
inte den tomma set. Antag
aP 2 X. bana till AP är den
uppsättning fhaP j h 2 Hg.
Eftersom denna bana har bara en
del,
Hap = aP för varje h 2 H. Så ha 2
AP, eller H 2 APA ¡1 för varje h.
Därför H μ Apa ¡1.
Det visar den första uttalande av
teorem. För det andra uttalandet,
förmodar P0 är
en annan p-Sylow undergrupp till
G. Sedan genom den första delen av
teorem, P0 μ Apa ¡1 för vissa
en 2 G. Men jP0j = pn = JPJ = Japa
¡1j. Därför P0 = Apa ¡1.
En följd av den andra Sylow
teorem, som vi kommer att använda
i det bevis på den tredje
Sylow teorem, är att AP-Sylow
undergrupp P på G är en normal
undergrupp till G iff P är
unika p-Sylow undergrupp till G.
För P är normal i G iff xPx ¡1 = P
för varje x 2 G.
Därför P är normal i G iff P är
unik p-Sylow undergrupp till G,
med andra Sylow
theorem. Vi kommer att visa den
tredje Sylow theorem med hjälp av
några av idéerna i styrka
andra Sylow theorem.
Theorem 22 (tredje Sylow theorem)
Antalet p-Sylow undergrupper av G
jGj och är av formen 1 + kp för
vissa nonnegative integer k.
Bevis. Låt P vara ap-Sylow
undergrupp till G. Sedan genom det
andra Sylow theorem,
som S av alla p-Sylow undergrupper
av G S = fgPg ¡1 JG 2 GG. Den
grupp G handlar på S genom
konjugation. Det är, G handlar på
S genom (g, Q) 7! gQg ¡1 för Q =
Apa ¡1 2 S, som i exempel 8.
Den omloppsbana P S, och
stabilisatorn av P är fg 2 G j GPG
¡1 = Pg = N (P), normalizer
av P. Därför genom Dem 13, JSJ =
[G: (N (P)] = jGj = JN (P) J.
Därför antalet
p-Sylow undergrupper av G
splittrar jGj, och detta antal
inte är delbar