- #1

- 81

- 0

## Homework Statement

The problem states that [itex]G[/itex] is a group, [itex]a \in G[/itex] s.t. [itex]o\left(a\right)=dk[/itex], and [itex]x \in G[/itex] s.t. [itex]x^{d}=a[/itex]. Prove that [itex]o\left(x\right)=d^{2}k[/itex] where [itex]d,k > 1[/itex].

Note: [itex]o\left(x\right)[/itex] denotes the order of element [itex]x[/itex] in [itex]G[/itex].

## Homework Equations

## The Attempt at a Solution

So, it's rather easy to show that [itex]x^{d^{2}k} = e[/itex] (where [itex]e[/itex] is the identity element of [itex]G[/itex]), but I'm having trouble proving that it is the order of [itex]x[/itex].

My thoughts were to try to assume [itex]x^{n}=e[/itex], then divide [itex]n[/itex] by [itex]d[/itex] to get [itex]n=qd+r \Rightarrow x^{qd+r}=x^{qd}x^{r} = {x^{d}}^{q}x^{r} = a^{q}x^{r} = e[/itex]. If I could somehow prove [itex]r=0[/itex], I think I could finish the proof, however, I cannot see how to proceed. If someone could point me in the right direction, it would be much appreciated.