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.
how to prove this statement in modern algebra (finite abelian group)
-
0OK, let's try this again. Can you prove that it's abelian? – 2012-11-14
2 Answers
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.
-
0Ohhhhhh........thats i missed. thanks buddy. I appreciate ur help. good night see u again – 2012-11-15
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.
-
0that could be better thak u very much – 2012-11-14