Obviously you can't use a homomorphism f: X->Y that's 1-1 and onto to encrypt a finite subset of the rational numbers. It would be trivial to find the additive and multiplicative identities in Y, and ...