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
1
answer
129
views
Does Conway’s field of finite nim values have arithmetically tractable isomorphisms?
Conway constructed a field of characteristic 2 whose elements are the finite Nim values, indexed by the natural numbers. What is known about nontrivial automorphisms of this field? Do any of them ...
- 19.7k
2
votes
1
answer
217
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 ...
- 93
2
votes
1
answer
308
views
The number of unitary circulant matrices over a finite field $\mathbb{F}_{q^2}$
I asked this question in MSE few days ago but there was no response.
Suppose $\mathbb{F}=\mathbb{F}_{q^2}$, where $q$ is a prime power. The conjugate of elements in $\mathbb{F}$ is defined by $\...
- 379
2
votes
1
answer
600
views
Density of rational points over finite fields, an estimate of Lang-Weil constant
Let $X\hookrightarrow\mathbb P^n_{\mathbb F_q}$ be a geometrically integral hypersurface over the finite field $\mathbb F_q$ of degree $\delta$. In order to estimate the number of its rational points, ...
- 403
2
votes
1
answer
254
views
Polynomials and matrices in $\Bbb F_q$
Given a polynomial $p(x,y)\in\Bbb F_q[x,y]$ of $(x,y)$ degree $(n_x,n_y)$ ($n_x,n_y\geq0$ and $n_x,n_y\in\Bbb Z$) where $q=p^\alpha$ with $p$ a prime and $\alpha\in\Bbb N$ how many different matrices $...
- 13.9k
2
votes
1
answer
2k
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 ...
- 63.1k
2
votes
1
answer
232
views
Chinese remainder theorem for composition
Let $f(x) \in F_p[x]$ and I know $f(x)$ modulo two polynomials $\phi_1(x)$ and $\phi_2(x)$. What sort of information about $f$ modulo the composition $\phi_1(\phi_2(x))$ can I recover?
I'm looking ...
- 591
2
votes
1
answer
612
views
Inner product over finite field
sorry for informals but is my first post.
In Coding theory (exactly in Coding theory a first course - San ling and Chaoping) found this definition:
$\langle , \rangle :\mathbb{F}_q^n\times\mathbb{F}_q^...
2
votes
2
answers
199
views
General linear group action on extensions of finite fields
Let $q$ be a prime power. Let $\mathbb{F}_q$ be the finite field with $q$ elements. Then $\mathbb{F}_{q^n}$ is a field extension of $\mathbb{F}_q$ of degree $n$ and can be considered as an $n$-...
- 540
2
votes
1
answer
203
views
Irreducibility of a family of hypersurfaces over $\mathbb{F}_p$
Let $Q \in \mathbb{F}_p[x,y,z]$ be a geometrically irreducible polynomial. If it helps, suppose $Q$ is a quadratic form. Consider the parameterization
$$x = u(r) , \ \ y = v(s), \ \ z = w(t),$$
where ...
- 2,283
2
votes
1
answer
362
views
Characterization of nilpotent adjacency matrices [closed]
Let $\theta$ be the adjacency matrix of a simple graph (symmetric and zeros on the diagonal). What is the characterization of those $\theta$ which satisfy $$\theta^2 \equiv 0 \pmod{2}$$ i.e. which $\...
- 23
2
votes
1
answer
192
views
A Vandermonde-type system
For a prime $p$ and $a_1,\dotsc,a_n\in\mathbb F_p^\times$, consider the system of equations
$$ \begin{cases}
\begin{align}
a_1 + \dotsb + a_n &= 0 \\
a_1x_1 + \dotsb + a_nx_n &...
- 23k
2
votes
1
answer
358
views
Is the Adjoint Action self dual over finite fields?
Given a finite group $G$, and representation $\rho: G \to H(\mathbb{F}_q)$ where $H$ is some classical algebraic group ($Gl$, $Sl$, $O$, $SO$, $SP$, $GSP$, $U$, etc), is the induced Adjoint ...
- 1,629
2
votes
1
answer
282
views
Decomposition of rectangular matrices into a product of a sparse and a small matrices
I would like to construct a rectangular matrix which doesn't have a decomposition into a product of a sparse and a small matrices. It is easy to see that a random matrix doesn't have such a ...
- 211
2
votes
1
answer
195
views
Restricted degree function of an endomorphism of a Jacobian to its theta divisor for genus 2 curves
I hope my question is not too vague or basic to be here.
I have been constructing a setting to count points on a curve, but I am stucked solving one part of my problem for some time. Now I would like ...
2
votes
1
answer
401
views
Can we define a height function for a variety over a finite field?
That is, is there a way to measure the complexity of a point over a finite field the same way we do it over number fields?
user76098
2
votes
1
answer
165
views
Proving inequation with ceilings in Finite Field of characteristic $p$
Take $ui = pt_i +j_i$ where $p$ is a prime number and $u(p-r) \equiv 1 $ $(\mbox{mod p})$ for positive integers $1 \le i, r, j_i\le p-1$ and $t_i \ge 0$. How can I prove that:
\begin{equation}
...
- 165
2
votes
1
answer
197
views
Invariant subspaces of an $F_2$-representation of the affine linear group of dimension 1
Let $p$ be an odd prime (large if it matters) and let $G= Aff(\mathbb{F}_{p^2}) \cong \mathbb{F}_{p^2} \rtimes \mathbb{F}_{p^2}^*$ be the affine linear group acting on $\mathbb{F}_{p^2}$ by $x\mapsto ...
- 3,362
2
votes
1
answer
391
views
cohomology of orthogonal (or general linear) group over finite fields
Let $\mathbb{Z}_2=\mathbb{Z}/2\mathbb{Z}$. Let
$$
O(\mathbb{Z}_2^{\oplus k})=\{A\mid A \text{ is a } k\times k \text{ - matrix with entries } 0,1, det(A)=\pm 1\}
$$
What is $$
H^*(BO(\mathbb{Z}_2^{\...
- 1,990
2
votes
2
answers
444
views
Defining a sign of square roots in GF(p)
$\DeclareMathOperator\GF{GF}$Consider the following expression:
$$
\sqrt{a_1} \pm \sqrt{a_2} \pm \dots \pm \sqrt{a_n} = 0,
$$
where $a_1, \dots, a_n$ are positive integers. We want to find the number ...
- 1,171
2
votes
1
answer
166
views
Subgroups of $\mathrm{SO}(A_0, \mathbb{F}_p)$
Let $n \geq 3$. Let $A_0$ denote the $n \times n$ symmetric matrix with $1$'s on the antidiagonal and $0$'s everywhere else. We can define the associated special orthogonal group
$$ \mathrm{SO}(A_0, \...
- 1,570
2
votes
1
answer
124
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 $\...
- 21
2
votes
1
answer
277
views
Is there an analogue of the Balazard-Saias-Yor criterion for the Riemann Hypothesis for finite fields?
The Balazard-Saias-Yor criterion for the Riemann Hypothesis states that the latter is equivalent to the statement that
$$\int_{\Re(s)=1/2} \frac{\log|\zeta(s)|}{|s^2|}|ds|=0$$ where $\zeta$ denotes ...
- 105
2
votes
1
answer
368
views
The minimum rank of a matrix over GF(2) when part of non-zero off-diagonal elements are set to be zero
Given an $n\times n$ matrix $A$, whose elements are over $GF\left(2\right)$ and all diagonal elements are $1$. There are $m\ (m\leq n^2-n)$ non-zero off-diagonal elements in $A$. If we are allowed to ...
- 21
2
votes
2
answers
1k
views
When is the following block matrix invertible?
Let
$$A = \begin{bmatrix}
x_{11} A_{11} & x_{12} A_{12} & x_{13} A_{13} & \cdots & x_{1d} A_{1d}\\
x_{21} A_{21} & x_{22} A_{22} & x_{23} A_{23} & \cdots & x_{2d} ...
- 187
2
votes
1
answer
297
views
Papers on distribution of high order elements over $\mathbb{F}_p$
I am interested in knowing about the distribution of exponentially high order elements in $\mathbb{F}_p$. To be precise let $s$ be of the order $\frac{p}{\log^{k}(p)}$ for some fixed $k$ and integer. ...
- 335
2
votes
2
answers
534
views
Number of Skew Symmetric Matrices of fixed rank
The number of symmetric matrices of order $n$ and rank $r$ over finite fields has been counted e.g.
http://www.math.clemson.edu/~kevja/REU/2004/SymmetricRankRMatrices.pdf
Is the number of skew-...
- 21
2
votes
1
answer
128
views
Bases of the special form
Let $R = \mathrm{GF}(q)$, $S = \mathrm{GF}(q^n), \ n\geq 2$ be extension of $R$, $h$ be a primitive element of $S$. I want to count or estimate the number $N$ of bases of the following form.
Let $$\...
2
votes
1
answer
970
views
Finding a subspace disjoint from a union of subspaces
Let $k$ be a finite field (I care about $\mathbb F_p$, especially $\mathbb F_2$) and let $V_1,...,V_N\subset k^n$ be subspaces.
I want to find a subspace $S\subset k^n$ such that $S\cap V_i=0$ for ...
- 1,147
2
votes
1
answer
159
views
Under row operations and column permutations a matrix A can be put in the non-unique form ( I | X ), what is known about the set of possible X?
Given a full row-rank matrix $A$, this can be put into a unique reduced row echelon form via elementary row operations. Allow column permutations (no column addition / multiplication) and this can be ...
- 33
2
votes
1
answer
185
views
How many ways are there to pick $n$ points on the finite affine plane $(\Bbb F_q)^2$ such that no three are collinear?
How many ways are there to pick $n$ points on the finite affine plane $(\Bbb F_q)^2$ such that no three are collinear?
For example, how many ways can we pick $5$ points on $\Bbb F_{32}\times\Bbb F_{32}...
- 960
2
votes
1
answer
295
views
The size of endomorphism rings and the relation to ordinariness of Abelian surfaces
For Elliptic curves over a finite field, there is a very useful characterization of ordinary elliptic as those with commutative, quadratic endomorphism rings and of supersingular curves as those with ...
- 7,746
2
votes
1
answer
260
views
Fixed points of $g^x$ (modulo a prime)
In an explicit construction in combinatorics I need to study the following problem: assume we pick a odd prime number $p$, a generator $g$ of the multiplicative group $(Z/pZ)^{\ast}$.
Question 1: ...
- 1,561
2
votes
2
answers
1k
views
Solutions to system of polynomial equations over finite fields
If $P_1$, $P_2$, ..., $P_m$ are $n$-variate homogeneous polynomials of degree d over a finite field $F_q$, where $q$ is much larger than $d$, but much smaller than $n$, then do we know good lower ...
- 21
2
votes
2
answers
220
views
How does one calculate/estimate/guarantee the girth of a non-Abelian Cayley graph?
This question is in reference to this other question,
Can someone point out references (or explain!) which give techniques of being able to prove for any Cayley graph this property of having a girth ...
- 617
2
votes
1
answer
186
views
Stabilizer of a nonsingular vector in a quadratic space (char (k)=2)
suppose that $k$ is a finite field of characteristic 2 and $(V,q)$ a quadratic space, i.e., $V$ is a $k$-vector space and $q:V\to k$ quadratic form. Suppose that $\dim(V)\geq 4$ and that $q$ is non-...
- 1,529
2
votes
1
answer
479
views
Small geometric progression modulo N
An problem related to integer factorization using the General Number Field Sieve is the following:
Let $N$ be a composite. Must there exist a 5-term geometric progression $\lbrace a_0,a_1,a_2,a_3,...
- 360
2
votes
2
answers
369
views
vectors with entries from a finite ring
I've been working recently with vectors over finite fields, but I was hoping to work in a more general setting and consider vectors over finite commutative rings. The question I had is as follows: if ...
- 21
2
votes
1
answer
597
views
Existence question on rational points on a curve
I am puzzled about the following question:
Let C be a smooth, projective, absolutely irreducible curve defined over GF(q) and let g denote the genus of C. O is a rational point on C, and the divisor ...
- 23
2
votes
0
answers
168
views
Centralizer of PSL in PGL and of SL in GL: reference request
$\DeclareMathOperator\GL{GL}\DeclareMathOperator\SL{SL}\DeclareMathOperator\PGL{PGL}\DeclareMathOperator\PSL{PSL}$Consider the general linear group $\GL(n,q)$ over a finite field with $q$ elements and ...
- 361
2
votes
0
answers
120
views
Looking at versions of Implicit Function Theorem (IFT) on rings
$ \let \ovr \overline
\def \Z {\mathbb Z}
\def \C {\mathbb C}
\def \F {\mathbb F}
\def \P {\mathcal P}
\def \x {\boldsymbol x}
\def \a {\boldsymbol a} $
Let $ \P = \{ p _ i ( \x , y ) \} _ { i = 1 } ^ ...
- 346
2
votes
0
answers
187
views
Matrix with elementary symmetric polynomials as entries
Let $n\geq 1$, and for each $j=1,\ldots, n+1$ let $\mathbf{X}_{j}=(X_{j1},\ldots, X_{jn})$ be $n$ variables. Let $M$ be the $(n+1)\times (n+1)$ matrix whose $(i,j)$-th entry is $$M_{ij}=(-1)^i e_{i-1}(...
2
votes
0
answers
124
views
What do we know about efficiently finding a solution to a system of multivariate polynomials over finite fields?
Consider the following (NP-complete) problem:
Given a system of polynomials $f_1, f_2, \ldots, f_m \in \mathbb{F}_q[x_1, x_2, \ldots, x_n]$ of total degree at most $d$, find an $\mathbb{F}_q$-rational ...
- 121
2
votes
0
answers
124
views
Can K$_3$ of finite fields be related to Teichmüller cocycles?
This is sort of a blind shot, but...
For a ring $R$, its third algebraic K-group is given by $\operatorname K_3(R)=H_3(\operatorname{St}(R))$.
To simplify matters, let $R$ be a finite field $\mathbb ...
- 18.4k
2
votes
0
answers
145
views
What is the periodicity of $((a^n \text{ modulo } p) \text{ modulo } q)$
This feels like it should be elementary but it came up in my research and I was not able to solve it.
We can ask this question for any $p$ and $q$ but,let $p$ and $q$ be primes for simplicity. The ...
- 591
2
votes
0
answers
191
views
Factorization of the polynomial $x^k + x^{k-1} + x^{k-2} + \cdots + x + 1$ in $\mathbb{F}_2[x]$ [closed]
Is anything known about the factorization of the polynomial $x^k + x^{k-1} + x^{k-2} + \cdots + x + 1$ in $\mathbb{F}_2[x]$?
When can it be factored, what are the irreducible factors, what are the ...
- 219
2
votes
0
answers
39
views
A generalisation of Moore-Ore criterion?
Let $K$ be a field of characteristic $p>0$ and $q=p^f$. One supposes that $\mathbb F_q$ is embedded in $K$. One considers elements of $K$: $w_1,\dotsc,w_s$. Assume there exists $b_1,\dotsc,b_s$ in $...
- 3,998
2
votes
0
answers
132
views
Solving efficiently a quadratic equation in a large finite field of characteristic two
I'm trying to solve efficiently a quadratic equation in the finite field $\text{GF}(2^{128})$ represented as $(\mathbb{Z}/2\mathbb{Z})[x] / (x^{128} + x^7 + x^2 + x + 1)$.
Until now, I came across ...
- 21
2
votes
0
answers
121
views
When $\gcd(P(x),Q(x))\bmod R(x)=\gcd(P(x) \bmod R(x),Q(x) \bmod R(x))$?
Let's $P,Q\in\mathbb K[x]$, with $\mathbb K$ a finite field.
On what necessary and sufficient condition on $R \in \mathbb K[x]$ is it :
$\gcd(P(x),Q(x))\bmod R(x)=\gcd(P(x) \bmod R(x),Q(x) \bmod R(x))...
- 4,074
2
votes
0
answers
187
views
Counting fixed points on flag variety and Deligne-Lusztig functors
Let $G=GL_n(q)$ be the general linear group over $\mathbb{F}_q$ and $T$ be the torus of diagonal matrices. We also pick a Levi subgroup of the form $L=GL_{n_1}(q)\times GL_{n_2}(q) \times \cdots \...
- 1,061