olymmath

IMC 2020 Problem 7

    Let GG be a group and n≥2n \ge 2 be an integer. Let H1,H2H_1, H_2 be 22 subgroups of GG that satisfy [G:H1]=[G:H2]=n and [G:(H1∩H2)]=n(n−1).[G: H_1] = [G: H_2] = n \text{ and } [G: (H_1 \cap H_2)] = n(n-1). Prove that H1,H2H_1, H_2 are conjugate in G.G. Official definitions: [G:H][G:H] denotes the index of the subgroup of H,H, i.e. the number of distinct left cosets xHxH of HH in G.G. The subgroups H1,H2H_1, H_2 are conjugate if there exists g∈Gg \in G such that g−1H1g=H2.g^{-1} H_1 g = H_2.

    Dataset text AI-MO AoPS. Quoted with source.

    Solutions

    No solution is on olymmath yet. Official and human solutions come first when they arrive. AI solutions come after them, with a label.

    Add a solution

    Similar problems

    These problems have the most words in common with this statement.

    Locator imc/2020/p7 · Tag 59TH5B1C5T · Edit this page on GitHub · Keys: j next, k previous