# Questions tagged [finite-fields]

A finite field is a field with a finite number of elements. For each prime power $q^k$, there is a unique (up to isomorphism) finite field with $q^k$ elements. Up to isomorphism, these are the only finite fields.

652 questions
Filter by
Sorted by
Tagged with
7k views

4k views

### How many groups of size at most n are there? What is the asymptotic growth rate? And what of rings, fields, graphs, partial orders, etc.?

Question. How many (isomorphism types of) finite groups of size at most n are there? What is the asymptotic growth rate? And the same question for rings, fields, graphs, partial orders, etc. ...
2k views

### How does Tate verify his own conjecture for the Fermat hypersurface?

This question is about Tate's 1963 paper "Algebraic Cycles and Poles of Zeta Functions". Here he announces a conjecture (now known as "the Tate conjecture") which states that certain classes in the ...
1k views

### Algebraic dependency over $\mathbb{F}_{2}$

Let $f_{1},f_{2},\ldots,f_{n}$ be $n$ polynomials in $\mathbb{F}_{2}[x_{1},x_{2},\ldots,x_{n}]$ such that $\forall a=(a_1,a_2,\ldots,a_n)\in\mathbb{F}_{2}^{n}$ we have $\forall i\in[n]:f_{i}(a)=a_{i}$....
2k views

### Does the etale fundamental group of the projective line minus a finite number of points over a finite field depend on the points?

Clearly the etale fundamental group of $\mathbb{P}^1_{\mathbb{C}} \setminus \{a_1,...,a_r\}$ doesn't depend on the $a_i$'s, because it is the profinite completion of the topological fundamental group. ...
1k views

### A modern perspective on the relationship between Drinfeld modules and shtukas

Shtukas were defined by Drinfeld as a generalization of Drinfeld modules. While the relationship between the definitions of Drinfeld modules and shtukas is not obvious, one does have a natural ...
1k views

### Is hyperelliptic cryptography "practical"?

Previosly my impression on this subject was that hyperelliptic cryptography systems (as well as other possible cryptosystems based on abelian varieties of dimension $>1$) have no advantages over ...
747 views

### A hypersurface with many points

Ok, it's time for me to ask my first question on MO. Consider the affine curve $Y+Y^q=X^{q+1}$ over the finite field $\mathbf{F}_q$. It's interesting because it has the largest number of points over ...
3k views

### maximal order of elements in GL(n,p)

I am looking for a formula for the maximal order of an element in the group $\operatorname{GL}\left(n,p\right)$, where $p$ is prime. I recall seeing such a formula in a paper from the mid- or early ...
482 views

1k views

### Non-split extensions of $GL_n(F_q)$ by $F_q^n$ ?

A very naive question : I just learned that there is a non-split extension of $GL_3(F_2)$ by $F_2^3$ (with standard action). It can be realized as the subgroup of the automorphism group $G_2$ of ...
382 views

### Varieties with the same number of $\mathbb{F}_p$-points for all but finitely many primes

If two varieties over $\mathbb{Q}$ have the same number of $\mathbb{F}_p$-points for all but finitely many primes do they have the same number of $\mathbb{F}_{p^n}$-points for all $n>1$ and for all ...
2k views

544 views

### Grothendieck on polyhedra over finite fields

In Grothendieck's Sketch of a Programme he spends a few pages discussing polyhedra over arbitrary rings and concludes with some intriguing remarks on specializing polyhedra over their "most singular ...
5k views

### Is $x^p-x+1$ always irreducible in $\mathbb F_p[x]$?

It seems that for any prime number $p$ and for any non-zero element $a$ in the finite field $\mathbb F_p$, the polynomial $x^p-x+a$ is irreducible over $\mathbb F_p$. (It is of course obvious that ...
1k views

### A mixing property for finite fields of characteristic $2$

In connection with this MO post, here is a question somewhat implicitly contained in a joint paper of S. Kopparty, S. Saraf, M. Sudan, and myself. Let ${\mathbb F}$ be a finite field, and suppose ...
342 views

### Do mutually dual finite vector spaces have the same orbit cardinalities under a linear group action?

Let $G$ be a finite group acting linearly on a finite dimensional vector space $V$ over a finite field. By Burnside's lemma, $$|V/G| = \frac 1{|G|} \sum_{g\in G} q^{\dim(ker(g - I))}.$$ Since $g-I$ ...
702 views

1k views

### Good source for representation of GL(n) over finite fields?

I'd like to gain some understanding of unitary representations of GL(n) over finite fields. Any good source would be appreciated. ======== edit ========= My original question was ambiguous. ...
903 views

### Can you use Chevalley‒Warning to prove existence of a solution?

Recall the Chevalley‒Warning theorem: Theorem. Let $f_1, \ldots, f_r \in \mathbb F_q[x_1,\ldots,x_n]$ be polynomials of degrees $d_1, \ldots, d_r$. If $$d_1 + \ldots + d_r < n,$$ then the ...
930 views

### Does $\mathbb{K}[G]\simeq\mathbb{K}[H]$ for some field $\mathbb{K}$ of characteristic $p$, imply $\mathbb{F}_p[G]\simeq\mathbb{F}_p[H]$?

Due to the first (and very helpful) answer I received, I've reformulated the question a little: $G$ and $H$ are now assumed to be $p$-groups. Let $p$ be a prime, and let $\mathbb{F}_p$ be the field ...
373 views

715 views

505 views

### Number triangle

This question arose just out of curiosity. Note the triangle of 0-1's below, whose construction is as follows. Choose any number, say 53 as done here. The first line of the triangle is the binary ...
2k views

### Quadratic reciprocity and Weil reciprocity theorem

I was told that Weil reciprocity theorem (one has two meromorphic function $f,g$ on a complex curve $C$, so $\prod\limits_{x\in C} g(x)^{ord_xf}=\prod\limits_{x\in C}f(x)^{ord_xg} \$ where $ord_xf$ ...
Hello Let $\mathbb{F}_p$ be the finite field with $p$ elements. One can show that over finite fields, there are just two non-degenerate quadratic forms. So here I want to pick any non-degenerate ...
This question was asked on NMBRTHRY by Kurt Foster: If $p$ is a prime number and $\mathbb{F}_p$ the field of $p$ elements, the zeroes of the Artin-Schreier polynomial \$x^p - x - 1 \in \mathbb{F}_p[x]...