(adsbygoogle = window.adsbygoogle || []).push({}); 1. The problem statement, all variables and given/known data

Prove that the integers (under addition) are not isomorphic to the rationals (under addition).

2. Relevant equations

Two groups are isomorphic if there is an isomorphism between them.

If there is an isomorphism from G to H, f : G --> H, then G is cyclic iff H is cyclic.

A group G is cyclic if [tex] \{ x^n | n \in \mathbb{Z} \} = G, for some x \in G [/tex] .

3. The attempt at a solution

The integers are generated by [tex] <1> [/tex]. We can show that Z and Q are not isomorphic if we show that the rationals cannot be generated. Thus assume they are. Then there is an a such that

[tex] <a> = Q [\tex].

[tex] 0a = 0, 1a = \frac{l}{m} , 2a = \fract{2l}{m}[\tex].

Because the rationals are dense there is a [tex] b \in Q s.t. \frac{l}{m} < b < \frac{2l}{m} [\tex]

We must show that [tex] b = ka = \frac{kl}{m}, thus \frac{l}{m} < \frac{kl}{m} < \frac{2l}{m} [\tex].

Now I don't know what to do. The above is not a contradiction. Any ideas?

**Physics Forums | Science Articles, Homework Help, Discussion**

Dismiss Notice

Join Physics Forums Today!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Z and Q are not isomorphic

**Physics Forums | Science Articles, Homework Help, Discussion**