0
$\begingroup$

Let $G$ be a finite group whose order is not divisible by $3$. Show that for every $g∈G$ there exists an $h∈G$ such that $g=h^3$.

How can I solve this problem? Can anyone help me please?

  • 4
    Consider the cyclic subgroup generated by $g$...2012-12-31

3 Answers 3

5

Hint: Since $3\nmid |G|,$ $gcd(|G|,3)=1$ and it follows from Bézout's identity that we can find a and b, such that $3a+|G|b=1.$

  • 0
    Yes...so? I still don't see it clearly from what you wrote.2012-12-31
  • 0
    @DonAntonio Given $g\in G,$ consider $h=g^a.$ $g=g^{3a+|G|b}=(g^a)^3.$2012-12-31
  • 1
    +1 Very nice! Didn't see that one...though I think directly is slightly clearer: $$g\in G\Longrightarrow g=g^1=g^{3a}g^{b|G|}=(g^a)^3$$2012-12-31
  • 0
    @DonAntonio You're right, that makes it clearer :-)2012-12-31
  • 0
    Clearly one can also use $|g|$ in place of $|G|$, but using the latter allows us to find cube roots for all elements of $G$ with just one exponent $a$.2012-12-31
  • 0
    More generally you can show (with the same proof) that if $(|G|, n) = 1$, then the map $g \mapsto g^n$ is a bijection $G \rightarrow G$.2012-12-31
5

Since $3$ does not divide $|G|$, we have one of the following situations:

  • Case I: $|G| \equiv 2 \pmod 3$. Hence $|G|+1 \equiv 0 \pmod 3$ so $$(\underbrace{g^{(|G|+1)/3}}_{\text{let this be } h})^3=g^{|G|+1}=g$$ by Lagrange's Theorem.

  • Case II: $|G| \equiv 1 \pmod 3$. Hence $2|G|+1 \equiv 0 \pmod 3$ so $$(\underbrace{g^{(2|G|+1)/3}}_{\text{let this be } h})^3=g^{2|G|+1}=g$$ by Lagrange's Theorem.

  • 4
    And $\frac13(|G|+1)(2|G|+1)$ works in all cases.2012-12-31
0

For all $\,x\in G\,$ , define

$$f_x:G\to G\;\;,\;\;f_x(g):=x^{-3}g$$

Now,

$$f_x(g)=f_x(h)\Longleftrightarrow x^{-3}g=x^{-3}h\Longleftrightarrow g=h\Longrightarrow \;\;f_x\,\,\,\text{is}\,\,1-1$$

End the argument now (where do we use that $\,3\nmid |G|\,$?)

  • 0
    I don't see how this helps? $f_x$ is trivially injective regardless of $G$.2012-12-31
  • 0
    Yes, but if $\,3\mid |G|\,$ then there exists $\,x\in G\,\,\,s.t.\,\,x^3=1\Longrightarrow f_x=Id_G\,$ , so that in that case $\,f_x(g)=1\Longleftrightarrow g=1\,$ and we don't get $\,\exists\,1\neq g\in G\,\,\,s.t.\,\,x^{-3}g=1\Longrightarrow g=x^3\,$ . Of course, we also need finitiness to deduce injective iff surjective.2012-12-31
  • 0
    Anyway, I'd go with use's answer: simplicity and elegancy.2012-12-31
  • 0
    I still don't follow. It sounds suspiciously like you are showing that for every non-trivial $x \in G$ there exists a $g \ne 1$ such that $g = x^3$, which is kinda backwards.2012-12-31