**3**

votes

**2**answers

202 views

### Gcd of polynomials over a finite field [closed]

Let $\mathbb{F}_q[X]$ be the polynomial ring over the finite field with $q$ elements. Let $f$ be a polynomial of the form $x^n-a$ and let $g$ be a polynomial of the form $x^m-b$. Is it known whether ...

**4**

votes

**3**answers

654 views

### Hypersurface missing just one point

Let $\mathbb F_q$ be a finite field and $n$ an integer.
What is the minimal degree $d = d(q,n)$ of a polynomial $f \in \mathbb F_q[X_1,\dots,X_n]$ such that the set $Z(f)$ of zeros of $f$ in the ...

**4**

votes

**1**answer

235 views

### Vector with many non-zero coordinates

Given finite field $\mathbb{F}_q$, positive integers $n$ and $k<n$. Given $k$-dimensional subspace $X$ of $\mathbb{F}_q^n$, for which $m=m(q,k,n)$ may we find for sure a vector in $X$ with at least ...

**0**

votes

**0**answers

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

**3**

votes

**2**answers

390 views

### probability of having linearly independent sparse vectors over finite fields

Suppose that there are $i< N$ linearly independent $N$-dimensional vectors $\mathbf{v}_1,\mathbf{v}_2,\ldots,\mathbf{v}_i$ over a finite field $\mathbb{F}_q$, whose elements are denoted as ...

**2**

votes

**2**answers

295 views

### Irreducible algebraic sets via irreducible polynomials

There are many results about irreducible polynomials over finite fields:
we know a cardinality of all irreducible polynomials with given degree, we know explicit examples of irreducible polynomials, ...

**1**

vote

**0**answers

64 views

### Calculation of cardinality of Jacobians

The problem of calculation the number of rational points on curves over finite fields is $\#P$-complete - "Counting curves and their projections".
Is it true for calculation of number of rational ...

**13**

votes

**3**answers

1k views

### Periodic orbits and polynomials

There are two simple and classic enumerations that still I'm puzzled about. Let's start with a simple counting problem from a well-known dynamical system.
fact 1 Consider the "tent map" ...

**4**

votes

**1**answer

150 views

### Schwartz-Zippel lemma for an algebraic variety

Let $X $ be a smooth affine subvariety of $(\overline{\mathbb{F}_q})^n$ defined by a prime ideal $I$. Let $f$ $\in \mathbb{F}_q[x_1,\ldots,x_n]$ be a polynomial such that $f \notin I$.
Let $r_1, ...

**8**

votes

**4**answers

1k views

### computer algebra system for polynomial algebras over finite fields

Is there a computer algebra system that can do arithmetic over polynomial algebras over finite fields where I can specify the extension?
Exempli gratia, if $f(x), g(x) \in ...

**2**

votes

**1**answer

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

**3**

votes

**1**answer

129 views

### Non-zero coefficients of primitive polynomials

Let $R$ be the finite field with $q$ elements, and let $m,n\in \mathbb{N}$
be positive integers $\geq 2$. I want to prove that there exists a primitive
polynomial $$F(x) = ...

**2**

votes

**0**answers

60 views

### Carlitz factorials and Euler-like series

Let $q$ be a power of a prime $p$. For every $i\in\mathbb N$, one denotes $D_i=\prod_{\substack{h\in\mathbb F_q[T]\text{ monic}\\\deg h=i}}\limits h$. For $n\in\mathbb N$, write ...

**2**

votes

**0**answers

