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.
814 questions
2
votes
0
answers
154
views
Reference request - obtaining finite simple groups from algebraic groups
I'm looking for references for the following statements, which I believe are true:
Let $G$ be a simply connected simple linear algebraic group over a finite field $k$ of cardinality $q\ge 4$. Let $Z\...
- 7,527
2
votes
0
answers
203
views
Can the relation between count of commuting pairs and conjugacy classes for finite groups be generalized to semigroups?
It is well-known that number of pairs of commuting elements in finite group G is equal to number of conjugacy classes multiplied by cardinality of G.
More generally here (MO275769) Qiaochu Yuan ...
- 24.9k
2
votes
0
answers
100
views
Sum of binary quadratic forms over inputs of equal Hamming weight
$\DeclareMathOperator{\field}{\mathbb{F}}$
Let $n$ be a positive integer, and let $q : \field_2^{n} \rightarrow \field_2$ be a quadratic form, specified in coordinates as
$$q(x)=\sum_{i =1}^n \alpha_i ...
- 980
2
votes
0
answers
157
views
On hypergeometric functions over finite fields
Let $\mathbb{F}_q$ be a finite field of $q$ elements. Let $A,B,C,\cdots$ denote the multiplicative characters over $\mathbb{F}_q$, and let $\overline{A}$ denote the inverse of $A$, i.e., $A(x)\...
- 93
2
votes
0
answers
135
views
What can we say about the intersection of an algebraic and product set?
This question is a bit vague by design. Let $F$ be a field. I'm mostly interested in finite fields, but would also be interested in $R$ or $C$.
Let $S \subset F^d$ be an algebraic set and let $A = ...
- 13k
2
votes
0
answers
137
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).
$\...
- 13.9k
2
votes
0
answers
188
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 ...
- 7,746
2
votes
0
answers
116
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 ...
- 51
2
votes
0
answers
111
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 ...
- 13.9k
2
votes
0
answers
145
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$. ...
user125345
2
votes
0
answers
186
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 ...
2
votes
0
answers
92
views
System of linear equations in positive characteristic
Let $K$ be a field of positive characteristic $p$. Consider the system of $\mathbb F_p$-linear equations
$$\left\{\begin{array}{ccl}
a_{11}x_1+a_{12}x_2+\cdots+a_{1n}x_n&=&b_1\\
a_{11}x^p_1+a_{...
- 3,998
2
votes
0
answers
71
views
Bijections between binary sequences and primitive elements in a finite field [duplicate]
Let $n>1$ be a natural number. We call a binary sequence $(b_1,\ldots, b_n)\in \{0,1\}^n$ $rigid$ if it is not a proper power of a sequence of shorter length. So for example $(0,1,0,1) = (0,1)^2$ ...
- 5,039
2
votes
0
answers
114
views
Reducible polynomial among sequence of polynomials
Let $a_1$ and $a_2$ be two elements of a finte field $\mathbb{F}_{2^m}$ of even characteristic and $a_1^2\neq a_2$. Is it true that there always exists an element $a\in\{a_1,a_2,a_3,\ldots,a_{2^m}|a_{...
- 21
2
votes
0
answers
78
views
Affine projection of polynomials for a given set of points
(Not sure this question fits here, I will remove it in case it doesn't)
Let $F_{\mathrm{ML}}[x_1, \ldots,x_n]$ denote the set of multilinear polynomials over a finite field $F=\mathbb{F}_q$ (i.e. a ...
- 53
2
votes
0
answers
122
views
A Lefschetz style formula for the $\ell^\infty$ torsion of an Abelian variety over a finite field
Let $A/\mathbb F_q$ be an abelian variety over a finite field. Define $A_\ell = A[\ell^\infty](\mathbb F_q)$, the $\ell^n$ ($n\geq 0)$ torsion points defined over the base field. I can assume $\ell \...
- 7,746
2
votes
0
answers
67
views
Partitioning a given set into root set of two polynomials or non zero set of two polynomials simultaneously
Let $p,q$ be two prime numbers and let $p<q.$ Also let, $\mathbb{Z}_p$ and $\mathbb{Z}_q$ denote the fields formed by integers modulo $p$ and modulo $q$ respectively (with respect to the modulo $p$ ...
- 850
2
votes
0
answers
111
views
Inseparable field extensions of degree p and linear independence
Let $F$ be a field of characteristic $p$; let $\alpha \in F$ such that $\alpha \neq \beta^p$ for any $\beta \in F$, and let $K := F(x)$ where $x=\sqrt[p]{\alpha}$.
Is it true that the elements $1,(x-...
- 21
2
votes
0
answers
118
views
Analogues over finite fields of certain integers defined multiplicatively in $\mathbb Z$
For any irreducible polynomial $f$ of degree $d$ in finite field $\mathbb F$ we have that $$x^{|\mathbb F|^d}-x\equiv0\bmod f$$ and thus the polynomial $x^{|\mathbb F|^d}-x$ is the analog of factorial ...
- 1,826
2
votes
0
answers
87
views
Variation of Gauss/Jacobi sums on a variety
Let $V \subset \mathbb P^n$ be a nice (smooth, projective?) variety over a finite field $\mathbb F_q$. Let $\chi_0,\chi_1,\dots,\chi_{n}: \mathbb F_q^\times \to \mathbb Q(\mu_{q-1})$ be multiplicative ...
- 7,746
2
votes
0
answers
252
views
Which fields and schemes "have enough finite residue fields"?
I am looking for assumptions on the spectrum $S$ of a field $K$ that ensure the following: there exists an excellent noetherian finite dimensional (integral) scheme $S'$ such that $S$ is its generic ...
- 16.9k
2
votes
0
answers
277
views
Counting special metrics on finite fields
Define a Galois coding norm of degree n as a map $|\space| : \Bbb F_{2^n}\rightarrow {\Bbb Z}$ with the following properties :
(I) $(\Bbb F_{2^n},|\space|)$ is a self-orthogonal code ; i.e. $(x,y)\...
- 173
2
votes
0
answers
243
views
Sums of squares in fields
Which fields $k$ have the property that any sum of squares is a square ?
Are there elegant characterizations and/or classifications known for this type of field ?
And what if we replace "fields" by "...
- 4,547
2
votes
0
answers
125
views
defining "half" of a quadratic form over $\mathbb{Z}_2$
Given a vector space, $V$, over $\mathbb{Z}_2$, I can sometimes construct a function $P:V \rightarrow \mathbb{Z}_2$ with the following property:
$$ P(x+y) = P(x) + P(y) + B(x,y) , \;\;\; \forall \;x,...
- 169
2
votes
0
answers
35
views
Different powers of a primitive root simultaneously lying in a subspace
Let $p$ be a large prime and let $\alpha$ be a root of a primitive quadratic polynomial over $\mathbb{F}_p$. Let $N$ be an integer parameter of size proportional to $p$ and $$V = \{\alpha + b : b \in \...
- 2,283
2
votes
0
answers
76
views
Root of a polynomial and its reciprocal modulo a prime
Fix a large prime $p$ and let $k \leq 10 \sqrt{p}$. What are the $z\in \mathbb{F}_p$ that satisfy $$f(z) = f(1/z) = 0,$$ where \begin{align*}f(z) &= (2-z) \cdots (2k-z) + (-1)^{k+1} \cdot 3 \...
- 2,283
2
votes
0
answers
123
views
A special case of the polynomial Bézout's identity: bounding the co-factors
Let $F$ be a field of prime order $p$. Suppose that $f\in F[x]$ is a non-zero polynomial of degree $\deg f<p$. If $f$ does not have multiple roots, then there exist polynomials $P,Q\in F[x]$ such ...
- 550
2
votes
0
answers
258
views
Number of degree d curves passing through d points in the projective plane over a finite field
Let the base field be a finite field $\mathbb F_q$ and fix $d$ rational points that lie on a line in $\mathbb P^2$. Suppose $d$ is a large number (about the order of $q^{\alpha}$ for $\alpha$ some ...
- 7,746
2
votes
0
answers
228
views
Satake correspondence for groups over finite field
I asked the same question in MSE, but I didn't get any answer. So I decided to post it here, too.
In Langlands' program, Satake correspondence gives a correspondence between unramified ...
- 2,215
2
votes
0
answers
138
views
The growth of class number in $\mathbb{Z}_p$-extensions of function fields
Let $X$ be a curve (proper, smooth, ...) over a finite field $\mathbb F_q$ where $q$. Suppose also that $\mathbb F_q$ contains the $p$-th roots of unity, in this case we have the following (unique) ...
- 7,746
2
votes
0
answers
95
views
Polynomials passing through points with tangential conditions
In corollary here http://math.mit.edu/~lguth/Exposition/erdossurvey.pdf on polynomial methods it is said "(Parameter counting) If $S\subset\mathbb F^n$ is a finite set, then there is a non-zero ...
- 13.9k
2
votes
0
answers
269
views
Intersection of two varieties in $\mathbf{F}_q^n$
Suppose we identify $\mathbf{F}_q^n$ with $\mathbf{F}_{q^n}$. Let $X_n$ be the irreducible hypersurface defined by $Nx=1$ where $N$ is the norm map. There is an analogous hypersurface $X_{n-1}$ in $\...
- 9,720
2
votes
0
answers
118
views
Lacunary fully reducible polynomial over a finite field
The following problem is motivated by this MO question on rich directions determined by a set of a finite plane.
Problem Does there exist a constant $C$ such that for all odd primes $p$ there is a ...
- 1,384
2
votes
0
answers
186
views
Sum of reciprocals in finite fields
Let $p$ be an odd prime number which large enough. I am interested in the study of the sums of reciprocals in the field $\mathbb{F}_p$.
In particular, I have the following question:
which primes $p$ ...
- 347
2
votes
0
answers
249
views
An exponential sum like the Kloosterman sums
I encounter a tricky sum like the Kloosterman sum
$${\sum_{x \mod P}}^\ast e\left(\frac{ax+\overline{x}}{P}+\frac{lx^2}{P^2}\right),$$
where $l$ is a positive integer co-prime with $P$ and here $P$ ...
- 353
2
votes
0
answers
162
views
Determining the multiple solutions for $\mathrm{GF}(2)$ discrete logarithms of polynomials with partially known coefficients
I have an LFSR, essentially $x^k \bmod p(x)$ for some characteristic primitive polynomial of degree $N$ with coefficients in $\mathrm{GF}(2)$, as outlined in Clark and Weng's article: it has a period $...
- 663
2
votes
0
answers
376
views
Number of rational points of a singular cubic surface over a finite field
I have a (geometrically irreducible) cubic surface defined over a finite field $F_q$ with three non-$F_q$-rational singularities (defined over the cubic extension of $F_q$).
Counting the number of $...
- 21
2
votes
0
answers
113
views
Complexity of tensor decomposition vector over $\Bbb F_q$ or $\Bbb Z$
Suppose we have a matrix $$T\in\Bbb K^{n^k\times m}$$ and a target vector $v\in\Bbb F_q^m$ where $m<n^k$ and $1<k$ holds.
We need to find $k$ vectors $u_1,\dots,u_k\in\Bbb K^n$ such that $$v=...
- 13.9k
2
votes
0
answers
29
views
Reference Request: Neighbor-avoiding sets of flags
Let $K$ be a finite field and $\mathcal{F}$ the set of full flags in $K^n$, i.e. $\mathcal{F}$ consists of chains of subspaces
$$0 < V_1 < V_2 < V_3 < \ldots < V_{n-1} < K^n$$
such ...
- 809
2
votes
0
answers
164
views
Linear combinations of low-degree polynomials with agreement guarantee
Let $\mathbb{F}$ be a finite field of odd characteristic and let $f:\mathbb{F}_{\leq d}[x,y]\rightarrow\mathbb{Z}$ map bivariate polynomials over $\mathbb{F}$ of degree at most $d\ll|\mathbb{F}|$ to ...
- 125
2
votes
0
answers
147
views
Purely inseparable $k$-rational dominant maps between an absolutely irreducible $k$-surface and $\mathbb{P}^2$
Let $X$ be an absolutely irreducible surface over an algebraically closed or finite field $k$ of characteristic $p$. Is it true that the following conditions are equivalent?
There is a purely ...
- 1,833
2
votes
0
answers
124
views
Property of a derivative in global field
Before posting I want to make it clear that I posted the same question in stack exchange awhile ago (https://math.stackexchange.com/questions/1533814/property-of-derivative-in-a-local-field) but didn'...
- 111
2
votes
0
answers
107
views
the least point on a variety over a finite field
Let $p$ be a large prime parameter and $V\subseteq \mathbb{P}^n_{\mathbb{F}_p}$ a variety defined over the finite field $\mathbb{F}_p$ with bounded degree and dimension (w.r.t. $p$). Assume that $V$ ...
- 3,362
2
votes
0
answers
119
views
A reference about a problem of the number of the rational points on a projective scheme
Let $X\hookrightarrow\mathbb{P}^n_{\mathbb{F}_q}$ be a pure dimensional projective scheme of dimension $d$. So we know a trivial estimate of the number of $X(\mathbb F_q)$ is that $\#X(\mathbb F_q)\...
- 403
2
votes
0
answers
61
views
Determining Inconsistency of (first-order) Non-linear System of Equations [closed]
Is there a way I can figure out what values of the coefficients of some system of non-linear equations makes the system inconsistent?
Take the following system of equations as an example. The ...
- 21
2
votes
0
answers
898
views
A question on vector space over finite field
Let $\mathbb{F}_{2^\sigma}$ be a finite field of $\sigma$-bit elements, and use $\mathbb{F}_{2^\sigma}^{\ell}$ to denote an $\ell$-dimensional vector space over $\mathbb{F}_{2^\sigma}$. Let $V$ be a ...
2
votes
0
answers
75
views
Computations of some character sums/zeta function
I'm currently trying to "compute" the zeta function of some hyperelliptic curves over a finite field (of odd characteristic). Precisely, let $b\in\mathbb{F}_q^\times$ be a non zero element (I also ...
- 21
2
votes
0
answers
130
views
A question about polynomial over finite field
For the positive integer $m$, let $n=\varphi(m)$ denote the totient of $m$.
Given a rational prime $p$ such that $p\equiv 1 \bmod m$, let $A=\{a_1,\cdots, a_n\}\subseteq \mathbb{F}_p$ denote the set ...
- 51
2
votes
0
answers
112
views
The significance of the Parvaresh-Vardy curve
Even though this seems like a computer science question, it is purely mathematical and concerns polynomials and curves over finite fields.
Consider the Parvaresh-Vardy list decoder.
As I understand ...
- 949
2
votes
0
answers
194
views
Number of common solutions of polynomial system
Let $ \mathbb{F}_p$ be a finite field and $\{f_j\}_{j=1}^{j=r} \subseteq \mathbb{F}_p[X_1,...,X_n]$ be a set of polynomials.
Let consider the system of equations:
$f_j(x_1,...,x_n)=0$ for $j = 1,......
- 2,576