The tag has no wiki summary.

learn more… | top users | synonyms

6
votes
0answers
99 views

Sum of densities of support of $A$ and $A^{-1}$ for $A=1+\dots\in \mathbb F_2[[x]]$

Let $A=1+\dots\in\mathbb F[[x]]$ be a (multiplicatively) invertible series over the field $\mathbb F_2$ of two elements. Writing $A=\sum_{n\geq 0}\alpha_n x^n$ and $\frac{1}{A}=\sum_{n\geq 0} ...
2
votes
2answers
157 views

linear independence of orbits via a set of transformations in char p

Let $T_1, \ldots, T_n \in GL(n,\mathbb{F}_p)$. Suppose for all $\vec{v} \in \mathbb{F}_p^n$ we have $\det (T_1 \vec{v}, T_2 \vec{v}, \ldots, T_n \vec{v}) = 0$. Now, let $k$ be a finite extension of ...
1
vote
1answer
186 views

Distribution of the powers of a primitive element of a finite field

What are known results regarding the distribution of the powers of a primitive element (generator of the multiplicative group) of a finite field? Specifically, compare the ordered list of ascending ...
1
vote
2answers
246 views

When is PSU(2,q^2) = PSL(2,q) ?

The context for this question is from page 284 - 287 of Berger's paper: ...
3
votes
2answers
338 views

The Lang isogeny

Let $G$ be a connected commutative algebraic group over $\mathbb{F}_q$. If $\text{Fr}_q : G \to G$ denotes the $q$-Frobenius morphism, we define the Lang isogeny $L_q$ to be the endomorphism of $G$ ...
0
votes
1answer
92 views

Probability of summing products of irreducible polynomials in a finite field to zero

Let $f(x), g(x), h(x)$ be randomly chosen irreducible polynomials over the finite field $GF(2^n)$. What would the probability be for $\sum_{(i,j,k:i,j,k\in\mathbb{N},i+j+k=C)} f^i(x)g^j(x)h^k(x)=0$, ...
4
votes
0answers
225 views

Tangent space of the moduli stack of Drinfeld modules

I am going through the proof of Thm 1.5.1 of Laumon, Cohomology of Drinfeld modular varieties, which says that a certain map of stacks is smooth. To prove this, Laumon considers the tangent space of a ...
4
votes
0answers
296 views

Does the Riemann hypothesis for liftable varieties over a finite field imply the Riemann hypothesis for all varieties over a finite field

The Riemann hypothesis for varieties over a finite field has been proven by Deligne. Still I would like to ask the following question. A variety $X$ over a finite field $k$ is liftable if there ...
3
votes
0answers
138 views

Number of Inverse Pairs Modulo Prime $p$

Is there a result which gives a lower bound on the number of inverse pairs $(a, a^{-1})$ modulo prime $p$ lying in the interval $[1,t]$, where $t < p$?
2
votes
1answer
248 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 ...
3
votes
1answer
137 views

Does the Hilbert polynomial determine the weight of the Galois representation associated to a variety

Let $X$ be a curve or an abelian variety (over a finite field). Then the Galois representation associated to $X$ via the etale cohomology of $X$ (in degree $1$) is integral of weight $1$ and its ...
0
votes
0answers
187 views

Vanishing of motivic cohomology with finite coefficients in negative degrees

I wonder whether the "finite coefficient version" of Beilinson-Soule conjecture i.e. the following statement holds or not. STATEMENT: Let $X$ be a smooth and projective scheme over a finite field ...
0
votes
0answers
134 views

Special values of zeta functions and extensions of base fields.

