2
votes
In a finite field $GF(p^n)$, is it true that $a^{1 + p + p^2 + ... + p^{n-1}}$ always belongs to $GF(p)$?
In $GF(p^n)$ you can see $GF(p)$ as the set of all solutions of the equation $x^{p-1}=1$, together with zero.
Thus, if $x=a^{1+p+\ldots+p^{n-1}}=0$ we are done. If not, then $a\ne 0$ itself. In that ...
- 18.7k
2
votes
Accepted
In a finite field $GF(p^n)$, is it true that $a^{1 + p + p^2 + ... + p^{n-1}}$ always belongs to $GF(p)$?
Let $a \in \mathbb{F}_{p^{n}}$ be arbitrary and nonzero, and let $b = a^{1 + p + \cdots + p^{n-1}}$. We wish to show that $b$ is in $\mathbb{F}_{p}$. Note that $1 + p + \cdots + p^{n-1} = \frac{p^{n}-...
- 2,592
Only top scored, non community-wiki answers of a minimum length are eligible
Related Tags
finite-fields × 5032abstract-algebra × 1802
field-theory × 1194
polynomials × 747
galois-theory × 580
linear-algebra × 545
irreducible-polynomials × 434
number-theory × 332
extension-field × 299
group-theory × 260
ring-theory × 256
matrices × 214
finite-groups × 205
coding-theory × 169
elliptic-curves × 165
combinatorics × 149
modular-arithmetic × 137
algebraic-geometry × 129
vector-spaces × 125
elementary-number-theory × 103
cryptography × 100
splitting-field × 93
algebraic-number-theory × 78
factoring × 77
prime-numbers × 69