2
$\begingroup$

Possible Duplicate:
Subfields of finite fields

Field with $2^{15}$ elements

How many subfields? Including trivial one and the whole thing I guess $15$. Right or not my guess? I think every subfield gives a subspace of dimension dividing $2^{15}$. Hence 15 of them?

  • 0
    @Benjamin, the number of subspaces is much larger. Look at a little field like the one with$4$elements. It has 3 one-dimensional subspaces.2012-04-04

2 Answers 2

7

A finite field $\mathbb{F}_q$ is contained in the finite field $\mathbb{F}_r$ if and only if there exists a prime $p$ and integers $n$ and $m$ such that $q=p^m$, $r=p^n$, and $m|n$. This follows because $\mathbb{F}_r$ is a vector space over $\mathbb{F}_q$, and so will have $q^d$ elements for some $d$; and because finite fields must have order a power of a prime.

In particular, $\mathbb{F}_{2^{15}}$ contains a field with $2^r$ elements if and only if $r|15$.

While every subfield is a subspace, not every subspace is a subfield. For example, the field with four elements can be realized as $\{a+b\alpha\mid a,b\in\mathbb{F}_2,\ \alpha^2=\alpha+1\}.$ Then $\{b\alpha\mid b\in\mathbb{F}_2\}$ is a subspace, but not a subfield.

  • 1
    Great explanation, but uni$q$ueness of every subfield corresponding to r should have been mentioned. With what you have written, the number of these (nontrivial) subfields could be more than four, while it is just four2015-08-19
2

Your given field has dimension 15 over $\mathbb F_2$ and so every subfield has dimension a divisor of 15. The key point is that there is exactly one subfield for each divisor, and so the lattice of subfields is isomorphic to the lattice of divisors of 15. Uniqueness is proved by showing that a subfield with $q$ elements is the set of solutions of $x^q=x$.