Cyclic groups.

Printable View

May 2nd 2009, 03:18 PM
Deadstar

Cyclic groups.

Q. To what product in standard form is $C_{20}$ x $C_{30}$ isomorphic?

I got... $20 = 2^2 \cdot 5 = 4 \cdot 5$ and $30 = 2 \cdot 3 \cdot 5$

But how do i arrange these? I imagine it should be something like $C_{2 \cdot ---}$ x $C_{3 \cdot ---}$ But im not sure where the 5's and the 4 should go.

On a side note how do i put letters into latex so that they look like x and not $x$ ?
May 2nd 2009, 03:58 PM
Gamma

$C_{20} \cong C_4 \times C_5$
$C_{30} \cong C_2 \times C_3 \times C_5$
$C_{20} \times C_{30} \cong (C_4 \times C_5) \times (C_2 \times C_3 \times C_5) \cong C_4 \times C_2 \times C_3 \times C_5 \times C_5$

Basically keep the primes together and list in increasing order of the primes, but then within each prime go from big to small I think this is standard. But there are really two methods that you can write, this is the elementry divisor one, the other is invariant factors.

That way you group by the highest powers of all the available primes.

$C_4 \times C_2 \times C_3 \times C_5 \times C_5 \cong (C_4 \times C_3 \times C_5) \times (C_2 \times C_5) \cong C_{60} \times C_{10}$

Notice $C_4 \not \cong C_2 \times C_2$ so you cannot split that up from the $C_{20}$ one.
May 2nd 2009, 04:33 PM
Gamma

oh i missed the second question, if you are looking for the cross product symbol it is just \times