Intereting Posts

A finite abelian group containing a non-trivial subgroup which lies in every non-trivial subgroup is cyclic
Probability of two events
First Order Logic: Prove that the infinitely many twin primes conjecture is equivalent to existence of infinite primes
Prove that $x^3 \equiv x \bmod 6$ for all integers $x$
Prove that $\{\frac 1 n \mid n \in \mathbb N\} \cup \{0\}$ is closed in $\mathbb R$
Ring with finitely many zerodivisors
Proving: “The trace of an idempotent matrix equals the rank of the matrix”
Why do we require radians in calculus?
Logical errors in math deductions
How to solve an integral with a Gaussian Mixture denominator?
Can someone give me an example of how to work out an exact linear second order differential equation?
Restriction of vector field tangent to sphere
Various kinds of derivatives
On group theory terminology
Let $a,b,c\in \Bbb R^+$ such that $(1+a+b+c)(1+\frac{1}{a}+\frac{1}{b}+\frac{1}{c})=16$. Find $(a+b+c)$

I want to know if there is a way to decide if a cyclotomic polynomial is irreducible over a field $\mathbb{F}_q$?

- Determine the minimal polynomial of $\sqrt 3+\sqrt 5$
- The number of subspace in a finite field
- Quadratic extensions in characteristic $2$
- Field with natural numbers
- Is any finite-dimensional extension of a field, say $F$, algebraic and finitely generated?
- Galois group of $x^4-2$
- UPDATE: How to find the order of elliptic curve over finite field extension
- Proving the “freshman's dream”
- Can any monomorphism of a subfield of a splitting field be extended to an automorphism?
- Are all fields vector spaces?

Yes there is. The $n^{th}$ cyclotomic polynomial $\Phi_n(x)\in\mathbb{Z}[x]$ will remain irreducible (after reduction mod $p$) in $\mathbb{F}_q[x]$ if and only if the residue class of $q$ generates the multiplicative group $\mathbb{Z}_n^*$ of residue classes coprime to $n$.

This is because if $z$ is a root of $\Phi_n(x)$ in an extension of $\mathbb{F}_q$, then its conjugates are $z^q, z^{q^2},$ et cetera. If you get the same number of conjugates as you would get over $\mathbb{Q}$, then you are done. But over $\mathbb{Q}$ the conjugates are exactly $z^a, \gcd(a,n)=1, 1\le a<n$.

More details. Let $z$ be a primitive $n^{th}$ root of unity in an extension $\mathbb{F}_q$. Let $\mathbb{F}_q[z]=\mathbb{F}_{q^k}$. Because the multiplicative group

of $\mathbb{F}_{q^k}$ is cyclic of order $q^k-1$, we know that $k$ is the smallest positive integer with the property that $n\mid q^k-1$. By the Galois theory of finite fields the minimal polynomial of $z$ is

$$

m(x)=(x-z)(x-z^q)(x-z^{q^2})\cdots(x-z^{q^{k-1}}).

$$

This will always be a factor of the cyclotomic polynomial $\Phi_n(x)$. The roots of the latter are $z^a, 1\le a<n, \gcd(a,n)=1$. The polynomial $\Phi_n(x)$ is thus irreducible precisely when the two sets of roots are the same.

Here $z^{q^i}=z^a$ if and only if $q^\ell\equiv a\pmod{n}$. Therefore all the primitive roots $z^a$ are zeros of $m(x)$ only, if all the exponents $a$ are congruent to a power of $q$ modulo $n$.

All of the above assumed that $\gcd(n,q)=1$. Let us next consider the case, where that is not true. Here $q$ is the order of a finite field, so it is a power of a prime number $p$.

Therefore $\gcd(n,p)>1$ if and only if $p\mid n$, so we can write $n=mp^\ell$ for some integer $\ell\ge1$, $m$ coprime to $p$. Then we have in the ring $\mathbb{F}_p[x]$ the factorization

$$

x^n-1=(x^m-1)^{p^a}

$$

as a consequence of *Freshman’s dream*:

$$

(a+b)^p=a^p+b^p.

$$

Therefore all the roots of $\Phi_n(x)$ in $\overline{\mathbb{F}_q}$ are actually roots of $x^m-1$ as well. Hence any one of them has at most $\phi(m)<\phi(n)$ conjugates. Therefore $\Phi_n(x)$ cannot be irreducible in $\mathbb{F}_q[x]$.

- Dimension of Annihilator: $\text{dim} \, U^0 + \text{dim} \, U = \text{dim} \, V$
- Motivation for Eisenstein Criterion
- combinatorics circular arrangement problem
- Showing a ring where $ax = b$ has a solution for all non-zero $a, b$ is a division ring
- Suppose $a \in \mathbb{R}$, and $\exists n \in \mathbb{N}$, that $a^n \in \mathbb{Q}$, and $(a + 1)^n \in \mathbb{Q}$
- Integrate and measure problem.
- Closed form for integral $\int_{0}^{\pi} \left^{-n} \phi \,{\rm d}\phi$
- Can it be proved that $P(A)=P(X>a)\implies\mathbb E(X\mid A)\leq\mathbb E(X\mid X>a)$?
- Sobolev spaces and integrability of Fourier transforms
- $X/\sim$ is Hausdorff if and only if $\sim$ is closed in $X \times X$
- Geometric reason why elliptic curve group law is associative
- Complete induction proof that every $n > 1$ can be written as a product of primes
- Volume form on $(n-1)$-sphere $S^{n-1}$
- Evaluating $\int_{0}^{\frac{\pi}{2}} e^{x+2}\sin(x) \,dx$
- If G is fully residually cyclic, does G have at most one subgroup of each finite index?