MathDB
|aH\cap Hb| and |H|, here H\leq 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: 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. Let HGH \leq G and a,bG.a, b \in G. Prove that aHHb|aH \cap Hb| is either zero or a divisor of H.|H |.