How to prove that every finite field of order $125$ has a subfield of order $25$. In general what is the strategy to attack such kind of problems?
A Finite Field of Order $125$ has a Subfield of order $25$?
1
$\begingroup$
abstract-algebra
field-theory
finite-fields
-
1See: http://math.stackexchange.com/questions/91087/subfields-of-finite-fields – 2012-11-10
-
4You'll never prove it, it’s not true. – 2012-11-10
-
0Consider objects of the form $x^5$, where $x$ ranges over the big field. – 2012-11-10
1 Answers
7
Consider a field $F$ with $q$ elements, $q$ being a power of some prime. Suppose $L$ is a field containing $F$, with $[L\colon F]=m$. Since $L$ is an $F$-vector space of dimension $m$, $|L|=q^m$. Thus $[\mathbb F_{125}\colon\mathbb F_5]=3$. Now do you see why there’s no field strictly between these two fields?
-
0Thank you. I understand your argument. I didnt in the least feel this could be a false statement. – 2012-11-10
-
2You don't need to consider $\Bbb F_5$, simply $[\Bbb F_{125}:\Bbb F_{25}]$ would have to be $3/2$, which is absurd. – 2012-11-10