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

625
questions

**1**

vote

**1**answer

83 views

### Curves sharing points over finite fields, and their mutual divisibility

Consider in $\mathbb{A}^2(\mathbb{F}_q)$ two $\mathbb{F}_q$-rational curves $\mathcal{X}:f(x,y)=0$ and $\mathcal{Y}:g(x,y)=0$, and let $\mathcal{Y}$ be absolutely irreducible. Suppose also that $\...

**1**

vote

**2**answers

303 views

### A quantity associated to a field extension

Let $F\subset E$ be a field extension. So $E$ has a natural structure of $F$-vector space.
A vector subspace $V\subset E$ is a special subspace if $F\subset V$ and $V$ is closed under the inverse ...

**0**

votes

**1**answer

166 views

### On a system of equations in $\mathbb F_2$

Input: System of $\Omega(t)$ independent polynomials in $\mathbb F_2[x_1,\dots,x_{t}]$ of degree $O(t)$.
Can we output a common solution of the system in polynomial time?
Can we output parity of the ...

**3**

votes

**1**answer

158 views

### p-adic logarithms with fixed precision

Probably this is easy, but we would like to see it on paper.
Let $p$ be prime and $D,g,n$ positive integers.
Let $A=g^n \bmod p^D$.
Let $\log(p,a,D)$ be the p-adic logarithm with precision $D$.
In ...

**4**

votes

**0**answers

65 views

### Subspaces of vanishing permanent

Suppose that $p\ge 5$ is a prime, $n$ a positive integer divisible by $p-1$,
and $L<\mathbb F_p^n$ a subspace of dimension $d=n/(p-1)$. Do there exist
vectors $l_1,\dotsc,l_n\in L$ such that the ...

**13**

votes

**1**answer

210 views

### Lower bounds for class number of function fields with fixed $q$, growing $g$

Let $X$ be a smooth project curve of genus $g$ over the finite field with $q$ elements. Let $h$ be $\# \mathrm{Pic}^0(X)(\mathbb{F}_q)$. Weil showed that $h \geq (\sqrt{q}-1)^{2g}$. Lachaud and Martin-...

**1**

vote

**0**answers

102 views

### Properties of pointless projective curves over finite fields?

Probably not research level, feel free to downvote.
We got construction of bounded degree projective curves
with no points over finite fields. This construction generalizes to higher dimension.
One of ...

**3**

votes

**0**answers

267 views

### Why the curve $x^2+y^2+y+1=0$ has only one point over $\mathbb{F}_{3^7}$?

According to both sagemath and Magma the curve $x^2+y^2+y+1=0$ has only one point over $\mathbb{F}_{3^7}$.
The projective closure has only one point too.
Q1 What hypothesis are missing to not violate ...

**2**

votes

**1**answer

69 views

### Low-Hamming weight vectors in low-dimensional subspaces of $\mathbb{F}_p^n$