Let $X$ be a scheme of finite type over a finite field $k=\mathbb{F}_{q}$ of $q$ elements. Then, one can define the zeta function $Z_{X/k}(T)$ of $X$ ovet $k$ as $\prod_{x\in ...
1
vote
1answer
608 views

Primitive $k$th root of unity in a finite field $\mathbb{F}_p$

I am given a prime $p$ and another number $k$ ($k$ is likely a power of $2$). I want an efficient algorithm to find the $k$th root of unity in the field $\mathbb{F}_p$. Can someone tell me how to do ...
3
votes
1answer
265 views

Abelianized fundamental group of a curve over a finite field

Let $X$ be a smooth, projective, and geometrically connected curve over a finite field $\mathbb{F}_q$ and fix a geometric point $\overline{x} : \text{Spec } \overline{\mathbb{F}_q} \to X$. Then there ...
4
votes
3answers
1k views

Number of solutions of an equation over finite fields

Does anyone know of any result that deals with the following problem of counting the number of solutions of a certain algebraic equation over a finite field? Let $p$ be an odd prime and ...
6
votes
2answers
980 views

Algorithms to find irreducible polynomials of a given degree

I need to know what are the efficient algorithms to find all the irreducible polynomials of a given degree, say $d$ over a given finite field, say $\mathbb{F}_{p^n}.$ One way is to factorize the ...
2
votes
0answers
164 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 ...
4
votes
4answers
703 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 ...
0
votes
1answer
143 views

trace cotrace Matrix

Hello I want to know whats mean (trace) cotrace matrix. In the context, mapping a matrix (t x n) $\in$ GF($2^m$) to a cotrace matrix (tm x n) $\in$ GF($2$)?
3
votes
0answers
354 views

Finite Field Varieties and the de Rham Complex of Kähler Differentials

In an answer to a previous question I asked, where the Kahler differentials of a variety over a finite field were discussed, it was stated that: You can certainly define de Rham cohomology using ...
16
votes
4answers
901 views

A mixing property for finite fields of characteristic $2$

In connection with this MO post, here is a question somewhat implicitly contained in a joint paper of S. Kopparty, S. Saraf, M. Sudan, and myself. Let ${\mathbb F}$ be a finite field, and suppose ...
8
votes
2answers
364 views

A mixing property of linear map over finite fields

Let $F$ be a finite field of odd size $q$, and $\phi_0 : F \mapsto F$ be any map from $F$ to itself. For each $a \in F$, set $\phi_a : x \in F \mapsto \phi_0 (x) + ax $. When $\phi_0 : x \mapsto x^2 ...
1
vote
1answer
188 views

Given g1(x), g2(x) minimize over p(x) Hamming weight of [p(x)g1; p(x)g2(x) ] ? (Or how to find minimal distance of convolutional code?)

Fix polynoms g1(x), g2(x) over F_2[x]. Question: How to find minimum over polynoms p(x) of the: HammingWeight(p(x) g1(x) ) + HammingWeight(p(x) g2(x) ) ? By HammingWeight of polynom I mean number ...
5
votes
3answers
962 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 ...
3
votes
1answer
233 views

Special polynomials over finite fields

My field of research is coding theory and I am working on cyclic codes. During my research, I tackled an algebraic problem. After some simple definitions, I asked my question. I will appreciate any ...
0
votes
0answers
221 views

Combinatorial Interpretation of an Extension of Gaussian Polynomials

It is well-known that the Gaussian polynomial (or Gaussian coefficient, q-binomial coefficient) $\binom{n}{k}_q$ counts the number of $k$-dimensional subspaces of an $n$-dimensional vector space over ...
1
vote
1answer
184 views

How many k-nomials of deg N divisible by X^16+x^12+x^5 +1 ? (Spectrum of CRC-16-CCITT erroc-correcting code ?)

Let us consider polynoms over $F_2$. Consider the linear SUBSPACE of polynoms divisible by $x^{16}+x^{12}+x^5 +1$ and of degree less or equal $N$ (e.g. 40). Question: How many k-nomials belong to ...
1
vote
2answers
122 views

Number of solutions to $mx^2+ny^2 \equiv k\pmod{p}$

I need a reference for the result which gives the number of solutions to the congruence $mx^2+ny^2 \equiv k\pmod{p}$. This result seems to be something that would be discussed in Gauss' ...
7
votes
3answers
756 views

Quadratic reciprocity and Weil reciprocity theorem

I was told that Weil reciprocity theorem (one has two meromorphic function $f,g$ on a complex curve $C$, so $\prod\limits_{x\in C} g(x)^{ord_xf}=\prod\limits_{x\in C}f(x)^{ord_xg} \ $ where $ord_xf$ ...
0
votes
2answers
148 views

Matrices whose range is equal to the column set [closed]

Is there such a thing? I suppose there are two cases in which they may exist: over a finite field or infinite matrices (but let's stick to countable matrices then).
4
votes
0answers
278 views

Matching a binary matrix

Given a MxN 0-1 matrix D, with the property that both M and N are odd numbers its row sums and column sums in the $\mathbb{Z}_2$ field are all equal to the same number (0 or 1). How do we find M ...
5
votes
3answers
340 views

Source for embedding multiplicative group of an algebraic closure of a finite field?

It's easy to embed the (cyclic) multiplicative group of a finite field into the multiplicative group of $\mathbb{C}$ (or other algebraically closed field of characteristic 0): assign to a generator of ...
19
votes
2answers
1k views

Sums of powers mod p

For prime $p > 7$ with $p-1=rs$, $r>1$, $s>1$, let $A=\{x^r|x \in \mathbb{Z}_p\}$ and $B = \{x^s|x \in \mathbb{Z}_p\}$. If $g$ is a primitive root mod $p$ then $A = \{0\} \cup \{g^{ir}|0 \leq ...
4
votes
1answer
371 views

Finite Field Grassmannians as Homogeneous Spaces

For the real Grassmannian Gr$(N,k)$ we have the well-known isomorphism $$ \text{Gr}(N,k) = O(N)/(O(k) \times O(N-k)) $$ For the complex case, we have $$ \text{Gr}(N,k) = U(N)/(U(k) \times U(N-k)) $$ ...
2
votes
3answers
414 views

homogeneous polynomials over a finite field

Let p(x_1, \ldots , x_n) be a homogeneous polynomials over a finite field with p^k elements (p a prime). Is there any way to count all the roots of p?
4
votes
2answers
802 views

Vandermonde matrices and general position

I was wondering if it is known whether a Vandermonde matrix over a sufficiently large finite field is in general position with respect to intersections of subspaces spanned by subsets of columns, i.e. ...
5
votes
1answer
344 views

Probability of a set of random vectors over finite field being a spanning set

Suppose I have a set of random vectors $f(a_1, \ldots, a_\ell) := (v_1, \ldots, v_m) \subset F_p^n$, $m \ge n$, given by a matrix valued polynomial function $f$, where the $a_i$'s are independent, ...
2
votes
0answers
278 views

Counting points over over an algebraic set over finite field.

Let $q=p^n$. Let $C$ be an Artin schierer curve defined by $y^p-y=f(x)$ where $f(x) \in \mathbb{F}_{q}[x]$. Let $C_g$ be $y^p-y=f(x)$ where $x \in g(\mathbb{F}_{p^{n}})$ for some $g \in ...
9
votes
6answers
1k views

Proofs in the same vein as Ax-Grothendieck

I would like to see other examples of (ideas of) proofs and results in the same vein as the proof of the Ax-Grothendieck theorem. To explain what I mean by "in the same vein", I will quote from the ...
6
votes
2answers
369 views

request sources about self-dual cyclic codes

X. Kai and S. Zhu in the paper "On cyclic self-dual codes", AAECC, vol. 19, pp. 509-525, 2008, at page 510 in line 6 said that, It is well Known that there are no cyclic self-dual codes over $F_q$ ...
4
votes
1answer
274 views

Aschbacher classes and $\mathbb{F}_p$-subspace stabilizers in classical linear groups

I am reading the Kleidman-Liebeck book ("The subgroup structure of the finite classical groups") which is about the Aschbacher classification of maximal subgroups of the classical almost simple ...
4
votes
4answers
874 views

Is there an analogue of finite fields for products of two prime powers?

The collection of prime powers can be characterized in the following way: There is a field with $q$ elements if and only if $q$ is a prime power. Furthermore if it exists then this field is unique ...
11
votes
3answers
2k views

Truncated Exponential Series Modulo $p$: Deeper meaning for a Putnam Question.

Apparently B6 of the Putnam this year asked: Suppose $p$ is an odd prime. Prove that for $n\in \{0,1,2...p-1\}$, at least $\frac{p+1}{2}$ of the numbers $\sum^{p-1}_{k=0} k! n^{k}$ are not ...
10
votes
3answers
918 views

Can we always find such an irreducible polynomial of degree n where degree(p(x)-x^n)<= n/2?

Consider unitary polynomials of degree $n$ over $GF(2)$. That is, polynomials of the form $p(x) = \sum_{i=0}^n a_i x^i$ where $a_i\in GF(2)$ and $a_n=1$. Can we always find such an irreducible ...
1
vote
0answers
150 views

reference-request for connection between numerator of zeta-function and characteristic polynomial of Frobenius on hyperelliptic curves over finite fields

Let $H$ be a hyperellipitic curve of genus $g$ defined over $\mathbb{F}_q$. The Frobenius endomorphism operates on the divisor class group of $H$ and satisfies a characteristic polynomial ...
0
votes
1answer
437 views

Multiplication of matrices in GF(2) and R

$H$ is an $n \times n$ matrix with elements in $ \{ -1,1 \}$ $G$ is an $n \times k$ matrix with elements in $GF(2)$ and also upper triangular, invertable $m$ is an $k \times 1$ vector with elements ...
2
votes
2answers
163 views

Cases of almost-linear time solvable linear systems

Let a square $n\times n$ real matrix ${\bf A}$ and two vectors ${\bf x}$ and ${\bf b}$ of length $n$, such that $${\bf A}{\bf x}={\bf b}.$$ Solving for ${\bf x}$ through standard Gaussian Elimination ...
0
votes
1answer
185 views

Low degree approximation of the polynomial extension of the logical-or function

Let $x\in\{0,1\}^n$ be a binary vector of dimension $n$, and let $OR(x)$ be the "logical or" function (i.e., returns $1$ if at least one of the coordinates is $1$ and otherwise returns $0$). Consider ...
0
votes
1answer
181 views

Finding an embedding efficiently in field extension of finite field

We know that $GF(p^c)$ is a subfield of $GF(p^{cn})$. Also we know that elements in $GF(p^c)$ can be represent by degree $c$ polynomials with coefficients in $\mathbb Z_p$, where multiplication is ...