0
$\begingroup$

I figure out that Q set of rational number under multiplication form a group but i am stuck in this part could some one show me way out. Q* the set of all positive rational number forms a free abelian group binary operation under multiplication.

  • 0
    OK, let's try this again. Can you prove that it's abelian?2012-11-14

2 Answers 2

2

At the request of the OP, I will show a direct proof. Let $G$ be the set of positive rational numbers. $G$ is a group under mutiplications. Let $\Pi$ be the set of prime numbers. We claim $G$ is a free abelian group with a basis $\Pi$.

Let $r \in G$. there exist positive integers $a, b$ such that $r = \frac{a}{b}$. Since $a$ and $b$ can be written as products of prime numbers, $G$ is generated by $\Pi$.

Let $p_1,\dots,p_r$ be distict prime numbers. Suppose $p_1^{n_1}\cdots p_r^{n_r} = 1$, where all $n_i$ are integers. It suffices to prove that all $n_i = 0$. If all $n_i \ge 0$, clearly all $n_i = 0$. Hence we assume not all $n_i \ge 0$. Without loss of generality, we can assume that $n_1, \dots, n_k \ge 0$ and $n_{k+1},\dots n_r < 0$. Then $p_1^{n_1}\cdots p_k^{n_k} = p_{k+1}^{-n_{k+1}}\cdots p_r^{-n_r}$. But this is a contradiction because $\mathbb{Z}$ is a UFD.

  • 0
    Ohhhhhh........thats i missed. thanks buddy. I appreciate ur help. good night see u again2012-11-15
2

Let $G$ be the set of positive rational numbers. $G$ is a group under mutiplications. Let $\Pi$ be the set of prime numbers. We claim $G$ is a free abelian group with a basis $\Pi$. Let $F$ be the free abelian group generated by $\Pi$. Every $x \in F$ can be written uniquely as $x = \sum_i n_ip_i$, where $p_i'$s are distinct prime numbers. Let $f\colon F \rightarrow G$ be the map defined by $f(x) = \prod_i p_i^{n_i}$. Clearly $f$ is a homomorphism. Since $\mathbb{Z}$ is a UFD, $f$ is injective.

It remains to prove that $f$ is surjective. Let $r \in G$. there exist positive integers $a, b$ such that $r = \frac{a}{b}$ and gcd$(a, b) = 1$. $a$ can be uniquely written $a = (p_1)^{n_1}\cdots (p_r)^{n_r}$, where $p_i'$s are distinct prime numbers. Similarly $b$ can be uniquely written $b = (q_1)^{m_1}\cdots (q_s)^{m_s}$, where $q_i'$s are distinct prime numbers. Since gcd$(a, b) = 1$, $p_i'$s and $q_j'$s are distinct. Let $x = \sum_i n_ip_i - \sum m_jq_j$. Clearly $f(x) = r$. Hence $f$ is surjective.

  • 0
    that could be better thak u very much2012-11-14