Let $\R^{\times}=\R\setminus \{0\}$ be the multiplicative group of real numbers.
Let $\C^{\times}=\C\setminus \{0\}$ be the multiplicative group of complex numbers.
Then show that $\R^{\times}$ and $\C^{\times}$ are not isomorphic as groups.

Let $G$ and $K$ be groups.
Recall that a map $f: G \to K$ is a group homomorphism if
\[f(ab)=f(a)f(b)\]
for all $a, b \in G$.
A group isomorphism is a bijective homomorphism.
If there is a group isomorphism from $G$ to $K$, we say that $G$ and $K$ are isomorphic (as groups).

We give two proofs.

Proof 1.

Seeking a contradiction, assume that there is a group isomorphism $\phi: \C^{\times} \to \R^{\times}$.
Since $\phi$ is a group homomorphism, $\phi(1)=1$. Thus we have
\[1=\phi(1)=\phi((-1)(-1))=\phi(-1)\phi(-1)=\phi(-1)^2.\]
Hence $\phi(-1)=\pm 1$. But since $\phi$ is injective and $\phi(1)=1$, we must have $\phi(-1)=-1$.

Now we have
\begin{align*}
-1=\phi(-1)=\phi(i^2)=\phi(i)^2.
\end{align*}

Since $\phi(i)\in \R^{\times}$, $\phi(i)^2$ must be a positive number. Thus we reached a contradiction.
Hence there is no isomorphism between $\R^{\times}$ and $\C^{\times}$.

Proof 2.

Suppose that there is a group isomorphism $\phi: \C^{\times} \to \R^{\times}$.
We want to find a contradiction.
Let $\zeta=e^{2\pi i /3}$ be a primitive third root of unity.

Since $\zeta^3=1$ and $\phi$ is a group homomorphism, we have
\begin{align*}
1=\phi(1)=\phi(\zeta^3)=\phi(\zeta)^3.
\end{align*}
Since $\phi(\zeta)$ is a real number, this implies that $\phi(\zeta)=1$.

This is a contradiction since $\phi$ is injective, but we have $\phi(1)=1=\phi(\zeta)$.
Therefore, there cannot be a group isomorphism between $\R^{\times}$ and $\C^{\times}$.

Group of $p$-Power Roots of 1 is Isomorphic to a Proper Quotient of Itself
Let $p$ be a prime number. Let
\[G=\{z\in \C \mid z^{p^n}=1\} \]
be the group of $p$-power roots of $1$ in $\C$.
Show that the map $\Psi:G\to G$ mapping $z$ to $z^p$ is a surjective homomorphism.
Also deduce from this that $G$ is isomorphic to a proper quotient of $G$ […]

The Set of Square Elements in the Multiplicative Group $(\Zmod{p})^*$
Suppose that $p$ is a prime number greater than $3$.
Consider the multiplicative group $G=(\Zmod{p})^*$ of order $p-1$.
(a) Prove that the set of squares $S=\{x^2\mid x\in G\}$ is a subgroup of the multiplicative group $G$.
(b) Determine the index $[G : S]$.
(c) Assume […]

Normal Subgroups, Isomorphic Quotients, But Not Isomorphic
Let $G$ be a group. Suppose that $H_1, H_2, N_1, N_2$ are all normal subgroup of $G$, $H_1 \lhd N_2$, and $H_2 \lhd N_2$.
Suppose also that $N_1/H_1$ is isomorphic to $N_2/H_2$. Then prove or disprove that $N_1$ is isomorphic to $N_2$.
Proof.
We give a […]

Inverse Map of a Bijective Homomorphism is a Group Homomorphism
Let $G$ and $H$ be groups and let $\phi: G \to H$ be a group homomorphism.
Suppose that $f:G\to H$ is bijective.
Then there exists a map $\psi:H\to G$ such that
\[\psi \circ \phi=\id_G \text{ and } \phi \circ \psi=\id_H.\]
Then prove that $\psi:H \to G$ is also a group […]

Group Homomorphism from $\Z/n\Z$ to $\Z/m\Z$ When $m$ Divides $n$
Let $m$ and $n$ be positive integers such that $m \mid n$.
(a) Prove that the map $\phi:\Zmod{n} \to \Zmod{m}$ sending $a+n\Z$ to $a+m\Z$ for any $a\in \Z$ is well-defined.
(b) Prove that $\phi$ is a group homomorphism.
(c) Prove that $\phi$ is surjective.
(d) Determine […]