1.6.69 Fields, Groups, Rings

condition: Prove that \( y \) of the additive group of rational numbers does not have its own subgroup of finite index. Note. Proof by contradiction. Use the fact that in a factor group all elements in this case have a finite order.