Easy proof of the existence of a primitive element in a finite field
8623
Finite subgroups of the multiplicative group of a field are cyclic
145447
bilinear form - proof
58490
Polynomials, finite fields and cardinality/dimension considerations
9787
Primitive roots modulo primes congruent to n!
154459
Constructing a HoTT proof term of 1≠0
103654
A finite field extension that is not simple
71608
A property of finite field of order $2^n$
127002
Prove that for a nonzero element $a$ of a field $F$ with $q$ elements $a^{-1} = a^{q-2}$
16643
A slick proof that a field which is finitely generated as a ring is finite
117005
Rules in the ring with coefficients in finite field $\mathbb{F}_p$
39514
how do I prove that $1 > 0$ in an ordered field?
115449
Inclusion of Fields whose order is a prime power
46648
How to prove the existence of a splitting field?
120215
Sum of elements of a finite field
103552
The minimal polynomial of a primitive $p^{m}$-th root of unity over $\mathbb{Q}_p$
140106
How to prove a finite field is not ordered?
44100
Prove that identity element is unique