The finite-fields tag has no wiki summary.

**0**

votes

**0**answers

109 views

### What is known about order of torsion of jacobian of hyperelliptic curve over finite field? [on hold]

Suppose $J$ is jacobian of hyperelliptic curve $C$ over $F_p$ of genus $g$. Suppose $T$ is torsion of $J(F_p)$.
What is known about order of $T$?
Are there some bounds on order of $T$? Can one say ...

**1**

vote

**0**answers

88 views

### References for modular curves over finite fields [closed]

I'm looking for a detailed reference for modular curves over finite fields, such as $X(N)$, $X_1(N)$, and $X_0(N)$. There seems to be a lot of literature dealing with them over $\mathbb{C}$, but I'm ...

**1**

vote

**0**answers

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

**7**

votes

**2**answers

245 views

### When is $f(x^d)$ irreducible?

Let $f(x)$ be an irreducible polynomial of degree $n$ over a finite field $\mathbb F_p$. What can we say about $f(x^d)$? When is it irreducible ?

**2**

votes

**2**answers

130 views

### Obstruction to get a galois invariant cycle

Let $X$ be a smooth projective variety over a finite field $k$, $G=Gal(\bar{k}/k)$ and $\Gamma\in CH^i(\bar{X})$ such that:
$cl(\Gamma) \in H_{et}^{2i}(\bar{X},\mathbb{Z}_l(i))^G$ and
$\exists$ ...

**1**

vote

**0**answers

49 views

### non-intersecting families of subspaces

Given $V$, a vector space over a finite field $F$ of size $k$, if $\dim(V)=m$, and $r$ divides $m$, there exists a family of $r$-dimensional subspaces, whose size is equal to $(k^m-1)/(k^r-1)$ and ...

**2**

votes

**2**answers

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

**3**

votes

**1**answer

139 views

### An upper bound on the number of sets of parallel lines covering points in a finite plane?

Let $\mathbb{F}$ be a finite field of characteristic $2$. Let $L_m$ denote the set of lines in $\mathbb{F}^2$ with slope $m\in\mathbb{F}$, that is, all parallel lines of the form $y=mx+b$. Consider a ...

**4**

votes

**1**answer

295 views

### Finite field “contour” sum

