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
2 votes
1 answer
371 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^{\...
6 votes
0 answers
276 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 ...
1 vote
0 answers
207 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 $e_i=(0,\dots,0,\...
2 votes
0 answers
193 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,......
7 votes
0 answers
200 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 ...
2 votes
0 answers
335 views

Enumerating certain types of permutation polynomials

Given a prime power $q$, I would like to enumerate (preferably up to isomorphism*) all the permutation polynomials $f(x)$ on $K = GF(q^3)$ satisfying the following conditions: $f(ax) = af(x)$ for all ...
4 votes
0 answers
161 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} (x-s)^{\...
7 votes
2 answers
839 views

Dimension of incomplete matrix over finite fields.

Hi, Suppose one has an incompletely specified $2^n \times 2^n$ matrix over some fixed finite field $\mathbb{F}_{p^k}$. In fact, one knows that the diagonal entries are zero and all other entries are ...
3 votes
1 answer
448 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 ...
3 votes
2 answers
401 views

irreducible polynomials on the polynomial sequence

I suspect this problem is very famous and it must be studied very well. But I searched in Google and I did not find good reference. I will appreciate any answer and reference for any contribution ...
6 votes
1 answer
300 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
364 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$. ...
7 votes
1 answer
1k 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\},$ $P_l(x)$...
3 votes
1 answer
549 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, ...
0 votes
0 answers
115 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{ }\...
1 vote
0 answers
562 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
324 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
450 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 ...
14 votes
4 answers
5k views

Books on advanced galois theory

I have been studying galois theory on my own and find it very fascinating. I have gone through Ian Stewarts book: http://www.amazon.co.uk/Galois-Theory-Third-Chapman-Mathematics/dp/1584883936. I am ...
13 votes
2 answers
751 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< n$...
0 votes
1 answer
209 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 $...
19 votes
3 answers
2k 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
204 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
100 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 ...
6 votes
1 answer
1k 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
366 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 F}_p,b)|...
2 votes
0 answers
187 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 ...
1 vote
0 answers
93 views

Generate Finite Field power of g [closed]

consider the field F_2^4, defined by using polynomial representation with the irreducible polynomial f(x) = x^4 + x + 1. Given element g = (0010) as a generator for the field. How are the powers of g ...
6 votes
1 answer
537 views

Over a finite field, does a torsor under the component group of G lift to a torsor under G?

Let $k$ be a finite field and $G$ a finite type smooth $k$-group scheme. Let $G^0$ and $\Gamma$ be the connected component of identity and the component group of $G$, so there is an exact sequence $1 \...
1 vote
1 answer
169 views

Compressing a system of linear equations

Consider the system of linear equations $A\mathbf x=\mathbf b$ in which $A$ is an $m\times n$ matrix with $m < n$ and with the following property: Property $\Gamma$: Given $M=\{ M_1,\cdots,M_r \}...
0 votes
0 answers
232 views

Distinguish between odd and even powers of a in a finite field

In a finite field $\text{GF}(2^n)$ with characteristic 2, is there a relatively simple way to distinguish between the odd and even powers of the primitive element $a$? In other words, given an ...
13 votes
4 answers
5k views

Orthogonal Groups over finite fields

Hello Let $\mathbb{F}_p$ be the finite field with $p$ elements. One can show that over finite fields, there are just two non-degenerate quadratic forms. So here I want to pick any non-degenerate ...
0 votes
0 answers
165 views

In a finite field with characteristic 2, can I calculate the log(K+1) based on the log(K)?

In the equation $ a^x = a^y + 1$ over a finite field $\text{GF}(2^n)$, where '$a$' is the primitive element, can one calculate $x$ as a function of $y$ without having to resort to taking the logarithm ...
0 votes
0 answers
101 views

Eigenvalues of the Cayley-like graph

Let $ F_q $ be a finite field of characteristic 2. Let $ x^2 + Sx +P \in F_q[x] $ be an irreducible polynomial over $ F_q $, and let $ g $ be one of its roots in $ F_{q^2} $. Define a map $ M: F_{q^2}...
8 votes
0 answers
299 views

A strong sum-product "for translates" in finite fields

In the course of some recent research, I've sketched out a proof of the following result. My basis question is: is the result interesting? Proposition There exists an absolute constant $c$ such ...
3 votes
2 answers
822 views

Degrees of factors of polynomial $f(x)=x^q-(ax^2+bx+c)\in \mathbb{F}_q[x]$

