The finite-fields tag has no wiki summary.

**8**

votes

**1**answer

496 views

### Number of irreducible polynomials with some coefficients fixed over a finite field

I am interested in the following problem: I have a finite field $F_q$, two positive integers
$n>m$ and elements $a_1,...,a_m\in F_q$. How many of the polynomials
...

**1**

vote

**1**answer

408 views

### maximal number of mutually orthogonal vectors

Let $F$ be a field, $n$ be a positive integer. Denote by $h_{F}(n)$ the maximal dimension of a subspace $X\subset F^n$ such that $(x,y)=0$ for any two (not necessary distinct) vectors $x,y\in F^n$, ...

**3**

votes

**3**answers

565 views

### how to generate the n-torsion group

Hello,
I was curious about the following sentence: "then the $n$-torsion on $E(\overline{K})$ has known structure, as a Cartesian product of two cyclic groups of order $n$" (found at ...

**8**

votes

**0**answers

882 views

### roots of quadratic forms

This may be a very silly question, but I was wondering what is known about the roots of a quadratic form over variables $x_1,\ldots,x_n,y_1,\ldots,y_m$ in the finite field $\mathbb{F}_p$. I'm not ...

**6**

votes

**1**answer

1k views

### Order of finite unitary group

This may be an easy exercise but I am not getting it. Let $\mathbf F_q$ be a finite field with $q$ elements and $\mathbf F_{q^2}$ be its degree two extension. Define an automorphism $\sigma$ of ...

**1**

vote

**1**answer

411 views

### Number of subset sums

Let $\mathbb{F}_q$ be a finite field with characteristic $p$ and $p < q$ (i.e. not a prime field). Let $D\subseteq \mathbb{F}_q$ be a some set with $|D|=n$. Find a non-empty subset ...

**4**

votes

**1**answer

498 views

### Elements of trace zero in a field extension

Let $K=F_q$ and $F=F_{q^3}$, define the set A={$x \in F$ : $Tr_{F/K} (x)=0$}.
Is it true that for every $x \in A$ there are $y,z \in A$ such that $x=yz$?

**2**

votes

**2**answers

473 views

### Elliptic curves over proper variety over $\mathbf{F}_q$ isotrivial

Why is every elliptic curve over a proper (edit: smooth and geometrically connected) base over $\mathbf{F}_q$ isotrivial, i.e. is constant after base changing with $\bar{\mathbf{F}}_q$? If the moduli ...

**1**

vote

**1**answer

149 views

### Sub-representations of the affine group

Let $F=\mathrm{GF}\left(p^k\right)$ be any finite field. Let $G$ be the group of all affine permutations on $F$ (i.e. permutations of form $x\mapsto ax+b$). Then the set of all functions from $F$ to ...

**17**

votes

**3**answers

872 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 ...

**1**

vote

**0**answers

245 views

### Number of solutions of a linear equation in a small subset.

Let $p$ be a prime. Let $F_p$ be the finite field of
$p$ elements. Let $A$ be a subset of $F_p$ of size $s$.
Assume that $s > 2$ is polylogarithmic in $p$.
Suppose that we want to count ...

**6**

votes

**1**answer

449 views

### Roots of unity in different completions of a number field

For any field $k$, let $\mu(k)$ denote the roots of unity in $k$. Now let $k$ be a number field and let $v, w$ be non-archimedean primes of $k$ with distinct residual characteristics. Does there ...

**1**

vote

**1**answer

767 views

### Hartshorne Exercise III.4.7 (cohomology of closed subschemes in $\mathbb{P}^2$)

I have some questions about the following exercise in Hartshorne (III.4.7):
Let $f \in k[x_0,x_1,x_2]$ be a homogeneous polynomial of degree $d \geq 1$ and $f \neq 0$ and let $X$ be the closed ...

**10**

votes

**3**answers

854 views

### Periodic orbits and polynomials

There are two simple and classic enumerations that still I'm puzzled about. Let's start with a simple counting problem from a well-known dynamical system.
fact 1 Consider the "tent map" ...

**3**

votes

**2**answers

933 views

### Cyclic order relation in Zn

The ring Zn:={0,1,..,n-1} under addition and multiplication modulo n.
Suppose a,b,c,x $\in$ Zn are nonzero and the cyclic order R(a,b,c) holds, then under what conditions does R(ax,bx,cx) hold ?

**23**

votes

**9**answers

2k 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.
...

**3**

votes

**1**answer

292 views

### additive structure in a small multiplicative group of a finite field?

Let $p$ be a prime. Given a positive integer $n$, does there exist a
$\beta$ in an extension of $F_p$ such that
1) If $F_p[\beta] = F_{p^N}$, then $N > n^n$; ( $\beta$ lies in a high extension)
...

**3**

votes

**1**answer

798 views

### Inverse for a permutation over GF(2)

Given a permutation $f: \{0,1\}^n \rightarrow \{0,1\}^n$ as $n$ polynomials over $GF(2)$ how to get formulas for the inverse permutation $f^{-1}$?
I am interested in the answer to the previous ...

