MathDB

on |G'| = 2 (G' the commutator subgroup of G)

Source: 4-th Hungary-Israel Binational Mathematical Competition 1993

May 27, 2007

group theoryabstract algebrasuperior algebrasuperior algebra unsolved

Problem Statement

In the questions below:

G

is a ﬁnite group;

H \leq G

a subgroup of

G; |G : H |

the index of

H

G; |X |

the number of elements of

X \subseteq G; Z (G)

the center of

G; G'

the commutator subgroup of

G; N_{G}(H )

the normalizer of

H

G; C_{G}(H )

the centralizer of

H

G

; and

S_{n}

the

n

-th symmetric group. Assume

|G'| = 2

. Prove that

|G : G'|

is even.