5
$\begingroup$

I'm showing that any group of order $63$ has an element of order $3$, and can only use Lagrange's theorem not Cauchy's or Sylow's. I got it reduced to a case of having $62$ elements of order $7$ but I'm stuck now.

So let $|G|=63$, and consider an element $a \in G$, $a$ not equal to the identity. I'm allowed to use the theorem that if $|a|=n$, and $k$ divides $n$, then $|a^{n/k}|=k$. Also, I know $G$ can only have elements of orders $1,3,7,9,21,63$. If $|a|=63$, then $|a^{21}|=3$. If $|a|=21$, then $|a^7|=3$. If $|a|=9$, then $|a^3|=3$. If $|a|=3$, then we are done. So $G$ must contain an element of order $3$ unless $G$ contains only the identity, and $62$ elements of order $7$. Now how do rule out this?

$\endgroup$
  • $\begingroup$ Can you show your work? $\endgroup$ – Pedro Tamaroff Feb 18 '14 at 5:37
6
$\begingroup$

Hint: Let $G$ be your group of order $63$, and suppose every non-identity element has order $7$. Show that you can put an equivalence relation on $G\setminus\{e\}$, defined by $a\sim b$ when $a$ and $b$ generate the same subgroup of $G$. What are the sizes of the equivalence classes? Can they partition $G\setminus\{e\}$?

$\endgroup$
  • $\begingroup$ i see that its clearly an equivalence class...but i dont understand the sizes. are they of size 7? $\endgroup$ – Paul Malinowski Feb 18 '14 at 5:55
  • $\begingroup$ The identity element is not involved because we're working in the set $G\setminus\{e\}$ (also it generates the trivial subgroup, not a subgroup of order $7$). $\endgroup$ – Zev Chonoles Feb 18 '14 at 5:57
  • $\begingroup$ so then what are the sizes of the equivalence classes? $\endgroup$ – Paul Malinowski Feb 18 '14 at 5:58
  • $\begingroup$ Take a subgroup of $G$ of order $7$. How many elements generate it? $\endgroup$ – Zev Chonoles Feb 18 '14 at 6:00
  • $\begingroup$ 6? correct? so then that would mean that the union of all these would be an integer multiple of 6, which cant be 62? $\endgroup$ – Paul Malinowski Feb 18 '14 at 6:03

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.