The Number of Elements in a Finite Field is a Power of a Prime Number
Problem 726
Let $\F$ be a finite field of characteristic $p$.
Prove that the number of elements of $\F$ is $p^n$ for some positive integer $n$.
Add to solve laterLet $\F$ be a finite field of characteristic $p$.
Prove that the number of elements of $\F$ is $p^n$ for some positive integer $n$.
Add to solve later Let $\F_3=\Zmod{3}$ be the finite field of order $3$.
Consider the ring $\F_3[x]$ of polynomial over $\F_3$ and its ideal $I=(x^2+1)$ generated by $x^2+1\in \F_3[x]$.
(a) Prove that the quotient ring $\F_3[x]/(x^2+1)$ is a field. How many elements does the field have?
(b) Let $ax+b+I$ be a nonzero element of the field $\F_3[x]/(x^2+1)$, where $a, b \in \F_3$. Find the inverse of $ax+b+I$.
(c) Recall that the multiplicative group of nonzero elements of a field is a cyclic group.
Confirm that the element $x$ is not a generator of $E^{\times}$, where $E=\F_3[x]/(x^2+1)$ but $x+1$ is a generator.
Add to solve laterFind an example of an infinite algebraic extension over the field of rational numbers $\Q$ other than the algebraic closure $\bar{\Q}$ of $\Q$ in $\C$.
Add to solve later Let $\zeta_8$ be a primitive $8$-th root of unity.
Prove that the cyclotomic field $\Q(\zeta_8)$ of the $8$-th root of unity is the field $\Q(i, \sqrt{2})$.
Prove that the cubic polynomial $x^3-2$ is irreducible over the field $\Q(i)$.
Add to solve laterLet $n$ be an integer greater than $2$ and let $\zeta=e^{2\pi i/n}$ be a primitive $n$-th root of unity. Determine the degree of the extension of $\Q(\zeta)$ over $\Q(\zeta+\zeta^{-1})$.
The subfield $\Q(\zeta+\zeta^{-1})$ is called maximal real subfield.
Add to solve laterLet $\alpha= \sqrt[3]{2}e^{2\pi i/3}$. Prove that $x_1^2+\cdots +x_k^2=-1$ has no solutions with all $x_i\in \Q(\alpha)$ and $k\geq 1$.
Add to solve laterConsider the cubic polynomial $f(x)=x^3-x+1$ in $\Q[x]$.
Let $\alpha$ be any real root of $f(x)$.
Then prove that $\sqrt{2}$ can not be written as a linear combination of $1, \alpha, \alpha^2$ with coefficients in $\Q$.
Show that $\Q(\sqrt{2+\sqrt{2}})$ is a cyclic quartic field, that is, it is a Galois extension of degree $4$ with cyclic Galois group.
Add to solve laterLet $\Q$ be the field of rational numbers.
(a) Is the polynomial $f(x)=x^2-2$ separable over $\Q$?
(b) Find the Galois group of $f(x)$ over $\Q$.
Add to solve laterShow that fields $\Q(\sqrt{2}+\sqrt{3})$ and $\Q(\sqrt{2}, \sqrt{3})$ are equal.
Read solution
Let $p \in \Z$ be a prime number.
Then describe the elements of the Galois group of the polynomial $x^p-2$.
Add to solve laterProve that the quadratic fields $\Q(\sqrt{2})$ and $\Q(\sqrt{3})$ are not isomorphic.
Add to solve laterProve that the polynomial $x^p-2$ for a prime number $p$ is irreducible over the field $\Q(\zeta_p)$, where $\zeta_p$ is a primitive $p$th root of unity.
Add to solve laterLet $f(x)$ be an irreducible polynomial of degree $n$ over a field $F$. Let $g(x)$ be any polynomial in $F[x]$.
Show that the degree of each irreducible factor of the composite polynomial $f(g(x))$ is divisible by $n$.
Read solution
Show that the polynomial $x^3-\sqrt{2}$ is irreducible over the field $\Q(\sqrt{2})$.
Add to solve later