Finite fields are structures arising in abstract algebra. The order of a finite field is always a prime power, and for each prime power $q$ there is a single isomorphism type. It is usually denoted by $\mathbb{F}_q$ or $\operatorname{GF}(q)$.

learn more… | top users | synonyms

2
votes
1answer
120 views

Eigenvalue problems for matrices over finite fields

Suppose I have a symmetric matrix A with entries in a finite field. In particular, I have the case in mind where $A \in \{0,1\}^{n \times n}$ and want to treat the entries as elements of $GF(2)$. How ...
0
votes
1answer
38 views

Show that all irreducible polynomials divide $t^{p^d-1} -1$

I have shown that if $f$ is irreducible with $deg(f) = d$ then $\mathbb{F}_p [t] / \langle f\rangle$ is a field with $p^d$ elements. I've also shown that $\langle f\rangle$ is precisely those ...
3
votes
0answers
53 views

Question about why $x^{p^n}-x+1$ is irreducible over $\mathbb{F}_p$.

I'm trying to follow a solution I'm reading. The idea is to prove $x^{p^n}-x+1$ is irreducible over $\mathbb{F}_p$ when $n=1$ or $n=p=2$. The solution is as follows: If $x^{p^n}-x+1$ is ...
0
votes
1answer
66 views

Probability and Rank of Symmetric Matrix

Let be a $n \times n$ Symmetric Matrix over Finite Field with $q$ elements, where the green color represents 0's and the black color non-zero entries. How I will be able to demonstrate that ...
3
votes
1answer
59 views

Factoring $x^{16}-x$ over $\mathbb{F}_8$

A homework question asks me to factor $x^{16}-x$ over the finite fields $\mathbb{F}_4$ and $\mathbb{F}_8$. I got the result for $\mathbb{F}_4$ using the factoring over $\mathbb{F}_2$ and then a ...
1
vote
1answer
79 views

E: $y^2+y=x^3$ an elliptic curve over $F_{2}$. How to prove the number of $E(F_{2^n})$ = $2^n+1$ if n is odd, …

Let E be the elliptic curve $y^2 + y = x^3$ over $F_2$. Prove $ $#E($F_{2^n})$$ = \left\{ \begin{array}{ll} 2^n+1 & \quad n=odd \\ 2^n+1-2(-2)^{n/2} & \quad ...
0
votes
0answers
22 views

matirx of Frobenius map

Galois group of GF(8) is a cyclic group of order 3 . How is the matrix representation of generator of that? It is clear that its generator is Frobenius map? I think it is 3*3 matrices , one of them ...
0
votes
0answers
22 views

How large does $m$ have to be to get unique values with high probability? [duplicate]

We can suppose we are given two naturals, $r$ and $n$. We can then pick $n$ unique naturals: $\{x_0, x_1, \dots, x_n\}$. The following function is important: $$\prod_{k=1}^n{(x_k)^{y_k}} (\mod m)$$ ...
2
votes
2answers
77 views

How hard is finding values such that

We can work with powers of some naturals $(x_k)^{m_k}$. Here we have $n$ naturals, and $m_k$ is an integer in the range $-r$ to $r$. My question is, how small can $p$ be so that ...
0
votes
1answer
65 views

Cyclic Rotation over Finite Fields

Let $\mathbb{F}$ be a finite field with $q$ elements and $\mathbb{E}$ an extension field of degree $n$ of $\mathbb{F}$. How I will be able to demonstrate that ...
0
votes
1answer
58 views

Calculating characteristic polynomials of matrices in GF(2)

How do you calculate a characteristic polynomial of a matrix in GF(2)? I understand the concept of characteristic polynomials in matrices using "regular" math with real numbers, but I'm a bit confused ...
0
votes
0answers
26 views

Are Galois groups of finite fields abelian? [duplicate]

If we have an extension field for finite fields, then the Galois group is abelian or not?
1
vote
0answers
82 views

