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 (1)

0
votes
1answer
13 views

Construction of addition and multiplication table for GF(4)

I am dealing with finite fields and somehow got stuck. The construction of a prime field $GF(p), p \in \mathbb{P}$ is pretty easy because every operation is modulo p. In other words $GF(p)$ contains ...
3
votes
1answer
23 views

Regarding the structure of certain minimal polynomials

My question is: is the following statement true? If so, how might I go about proving it? Let $m$ be an integer not less than 1, let $F = GF(2^{6m})$, and let $L = GF(2^{2m})$. Let $\gamma$ be a ...
2
votes
1answer
22 views

Cyclic consecutive zeros of binary sequence with prime length

I found a feature that if $N>5$ is a prime, and $M \triangleq \frac{N-1}{2}$ is also a prime, then we will always have a binary sequence $x_1,\ldots, x_N$ with $L=\frac{N-1}{2}$(or ...
-1
votes
1answer
42 views

Prove the nonzero elements in a field form a group under multiplication [on hold]

Prove that the nonzero elements in a field form a group under the multiplication in the field. please help me :( :(
5
votes
2answers
198 views

A property of finite field of order $2^n$

Suppose $a$ and $b$ are elements of a finite field of order $2^n$ with $n$ odd and $a^2+ab+b^2=0$. Is it necessary that both $a$ and $b$ must be zero ? I understand that the field has characteristic ...
0
votes
1answer
11 views

Factorizing polynomials: How to calculate $g_{(X)}\in F_{q}[x]$ if we have $f_{(x)} = g_{(x)}^p$

How do I calculate $g_{(X)}\in F_{q}[x]$ if we have $f_{(x)} = g_{(x)}^p$ and $p$ is the characteristic of the field $F$? This problem arises from the factorization of a polynomial into irreducible ...
0
votes
1answer
43 views

Subgroups of automorphisms of Finite fields

Let $G$ denote the group of all the automorphisms of the Field $F_{3^{100}}$.Then,what is the number of distinct subgroups of $G$? First of all I have to compute $G$. Now \begin{equation*} ...
4
votes
0answers
41 views

Existence of Jordan decomposition over finite field

Prove that over finite field $\mathbb F$ exists additive Jordan-Chevalley decomposition: for all matrix $M$ there are semisimple matrix $M_{s}$ and nilpotent matrix $M_{n}$ such that $M=M_{s}+M_{n}$. ...
2
votes
1answer
42 views

How to find minimal polynomial of primitive element (field theory)

I am given a primitive element $\alpha$ in the Galoisfield $F_{2^6}$. The question is to find the mimimal polynomial of $\alpha^7$. How to I find this? My thoughts so far: $$ \alpha^7 \rightarrow ...
5
votes
1answer
38 views

Group ring of a cyclic group over a finite field

Suppose $ p $ a prime integer and $ n $ a positive integer. Does anyone know off the top of their heads if the group ring $ \mathbb{F}_{p}[\mathbb{Z}/n] $ (perhaps regarding $ \mathbb{Z}/n $ as the $ ...
0
votes
0answers
24 views

Finding Irreducible Polynomials of Elements in Finite Quotient Polynomial Field over Finite Field [on hold]

The question is the following: Let $E = F_2[X]/< x^3+x+1 >$. For each $a \in E$ find $irr(a, F_2)$, its irreducible polynomial over $F_2$. Thanks for the help.
1
vote
1answer
23 views

Roots of $X^{l-1}+1$ in a quadratic extension $F_q$, $q=l^2$

Consider a finite field $F_q$ where $q=l^2$ ($l$ can be of the form $p^m$). Does $F_q$ has a root of $X^{l-1}+1$? As $X^l+X = X(X^{l-1}+1)$ we can show that $X^{l-1}+1$ splits if it has a root. This ...
0
votes
2answers
40 views

Finite fields, characteristics and the Fundamental Homomorphism Theorem

I am trying to make sense of this proposition. I am fine with part (a), for part (b) however, can you explain what the computation proves? Can you not verify a homomorphism by checking the 3 ...
0
votes
1answer
37 views

How to find inverse of generator of a finite field?

I need to find the inverse of generator of finite field $\mathbb{F}_{2^4}$ with irreducible polynomial , $f(x)=x^4+x+1$ i.e. if $g=0010$ is the generator of this field then how to find $g^{-1}$?
2
votes
1answer
15 views

Bound on Lynden words made of $q$ letters

Let $N(q,n)=\frac{1}{n}\sum_{d|n}\mu(n/d)q^d$ for $q$ positive integer. Is it true that $N(q,n)<q^n/n$? This is true for $q$ prime which corresponds to the number of monic irreducible polynomials ...
7
votes
2answers
209 views

Proving that $SL_2(\mathbb{Z}_5) / \{\pm I\}\simeq A_5$

I see here that one can prove that $$ SL_2(\mathbb{Z}_5) / \{\pm I\} \simeq A_5 $$ using the First Isomorphism Theorem. My question is how one would do that. I know that I need a surjective ...
0
votes
1answer
21 views

Determine with proof the number of monic irreducible polynomials of prime degree $p$ over $F$

Let $F$ be a field with $|F|=q$. Determine with proof the number of monic irreducible polynomials of prime degree $p$ over $F$, where $p$ need not be the characteristic of $F$. I know that ...
5
votes
1answer
920 views

Factorization of $x^7-1$ into irreducible factors over $GF(4)$

I need to find cyclotomic cosets depending on $n=7$ and $q=4$ and find the factorization of $x^7-1$ into irreducible factors over $GF(4)$. Thanks for any advice.
1
vote
1answer
36 views

Methods for factorising polynomials into irreducibles over finite fields

I was given a problem recently, part of whose solution was to factorise $x^{15}+1$ in $\mathbb F_2[x]$. It turns out that the factorisation is $$(x+1)(x^2+x+1)(x^4+x^3+x^2+x+1)(x^4+x+1)(x^4+x^3+1),$$ ...
1
vote
0answers
16 views

Is collinearity sufficient for a map to be affine on a cartesian product of finite fields?

Let $V=\mathbb{Z}_p\times \mathbb{Z}_p$, where $p$ is prime. Let $\pi:V\rightarrow V$ be a map such that if two lines are parallel in $V$, then their images remain parallel. This is a property of ...
2
votes
2answers
204 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) ...
-3
votes
0answers
37 views

Let $F =\mathbb Z_3$. Give an example of irreducible monic polynomial in F[x]. [closed]

Let $F =\mathbb Z_3$. Give an example of irreducible monic polynomial in F[x]. Then give an extension field $\mathbb Z_3 < H$ and classify according to the fundamental theorem of abelian groups. ...
5
votes
3answers
65 views

Number of solutions of $x^2 + y^2 + z^2 = 0$ over finite fields.

I want to prove that the number of elements of the set $\{(x,y,z)\in \mathbb{F}_p^3: x^2 + y^2 + z^2 = 0\}$ is $p^2$. I know that the number of elements of the set is a multiple of $p$ using the ...
1
vote
3answers
51 views

Finite field definition question

My textbook says that $ (\mathbb{Z}_{m},+,*)$ is a field if and only if m is a prime number. However, on Wikipedia it says: "Finite fields only exist when the order (size) is a prime power $p^{k}$ ...
2
votes
1answer
105 views

Irreducible Polynomials over Finite Fields [closed]

How would I show that $p(x)=x^5+x^2+1$ is an irreducible polynomial over $\Bbb Z_2=\{0,1\}$.
8
votes
5answers
592 views

Can the integers be made into a vector space over any Finite Field?

Given a Finite Field $F$, can the the abelian group $\mathbb Z$ be made into a vector space over $F$ without changing the additive structure of $\mathbb Z$? This seems like it shouldn't be ...
0
votes
1answer
20 views

Derivative of a polynomial in finite fields

In Introduction to finite fields and their applications by R.Lidl, the definition of the derivative for a polynomial such that ($a_i\in GF(q)$) $$f_{(x)}=a_nx^n+a_{n-1}x^{n-1}+\cdots+a_0$$ is ...
3
votes
0answers
25 views

Gram-Schmidt in characteristic two?

I was helping someone work on a computing problem with bit vectors that reduced to finding a basis knowing a spanning set, and realized quickly that the Gram-Schmidt process does not work as expected ...
9
votes
3answers
7k views

Find all irreducible monic polynomials in $\mathbb{Z}/(2)[x]$ with degree equal or less than 5

Find all irreducible monic polynomials in $\mathbb{Z}/(2)[x]$ with degree equal or less than $5$. This is what I tried: It's evident that $x,x+1$ are irreducible. Then, use these to find all ...
5
votes
0answers
25 views

Why Fibonacci LFSR random number generation works?

If I use primitive polynomial of GF($2^m$) in Fibonacci LFSR, it is generating all m-length binary combinations. But, I cannot understand why this should happen. I am not getting any mathematical ...
1
vote
2answers
38 views

A subgroup of $\textrm{GL}(3,q)$ of order $q^2(q-1)$

Let $q$ be a prime power. Consider the multiplicative group $\textrm{GL}(3,q)$ of the $3 \times 3$ matrixes with coefficients in $\mathbb{F}_q$ which are invertible. The matrixes $$ M_{a,b,c} = \left( ...
0
votes
2answers
36 views

Prove that $|V| = |F|^{\dim V}$ for a finite dimensional vector space $V$ over $F.$

In my algebra class, we proved that a quotient ring $F[x]/(f(x))$ is a vector space over $F$ and $\dim_F F[x]/(f(x)) = \deg f(x).$ I am attempting to use these facts to prove that the field $U = ...
1
vote
1answer
37 views

How can one solve an equation over over a specific finite field?

How can one solve an equation of the following form where the coefficients are in $GF(2^{128})$? $Az^3 + Bz^2 + Cz + D = 0$ The operations are defined over the same field.
1
vote
1answer
32 views

Minimal polynomials

Can someone explain to me how the minimal polynomials in page 4 of this document are obtained? Please help me. http://web.ntpu.edu.tw/~yshan/BCH_code.pdf It should be something standard about ...
0
votes
1answer
18 views

Proof of primitive roots in $F_{128}$

What would be the simplest way to prove that every element in $F_{128}$ is a primitive root except zero $(0)$ and the identity. Well, clearly 0 can not be a primitive root, and i also know that ...
5
votes
1answer
380 views

Irreducible factors of $X^p-1$ in $(\mathbb{Z}/q \mathbb{Z})[X]$

Is it possible to determine how many irreducible factors has $X^p-1$ in the polynomial ring $(\mathbb{Z}/q \mathbb{Z})[X]$ has and maybe even the degrees of the irreducible factors? (Here $p,q$ are ...
0
votes
1answer
30 views

Finite fields and cardinality

I am trying to get my head around the proof of the following: Suppose K is a finite field. With $p=charK, |K|=p^r$ where r is a positive integer. I am supplied with the following proof: I do not ...
0
votes
2answers
30 views

The number of subspaces in a finite field

In my lecture note, there is the following statement: The number of 2-dimnesional subspaces in $F_2^3$ equal to the number of 1-dimnesional subspaces in $F_2^3$ Here, $F_2^3=F_2 \times F_2 \times ...
0
votes
3answers
40 views

If $p$ is a prime, prove there are exactly $\frac{p^3-p}{3}$ monic irreducible cubic polynomials in $\mathbb{Z}_p[x]$

If $p$ is a prime, prove there are exactly $\frac{p^3-p}{3}$ monic irreducible cubic polynomials in $\mathbb{Z}_p[x]$ I am looking some notes here but don't know in general how to approach this ...
2
votes
0answers
53 views

Efficient computation of matrix determinant in finite ring

I am trying to implement generalization of Hill cipher. My idea is very simple: the size of key matrix should be arbitrary number not only three. All steps of this cipher is trivial except computation ...
1
vote
1answer
39 views

Binomial of Mersenne prime power.

Let $f(x)$ be irreducible over $\mathbb{Z}_2$ of degree $p$, where $p$ is prime. Let $2^p-1$ be a Mersenne prime. I have to show \begin{equation*} f(x) \mid (x^{2^p-1}-1). \end{equation*} I am ...
2
votes
1answer
45 views

Elements of a finite field

What is the proof that for any given element $c$ of $F_q$, there exist two elements $a$ and $b$ of $F_q$ such that $a^2 + b^2 = c$. i know that $q$ is the characteristic of this field, but i don't see ...
4
votes
1answer
1k views

Existence of irreducible polynomial of arbitrary degree over finite field without use of primitive element theorem?

Suppose $F_{p^k}$ is a finite field. If $F_{p^{nk}}$ is some extension field, then the primitive element theorem tells us that $F_{p^{nk}}=F_{p^k}(\alpha)$ for some $\alpha$, whose minimal polynomial ...
2
votes
0answers
27 views

How to find the power of generator defined over finite field , $\mathbb F_{2 ^m}$?

List item Actually ,I am trying to execute the algorithm to find the power of generator of field(group) as shown in table of attached file but when k=7 and onward ,I could not understand what is ...
2
votes
4answers
530 views

Why do Z/7 have no cubic root of 2?

I was reading a textbook and came across the following line: Now we prove there is no cube root of 2 in $Z/7$. By noting that $(Z/7)^\times$ is cyclic of order 6, it will have only two third ...
4
votes
1answer
55 views

Sum of elements of a finite Field

Let $F$ be a finite field and $i$ an integer. Calculate the sum of all the elements of $F$,each raised to the $i-th$ power. My approach so ...
0
votes
2answers
46 views

Infinite non-abelian $ p $-groups.

Is it true that every nilpotent group is a solvable group? It is true for finite $ p $-groups, but I am not sure about infinite $ p $-groups.
0
votes
1answer
63 views

Squares in a Finite Field [duplicate]

Show that in any finite field,each of its elements can be written as the sum of two squares. Well,I hate to admit-this being also my first post-that I have not proven it yet.I tried to work on the ...
0
votes
2answers
45 views

Checking irreducibility of a polynomial over a finite field

A part of a coding theory course I am doing includes some questions on irreducible polynomials. I have a question with solution but am worried I have interpreted it incorrectly. So for $\mathbb F_5$ ...
0
votes
1answer
39 views

How does GAP understand $SL_2(\mathbb{F}_3)$?

When one is asking for " IrreducibleRepresentations(SL(2,3))" it makes sense that the matrices it returns are over the complex field as thats the field on which the representations are. There GAP ...