Let p be a fixed prime. Let R_P be the set of all those rational numbers whose denominator is relatively prime top. Let Rp be the set of rationals whose denominator is a power of p (pⁱ, i ≥ 0). Prove that both R_p and Rp are abelian groups under ordinary addition of rationals.