What is the maximum number vectors of Hamming weight at most $w$ in a $d$-dimensional subspace of $\mathbb{F}_p^n$, where $w,d,p$ are constant and $p$ is odd. (The Hamming weight is the number of ...

**8**

votes

**2**answers

397 views

### Chevalley-Warning-Ax for double covers

Let $f(x_1,\ldots,x_n)$ be a polynomial of degree $d$ with coefficients in the finite field $\mathbb F_q$ and let $V(f)\subseteq\mathbb F_q^n$ be its set of zeroes. Assume $d<n$. Then Chevalley ...

**1**

vote

**0**answers

40 views

### On the real and finite field rank of a $0/1$ matrix - II

Let $M\in\{-\ell,\dots,-1,0,+1,\dots,+\ell\}^{n\times n}$ be a matrix of rank $r$ where $\ell\geq1$ such that there is a permutation matrix in $\{0,1\}^{m\times m}$ of order $2\ell$.
Fix a permutation ...

**4**

votes

**1**answer

116 views

### On the real and finite field rank of a $0/1$ matrix - I

Let $M\in\{-1,0,+1\}^{n\times n}$ be a matrix of rank $r$.
Consider the matrix $f(M)\in\{0,+1\}^{mn\times mn}$ where $0$ in $M$ is replaced by $m\times m$ all $0$ matrix, $+1$ in $M$ is replaced by $m\...

**6**

votes

**1**answer

242 views

### Least prime in Artin's primitive root conjecture

Let $a$ be an integer which is neither a square nor $-1$. Artin's conjecture states that there are infinitely many primes $p$ for which $a$ is a primitive root modulo $p$. My question is whether there ...

**7**

votes

**2**answers

551 views

### On a matrix problem in the field $\mathbb F_2$

Given $M$ a symmetric matrix in $\mathbb F_2^{n\times n}$ having $\mathsf{det}_\mathbb R(M)\neq0$ (non-singular in reals) and satisfying $PMP'=(M+J+I)$ or $P(M+J+I)P'=M$ where $P$ is a permutation ...

**1**

vote

**0**answers

73 views

### Polynomial composition utilizing polynomials in two different finite fields

At every $n\in\mathbb N$ (all polynomials are of degree $O(1)$) is there $g_{3,1}^{(n)},\dots,g_{3,k}^{(n)}\in\mathbb F_3[x_1,\dots,x_n]$ at $k=\mathsf{poly}(n)$ and $g_2^{(n)}\in\mathbb F_2[x_1,\dots,...

**1**

vote

**0**answers

58 views

### What is the computational complexity of solving a highly underdetermined system?

Let $F$ be a finite field with $q$ elements. Consider an underdetermined system of linear equations with $m$ equations and $n$ variables where $n\gg m$. What is the complexity of solving such a highly ...

**3**

votes

**0**answers

172 views

### Finding (and saturating) a sharp Babenko-Beckner inequality for finite fields

My question is a follow-up to Abdelmalek Abdesselam's recent post
What makes Gaussian distributions special? Local field version?
asking about various characterizations of (real-valued) Gaussian ...

**2**

votes

**0**answers

119 views

### Distinguishing $0/1$ unimodular or singular matrices having $\mathsf{Permanent}\in\{0,1\}$?

Let $\mathcal T_n=\{M\in\{0,1\}^{n\times n}:\mathsf{Per}(M)=\mathsf{Det}(M)\wedge\mathsf{Det}(M)\in\{0,1\}\}$ (restricted set unimodular or singular having permanent and determinant identical).
$\...

**1**

vote

**2**answers

210 views

### How many non-isomorphic associative algebras of dimension 2 over the field F_{p^k} are there?

How many non-isomorphic associative algebras of dimension 2 over the field F_{p^k} are there?
As much as I have searched, I have not found any results that answer my question; not even for k = 1,2.

**4**

votes

**1**answer

128 views

### Dominating sets in subtournaments of the Paley tournament

For a tournament $T$, let $\mathrm{dom}(T)$ be the order of a smallest dominating set in $T$. Let $q$ be a prime power congruent to 3 mod 4 and let $T_q$ be the Paley tournament on $q$ vertices.
Is ...

**0**

votes

**0**answers

114 views

### Question on rank of matrices over $\mathbb F_2$

$A$ is a square matrix in $\mathbb F_2^{n\times n}$ of rank $k\leq n-1$.
$B$ is a square matrix in $\mathbb F_2^{n\times n}$ of rank $n$.
$T$ is a square matrix in $\mathbb F_2^{n\times n}$ of rank $1$...

**1**

vote

**1**answer

48 views

### Schur Complement and depermuting an algorithm for determinant modulo $2$

Let $$M=\begin{bmatrix}A&B\\C&D\end{bmatrix}$$ be a matrix in $\mathbb F_2^{n\times n}$ where $A\in\mathbb F_2$ and $D\in\mathbb F_2^{(n-1)\times(n-1)}$ are square.
Through the determinant ...

**0**

votes

**0**answers

28 views

### On a $(k,l)$-monochromatic Hamming distance in $\mathbb F_2$?

A $(k,l)$-monochromatic edit on a matrix $M\in\mathbb F_2^{n\times n}$ is the operation
$$M+A$$
where $A\in\mathbb F_2^{n\times n}$ is of rank $1$ and number of $1$'s in $A$ is $kl$ and there are $l$ ...

**5**

votes

**1**answer

132 views

### Polynomials vanishing on prescribed layers

Given a prime $p$ and an integer $n\ge p$, what is the smallest possible degree of a polynomial $Q\in\mathbb F_p[x_1,\dotsc, x_n]$ such that $Q$ vanishes on every vector $x\in\{0,1\}^n$ of weight $w(x)...

**7**

votes

**1**answer

427 views

### Does every geometric progression contain a small remainder modulo a large prime?

The exact question I am interested in is the following.
Fix a small $\varepsilon\in(0,1)$ and an integer $q\ge 2$ (you may assume that $q$ is prime if it helps though I believe it shouldn't matter too ...

**8**

votes

**0**answers

154 views

### Maximum probability of a set of vectors from $ \mathbb{F}_2^n $ being linearly independent

Suppose $ m $ vectors from the vector space $ \mathbb{F}_2^n $ are selected independently according to a distribution $ P $ over $ \mathbb{F}_2^n $. Here $ \mathbb{F}_2 $ denotes the field with two ...

**0**

votes

**0**answers

84 views

### Injectivity of pushforward of rational Chow groups

I'd like to know whether there is a known counter-example to the following statement. Let $X$ be a smooth projective variety over a finite field. Let $Z$ be a codimension $2$ smooth subvariety which ...

**2**

votes

**0**answers

101 views

### Computing monodromy groups of curves over function fields

Suppose I consider a hyperelliptic curve given by an equation such as $y^2 = x^{n} + tx + 1$ or some variation on this (where $t$ is a parameter on $\mathbb P^1$ and this curve is really a surface ...

**1**

vote

**2**answers

216 views

### Reference for integral extensions of $\mathbb{Z}/p^k\mathbb{Z}$

I was looking for a reference which discusses the structure of finite integral extensions of $\mathbb{Z}/p^k\mathbb{Z}$. In particular, I am interested in understanding what the abelian group of its ...

**0**

votes

**0**answers

78 views

### Related involutions

Let's say that we have finite field $\mathbb F_q$ and we have a couple of involutions $g,f$ with exactly one fixed point (zero).
Let's take any element $\alpha \in \mathbb F_q$
Let's start applying ...

**3**

votes

**1**answer

107 views

### invariant subspaces of general linear groups for finite fields

Let $K$ be a finite field, let $n\ge 1$ be an integer and let $G=\mathrm{GL}(n,K)$ be acting linearly on a finite dimensional $K$-vector space $V$. Although $G$ is a reductive group, it is not ...

**5**

votes

**1**answer

175 views

### Representations of $\operatorname{Sp}(2g,\mathbb{Z}_3)$

Let $V$ be a $2g$-dimensional vector space over $\mathbb{Z}_3 := \mathbb{Z}/3\mathbb{Z}$. First, $\operatorname{Sp}(2g,\mathbb{Z}_3)$ acts on $\Lambda^2(V)$, and this decomposition is reducible, as ...

**0**

votes

**0**answers

47 views

### Probability that affine system is soluble over a finite field

I have a simple lemma that I need for a paper. It's not hard to prove, and it seems like it should be well-known already, so that it feels silly to reproduce the proof instead of citing it. Is this ...

**2**

votes

**0**answers

101 views

### Loewy structure of $S_4$

How to deduce the Loewy Structure of $kS_4$ where $k$ has characteristic 2. I can compute the Cartan matrix and Decomposition matrix with Brauer Characters without difficulties. But when it comes to ...

**2**

votes

**0**answers

97 views

### Standard interpretation of permanents (of orthogonal included) over finite fields

Given a $0/1$ matrix in $\mathbb Z^{n\times n}$ the standard interpretation of permanent of the matrix is the number of perfect matchings in the underlying $2n$ vertex balanced bipartite graph with ...

**8**

votes

**1**answer

223 views

### Standard conjecture on u-invariants?

This is well beyond my expertise, but I just learned some of the history behind
$u$-invariants of fields $F$,
where ($u(F)+1$)-variable quadratic equations always have a non-trivial solution,
but $u(F)...

**0**

votes

**0**answers

29 views

### Invertible matrix by using polynomial in LDPC codes

I am studying about QC-LDPC codes.
These codes can be represented by matrices or polynomial.
For instance:
Example.
So, we have two polynomials: $a_1(x) = 1 +x$ and $a_2(x) = 1+x^2+x^4$.
The second ...

**2**

votes

**0**answers

132 views

### On some rational points on an elliptic curve over finite field

Let $p\equiv3\pmod4$ be a prime. We consider the elliptic curve $E$ over the finite field $\mathbb{F}_p$
(in affine coordinates) defined by
$$y^2=x^3+x.$$
Clearly the discriminant of $E$ is $-2^6$. ...

**1**

vote

**1**answer

120 views

### Polynomial form/Fourier transform of rational function over finite affine space

I am certainly going to make a mess of any serious algebraic terminology, so bear with me as I present my problem arising from a probability problem.
Consider the space of sequences of $n$ zero-one ...

**2**

votes

**1**answer

176 views

### How different can the bias of two polynomials be?

I'm trying to figure out how to approach the following question:
Let $g,h$ be polynomials over $\mathbb{Z}_p$ (for prime $p$) with $n>1$ variables.
Denote by $bias(g)=|\sum_{x\in \mathbb{Z}_p^n}e^{...

**1**

vote

**1**answer

120 views

### Is finite field version kakeya conjecture still true when changing the line of every direction with only 2(or several but not the full line)element?

The classical finite field Kakeya conjecture state as following (for conveinent, all version of kakeya conjecture is state in hasdorff dimension version):
$\mathrm{Finite\ Field\ Kakeya\ ...

**5**

votes

**1**answer

355 views

### Do you know which is the minimal local ring that is not isomorphic to its opposite?

The most popular examples are non-local rings and minimal has 16 elements. I am interested in knowing examples of local rings not isomorphic to their opposite.

**11**

votes

**4**answers

377 views

### Explicit large finite fields in characteristic $2$

Every finite field of characteristic $2$ ist given by $\mathbb{F}_2[x]/P(x)$ for some irreducible polynomial $P\in \mathbb{F}_2[x]$.
For small degree, a simple algorithm gives a way to find $P$. Is ...

**1**

vote

**0**answers

41 views

### Symmetric matrices of hyperbolic and elliptic type with certain kind of trace zero

I have been working on a problem related to determinantal varieties in symmetric matrices. I am stuck at the following point and would like to get some reference/help for the following question.
Let $\...

**2**

votes

**0**answers

144 views

### Dyadic models in number theory and “spillover”

In a classic blog post, Tao discusses the appearance of "dyadic models" in various guises in various areas of math. The number-theoretic version of the idea is to study polynomials over a ...

**9**

votes

**1**answer

217 views

### Discrete logarithm for polynomials

Let $p$ be a fixed small prime (I'm particularly interested in $p = 2$), and let $Q, R \in \mathbb{F}_p[X]$ be polynomials.
Consider the problem of determining the set of $n \in \mathbb{N}$ such that $...

**5**

votes

**1**answer

136 views

### Orbit counting polynomials over finite fields

Let $X$ be an affine variety defined over $\mathbb{Z}$ and let $G$ be an algebraic group defined over $\mathbb{Z}$. Let $q$ be a power of a prime number. We write $\mathbb{F}_q$ for the field with $q$ ...

**1**

vote

**0**answers

84 views

### Permutation induced by multiplication of finite field elements [closed]

Consider a finite field $\mathbb F$. Let $a \in \mathbb F$. Then multiplication by $a$ induces a permutation on the field elements. $0 \rightarrow 0$, $1 \rightarrow a$, $2 \rightarrow 2a$, etc.
Is ...

**4**

votes

**0**answers

95 views

### $\delta$-equidistributed polynomials over finite fields

I'm trying to show that a polynomial over finite (prime) field is "close enough" to being equidistributed over its range. A polynomial $p(\cdot)$ from $\mathbb{F}^n$ to $\mathbb{F}$ is $\...

**3**

votes

**0**answers

209 views

### Jacobian criterion for algebraic independence over a perfect field in positive characteristics

It is well known that the Jacobian criterion for algebraic independence does not hold in general for fields of positive characteristics. However, the following partial statement seems promising:
...