Let $G$ be a finite cyclic group of order $n$. If $d$ is a positive divisor of $n$, prove that the equation $x^d = e$ has exactly $d$ distinct solutions in $G$.
abstract algebra question with a cyclic group
1
$\begingroup$
abstract-algebra
group-theory
-
4Welcome to math.SE. I'm afraid that it is not considered polite here to tell other users to do something. Your question does not show that you have thought about the problem. Please explain what you've tried so far, and where you are stuck. – 2012-04-08
-
0The (strong) converse is also true and useful for proving the existence of primitive roots. (Amazingly, Wikipedia does not contain this proof. Or did I miss it?) – 2012-04-08
-
1(There is no need to say in the title that the question is a question, nor that it is *abstract algebra*, for that's what the tags are for!) – 2012-04-09
1 Answers
1
$G$ is generated by some $g\in G$. Since $d\mid n$, we can find $k$ such that $dk=n$. Now let $y=g^k$. Check that $y^j,0\leq j\leq d-1$ are pairwise distinct, so there are at least $d$ solutions to $x^d=e$. If $x\neq g^{kj}$ for all integer $0\leq j\leq d-1$, $x=g^p$ for some $p$. We write $p=kq+r$, where $1\leq r\leq k-1$. Then $x^d=g^{pd}=g^ng^{rd}=g^{rd}\neq e$.
-
0Alright if I need to try it out, this is what I tried to do. $x^{d} = e$ if and only if $a^{ld} = e$ if and only if $ld$ is a multiple of $n$. I got this far. Im not sure how to go about the rest of the problem. – 2012-04-09
-
0since d divides n you can pick such an $k$ so that $n$ EQUALS $kd$. take your generator $a$ and consider the subgroup generated by $a^k$. show $a^k$ has order $d$, which will give you $d$ solutions. then use the division algorithm to show there aren't any others. – 2012-04-09