(a) Prove that the additive group $\Q=(\Q, +)$ is not finitely generated.

Seeking a contradiction assume that the group $\Q=(\Q, +)$ is finitely generated and let $r_1, \dots, r_n$ be nonzero generators of $\Q$.
Express the generators as fractions
\[r_i=\frac{a_i}{b_i},\]
where $a_i, b_i$ are integers.

Then every rational number $r$ can be written as the sum
\[r=c_1r_1+\cdots+c_k r_n\]
for some integers $c_1, \dots, c_n$.

Then we have
\[r=\frac{m}{b_1\cdots b_n},\]
where $m$ is an integer (which you can write down explicitly using $a_i, c_i$).

Let $p$ be a prime number that does not divide $b_1\cdots b_n$, and choose $r=1/p$.

Then we must have
\[\frac{1}{p}=\frac{m}{b_1\cdots b_n}\]
for some integer $m$.
Then we have
\[pm=b_1\cdots b_n\]
and this implies $p$ divides $b_1\cdots b_n$, which contradicts our choice of the prime number $p$.

Thus, the group $\Q$ cannot be finitely generated.

(b) Prove that the multiplicative group $\Q^*=(\Q\setminus\{0\}, \times)$ of nonzero rational numbers is not finitely generated.

Suppose on the contrary that the group $\Q^*=(\Q\setminus\{0\}, \times)$ is finitely generated and let
\[r_i=\frac{a_i}{b_i}\]
be generators for $i=1, \dots, n$, where $a_i, b_i$ are integers.

Then every nonzero rational number $r$ can be written as
\[r=r_1^{c_1}\cdots r_n^{c_n}=\frac{a_1^{c_1}\cdots a_n^{c_n}}{b_1^{c_1}\cdots b_n^{c_n}}\]
for some integers $c_n$.

Let $p$ be a prime number that does not divide $b_1\cdots b_n$, and consider $r=1/p$.
Then as in part (a), this leads a contradiction.
Hence $\Q^*$ is not finitely generated.

Fundamental Theorem of Finitely Generated Abelian Groups and its application
In this post, we study the Fundamental Theorem of Finitely Generated Abelian Groups, and as an application we solve the following problem.
Problem.
Let $G$ be a finite abelian group of order $n$.
If $n$ is the product of distinct prime numbers, then prove that $G$ is isomorphic […]

Use Lagrange’s Theorem to Prove Fermat’s Little Theorem
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$.
Before the proof, let us recall Lagrange's Theorem.
Lagrange's Theorem
If $G$ is a […]

Example of an Infinite Group Whose Elements Have Finite Orders
Is it possible that each element of an infinite group has a finite order?
If so, give an example. Otherwise, prove the non-existence of such a group.
Solution.
We give an example of a group of infinite order each of whose elements has a finite order.
Consider […]

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 […]