59 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 (http://math.stackexchange.com/questions/1533814/property-of-derivative-in-a-local-field) but didn't ...

**2**

votes

**0**answers

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

**2**

votes

**0**answers

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

**36**

votes

**14**answers

5k views

### Fantastic properties of Z/2Z

Recently I gave a lecture to master's students about some nice properties of the group with two elements $\mathbb{Z}/2\mathbb{Z}$. Typically, I wanted to present simple, natural situations where the ...

**3**

votes

**0**answers

60 views

### How to construct large sets of $m$-dimensional vectors over a finite field such that any $m$ of them are independent?

Let $m\ge 2$ be an integer and $\mathbb{F}$ be a finite field of order $p^k$. I want to construct as many as possible $m$-dimensional vectors $v_1,v_2,\ldots,v_n$ in field $\mathbb{F}$ such that any ...

**6**

votes

**0**answers

93 views

### Counting nonzero hyperdeterminants over $\mathbb{F}_q$

The hyperdeterminant $D(A)$ is a multidimensional generalization of the
determinant. It is a polynomial in the entries of a $(k_1+1)\times
(k_2+1)\times\cdots \times (k_n+1)$ array $A$. The ...

**14**

votes

**1**answer

995 views

### maximal order of elements in GL(n,p)

I am looking for a formula for the maximal order of an element in the group $\operatorname{GL}\left(n,p\right)$, where $ p$ is prime.
I recall seeing such a formula in a paper from the mid- or early ...

**5**

votes

**0**answers

84 views

### Gaussian Hypergeometric Functions and Legendre Character

I was hoping somebody might be able to point me to a good reference on Gaussian hypergeometric functions defined over a finite field. the reason I'm interested is that I've encountered sums of the ...

**3**

votes

**1**answer

90 views

### Characterization of Lagrangian planes in symplectic vector spaces over finite fields [closed]

EDIT: As L Spice pointed out, there is an error in the observation. The question is void therefore
Let $p$ be a prime and $q=p^r$. Let $V$ be a $\mathbb F_q$-vector space of dimension four, with a ...

**2**

votes

**0**answers

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

**0**

votes

**1**answer

98 views

### Functions of several variables over finite fields [closed]

For a finite field $F$ any function $f\colon F\to F$ is given by a polynomial. My question is what happens when we are given a function of two or more variables? Is this necessarily a polynomial ...

**10**

votes

**1**answer

253 views

### Counting isomorphism classes in open subsets of Bun_G

Let $G$ be a split semisimple algebraic group and let $C$ be a curve of genus $g$ over $\mathbb F_q$. Assume $g \geq 2$.
The number of $\mathbb F_q$-points of $\# \operatorname{Bun}_G(C)$, where each ...

**0**

votes

**1**answer

58 views

### Do tori in a symplectic group always have invariant maximal isotropic subspaces?

$\newcommand{\mbf}{\mathbf}$
Hi all,
I've been thinking about the following question for a while now, and got a little stuck trying to solve it. Hopefully, someone here might be able to help.
For ...

**5**

votes

**2**answers

291 views

### Splitting subspaces and finite fields

Hellow. I'm sure that the following is truth, but I can't prove it.
Let $R<S<K, R=\mathrm{GF}(q),\ S= \mathrm{GF}(q^n), \ K= \mathrm{GF}(q^{mn})$ be a chain of finite fields and
$A = ...

**2**

votes

**2**answers

142 views

### A reference about Grassmannian over finite fields

Suppose $Gr_k(k,n)$ the Grassmannian which classifies all the dimension $k+1$ sub-spaces of a dimension $n+1$ linear space over the field $k$. For the case over a finite field $\mathbb F_{q}$, we can ...

**18**

votes

**1**answer

545 views

### Is hyperelliptic cryptography “practical”?

Previosly my impression on this subject was that hyperelliptic cryptography systems (as well as other possible cryptosystems based on abelian varieties of dimension $>1$) have no advantages over ...

**5**

votes

**1**answer

242 views

### $(n-2)$-blocking sets in $AG(n,2)$

Let's define $k$-blocking set in affine space $AG(n,q)$ a set that meets every coset (translate of subspace) of dimension $k$.
I have seen a lot work related to minimal $(n-1)$-blockings set.
...

**10**

votes

**2**answers

351 views

### Blocking sets in three dimensional finite affine spaces

What is the smallest possible size of a set of points in $\mathbb{F}_q^3$ which intersects (blocks) every line?
Clearly the union of three affine hyperplanes that intersect in a singleton, say $x = ...

**47**

votes

**6**answers

4k views

### How to recognise that the polynomial method might work

A couple of days ago I was at a nice seminar given by Christian Reiher, during which he told us about a short proof of the following special case of a theorem of Olson.
Theorem. Let ...

**3**

votes

**3**answers

264 views

### Minimal expression of 0 as a sum of kth powers in a finite field

Let $l=\min\{s\in \mathbb{N}|0\in s\cdot (\mathbb{F}_{p^n}^\times)^k\}$. Is any information known about this number already as a function of $k$? Any reference would be greatly appreciated!

**3**

votes

**1**answer

198 views

### Polynomial factoring over finite fields

What is known in general about the complexity of factoring polynomials over finite fields?
For instance given $\Bbb F_q$ where $q=p^n$ and total degree $d$ polynomial in $m$ variables what can we say ...

**4**

votes

**0**answers

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

**3**

votes

**0**answers

75 views

### How order of divisor with support at infinity is changed at reduction?

Jing Yu in his paper "On Arithmetic Of Hyperelliptic Curves" on page 5 asserts the following
The most interesting case is certainly the case $k = \mathbb Q$ and $D \in \mathbb Z[t]$.
To ...

**4**

votes

**0**answers

162 views

### Polynomials representing locally constant functions

Let $K$ be a finite field with $p$ elements.
(a) Let $f\in K\lbrack x\rbrack$ be such that (i) $\deg(f)<p$ and (ii) $f(2x) = f(x)$ for $\geq (1-\epsilon) p$ values of $x$ in $K$. What can we say ...

**7**

votes

**1**answer

506 views

### Given $v,w$ primes of $k$, is there $K/k$ so $K_v\cap\Bbb Q^{cycl}=K_w\cap\Bbb Q^{cycl}=K\cap\Bbb Q^{cycl}$?

For any field $k$, let $\mu(k)$ denote the roots of unity in $k$. Now let $k$ be a number field and let $v, w$ be non-archimedean primes of $k$ with distinct residual characteristics. Does there ...

**2**

votes

**1**answer

75 views

### Distribution of values of quadratic polynomials over a finite field

Let $S$ denote the set of squares in the finite field ${\mathbb F}_p$. Now
let $f(x) \in {\mathbb F}_p[x]$ denote a degree $2$ polynomial, which is not a
square of a linear polynomial. If we consider ...

**1**

vote

**1**answer

213 views

### Solving Non-Linear Equations over a Finite Field of a Large Prime Order

I want to know is there is an efficient way to figure out whether or not a ( underdetermined) system of non-linear equations have a solution over a finite field of large prime order. The equations ...

**3**

votes

**1**answer

112 views

### embedding of $O_4^-(q)$ in $U_4(q)$

For $q$ an odd prime power, one can construct $H:=O_4^-(q)<U_4(q)$ by treating the $H$-invariant bilinear form as Hermitean. On the other hand $U_4(q)$ is isomorphic to $O_6^-(q)$; I need to ...

**5**

votes

**0**answers

103 views

### When is a Hermitian matrix of the form $g^*g$ for some matrix $g$

I tried asking this question on Math StackExchange and didn't get any replies. I was hoping that maybe someone here could help, sorry for duplicating.
I'm trying to figure out some properties of ...

**4**

votes

**1**answer

383 views

### Algebraic dynamics in finite fields

What is known about combinatorial structure of the rational maps of degree 2 over finite fields? From some general reasons I think it was studied. For being more specific, consider the field ...

**5**

votes

**1**answer

157 views

### Finite field analogue of Chebotaryov theorem on roots of unity?

Chebotarev's theorem on roots of unity says that all the minors of a prime-length DFT matrix over the complex numbers are nonzero. I was wondering if there was an analogue for finite fields.
More ...

**7**

votes

**1**answer

296 views

### Cyclic subgroups of GL(n,q)

Let $q$ be a prime power. It is well known that all Singer subgroups (subgroups of order $q^n-1$) in $GL(n,q)$ are conjugate. My question is: If $H$ is a cyclic subgroup of order $m$ in $GL(n,q)$, ...

**2**

votes

**0**answers

91 views

### Fields whose algebraic closure is a finite extension [duplicate]

It is well-known that the complex numbers $\mathbb{C}$ is a degree two extension of $\mathbb{R}$, where one possible minimal polynomial is $x^2 + 1$. Further, $\mathbb{C}$ is algebraically closed.
...

**7**

votes

**1**answer

311 views

### What are some open problems regarding elliptic curves in finite fields?

I accept that my question seems so vague and broad, and I already looked into some similar questions in MO. But I would like to learn specifically about some open problems and conjectures regarding ...

**2**

votes

**3**answers

119 views

### How to evaluate this function in F_p efficiently?

For the positive prime integer $p$, Let $\mathbb{F}_p=\{0,1,\cdots, p-1\}$ be the finite field of order $p$.
For $x\in \mathbb{F}_p$, define $f_p(x)$ to be the maximum element in the set $\{ ...

**4**

votes

**1**answer

144 views

### How to calculate log or exp of a value in GF(2^n) using log/exp table of GF((2^k)^m) where n=k*m?

Consider Galois fields $\mathbb{F}_{2^n}$ and $\mathbb{F}_{2^k}$, where $n=km$, and $\mathbb{F}_{2^k}$ is a ground field of $\mathbb{F}_{2^n}$.
I’d appreciate pointers to papers or suggestions on:
...

**7**

votes

**1**answer

281 views

### Reinterpreting Galois descent over finite fields

This question is indirectly related to my previous question Is an elliptic curve that is isomorphic to its Frobenius conjugate defined over $\mathbb{F}_p$?
Let $\mathbb{F}_{q^n}/\mathbb{F}_q$ be an ...