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.

Filter by
Sorted by
Tagged with
0
votes
0answers
58 views

Gaussian integer square root solution [closed]

I'm trying to solve the equation $$ E(x)=\frac{(1+ix)^{1/2}-(1-ix)^{1/2}}{(1+ix)^{1/2}+(1-ix)^{1/2}} \mod p, $$ where $p$ is a prime and $1+ix$ is a Gaussian integer over $p$. For some values of $x$, ...
1
vote
1answer
95 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 ...
2
votes
1answer
117 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, \...
9
votes
1answer
305 views

p-adic analogue of octonions

There are the complex p-adic numbers. But what is the p-adic analogue of the Cayley–Dickson construction? Or more important: What is the p-adic analogue of the octonions? It would be nice if the (unit)...
1
vote
0answers
78 views

"multi-dimensional" cyclotomic number

Let $F_q$ be the finite field with $q$ elements with characteristic $p$ and with $g$ being a primitive root. Let $N$ be a divisor of $q-1$ and let $C_0$ be the subgroup of $F_q^*$ with index $N$. Then ...
0
votes
0answers
19 views

On rank distribution of certain matrix products

We are in $\mathbb F_2$ and we have a rank $k$ matrix in $\mathbb F_2^{n\times n}$ where $k\in\{1,\dots,n\}$ and we fix $j\in\{1,\dots,n-1\}$. We pick $n-j$ uniformly random matrices $M_1,\dots,M_{n-j}...
2
votes
1answer
207 views

The numbers of isomorphism classes of abelian variety over finite fields

It is known that there are only finitely many isomorphism classes of abelian variety over a finite field. I am curious about the exact number of these isomorphism classes. Explicitly, fix $g$, let $\...
0
votes
1answer
69 views

Does binary extension field multiplication matrix have random rows?

