I have been asked to:
Decide whether the following groups are decomposable:
(a) – $(\mathbb{R^*}, \cdot)$
(b) – $(\mathbb{C}, +)$
(c) – $(\mathbb{Q^*}, \cdot)$
(d) – $(\mathbb{Q}, +)$
I would like a hint for item (a). I believe I was able to do itens (b), (c) and (d).
Regarding item (a), I tried to decompose $\mathbb{R^*}$ in rationals and irrationals (but this failed, since the irrationals are not a subgroup) or into algebraic and transcendental numbers (which also fails, since the transcendental numbers are not a subgroup). I also thought about showing that if $\mathbb{R^*} = A \times B$ then $A$ and $B$ do not intersect trivially (thus showing that the group is indecomposable), but I couldn't prove this idea.
Regarding item (b), I decomposed $\mathbb{C}$ into $\mathbb{R}$ and
$i\mathbb{R} = \{iy \ | \ y \in \mathbb{R} \} $.
Regarding item (c), I wrote that $\mathbb{Q^*} = \langle \ p \ | \ p \ \text{is a prime} \rangle = \langle 2 \rangle \ \oplus \ \langle \ p \ | \ p \ \text{is an odd prime} \rangle $.
EDIT: As pointed in the comments, this decomposition is for the multiplicative group of positive rational numbers. A correct decomposition would be, for instance, $\mathbb{Q^*} = \langle 2, -1 \rangle \ \oplus \ \langle \ p \ | \ p \ \text{is an odd prime} \rangle $.
Regarding item (d), I proved that the group is indecomposable by proving that two non-trivial subgroups don't intersect trivially. My reasoning was the same as in: Why is the additive group of rational numbers indecomposable?.
Can anyone give me a hint for item (a)? Thanks in advance.
Best Answer
For item (a), you can decompose where one factor is the sign and the other is the absolute value. Notice that you probably should do (c) the same way. Your decomposition is for the multiplicative group of positive rational numbers.
It turns out $(\mathbb R, +) $ is decomposable as well, but it's not quite as easy to see this.