# Tagged: multiplicative group

## Problem 616

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 that $-1\notin S$. Then prove that for each $a\in G$ we have either $a\in S$ or $-a\in S$.

## Problem 510

Let $(\Q, +)$ be the additive group of rational numbers and let $(\Q_{ > 0}, \times)$ be the multiplicative group of positive rational numbers.

Prove that $(\Q, +)$ and $(\Q_{ > 0}, \times)$ are not isomorphic as groups.

## Problem 461

(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.

## Problem 344

Let $a, b$ be relatively prime integers and let $p$ be a prime number.
Suppose that we have
$a^{2^n}+b^{2^n}\equiv 0 \pmod{p}$ for some positive integer $n$.

Then prove that $2^{n+1}$ divides $p-1$.

## Problem 322

Let $\R=(\R, +)$ be the additive group of real numbers and let $\R^{\times}=(\R\setminus\{0\}, \cdot)$ be the multiplicative group of real numbers.

(a) Prove that the map $\exp:\R \to \R^{\times}$ defined by
$\exp(x)=e^x$ is an injective group homomorphism.

(b) Prove that the additive group $\R$ is isomorphic to the multiplicative group
$\R^{+}=\{x \in \R \mid x > 0\}.$

## Problem 219

Use Lagrange’s Theorem in the multiplicative group $(\Zmod{p})^{\times}$ to prove Fermat’s Little Theorem: if $p$ is a prime number then $a^p \equiv a \pmod p$ for all $a \in \Z$.

## Problem 130

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.