Let $\Bbb{F}_q$ be a finite field. Choose a non-square $\delta \in \Bbb{F}_q^*$
and form the quadratic extension $\Bbb{F}_q\big( \sqrt{\delta} \, \big)$. For
an element $z \in \Bbb{F}_q\big( ...

**2**

votes

**1**answer

179 views

### Uncountable cardinals and Prufer $p$-groups

Let $A$ be an elementary Abelian uncountable $p$-group. Is it known if there is an action of a Prufer $q$-group (here $q$ is a prime not necessarily distinct from $p$) $C_{q^{\infty}}$ onto $A$ such ...

**2**

votes

**1**answer

94 views

### Binary algebra, is it possible to partition the elements in GF(2^12) into 65 subgroups closed under addition?

The set of all binary vectors with 12 components forms a field with 2^12 elements containing 000000000000 and another 65*63 elements. Is it possible to partition these elements into 65 subgroups of 63 ...

**1**

vote

**1**answer

102 views

### What is the best known lower bound for: $\max_{2\leq i\leq p-1}(ord_n(i)) $?

Given an in integer $n$, and let $p$ be its smallest prime divisor (you can assume that $p$ is very large ). Let $ord_n(i)$ denotes the order of $i$ as an element of $\Bbb Z_n^*$ the multiplicative ...

**0**

votes

**0**answers

88 views

### Polynomial generated with primitive element modulo p

This question is equivalent to the question "Normal basis in cyclotomic number fields" that I asked recently. I am posing this question because maybe in this format somebody can have an answer:
Let ...

**2**

votes

**0**answers

82 views

### Applications of small Kakeya sets over finite fields

It was proved by Dvir that a Kakeya set in $\mathbb{F}_q^n$ has size at least $q^n/n!$, a bound which was later improved to $q^n/2^n$.
For $n = 2$ and $q$ odd the exact bound is $q(q+1)/2 + (q-1)/2$ ...

**2**

votes

**1**answer

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

**5**

votes

**0**answers

159 views

### Does the fundamental group identify group structure on subvarieties of products of curves?

Let $C_1,\dots, C_n$ be smooth curves over $\overline{\mathbb F}_p$, not necessarily proper. Let $X$ be a subvariety of $C_1 \times \dots \times C_n$. I'm interested in the natural map:
$$ ...

**4**

votes

**2**answers

208 views

### Fixed space of the square of a symmetric matrix over $\mathbb{F}_2$

Let $M$ be an invertible symmetric $2n \times 2n$ matrix with entries in the finite field $\mathbb{F}_2$. Is $\mathrm{Ker}\ (M^2 - I_{2n})$ necessarily even dimensional?

**1**

vote

**0**answers

48 views

### Can we give efficiently the solution of a bilinear system of equations over a finite field?

Consider a finite field $F$ and suppose we have a system of equations
$$h_1(\alpha,\beta)=0,h_2(\alpha,\beta)=0,...,h_t(\alpha,\beta)=0$$
where $\alpha=(\alpha_1,...,\alpha_s)$ and ...

**2**

votes

**1**answer

111 views

### Units in a finite semisimple group algebra

Let $G$ be a finite group and $k$ a finite field, with the characteristic of $k$ not dividing the order of $G$. Then $kG$ is a finite semisimple group algebra with the interesting property that an ...

**0**

votes

**0**answers

56 views

### constant of functional equation of zeta function

Let $C$ be a smooth projective curve, of geometric genus $g$, over a finite field $\mathbb{F}_p$ and consider the zeta function $$
Z(C/\mathbb{F}_p, t)=\exp(\sum_{n=1}^{\infty} |C(\mathbb{F}_{q^n})| ...

**1**

vote

**0**answers

54 views

### Zero as a repeated permanental root for a matrix over a finite field

All,
Suppose $A \in Mat(n, \mathbb{F}_{q})$ for $q$ prime, $q \geq 5$, and $n \geq 2^{q-2}$ . Let $\pi_A(x)$ be the permanental polynomial for $A$. That is,
\begin{equation*}
\pi_{A}(x)=per(xI-A).
...

**4**

votes

**1**answer

213 views

### Counting couples of square-free polynomials over finite fields

I have a curve defined by the following equations over the finite field $\mathbb{F}_q$ with $q=p^r$ with $p \geq 3$:
$$C_{h_1,h_2}:\begin{cases} y_1^2=h_1(t) & \\
y_2^2=h_2(t) ...

**3**

votes

**2**answers

208 views

### Picking codewords that are close

I posted this question in http://math.stackexchange.com/questions/1142698/picking-codewords-that-are-close a week back.
Let $[n,k,d]$ be a linear code over $\Bbb F_q$ with minimum distance $d$ and ...

**8**

votes

**0**answers

239 views

### Geometric vs combinatorial motives over Spec Z

Consider the category of reduced schemes of finite type over $\mathbb{Z}$. Take the Grothendieck group of this category, i.e. the free abelian group on isomorphism classes, modulo the usual "syzygy" ...

**2**

votes

**1**answer

131 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 $$
...

**4**

votes

**0**answers

143 views

### Counting points on Hessenberg varieties over a finite field

Let $G$ be an connected reductive group over finite field $k$. I will assume that $\text{char}(k)$ is very good for $G$ (or even larger, if preferred). Let $B\subset G$ be a Borel subgroup defined ...

**12**

votes

**0**answers

267 views

### Grothendieck on polyhedra over finite fields

In Grothendieck's Sketch of a Programme he spends a few pages discussing polyhedra over arbitrary rings and concludes with some intriguing remarks on specializing polyhedra over their "most singular ...

**1**

vote

**0**answers

180 views

### Polynomial existence over finite field

Denote $\mathcal{F_n}$ as collection of multiaffine polynomials $f\in\Bbb F_2[x_1,\dots,x_n]$.
Denote total degree of $f\in\mathcal{F_n}$ as $deg(f)$ (note $deg(f)\leq n$).
Denote ...

**2**

votes

**0**answers

115 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 = ...

**5**

votes

**0**answers

118 views

### Groupoid cardinality of DM stack and point counting on coarse moduli spaces

Let $X$ be a finite type DM stack over a finite field $k$ with a coarse moduli space $X_c$. (We only assume $X_c$ is an algebraic space and $X$ might have infinite inertia stack.)
Under which ...

**4**

votes

**0**answers

128 views

### How many roots can $P(x):=\sum_s(x-s)^{(p-1)/2}$ have in ${\mathbb F}_p$?

For a prime $p$ and a set $S\subset{\mathbb F}_p$ of size $n:=|S|\approx \sqrt p$, what is the largest possible number of roots that the polynomial
$$ P(x) := \sum_{s\in S} ...

**2**

votes

**1**answer

180 views

### Chebyshev polynomials factoring uniformly modulo all primes

Consider the Chebyshev polynomial of the first kind $T_n(x)$ and its factorization in $\mathbb F_p$ for a given prime $p$. Most often, this factorization is not uniform (meaning that the irreducible ...

**2**

votes

**0**answers

76 views

### Uniqueness of an embedding theorem for Real differential fields

I will follow a preliminary exposition for the problem in question, which will essentially follow the format on http://www4.ncsu.edu/~singer/papers/model_diff_fields.pdf [pg. 87]:
Let $K$ be a real ...

**5**

votes

**1**answer

166 views

### Which criteria for “uniformly splitting” polynomials?

Let $P(x)$ be an irreducible monic polynomial of degree $\ge4$ with integer coefficients. We all know that over a finite field $\mathbb F_p$, $P$ will often split, and I am interested in polynomials ...

**2**

votes

**1**answer

179 views

### Dihedral subgroups of $\mathrm{PSL}_2(\mathbb{F}_q)$

Let $\mathbb{F}_q$ be a finite field with $q=p^f$ elements. I need to know when $\mathrm{PSL}_2(\mathbb{F}_q)$ contains the group $D_{(q+1)/2}$, where by $D_n$ I mean the dihedral group of order $2n$. ...

**3**

votes

**1**answer

231 views

### Representation of GL(n, F_p) over F_p, for n small

The question is related to this post
Representation theory of the general linear group over a finite prime field
However, I am asking for more detailed references for n small, for example, for n=2, ...

**7**

votes

**1**answer

605 views

### Roots of a polynomial in a finite field related to Fermat's Last Theorem

In my class, we proved the following condition: define the polynomial $P_l(x)$ as
$$P_l(x) = \sum_{r=1}^{l-1}{\frac{1}{r}x^{l-1-r}}$$
Then if for all $a \in \mathbb{Z}/l\mathbb{Z}-\{0,1\},$ ...

**0**

votes

**0**answers

96 views

### Dimensions of two spaces

Let $R=\Bbb K[x_1,\dots,x_n]/I$ and $Z=\mathsf Z(I)$ where $\Bbb K$ is any field with $char(\Bbb K)\neq 2$.
Is there a way to describe space of $f_1,f_2\in R$ that satisfies $$f_1+f_2\neq 0,\mbox{ ...

**29**

votes

**1**answer

1k views

### Algebraic dependency over $\mathbb{F}_{2}$

Let $f_{1},f_{2},\ldots,f_{n}$ be $n$ polynomials in $\mathbb{F}_{2}[x_{1},x_{2},\ldots,x_{n}]$
such that $\forall a=(a_1,a_2,\ldots,a_n)\in\mathbb{F}_{2}^{n}$ we have $\forall ...

**1**

vote

**0**answers

204 views

### Eigenvalue of a linear map over finite field

Let $ F_q $ be a finite field with $ q $ elements.
Let $ g $ be a multiplicative generator of $ F_{q^2}^* $.
It implies that
$ <g^{q+1}> = F_q^* $.
Let $ l $ be a prime greater than $ q^2-1 ...

**6**

votes

**1**answer

193 views

### Distribution of the permanent modulo $p$

We know that the order of $SL_n({\mathbb F}_p)$ is
$$p^{n(n-1)/2}(p^n-1)(p^{n-1}-1)\cdots(p^2-1).$$
Dividing by $p^{n^2}$, we deduce the probability that $\det$ takes the value $1$ over $M_n({\mathbb ...

**7**

votes

**3**answers

398 views

### An infinite product associated with random matrices

Motivation
Let ${\mathbb F}_q$ be the field with $q$ (a power of some prime number) elements. Then the order of $GL_n({\mathbb F}_q)$ is
$$(q^n-1)(q^n-q)\cdots(q^n-q^{n-1}).$$
The fact that this ...

**0**

votes

**1**answer

145 views

### Sylow-subgroups of the group of units of a finite field [closed]

Let $K$ be a finite field with $p^n$ elements. Then the group of unit is cyclic of order $p^n-1$. What are the primes which are dividing $p^n-1$? What are the Sylow-subgroups of the group of units of ...

**11**

votes

**2**answers

310 views

### Is there a proof of Warning's Second Theorem using p-adic cohomology?

Let $\mathbb{F}_q$ be a finite field, $n \in \mathbb{Z}^+$, and $f_1,\ldots,f_r \in \mathbb{F}_q[t_1,\ldots,t_n]$ with $\operatorname{deg}(f_i) = d_i$. Put $d = \sum_{i=1}^n d_i$ and suppose $d< ...

**16**

votes

**3**answers

1k views

### Classification of rings satisfying $a^4=a$

We have the famous classification of rings satisfying $a^2=a$ (for each element $a$) in terms of Stone spaces, via $X \mapsto C(X,\mathbb{F}_2)$. Similarly, rings satisfying $a^3=a$ are classified by ...

**4**

votes

**0**answers

145 views

### Partial differential Equation over characteristic p

I want some references on partial differential equations over characteristic $p$. If we have a first order partial differential equation, how can we check whether there exists polynomials or rational ...

**1**

vote

**0**answers

80 views

### Points on the intersection of an affine quadric and cubic over a finite field

Are there absolute constants $N$ and $B$ such that the following is true?
Let $p>B$ be a prime. Let $q(x_0,\dotsc,x_n)$ and $c(x_0,\dotsc,x_n)$ be homogeneous of degree $2$ and $3$ with ...

**4**

votes

**1**answer

199 views

### orthogonal group in characteristic 2

Let $O(2,\mathbb{Z}_2)$ be the orthogonal group of order two matrices. On $\mathbb{Z}_2$ there should exist just one odd quadratic form, hence the stabilizer subgroup $O^-$ of an odd quadratic for ...

**6**

votes

**1**answer

266 views

### A parity counting problem for subsets over finite fields

Let ${\mathbb F}_p$ be the prime field of $p$ elements and $b$ be an element in ${\mathbb F}_p$.
For a subset $T\subseteq {\mathbb F}_p$, define
$$Bias(T)=|N_e( {\mathbb F}_p,b)-N_o( {\mathbb ...

**2**

votes

**0**answers

106 views

### Existence of roots of high order polynomial over finite fields

I want to solve the following question:
Consider a polynomial $f(x)=a_0+a_1*x^{e_1}+a_2*x^{e_2}+\cdots+x^{e_m}\in F_p[x]$ where $p$ is a prime such that $\log(p)\sim m$ and $e_m\sim 2^m$, I want to ...