if $k$ is a positive integer and $G$ a finite group such that $G=\{x^k:x\in G\}$ , then is it true that g.c.d.$(|G|,k)=1$ ? If $G$ is a finite group of order $n$ and $k$ is a positive integer such that g.c.d.$(n,k)=1$ , then I know that $G=\{x^k:x\in G\}$ ; is the converse true ? that is if $k$ is a positive integer and $G$ is a finite

group such that $G=\{x^k:x\in G\}$  , then is it true that g.c.d.$(|G|,k)=1$ ? 

I have a feeling that the converse is true . Say g.c..d$(|G|,k)=d&gt;1$ , then there is a prime $p|d$ , then there is an element $g$ of $G$ of order $p$ , but I don't know what else to do . Please help.
The map $x \to x^k$ is surjective iff the map $x \to x^k$ is injective (because $G$ is finite).

In particular, this property implies that $x^k=1 \Rightarrow x=1$. If $gcd(|G|,k) \neq 1$, there is a prime $p$ dividing $k$ and an element $x$ of order $p$. But then $x^k=1 \Rightarrow x=1$, a contradiction.
Let's denote $G^k:=\{x^k:x\in G\}$. There is a $p$ such that $(|G|, k) = d$ and $p | d$. Using Cauchy theorem there is an element $g \in G$ of order $p$.
$|G| = n = p^sm$ and $(m, p) = 1$. Then $H = G^m \neq \{1\}$ because $g^m \neq 1$.
$\{1\} = G^n = G^{m \cdot p^s} = G^{m \cdot d^s} = ((G^{d})^{d^{s-1}})^m = (G^{d^{s-1}})^m = \dots=G^m \neq \{1\}$.