I'm currently going through Hungerford's book "Algebra", and the first proof I found a bit confusing is the proof of the theorem which states that every infinite cyclic group is isomorphic to the group of integers (the other part of the theorem states that every finite cyclic group of order m is isomorphic to the group Zm, but I understood that part).(adsbygoogle = window.adsbygoogle || []).push({});

So, if G = <a> is some infinite cyclic group, then the mapping f : Z --> G with the formula f(k) = a^k is clearly an epimorphism. To prove that it's an isomorphism (i.e. that Z is isomorphic to G), one needs to show that f is a monomorphism, too. That's where I'm stuck. I know that f is injective iff Ker(f) = {0}, so I somehow need to show that Ker(f) = {0}.

So, by definition, Ker(f) = {k in Z | a^k = e}. Suppose Ker(f) is non-trivial. Ker(f) is a subgroup of the integers Z, and hence it is cyclic, infinite and generated with m, where m is the least positive integer in it, so Ker(f) = <m>.

Thanks in advance.

**Physics Forums - The Fusion of Science and Community**

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

# Infinite cyclic groups isomorphic to Z

Loading...

Similar Threads - Infinite cyclic groups | Date |
---|---|

I Directly Finite and Directly Infinite R-Modules - Bland S2.2 | May 22, 2016 |

Verifying the Fourier Series is in Hilbert Space | Nov 27, 2015 |

How can e^{Diag Matrix} not be an infinite series? | Nov 12, 2015 |

Examples of infinite nonabelian groups not GL_n(G)? | Sep 9, 2015 |

**Physics Forums - The Fusion of Science and Community**