# Cyclic groups

1. Feb 28, 2009

### hsong9

1. The problem statement, all variables and given/known data
A. Let |g| = 20 in a group G. Compute
|g^2|, |g^8|,|g^5|, |g^3|

B. In each case find the subgroup H = <x,y> of G.
a) G = <a> is cyclic, x = a^m, y = a^k, gcd(m,k)=d
b) G=S_3, x=(1 2), y=(2 3)
c) G = <a> * <b>, |a| = 4, |b| = 6, x = (a^2, b), y = (a,b^3)

3. The attempt at a solution
A. I know |g^2| = 20/2 = 10 and |g^5| = 20/5 = 4
But |g^8|, |g^3| don't know..

B. a)H=<a^d> , right?
but
I don't know how to solve b) and c)
Thanks!

2. Mar 1, 2009

### Tom Mattson

Staff Emeritus
Don't forget that if $g^{20}=e$ then $g^{40}=e$ also.

Yes.

b should be easy, because you've got a concrete group to play with. Just get in there and start computing. As for c, what does <a>*<b> mean?

3. Mar 1, 2009

### HallsofIvy

Staff Emeritus
The least common multiple of 20 and 8 is 2*4*5= 40. $(g^8)^5= (g^20)^2= e$.

The least common multiple of 3 and 20 is 60. $(g^3)^20= (g^20)^3= e$.

4. Mar 1, 2009

### hsong9

so.. for b) is H=(1 2) * (2 3) = (1 2 3)..?

5. Mar 1, 2009

### Tom Mattson

Staff Emeritus
Yes, that's right.
{"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": 1, "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, "katex": 0, "math-container": 0, "wp-katex-eq": 0, "align": 0, "equation": 0, "x-ck12": 0, "texerror": 0}