# Group of positive rationals under multiplication not isomorphic to group of rationals

A question that may sound very trivial, apologies beforehand. I am wondering why $( \mathbb{Q}_{>0} , \times )$ is not isomorphic to $( \mathbb{Q} , + )$. I can see for the case when $( \mathbb{Q} , \times )$, not required to be positive, one can argue the group contains elements with order 2 (namely all negatives). In the case of the requirement for all rationals to be positive this argument does not fly. What trivial fact am I missing here?

-

## 1 Answer

The isomorphism would have to map some element of $(\mathbb{Q},+)$ to $2$. There is no element of $(\mathbb{Q}_{>0},\times)$ whose square is $2$, but whatever number is mapped to $2$ has a half in $(\mathbb{Q},+)$. More generally speaking, you can divide by any natural number $n$ in $(\mathbb{Q},+)$, but you can't generally draw $n$-th roots in $(\mathbb{Q}_{>0},\times)$. More abstractly speaking, you can introduce an invertible multiplication operation on $(\mathbb{Q},+)$ to turn it into a field (in fact that in a sense is the point of the construction of $\mathbb{Q}$) but you can't define a corresponding exponentiation operation within $(\mathbb{Q}_{>0},\times)$.

The isomorphism that you expected to exist exists not between $(\mathbb{Q},+)$ and $(\mathbb{Q}_{>0},\times)$ but between $(\mathbb{Q},+)$ and $(b^\mathbb{Q},\times)$ for any $b\in\mathbb{R}_{>0} \setminus\{1\}$. Since $b^\mathbb{Q}$ always contains irrational elements, this is never a subgroup of $(\mathbb{Q}_{>0},\times)$.

-

More-or-less, joriki's answer can be rephrased like this. If we find a property, which is preserved by isomorphisms and which is fulfilled only for one of the groups, then the groups are not isomorphic. In this case, the property of the group $(G,\circ)$ is $(\forall x\in G)(\exists y\in G) y\circ y=x$. – Martin Sleziak Apr 18 '11 at 9:11
Martin's comment referred to an earlier version of the answer that only had the first couple of sentences. – joriki Apr 18 '11 at 9:28
It might be added that the property mentioned here (being avle to divide by any natural number n, which would then correspond to being able to take n'th roots in the multiplicative case) is called being divisible. – Tobias Kildetoft Apr 18 '11 at 9:45
To clarify that slightly (since "being able to divide" is a property of humans and computers, not of groups :-): A group is called divisible if for each element $x$ and each natural number $n$ there is an element $y$ such that $ny$, defined as the $n$-fold sum of $y$, is $x$. Then $(\mathbb{Q},+)$ is divisible and $(\mathbb{Q}_{>0},\times)$ isn't. – joriki Apr 18 '11 at 10:19
Thanks for all the help! – pberlijn Apr 18 '11 at 10:26
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 34, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "plain"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9485241770744324, "perplexity_flag": "head"}