Do the positive rationals under multiplication contain a subgroup of finite index?
Similar questions usually rely the fact a subgroup is divisible, however, this is not the case in this question. I have a feeling that the answer should be "no", but have been unable to show this.