A norm for the rational numbers, with some prime number p as parameter, such that any rational number of the form pk(a/b) — where a, b and k are integers and a, b and p are coprime — is mapped to the rational number p-k and 0 is mapped to 0. (Note: any nonzero rational number can be reduced to such a form.)