0
$\begingroup$

Let $H$ be the subgroup {-1,1} in $G=\mathbb{R}^{*}$. Is $G/H$ isomorphic to $G$?

I know the answer is "no," but I am not really sure why. Is it because $a$ and $-a$ generate the same coset? If that's the case, if we just looked at the positive reals, would we then get an isomorphism?

Thanks in advance

  • 1
    If you just looked at the positive reals, $\{-1,1\}$ would not be a subset.2012-02-08

2 Answers 2

2

Each coset $\{a,-a\}$, with $a> 0$, has a square root, $\{\sqrt a,-\sqrt a\}$, and this is not true in $G$. Also, squaring is injective in $G/H$, but not in $G$. Note that $x\mapsto x^2$ is a surjective homomorphism from $G$ to $\mathbb R_{>0}$ with kernel $H$, so $G/H\cong \mathbb R_{>0}$. (You could also use $x\mapsto |x|$, or define a map explicitly from the quotient by $\{a,-a\}\mapsto a$ with $a>0$.)

  • 1
    And as Nicky Hekster [points out](http://math.stackexchange.com/questions/106932/reals-isomorphic-to-quotient-group/106936#comment250577_106935), the second point, that squaring is not injective, has the advantage that it would also apply if we replaced $\mathbb R^*$ with $\mathbb Q^*$, whereas the existence of square roots argument doesn't apply for $\mathbb Q^*/\{\pm1\}$. For the same reason, using absolute value rather than squaring would be better for establishing that \mathbb Q^*/\{\pm 1\}\cong\mathbb Q_{>0}.2012-02-08
3

$\mathbf R^*$ contains a non-identity element whose square is $1$. Is the same true of your quotient?

  • 0
    And that argument applies also to $\mathbb Q^*$, where square roots (see Jonas' remarks above) do not exist in general2012-02-08