olymmath

SCHWEITZER 2005 Problem 4

    Let F be a countable free group and let F=H1>H2>H3>⋯F = H_1> H_2> H_3> \cdots be a descending chain of finite index subgroups of group F. Suppose that ∩Hi\cap H_i does not contain any nontrivial normal subgroups of F. Prove that there exist gi∈Fg_i\in F for which the conjugated subgroups HigiH_i^{g_i} also form a chain, and ∩Higi={1}\cap H_i^{g_i}=\{1\} .

    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 schweitzer/2005/p4 · Tag TVZSQ8G75F · Edit this page on GitHub · Keys: j next, k previous