(a) Prove $\exp:\R \to \R^{\times}$ is an injective group homomorphism.

We first prove that $\exp$ is a group homomorphism.
Let $x, y \in \R$. Then we have
\begin{align*}
\exp(x+y)&=e^{x+y}\\
&=e^x e^y\\
&=\exp(x)\exp(y).
\end{align*}
Thus, the map $\exp$ is a group homomorphism.

To show that $\exp$ is injective, suppose $\exp(x)=\exp(y)$ for $x, y\in \R$.
This implies that we have
\[e^{x}=e^{y},\]
and thus $x=y$ by taking $\log$ of both sides.
Hence $\exp$ is an injective group homomorphism.

(b) Prove that the additive group $\R$ is isomorphic to the multiplicative group $\R^{+}$.

Since the image of $\exp:\R \to \R^{\times}$ consists of positive numbers, we can restrict the codomain of $\exp$ to $\R^{+}$, and we have the injective homomorphism
\[\exp: \R \to \R^{+}.\]

It suffices to show that this homomorphism is surjective.
For any $y\in \R^{+}$, we have $\log(y)\in \R$ and
\[\exp(\log(y))=e^{\log(y)}=y.\]

Thus, $\exp: \R \to \R^{+}$ is a bijective homomorphism, hence isomorphism of groups.
This proves that the additive group $\R$ is isomorphic to the multiplicative group $\R^{+}$.

Note that the inverse homomorphism is given by
\[\log: \R^{+} \to \R\]
sending $x\in \R^{+}$ to $\log(x)$.

This is a group homomorphism since we have for $x, y \in \R^{+}$,
\begin{align*}
\log(xy)=\log(x)+\log(y)
\end{align*}
by the property of the log function.

Multiplicative Groups of Real Numbers and Complex Numbers are not Isomorphic
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.
Recall.
Let $G$ and $K$ […]

A Group Homomorphism is Injective if and only if the Kernel is Trivial
Let $G$ and $H$ be groups and let $f:G \to K$ be a group homomorphism. Prove that the homomorphism $f$ is injective if and only if the kernel is trivial, that is, $\ker(f)=\{e\}$, where $e$ is the identity element of $G$.
Definitions/Hint.
We recall several […]

A Group Homomorphism is Injective if and only if Monic
Let $f:G\to G'$ be a group homomorphism. We say that $f$ is monic whenever we have $fg_1=fg_2$, where $g_1:K\to G$ and $g_2:K \to G$ are group homomorphisms for some group $K$, we have $g_1=g_2$.
Then prove that a group homomorphism $f: G \to G'$ is injective if and only if it is […]

A Homomorphism from the Additive Group of Integers to Itself
Let $\Z$ be the additive group of integers. Let $f: \Z \to \Z$ be a group homomorphism.
Then show that there exists an integer $a$ such that
\[f(n)=an\]
for any integer $n$.
Hint.
Let us first recall the definition of a group homomorphism.
A group homomorphism from a […]

The Group of Rational Numbers is Not Finitely Generated
(a) Prove that the additive group $\Q=(\Q, +)$ of rational numbers is not finitely generated.
(b) Prove that the multiplicative group $\Q^*=(\Q\setminus\{0\}, \times)$ of nonzero rational numbers is not finitely generated.
Proof.
(a) Prove that the additive […]