The Math Forum

Ask Dr. Math - Questions and Answers from our Archives
Associated Topics || Dr. Math Home || Search Dr. Math

Isomorphic Groups

Date: 02/11/2003 at 19:16:37
From: Scott
Subject: Isomorphic groups

Is the additive group of rationals isomorphic to the multiplicative 
group of non-zero rationals?

TO prove isomorphism I must find a bijective map such that f(xy) = f
(x)f(y). However, I can't find one that will map reals to real and 
preserve that 0 must get mapped to 1. I think that they are not 
isomorphic but cannot locate anything in their structure that is 

Date: 02/12/2003 at 02:56:37
From: Doctor Jacques
Subject: Re: Isomorphic groups

Hi Scott,

Assume that there is such an isomorphism. Then there is a rational q 
such that f(q) = 2.

Now, q/2 is also rational, and we should have:

  f(q/2 + q/2) = f(q/2)*f(q/2) = 2

which implies that f(q/2) = sqrt (2) or -sqrt(2). As neither of these 
is rational, we reach a contradiction - there is no such isomorphism.


I could also have used -1 instead of 2, but this proves that the 
additive group is not even isomorphic to the multiplicative group of 
non-zero _positive_ rationals. If you replace "rationals" by "reals" 
in this last case, there is such an isomorphism, namely the 
exponential function.

- Doctor Jacques, The Math Forum 
Associated Topics:
College Modern Algebra

Search the Dr. Math Library:

Find items containing (put spaces between keywords):
Click only once for faster results:

[ Choose "whole words" when searching for a word like age.]

all keywords, in any order at least one, that exact phrase
parts of words whole words

Submit your own question to Dr. Math

[Privacy Policy] [Terms of Use]

Math Forum Home || Math Library || Quick Reference || Math Forum Search

Ask Dr. MathTM
© 1994- The Math Forum at NCTM. All rights reserved.