MathDB
group with x\to x^n is an isomorphism

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

May 26, 2007
group theoryabstract algebrasuperior algebrasuperior algebra unsolved

Problem Statement

In the questions below: GG is a finite group; HGH \leq G a subgroup of G;G:HG; |G : H | the index of HH in G;XG; |X | the number of elements of XG;Z(G)X \subseteq G; Z (G) the center of G;GG; G' the commutator subgroup of G;NG(H)G; N_{G}(H ) the normalizer of HH in G;CG(H)G; C_{G}(H ) the centralizer of HH in GG; and SnS_{n} the nn-th symmetric group. Suppose that n1n \geq 1 is such that the mapping xxnx \mapsto x^{n} from GG to itself is an isomorphism. Prove that for each aG,an1Z(G).a \in G, a^{n-1}\in Z (G).