Any element in a boolean extension field $a\in GF(2^n)$ can be presented by a boolean vector $a_{(2)} \in GF(2)^n$. For any element $a\in GF(2^n)$, there exists a boolean matrix $M_a\in GF(2)^{n\...
19
votes
1answer
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 ...
2
votes
0answers
138 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 ...
7
votes
2answers
531 views

What is a function field analog of Giuga's conjecture?

Giuga's conjecture (1950), which is still open and has strong numerical support, reads : Let $n$ be a positive integer. If $1+\sum_{k=1}^{n-1}k^{n-1} \equiv 0\pmod{n}$ then $n$ is prime. What would ...
7
votes
1answer
492 views

Polynomials which are functionally equivalent over finite fields

Recall that two polynomials over a finite field are not necessarily considered equal, even if they evaluate to the same value at every point. For example, suppose $f(x) = x^2 + x + 1$ and $g(x) = 1$. ...
6
votes
0answers
139 views

Galois group of zeta function of hyperelliptic curve

Let $f \in \mathbb F_q[T]$ be monic, squarefree. Can we say anything on the Galois group of $Z_f$, the zeta function of the hyperelliptic curve $y^2=f$, directly in terms of $f$ (coefficients or ...
0
votes
0answers
42 views

Rank decomposition of matrices over $\mathbb F_2$

Given an integer matrix $M\in\mathbb Z^{n\times n}$ of real rank $k$ what is the minimum and maximum number of rank $1$ matrices $B_1$ to $B_t$ we require so that $M\equiv\sum_{i=1}^tB_i\bmod 2$? If $...
21
votes
1answer
481 views

Existence of a polynomial $Q$ of degree $\geq (p-1)/4$ in $\mathbb F_p[x]$ such that $QQ'$ factorizes into distinct linear factors

For all primes up to $p=89$ there exists a product $Q=\prod_{j=1}^d(x-a_j)$ involving $d\geq (p-1)/4$ distinct linear factors $x-a_j$ in $\mathbb F_p[x]$ such that $Q'$ has all its roots in $\mathbb ...
2
votes
0answers
73 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 ...
1
vote
0answers
137 views

Vanishing product of polynomials over finite fields

$(x_1-x_2-x_3+x_4)(x_2-x_4-x_3+x_1)(x_3-x_1)(x_4-x_2)\equiv 0$ over $\mathbb F_3$. Take polynomials $p_1,\dots,p_n$ over variables $x_1,\dots,x_n$ such that $p_i$ does not depend on $x_i$ and $\Pi_{i=...
0
votes
1answer
190 views

For which $\beta \in \mathbb{F}_{p^k}$, $\{1,\beta,\beta^2,\cdots,\beta^{k-1}\}$ form a basis of $\mathbb{F}_{p^k}$? [closed]

Let $p$ be a prime, and let $\mathbb{F}_{p^k}$ be a finite field. For which $\beta \in \mathbb{F}_{p^k}$, $\mathcal{B}_{\beta}:=\{1,\beta,\beta^2,\cdots,\beta^{k-1}\}$ form a $\mathbb{F}_p$-basis of $\...
6
votes
1answer
237 views

How large can the dimension of a 'Span of powers of a finite field basis' be?

Let $p$ be a prime. For finite field $\mathbb{F}_{p^k}$ and $d\in\mathbb{Z}^+$, I am considering the following quantity, where we interpret the field $\mathbb{F}_{p^k}$ also as a $\mathbb{F}_p$-vector ...
7
votes
2answers
395 views

Supersingular curves over $\mathbb{F}_q$ and the splitting of $p$

I'm looking at chapter 4 of Waterhouse's "Abelian varieties over finite fields"; and Theorems 4.1 and 4.2 seem to use the following fact: Suppose that $E/\mathbb{F}_q$ is an elliptic curve ...
3
votes
2answers
200 views

Number of involutions in finite reductive groups

Let $G$ be a connected split reductive group over $\mathbb{Z}$. Let $n$ be a positive integer. Let $i_n(q)$ be the number of elements of $G(\mathbb{F}_q)$ satisfying $x^n=1$. Question: Is there a &...
0
votes
1answer
122 views

Primes of the form $p=u^2+1$ and number of points on the elliptic curve $x^3+a x z^2=y^2 z$

Let $p$ be prime of the form $p=u^2+1$. For $a \in \mathbb{F}_p,a \ne 0$, define $E_a : x^3+a x z^2=y^2 z$ Let $B= \lfloor 2 \sqrt{p}\rfloor$ Must we have $(\#E_a(\mathbb{F}_p) -p - 1) \in \{2,-2,B,-B\...
-1
votes
1answer
198 views

Bounds for the number of points on projective hyperelliptic curves over finite fields

Let $C$ be projective hyperelliptic curve over finite field $K$. What are bounds for the number of points $\#C(K)$? The Hasse-Weil bound requires smooth curves, and hyperelliptic curves are not smooth ...
3
votes
2answers
187 views

Number of solutions of quadratic equation from a perfect pairing over $\mathbb{Z}/p^n\mathbb{Z}$

Let $p>2$ be a prime number, $V=\left(\mathbb{Z}/p^n\mathbb{Z}\right)^{2k+1}$. The bilinear form $$B:V\times V \rightarrow \mathbb{Z}/p^n\mathbb{Z}$$ is a perfect pairing. That is, mapping $x\in V$ ...
2
votes
0answers
141 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)\...
0
votes
1answer
89 views

$\mathbb R$ and $\mathbb F_2$ rank in boolean matrix product

By rank I imply rank over reals ($\mathbb R$). I consider two $n\times n$ matrices $A,B$ having entries in $0/1$. The product below follows usual matrix product rules except $xy$ is $AND(x,y)$ and $x+...
8
votes
2answers
388 views

Isomorphic endomorphism algebras implies isogenous (for abelian varieties over finite fields)?

$\newcommand{\F}{\mathbb{F}} \newcommand{\End}{\mathrm{End}} \newcommand{\Q}{\mathbb{Q}} \newcommand{\Z}{\mathbb{Z}}$ I would like to know if the following is true: Proposition A : Let $A_1, A_2$ ...
2
votes
0answers
105 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 = ...
2
votes
1answer
109 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
2answers
341 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
0answers
8 views

On solutions to linear system amalgam

Input: I. System of $\Omega(t)$ linear polynomials in $\mathbb F_2[x_1,\dots,x_{t}]$. II. System of $\Omega(t)$ linear polynomials in $\mathbb Z[x_1,\dots,x_{t}]$. Can we output a common $0/1$ ...
0
votes
1answer
170 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
1answer
213 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
0answers
72 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 ...
14
votes
1answer
260 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
0answers
119 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
0answers
288 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
1answer
80 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 ...
9
votes
2answers
432 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
0answers
47 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
1answer
141 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
1answer
280 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
2answers
565 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
0answers
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,...
0
votes
0answers
71 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
0answers
195 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
0answers
121 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
2answers
220 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
1answer
146 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
0answers
125 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
2 3 4 5
14