**8**

votes

**1**answer

545 views

### Restriction theorems over finite fields

A short while ago, Dvir proved the Kakeya conjecture over finite fields. Does this have any implications for restriction theorems over finite fields? I am aware only of implications going in the ...

**1**

vote

**3**answers

3k views

### How to factorize X^n - 1 in Z/pZ?

How do I factorize a polynomial $X^n - 1$ over $\mathbb{F}_p$? In particular I need to find factors of the polynomial $X^{3^3 - 1} - 1 = X^{26} - 1$ over $\mathbb{F}_3$.

**7**

votes

**1**answer

694 views

### étale cohomology with G_m coefficients

Most calculations of Ã©tale cohomology in Milne's book deal with constructible or torsion sheaves. Are there references where the cohomology of varieties with $\mathbf{G}_m$ coefficients are ...

**4**

votes

**3**answers

504 views

### Complex powers in finite fields

Is it possible to compute complex powers in finite fields? Given a $\in \mathbb{F}_p$ ($p$ prime), how can one compute $a^i$ per example?

**6**

votes

**3**answers

409 views

### A quadratic form

Let $q$ be a power of 2. Let $P$ be the set of polynomials in
$F_q [x]$ of degree d or less.
Let $\mathbb{Z}$ be the ring of integers. For any $f \in P$, let $\psi(f)$ be the
number of distinct ...

**7**

votes

**1**answer

311 views

### algorithm for calculating the Chow groups of a variety over a finite field

Is there an algorithm for calculating the Chow groups of a variety over a finite field?
It is know that $H^{2i,i}_\mathrm{mot}(X,\mathbf{Z}) = CH^i(X)$. In how many cases does this help us?

**3**

votes

**2**answers

1k views

### Computer program to solve a system of polynomial equations over a finite field

I have a set of polynomial equations for which I want to know the solutions (actually really the number of solutions). It would be great if I could get a computer to do it, but I'm not sure exactly ...

**10**

votes

**3**answers

403 views

### Local-globalism for similar matrices?

My background on number theory is very weak, so please bear with me...
Given two matrices $A$ and $B$ in $\mathbb{Z}^{n\times n}$. Assume that for every prime $p$, the images of $A$ and $B$ in ...

**5**

votes

**2**answers

706 views

### Elementary theory of finite fields

I read on Ax's article that the elementary theory of finite fields is decidable if one assumes the continuum hypothesis to be true. What about if one assumes the hypothesis to be false?

**21**

votes

**3**answers

595 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 ...

**2**

votes

**2**answers

682 views

### Weil Conjectures for Grassmannians

To establish the Weil conjectures for $n$-dimensional projective space over a finite field is elementary. Does there exist a simple direct proof of the conjectures for finite field Grassmannians?

**4**

votes

**1**answer

430 views

### Counting solutions to x^{p+1}=y^4 in a finite field

I need to compute the number of solutions to the equation $x^{p+1} = y^4$ in the field with $p^2$ elements (for p sufficiently large). The form of the equation suggests to me that the solution would ...

**7**

votes

**2**answers

463 views

### Richardson varieties over finite fields

Let me start with some background to set the notation before I ask my question.
Let G be a semisimple algebraic group over some algebraically closed field K, and suppose we have fixed a Borel ...

**2**

votes

**2**answers

427 views

### Induction from split and non-split tori for GL_2 over a finite field

Let k be a finite field, G the k-points of GL_2, T1, T2 the k-points of the split and non-split tori of G.
Then the G-representations C[G/T1] and C[G/T2] are almost the same.
More precisely, they ...

**11**

votes

**4**answers

521 views

### Behaviour of Zeta-function under Finite Morphism

Let X ---> Y be a finite surjective morphism of smooth, projective, connected varieties over a finite field F_q. Can one describe the zeta function Z(X, t) in terms of the zeta-function Z(Y,t) of ...

**9**

votes

**2**answers

810 views

### A comprehensive overview of finite fields

I've read numerous introductions to finite fields, but I feel like my intuition about them is fairly lacking. Considering that finite fields are the the most "inert" objects in algebraic geometry, I ...

**12**

votes

**4**answers

1k views

### Exhibit an explicit bijection between irreducible polynomials over finite fields and Lyndon words.

Let $q$ be a power of a prime. It's well-known that the function $B(n, q) = \frac{1}{n} \sum_{d | n} \mu \left( \frac{n}{d} \right) q^d$ counts both the number of irreducible polynomials of degree ...

**7**

votes

**2**answers

897 views

### What is an example of a smooth variety over a finite field F_p which does not lift to Z_p?

Somebody answered this question instead of the question here, so I am asking this with the hope that they will cut and paste their solution.

**8**

votes

**4**answers

1k views

### Equivalent Statements of Riemann Hypothesis in the Weil Conjectures

In the cohomological incarnation, the Riemann hypothesis part of the Weil conjectures for a smooth proper scheme of finite type over a finite field with q elements says that: the eigenvalues of ...