The finite-fields tag has no wiki summary.

**3**

votes

**2**answers

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

**1**

vote

**0**answers

49 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

248 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

121 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

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

**0**

votes

**0**answers

78 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: ...

**1**

vote

**0**answers

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

**2**

votes

**0**answers

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

**7**

votes

**0**answers

195 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

355 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

207 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)$ ...

**10**

votes

**5**answers

915 views

### Is $x^p-x+1$ always irreducible in $F_p[x]$?

It seems that for any prime number $p$ and for any non-zero element $a$ in the finite field $\mathbb F_p$, the polynomial $x^p-x+a$ is irreducible over $\mathbb F_p$. (It is of course obvious that ...

**9**

votes

**1**answer

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

**1**

vote

**0**answers

75 views

### How can I decode efficiently a triple-error-correcting binary BCH code?

In a given $\mathrm{BCH}(N,K)$, $T=3$ code over $\mathrm{GF}(2^m)$, there are ways to find the error locations in a given N-bit codeword directly from the syndromes without going through the normal ...

**5**

votes

**1**answer

552 views

### How can I solve a cubic equation in a finite field with characteristic 2?

I need to solve the usual cubic equation $x^3 + ax^2 + bx + c = 0$ over a finite field $GF(2^n)$. This is to avoid doing a brute-force Chien search in a BCH decoder.
I read in a paper about an easy ...

**3**

votes

**1**answer

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

**4**

votes

**0**answers

229 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

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

**2**

votes

**0**answers

79 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: ...

**35**

votes

**2**answers

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

**0**

votes

**1**answer

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

**4**

votes

**1**answer

189 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).
...

**4**

votes

**2**answers

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

**3**

votes

**0**answers

150 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

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

**8**

votes

**0**answers

394 views

### On the number of polynomials that divide $x^{q-1}-1$ in some subspaces of $\mathbb F_q[x]$

Let $\mathbb F_q$ be a finite field (where $q$ is in general a power of a prime), and let $e, k$ be positive integers with $k \leq e < q-1$. Let $f_0(x), \ldots,
f_k(x) \in \mathbb F_q[x]$ be ...

**6**

votes

**3**answers

340 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 & ...

**4**

votes

**1**answer

194 views

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