Rank of Quadratic Form

Let $n,m, s \in \mathbb{Z}$ be integers satisying $n=s^2$ and $m=2n$. Let $\newcommand{\bigmatrix}[1]{ \begin{pmatrix} #1_1 & #1_2 & \cdots & #1_s \\ #1_{s+1} & #1_{s+2} & \cdots ...
0
votes
1answer
36 views

Difference between Galois and other automorphisms

With respect to the definition of Galois field, for $E$ an extension of $F$ ($E$ and $F$ are finite fields) $\mathrm{Gal}\,(E/F)$ is the set of automorphisms of $E$ which fix $F$ pointwise. So I think ...
3
votes
1answer
74 views

Theory of Fields $\omega$-Inconsistent?

A theory is $\omega$-inconsistent if there is a predicate $P(n)$ that is true for every standard natural number yet not true for all numbers. Consider the theory of finite fields and let $P(x) = (Sx ...
0
votes
0answers
23 views

Quadractic Form over Characteristic 2

How I will be able to represent the multivariate polynomial $p(x_1,x_2)=ax_1^2+bx_1x_2+cx_2^2 \in \mathbb{F}_2[x_1,x_2]$ in the form $[x_1\,\,\,\, x_2]P[x_1\,\,\,\, x_2]^T$ where $P$ is a symmetric ...
1
vote
1answer
39 views

generating set for finite fields

let us consider GF(2^n) as a vector space over GF(2), Is it possible to find a generating set for GF(2^n)? How can ew find it? I want to define a linear transformation of GF(2^n) to itsefl.
0
votes
0answers
14 views

Univariate and Linear Representation Lemma

I'm trying to understand the proof of the lemma: Let $\mathbb{F}$ be a finite field with $q$ elements and $\mathbb{K}$ an extension field of degree $n$ of $\mathbb{F}$. Let $A$ be a linear mapping ...
0
votes
1answer
70 views

elementary abelian groups and finite fields

in group theory, an elementary abelian group is a finite abelian group, where every nontrivial element has order $p$, where $p$ is a prime; it is a particular kind of $p$-group. now suppose that we ...
0
votes
1answer
55 views

System of linear equations over Finite Field with restriction on variables

Given two vectors $x$ and $y$, where each element $x_i, y_i$ is from a finite field. I have the restriction that for each of these variables only about half of the elements of this finite field are ...
1
vote
0answers
31 views

Binomial Coefficient Finite Field

Let $\mathbb{F}$ be a finite field with $q$ elements and $\mathbb{E}$ an extension field of degree $n$ of $\mathbb{F}$. Let $S(x) \in \mathbb{E}[x]$. How I will be able to reduce a expression: ...
1
vote
1answer
148 views

Discover parameters of a Reed-Solomon code from its output

chirp.io is a site/app for sharing e.g a photo identified by a short FSK audio chirp. The chirp is 10 symbols of data, then 8 symbols of error correction. Thes symbols are 32-valued (5 bits/symbol) ...
2
votes
1answer
68 views

Irreducibility of $x^{2^n}+x+1$ over $\mathbb{Z}_2$ [duplicate]

I'm trying to solve this problem from Hungerford V.5.9. I have to show $x^{2^n}+x+1$ is irreducible over $\mathbb{Z}_2$ if n>2. I would appreciate some hint cause I don't know how to start with ...
3
votes
1answer
59 views

automorphism of fields

let we consider $GF(p^n)$ as a vector space over $GF(p)$, $p$ is prime. Also we want to have an invertible linear map on $GF(p^n)$, (automorphism of $GF(p^n)$). on the other hand we know that A field ...
3
votes
2answers
44 views

Is vectorspace trivial under these conditions?

Let $R$ be a ring. Looking for a left $R$-module free over abelian group $A$, I arrived at $\left|R\right|\otimes A$ with $r.\left(s\otimes a\right)=rs\otimes a$ where $\left|R\right|$ denotes the ...
3
votes
2answers
187 views

Field of order 8, $a^2+ab+b^2=0$ implies $a=0$ and $b=0$.

I was able to come up with a proof for this problem however, it seems like my argument can work for any field of even order and not just odd powers of 2 so I'm convinced there is something wrong here. ...
4
votes
1answer
88 views

How do we distinguish between characteristic 0 and characteristic p for very large p?

This is a somewhat soft question, apologies if it turns out to be trivial/nonsensical. Background: I was half-asleep one morning, not quite through my first cup of coffee, and thought about the ...
0
votes
0answers
47 views

How can I find the distribution of a recursive relation with two parameters?

Suppose we have a recursive relation, e.g. $G(n,m) = G(n-1,m) + G(n, m-1)$, with some initial points where $n,m \in \mathbb{Z}^{+}$ and $F$ is a finite-field, e.g. $\mathbb{Z}_p$ for a prime $p$. Also ...
2
votes
1answer
82 views

How $x^9-1$ splits over $\mathbb{F}_p$

Let $p\equiv -1 \pmod 9$ be a prime. Determine the factorization of $f(x)=x^9-1$ over $\mathbb{F}_p$. My proof: First of all we observe that $f(x)=(x-1)(x^2+x+1)(x^6+x^3+1)$. The degree of the ...
0
votes
0answers
57 views

automorphism group

an endomorphism of a vector space V is a linear operator V → V. and an automorphism is an invertible linear operator on V. When the vector space is finite-dimensional, the automorphism group of V is ...
0
votes
0answers
43 views

Polynomial Reduction Finite Field

Let $\mathbb{F}$ be a finite field with $q$ elements and $\mathbb{E}$ an extension field of degree $n$ of $\mathbb{F}$. Let $$A=\sum_{i=0}^{n-1} \left(\sum_{j=0}^{n-1} b_{i,j} \right) ...
0
votes
0answers
40 views

Canonical Bijection between Finite Field

My lecture defined the canonical bijection between $\mathbb{E}$ be an $n^{th}$ degree extension of the ground field $\mathbb{F}$ and $\mathbb{F}^n$ than: Definition Let $\mathbb{E}$ be an $n^{th}$ ...
3
votes
1answer
93 views

An equation over $\mathbb{F}_{2^m}$

Let $m$ and $k<2^m$ be nonnegative integers and let $\alpha \in \mathbb{F}_{2^m} - \mathbb{F}_2$ such that $$ \left\{ \begin{array}{l} \alpha = \alpha^k \\ \alpha + 1 = (\alpha + 1)^k \end{array} ...
0
votes
2answers
38 views

Subgroups of Galois groups of finite fields

According to the notion of Galois group, for $E=GF(2^n)$ as an extension of the field $F=GF(2)$, the Galois group $Gal(E/F)$ is a cyclic group of order $n$. Now my question is: for finding the ...
1
vote
2answers
90 views

Finite fields, Linear Algebra

I just started my first upper level undergrad course, and as we were being taught vector spaces over fields we quickly went over fields. What confused me was when the book (Advanced Linear Algebra, ...
1
vote
1answer
93 views

Univariate and Matrix Representation of Affine Transformation

Let $\mathbb{F}$ be a finite field with $q$ elements and $\mathbb{E}$ an extension field of degree $n$ of $\mathbb{F}$. Let $S:\mathbb{F}^n\rightarrow \mathbb{F}^n$ be a affine transformation and ...
0
votes
1answer
36 views

Why is the answer set limited here?

This question is based on pp $67$ - $68$ of Ash and Gross's "Elliptic Tales". Here the authors discuss points on a curve in the projective plane. We have an equation $f(x,y) = x^2+y^2$ We can ...
2
votes
1answer
62 views

tensor product of a vector space and finite field

I want to know how we can interpret and define the tensor product of V as a vector space with a F as a finite field?
1
vote
0answers
39 views

kernel of maps associated to the root of an irreducible polynomial

Let $m(\mu)$ be an irreducible polynomial of degree $d$ over $\mathbb{F}_2$, $F_{2^d} = \mathbb{F}_2[x]/(m(\mu))$ by a field extension given by that polynomial and let $d: \mathbb{F}_2[x] \to ...
2
votes
0answers
60 views

Factor polynomials into irreducibles over GF(q)

The polynomials $x^4+x^3+1$ and $x^4+x^3+x^2+x+1$ are irreducibles over GF(2). (a) Factor both polynomials into irreducibles over GF(4). (b) Factor both polynomials into irreducibles over GF(8). I ...
11
votes
0answers
119 views

What is the connection between Weil's character bound and Riemann Hypothesis over finite fields

Weil's character bound states that: Let $\mathbb{F}_{q}$ be a finite field of size $q$. Let $\chi$ be a multiplicative character of order $m$. Let $f(x)$ be a polynomial of degree $d$ such that $f(x) ...
3
votes
1answer
64 views

probability of choosing $k$ linear independent elements from a finite field

Let $\mathbb{F}_q$ denote a finite field with $q$ elements. What is the probability of choosing $k$ linear independet elements from $\mathbb{F}_q^n$? I guess, it depends on how we choose from ...
4
votes
2answers
63 views

Prove two bases are dual in a finite field.

Let K be a finite field, $F=K(\alpha)$ a finite simple extension of degree $n$, and $ f \in K[x]$ the minimal polynomial of $\alpha$ over $K$. Let $\frac{f\left( x \right)}{x-\alpha }={{\beta ...
1
vote
1answer
52 views

Prove a polynomial in Fq is a permutation polynomial of Fqn with a necessary and sufficient condition

P.S This is the best Math Expression I can edit. I am real shameful, where can I find the introduction of typing in this webset? thank you Exercise7.13 Let\[f\left( x \right) = \sum\limits_{i = ...
2
votes
2answers
38 views

Irreducible quadratic in $\mathbb{Z}_p$

I want to show that for every prime $p$, there exists an irreducible quadratic in $\mathbb{Z}_p[x]$. So I'm looking for some $x^2+ax+b$ that's irreducible. But what $a,b$ choose we choose?
2
votes
2answers
73 views

Quadratic Polynomials over $\mathbb F_p$

I'd like to know a reason why (irreducible) quadratic polynomials over $\mathbb F_p$ do not reach all numbers in $\mathbb F_p$. Example: $f(x)=x^2+3x+1$ in $\mathbb F_7$ is irreducible, i.e has no ...
0
votes
1answer
56 views

Show that a given ring is a field with four elements

Let $R = ( \mathbb{Z} / 2 \mathbb{Z} ) [t]$ be the ring of polynomials with coefficients $\mathbb{Z} / 2 \mathbb{Z}$, $f = f(t) = t^2 + t +1$, and $g = t^2 +1$. Show that: (1) $R/(f)$ is a field with ...
1
vote
1answer
97 views

software to factor polynomials over finite field extensions

I need a software/computer algebra package which allows irreducible factorization of a polynomial over finite field extensions (specifically $GF(2^{n}$)). After searching online I could only find ...
4
votes
1answer
115 views

My proof: Frobenius Map generates $\mbox{Gal}(\mathbb F_{p^n}/\mathbb F_p)$

I would like to ask, whether anyone can confirm or correct the following version of the proof that the Frobenius map generates the Galois Group of a finite field. Proof First note that ...
3
votes
2answers
207 views

Find the number of irreducible factors of $x^{63} - 1$

I have to find the number of irreducible factors of $x^{63} - 1$ over $\mathbb{F}_2$ using the $2$-cyclotomic cosets modulo $63$. Is there a way to see how many the cyclotomic cosets are and what is ...