Let $x*y=xy-x-y+2$ for $x,y\in H=(1,\infty)$. I need to show that $(H,*)$ is isomorphic to $(\mathbb{R},+)$ as groups. I have already proven to myself that $H$ is a group, the identity is 2, the operation is associative, and that each element in $H$ has an inverse. But I cannot figure out how to construct a homomorphism let alone an isomorphism between the two groups. How would I prove this? Could it be done using a contradiction proof; like if I assumed they are not isomorphic and reached a contradiction? Any help is appreciated!
Isomorphism of Groups?
2
$\begingroup$
abstract-algebra
group-theory
group-isomorphism
group-homomorphism
-
2Hint: first try to show that $(H,\star)$ is isomorphic to $(\mathbb{R}^+, \times)$; there's then a well-known isomorphism between $(\mathbb{R}^+, \times)$ and $(\mathbb{R}, +)$ that you can compose with your first isomorphism. – 2017-02-03
-
0@StevenStadnicki That makes sense, but how exactly would I show that $(H,*)\simeq (\mathbb{R}^{+},\cdot)$? – 2017-02-03
-
0The fact that $x*y=(x-1)(y-1)+1$ is likely useful here. – 2017-02-03
-
0HInt: $xy-x-y+2 = (x-1)(y-1)+1$ so $(x*y) - 1 = (x-1)(y-1)$ – 2017-02-03
1 Answers
1
$xy - x - y + 2 = (x-1)(y-1)+1$
$f(x) = x+1$
$f(xy) = f(x)*f(y) = xy+1$
$g(x) = e^x + 1$
$g(x+y) = e^{x+y} + 1 = g(x)*g(y) = (e^x + 1)*(e^y+1) = e^xy + 1$
does $g(x)$ have an inverse?
$g^{-1} = \ln (x -1)$