OIMU 2008 Problem 7
Let be an abelian additive group such that all nonzero elements have infinite order and for each prime number we have the inequality , where , (where the sum has summands) and is the order of the quotient group (the index of the subgroup ).
Prove that each subgroup of of finite index is isomorphic to .
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.
Similar problems
These problems have the most words in common with this statement.