I’m facing the problem of factoring polynomials of type $f(x)=x^q-(ax^2+bx+c)\in \mathbb{F}_q[x]$ and the degrees of factors seem to be quite special. For example, according to my experimental results ...
1 vote
1 answer
312 views

Maximal separable extension of $\mathbb F_q((t))$

Let $K=\mathbb F_q((t))$. I want to prove that $K^{sep}$ is composite of $K^{sep}(p)$ and $K^{sep}(not \ p)$, where $K^{sep}(p)$ is maximal Galois extension of $K$ of exponent $p$, $K^{sep}(not \ p)$ ...
9 votes
1 answer
620 views

Motives over finite field not generated by hyperelliptic curves

So the question is that, over a finite field, does there exist an abelian variety $A$ for which there does not exist a generically one-to-one morphism from a hyperelliptic curve $C$ to $A$. p.s. A ...
3 votes
1 answer
224 views

Higher Discrete logarithms over finite fields

The polylogarithm function is defined by $$Li_s(z)=\sum_{k=1}^\infty\frac{z^k}{k^s}.$$ At $s=1$, we have the natural logarithm function. We have the inverse of natural logarithm function as the ...
5 votes
0 answers
485 views

# roots of polynomials over GF(2)

Consider a polynomial $p(x)$ with of degree $d$ with coefficients in $GF(2)$. How many roots can it have in $GF(2^m)$? The intent here is that $d \ll 2^m$. The trivial bound is of course $\leq d$. ...
2 votes
1 answer
181 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-...
42 votes
2 answers
2k views

A curious identity related to finite fields

To three elements $a_1$, $a_2$, $a_3$ in the finite field $\mathbb F_q$ of $q$ elements we associate the number $N(a_1,a_2,a_3)$ of elements $a_0\in \mathbb F_q$ such that the polynomial $x^4+a_3x^3+...
3 votes
0 answers
167 views

Intersection of two trace equations over finite fields

Let $F_q$ be a finite field with $q$ elements. Let $n$ be an integer and $Tr:F_{q^n} \rightarrow F_q$ the trace function. My question is: For which integer $k$, $$\{x: Tr(x)=0\}\cap\{x: Tr(x^k)=0\}=\{...
1 vote
1 answer
3k views

Generators of cyclic group of finite fields

Let $F$ be a finite field and $f(x)\in F[X]$ be an irreducible polynomial of degree $n$. Let $\alpha$ be a root of $f(x)$. So $E:=F[\alpha]$ is a finite field of order $|F|^{n}$. We know that $(E^{\...
4 votes
1 answer
226 views

Constructing GF(2^n) in poly(n) time

I need to, on input $n$, deterministically, in poly(n) time, construct $GF(2^n)$. There is a very simple randomized algorithm (pick a random polynomial, check if it's irreducible; if not, repeat). ...
7 votes
2 answers
902 views

When are arithmetic and geometric monodromy equal?

Let $f: Y\to X$ be a finite separable morphism of curves over the finite field $\mathbb{F}_q$. Is there a simple condition under which the arithmetic and geometric monodromy of the covering are equal (...
4 votes
0 answers
214 views

What is the function like when its Mobius inversion is $\sum_{w|r, (w,t)=1}\mu(w)q^{r/w}$?

Everyone, I am now reading a paper named The Irreducible Factors of $(cx+d)x^{q^m}-(ax+b)$ over $GF(q)$, http://qjmath.oxfordjournals.org/content/14/1/61.extract. And I’m confused with one of its ...
2 votes
3 answers
822 views

Can a Decidable Theory Have Non-recursive Models?

Tennenbaums' theorem proves neither addition nor multiplication can be recursive in any countable non-standard model of arithmetic. Tennenbaum's proof applies to theories much weaker than PA. ...
7 votes
2 answers
3k views

Calculus over finite fields

$P(x,y,z)$ is a polynomial function on an algebraic surface $S$ in $F_{q}^{3}$. Suppose that the derivative of $P$ along any tangent vector of $S$ is zero. Can we say that $P$ is constant on $S$? ...
6 votes
3 answers
419 views

On the rank of a matrix $S$ with coefficients in $\mathbb F_{2^m}$

Let $\mathbb F$ be a finite field with characteristic 2 and let $S \in M(2k, 2k, \mathbb F)$ be the matrix defined as follows $$ S=\left[\begin{array}{ccccccc} 0 & \...