If $\beta$ is a primitive element in extension field GF$(2^m)$ does $\beta$ and $\beta^3$ are for all $m$ non-conjugate elements? If $\beta$ is a primitive element in extension field GF$(2^m)$ does $\beta$ and $\beta^3$ are always non-conjugate elements?
In my textbook, I saw they assume they are, but I couldn't understand it for all $m$. It seems reasonable, but as I thought it seems reasonable that $\beta^3$ and  $\beta^5$ are non-conjugate elements, I found that for $m=3$, they are conjugate to each other.
 A: I assume that to you a primitive element is a generator of the multiplicative group. This is standard meaning of primitive in the context of finite fields.
The conjugates of $\beta$ in $GF(2^m)$ are
$$
\beta,\beta^2,\beta^4,\ldots,\beta^{2^{m-1}}.\qquad(*)
$$
Because $\beta$ is primitive the exponent $\ell$ identifies the power $\beta^\ell$ uniquely while it stays in the range $0\le \ell<2^m-1$.
The exponents in $(*)$ are all in this range, so $\beta^3$ is not a conjugate simply because $3$ is not in that list of exponents.

More generally, we need to look at the exponents modulo $2^m-1$. So $\beta^3$ and $\beta^5$ are conjugates if and only if
$$
3\cdot2^i\equiv 5\pmod{2^m-1}
$$
for some $i$. Indeed, $3\cdot2^2\equiv 5\pmod7$, $7=2^3-1$. Thus $\beta^3$ and $\beta^5$ are conjugates when $\beta$ is a primitive element of $GF(8)$.
With $i$ ranging over the interval $0\le i \le m-1$ we see that $3\cdot2^i$ "overflows" $2^m-1$ only when $i=m-1$ exactly. We have
$$
3\cdot2^{m-1}=2^m+2^{m-1}\equiv2^{m-1}+1\pmod{2^m-1}.
$$
So $\beta^3$ and $\beta^5$ can be conjugates only when $2^{m-1}+1=5$, a case we already handled.
