Algebra, Problems For Fun (35)

**NonCommAlg** · July 19th 2009, 11:39 PM

Characterize all subgroups of $\mathbb{Q}^{\times}.$

**NonCommAlg** · July 20th 2009, 11:25 AM

here's an idea: let $G=\{1,-1 \},$ considered as a multiplicative group. show that $\mathbb{Q}^{\times}$ and $G \oplus \mathbb{Z} \oplus \mathbb{Z} \oplus \cdots$ are isomorphic.

**pomp** · July 20th 2009, 11:58 AM

My guess would be that $~ \mathbb{Q}^{\times}_{>0} = \displaystyle\bigoplus_{p ~ prime} \langle p \rangle ~$ . Clearly each $\langle p \rangle \simeq \mathbb{Z}$

Then $\mathbb{Q}^{\times} \simeq G \oplus \mathbb{Q}^{\times}_{>0}$ as we can define the trivial isomorphism $\theta$ : $(g,q) \rightarrow gq$

Just the first step needs some justification...

**NonCommAlg** · July 20th 2009, 12:07 PM

Originally Posted by pomp

My guess would be that $~ \mathbb{Q}^{\times}_{>0} = \oplus_p \langle p \rangle ~$ for p prime. Clearly each $\langle p \rangle \simeq \mathbb{Z}$

Then $\mathbb{Q}^{\times} \simeq G \oplus \mathbb{Q}^{\times}_{>0}$ as we can define the trivial isomorphism $\theta$ : $(g,q) \rightarrow gq$

Just the first step needs some justification...

well, every $r \in \mathbb{Q}^{\times}$ can be written uniquely as $r=\pm p_1^{n_1}p_2^{n_2} \cdots p_k^{n_k},$ where $p_j$ is the j-th prime number and $n_j \in \mathbb{Z}.$ now define $f(r)=(\text{sgn}(r),n_1,n_2, \cdots, n_k, 0, 0, \cdots ).$

**siclar** · July 20th 2009, 12:08 PM

EDIT: Aw man, ninja'd ><

Original post:

As a consequence of uniqueness of prime factorization, every nonzero rational number can be expressed uniquely as $q=(-1)^{r_0}p_1^{r_1}p_2^{r_2}\ldots p_s^{r_s}$ where $r_i \in \mathbb{Z}^\times$ .

Then given a particular enumeration of the primes $P=\{p_1, p_2, \ldots\}$ , there are only a finite number of prime divisors, so with respect to our enumeration there is a unique such representation with $q=(-1)^{r_0}p_1^{r_1}p_2^{r_2}\ldots =(-1)^{r_0}\prod_{i=1}^{\infty} p_i^{r_i}$ where $r_i \in \mathbb{Z}$ such that only a finite number of $r_i$ are nonzero This would suggest an isomorphism $Q^\times \rightarrow G\times\displaystyle\bigoplus_{i=1}^\infty \mathbb{Z}$ given by $(-1)^{r_0}\prod_{i=1}^{\infty} p_i^{r_i} \mapsto ((-1)^{r_0}, r_1, r_2, \ldots)$ .

Uniqueness of factorization assures this is a well defined and 1-1 function. The finite number of prime factors assures this indeed maps into and onto the direct sum. Finally the morphism property follows from the properties of exponents.

Hand wavy but conveys the ideas I think.

**NonCommAlg** · July 20th 2009, 12:17 PM

so, to answer the question you only need to find the subgroups of $G \oplus \mathbb{Z} \oplus \mathbb{Z} \oplus ...$ . it shouldn't be hard!

**siclar** · July 20th 2009, 06:40 PM

Either the subgroups are finitely generated or not. If they are finitely generated, then the fundamental theorem of finitely generated abelian groups tells us that up to isomorphisms the subgroups are the direct product of copies of the integers with the 2 element group. If a subgroup is not finitely generated, then intuition says we should expect an isomorphic copy of the group, or an isomorphic copy of the infinite direct sum of integers.

**NonCommAlg** · July 21st 2009, 01:47 AM

let $N$ be a subgroup of $\mathbb{Q}^{\times}.$ then either $\{1,-1 \}=G \subseteq N$ or $N \cap G = \{1 \}.$ if $G \subseteq N,$ then $N/G$ would be a subgroup of the free abelian group $\mathbb{Q}^{\times}/G \cong \mathbb{Z} \oplus \mathbb{Z} \oplus \cdots.$ we know that any

(non-trivial} subgroup of a free abelian group is free. so $N$ is isomorphic to $G \oplus K,$ where $K$ is the direct sum of finitely or infinitely (countable) many copies of $\mathbb{Z}.$ if $N \cap G = \{1 \},$ then

$NG/G \cong N/(N \cap G) \cong N.$ thus $NG/G \cong N$ is a subgroup of the free abelian group $\mathbb{Q}^{\times}/G \cong \mathbb{Z} \oplus \mathbb{Z} \oplus \cdots.$ so $N$ is just a direct sum of finitely or infinitely (countable) many of copies of $\mathbb{Z}.$

briefly subgroups of $\mathbb{Q}^{\times}$ are in one of these forms: $\{1 \}, \ \{1,-1 \}, \ K, \ \{1,-1 \} \oplus K,$ where $K$ is any free abelian group of at most countable rank.

Thread: Algebra, Problems For Fun (35)

LinkBack

Thread Tools

Display

Algebra, Problems For Fun (35)

Similar Math Help Forum Discussions

Algebra, Problems For Fun (7)

2 more algebra problems

Two Very Odd Algebra Problems

Need Help With All these Algebra Problems.

Few more Algebra problems..

Search Tags