Isomorphism of 2 groups

**Chandru1** · January 23rd 2010, 03:34 AM

Is the group $(\mathbb{C},\cdot)=\{ z \in \mathbb{C} \ | z \neq 0\}$ isomorphic to $S \times \mathbb{R}$ , where $S=\{ z \in \mathbb{C} \ | |z|=1\}$

**Dinkydoe** · January 23rd 2010, 08:32 AM

I take it by $\mathbb{R}$ you mean $(\mathbb{R}, +)$ .

Then on $S\times \mathbb{R}$ we have a group operation: $(z_1,r_1)(z_2,r_2) = (z_1z_2,r_1+r_2)$ .

Then: $(z,r)\mapsto e^rz$ is a homomorphism $S\times \mathbb{R}\to \mathbb{C}^*$ . Work the details out for yourself.

You can even show that the kernel of this homomorphism is trivial. ker $(f) = <br /> \left\{(1,0)\right\}$ . After that apply the isomorphism-theorem.

**Chandru1** · January 23rd 2010, 09:14 AM

Hi--

By $\mathbb{R}+$ imean the set of all positive real numbers.

**Dinkydoe** · January 23rd 2010, 09:24 AM

Am I supposed to guess that?

you couldve meant anything with $\mathbb{R}$ .

$(\mathbb{R}, +)$ is a group, $(\mathbb{R}\setminus \left\{0\right\}, \cdot )$ is a group. And yes $(\mathbb{R}_{>0}, \cdot)$ is a group too. Provide these details next time.

Anyway, yes these groups are isomorphic:
$(z,r) \mapsto rz$ with inverse $z\mapsto (\frac{z}{|z|}, |z|)$ is a homomorphism: $S\times \mathbb{R}_{> 0} \to \mathbb{C}^*$ . The kernel is of this homomorphism is trivial, namely:
$\left\{(1,1)\right\}$ .

The isomorphism theorem gives: $S\times \mathbb{R}_{>0}\cong \mathbb{C}^*$

Thread: Isomorphism of 2 groups

LinkBack

Thread Tools

Display

Isomorphism of 2 groups

R doesnt mean that

Similar Math Help Forum Discussions

isomorphism between two groups problem..

Isomorphism between groups...

determine up to isomorphism all groups of order 13^2*3^2

Finding all groups of order n up to isomorphism

Isomorphism of abelian groups

Search Tags