Let $q$ be a prime power. It is well known that every Singer subgroup (subgroup 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

**1**answer

195 views

### Model of hyperbolic geometry with finite number of parallel line

Does there exist a model of hyperbolic geometry such that only finite number of distinct parallel lines through a point which does not intersect given line?
Edit (Misha): I usually do not edit other ...

**2**

votes

**1**answer

159 views

### Ranks of higher incidence matrices of designs

In 1978 Doyen, Hubaut and Vandensavel proved that if $S$ is a Steiner triple system $S(2,3,v)$ then the $GF(2)$ rank of its incidence matrix $N$ is
$$
Rk_{2}(N)=v-(d_{p}+1),
$$
where $d_{p}$ is the ...

**2**

votes

**1**answer

209 views

### $\text{mod} \, p^2$ trace identity

Let $p$ be a prime, and let $\text{GL}_n \big( \Bbb{Z} / p^2 \Bbb{Z} \big)$ be the group of $n \times n$ invertible matrices over the ring $\Bbb{Z} / p^2 \Bbb{Z}$. Does there exist a positive integer ...

**3**

votes

**1**answer

325 views

### Full-rank rectangular matrices over GF(2)

Given positive integers $k$, $m$, $n$, let $A$ be an $m \times n$ matrix over $GF(2)$ constructed as follows. Let $X_1, \ldots, X_m$ be independent random subsets of $\{1,\ldots,n\}$ with cardinality ...

**29**

votes

**14**answers

4k 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 ...

**2**

votes

**2**answers

240 views

### On MDS code property

Is there a code that is Maximum Distance Separable and not isomorphic to Reed Solomon Codes? When is a MDS code isomorphic to Reed Solomon Code?
Is there an easy test? If so, could someone provide ...

**11**

votes

**3**answers

824 views

### Probability of coprime polynomials

Given positive integer $N$, we choose $m_1, m_2, n_1, n_2$ independently and with equal probabilities from $\{0,1,\ldots,N\}$, and let
$f_1 = x^{m_1} + (1+x)^{n_1}$ and $f_2 = x^{m_2} + (1+x)^{n_2}$ ...

**3**

votes

**1**answer

207 views

### When does a Bohr set have the right size?

Fix a set $
\Gamma\subset \mathbb F_p$, the field with $p$ elements and a parameter $\epsilon>0$. The Bohr set $B(\Gamma,\epsilon)$ consists of those $x$ for which $x\cdot \Gamma\subseteq[-\epsilon ...

**4**

votes

**2**answers

601 views

### Quotient of $Z[x_1,…,x_n]$ by a maximal ideal is a finite field [duplicate]

I am seeing the proof of the Ax-Groethendieck theorem from commutative algebra and I have a problem. How can I prove that if $x_1,...,x_n$ are complex numbers and $I$ is a maximal ideal of ...

**1**

vote

**0**answers

149 views

### Finite fields: alternating sums of values of polynomials

Notation
In what follows let $p$ be a (odd, if needed) prime, $e$ a positive integer, $q = p^e$; $\mathbb{F}_q$ will denote a finite field with $q$ elements whose prime subfield will be denoted as ...

**1**

vote

**3**answers

218 views

### Complete sets of functions

A (finite) set $S$ of boolean functions is called functionally complete if every boolean function can be presented as a finite composition of functions from $S$. For example, $\{ \neg,\wedge \}$ is ...

**10**

votes

**2**answers

505 views

### Seeking conceptual explanation of these nice bijections on roots of unity

I proved the following facts by unenlightening calculations. Since the statements are quite clean, I think there should be a conceptual explanation for them, which my proof certainly is not.
Let $q$ ...

**5**

votes

**1**answer

232 views

### Polynomiality of functions over residue rings

Suppose $\mathbb{Z}/m \mathbb{Z}$ is a residue ring for some $m \in \mathbb{N}$. If $m=p$ is a prime number then every function $f:\mathbb{Z}/p \mathbb{Z} \rightarrow \mathbb{Z}/p \mathbb{Z}$ is a ...

**0**

votes

**1**answer

231 views

### Number of Minimal left ideals in the full matrix ring over a finite commutative local ring

Inspired with another QUESTION I would like to know the number of minimal left ideals of $M_n(R)$ in terms of $n$ and $R$ where $R$ is a finite local commutative ring with identity ?

**8**

votes

**1**answer

304 views

### A Balog-Szemeredi-Gowers-type question

A nice Lemma due to Konyagin asserts that for any subset $B \subset \mathbb{F}_p$ holds
$$
|B.B - B.B + B.B - B.B + B.B - B.B| \geq \frac{1}{2}\min\{p, |B|^2 \},
$$
where the standard notation for the ...

**1**

vote

**2**answers

398 views

### Equations of elliptic curves

First part of question I have asked on mathoverflow already: http://math.stackexchange.com/questions/467088/explict-form-of-the-equation-of-elliptic-curve
1) Let $E(\mathbb{F}_{q^2})$ is elliptic ...

**16**

votes

**1**answer

228 views

### Do mutually dual finite vector spaces have the same orbit cardinalities under a linear group action?

Let $G$ be a finite group acting linearly on a finite dimensional vector space $V$ over a finite field. By Burnside's lemma,
$$
|V/G| = \frac 1{|G|} \sum_{g\in G} q^{\dim(ker(g - I))}.
$$
Since $g-I$ ...

**4**

votes

**2**answers

968 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$?
...

**3**

votes

**0**answers

101 views

### Closest sumset to a set

Suppose $A$ is a subset of the finite field with $p$ elements. What is the best approximation of $A$ by a sumset $B+C$ in the sense that $|A\Delta (B+C)|$ is minimal? Of course if $B=A-x$ and ...

**5**

votes

**1**answer

425 views

### Are there Carlitz analogues of quadratic residues and reciprocity?

Let $q$ be a prime power. I will use the notations of Keith Conrad's Carlitz extensions paper (but I'll work over $\mathbb{F}_q$ rather than $\mathbb{F}_p$).
The most general question I'm asking here ...

**1**

vote

**1**answer

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

**5**

votes

**0**answers

221 views

### Transferring addition and multiplication over finite fields to $\mathbb{Z}$

It seems to me that the most basic wisdom on why many number-theoretic conjectures are hard is because the interplay between addition and multiplication is subtle and delicate (much of the lay chatter ...