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)

1
vote
3answers
33 views

About a field of order $2^{n}$ with $n$ an odd integer and an additional property

I'm new in the world of fields (so I don't have any strong theorem at my disposal) and I've got stuck in this problem: Given a field of order $2^{n}$ with $n$ an odd integer and $a,b$ elements ...
2
votes
1answer
57 views

Cyclic subgroups of $GL_2(F_q)$

Let $F$ be a finite field with $q = p^f$ elements for $p$ a prime. I know that $G = GL_2(F_q)$ contains a cyclic group of order $q-1$. It is the set of matrices of the form $\begin{pmatrix} x & ...
2
votes
1answer
41 views

$x=y^p-y$, $y \in \mathbb{F}_{p^2}$. Prove: $x^2 \in \mathbb{F}_p$

Im practicing for an exam, can anyone help me with this? Let $p$ be prime and let $x=y^p-y$, for $y \in \mathbb{F}_{p^2}$. Prove: $x^2 \in \mathbb{F}_p$
2
votes
1answer
101 views

Primitive polynomials in LFSRs

I need help proving the following theorem. I found it many books but on every single one it says that they omit the proof because it is in every good textbook. THM Let $c(x)$ be a connection ...
3
votes
1answer
119 views

Additive character sum of primitive elements over finite fields

Let $\mathbb{F}_q$ be a finite field with $q$ elements and multiplicative generator $\alpha$, let $\chi$ be a non-trivial additive character of $\mathbb{F}_q$, and let $N$ be a divisor of $q-1$. ...
4
votes
1answer
51 views

The Galois group of the finite field's algebraic closure is not countable

I'm trying to prove that the group $\operatorname{Gal}(\bar F_p /F_p)$ is not countable. My idea is to show that in the sequence $F_p\leq F_{p^2}\leq F_{p^4} \leq \dots \leq F_{p^{2^n}} \leq\dots ...
-1
votes
2answers
84 views

What does the Cayley table for $+$ in $\mathbb{C}$ look like?

Below is the Caley table for the $*$ operator, but how do I fill in the table for operator $+$? In general, given an operator $*$ acting on a set, $S$, can I turn this into a field by selecting the ...
6
votes
1answer
97 views

Equation over $\mathbb F_2$

Given equation over $\mathbb F_2$: $$x_1x_2x_3+x_4x_5x_6=0$$ It has $50$ solutions. Let $N$ be set of solutions. If we give some linear dependencies to variables we will get cosets (linear subspace + ...
1
vote
1answer
81 views

Cyclotomic Cosets and Minimal Polynomial for 45

Currently I am working on matlab in order to find Cyclotomic Cosets for 45. As 45 in not in the format of 2^m-1, matlab give me an error. I am trying to write algorithm in matlab/octave for my ...
1
vote
1answer
33 views

How many different bases in $\mathbb{Z}/p\mathbb{Z}$

Let $K = \mathbb{Z}_p$, for some prime $p$, and $\text{dim}\:V = n$. $V$ is a vector space over $K$. I need to find out how many different bases are in $V$. Now I know the answer is the product of ...
0
votes
3answers
50 views

Prove that $\alpha_{1} ^k+ \alpha_{2} ^k +…+ \alpha_{n} ^k = n$ for $k=0$ and $0$ for $k = 1,2,…,n-1$?

For $n\geq 2$ let $\alpha_{1} + \alpha_{2} +.....+ \alpha_{n} $ be all the nth roots of unity over a field and the roots are not necessarily to be distinct. So we have to prove that $\alpha_{1} ^k+ ...
0
votes
1answer
27 views

matrix representation of Frobenius map

I am in an urgent need to know what is the matrix representation of Frobenius map for finie field like GF(4). Let suppose the basis of GF(4) be {1, a+1}. We know that the frobenius map is generator of ...
1
vote
1answer
70 views

Theorem in finite fields fails in my example

I need to understand the following theorem, so i did an example. But i realized that i don't get everything in the finite field theory. can somebody check the example and say where the mistake is? ...
-1
votes
3answers
122 views

Quotient rings of polynomial rings

I have come across a quite difficult question while I am studying for a test: Let $F=\Bbb Z[x]/(7,x^2-3)$. Let $u$ denote the image of $x$ under the canonical epimorphism from $\Bbb Z[x]$ to ...
0
votes
1answer
71 views

example about permutation in a finite field

I want to give an example to a corollary in my seminar, but i m not sure if it is ok. can somebody check it quickly? This is the corollary: Corollary: Let $n$ and $k$ be positive integers such ...
1
vote
0answers
35 views

Approximate a bivariate function by univariate functions over finite field

What is known about approximating a bivariate function by a sum of univariate functions e.g. approximating $a(x)+b(y)=f(xy)$ where $x,y \in \mathbb{F}_p$? I have in mind probably simplest non-trivial ...
0
votes
1answer
40 views

Extending a finite field twice

Assume we have a finite field $\mathbb F_p$, an irreducible polynomial $f(x)$ of degree $m$ over $\mathbb F_p$, and an irreducible polynomial $g(y)$ of degree $n$ over $\mathbb F_p[x]/(f(x))$. Then ...
0
votes
1answer
52 views

Set of Solutions of A Quadratic Equation with Coefficients in $\{0,1,\cdots , \ p-1\}$

I was just playing with quadratic equations and this interesting question came into my mind. Say I have a set of quadratic polynomials $S=\{f_{(b,c)}(x)=x^2+bx+c:b,c\in \{0,1,\cdots, p-1 \}\}$ where ...
1
vote
1answer
30 views

“$q$-linear envelopes” of $\mathbb{F}_p$-subspaces

Let $V$ be a vector space over an algebraically closed field $k$ of characteristic $p>0$, and denote by $V_q$ the vector space obtained from $V$ by restricting scalars to $\mathbb{F}_q$, where ...
1
vote
1answer
45 views

Prove for $a,b \in \mathbb{F}_{p^n}$, if $p(x) = x^3 + ax +b$ is irreducible, then $-4a^3 - 27b^2$ is a square in $\mathbb{F}_{p^n}$.

The problem is as the title states. We know that in this case determinant $D = -4a^3 -27b^2$, and also I know that if $G$ is the Galois group of $x^3 + ax + b$, then $$G \subset A_n \, \iff \sqrt{D} ...
3
votes
1answer
70 views

Endomorphism Ring of an Elliptic Curve over Finite Field

Let $~E:y^2=x^3+x~$ be an elliptic curve over finite field $\mathbb{F}_{5},$ I compute the trace of Frobenius is $2$($E/\mathbb{F}_{5}$ obvious is ordinary). (By the theory of CM, I know (when $E$ ...
2
votes
1answer
89 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 ...
2
votes
2answers
62 views

Example for a corollary in finite field theory

I'm preparing a seminar and the problem is that I never had a lecture before in finite fields. So I had to learn everything by myself, and that is unfortunately not easy at all... Can anyone help me ...
2
votes
1answer
82 views

Having trouble considering a finite field $\mathbb{F}_{p^n}$ as a vector space over $\mathbb{F}_p$.

As the title states, I'm having trouble considering a finite field $\mathbb{F}_{p^n}$ as a vector space V over $\mathbb{F}_p$. Clearly it is dimension $n$. How can we work with this vector space? ...
1
vote
3answers
71 views

Show that a map is not an automorphism in an infinite field

How should I show that a map $f(x) = x^{-1}$ for $x \neq 0$ and $f(0) = 0$ is not an automorphism for an infinite field? Thanks for any hints. Kuba
1
vote
1answer
45 views

The characteristic of the field $GF(p^n)$

How to show that characteristic of the field $GF(p^n)$ is $p$? I have come across this fact on Wikipedia webpage, but don't know how to prove it. Thanks
1
vote
2answers
66 views

When Frobenius map equal to multiplication-by-m map

Here is a homework, the result brought me some trouble. Let $p = 7$, and consider the finite field ${ \mathbb{F}}_{p^{2}}$ , which we may represent explicitly as $${ \mathbb{F}}_{p^{2}}\simeq ...
0
votes
1answer
65 views

an Example of Elliptic Curve over finite field has no CM

I have known this property (from Silverman's The Arithmetic of Elliptic Curves): Let $\operatorname{char}(K)=p>0,$ and let $E/K$ be an elliptic curve with $j(E)~ \overline{\in}~ \overline{ ...
1
vote
1answer
32 views

What does it mean to say that an element 'satisfies' a polynomial?

In the context of finite fields, the definition of a primitive element $\alpha$ is given by: $\alpha$ is primitive if it generates all elements of $F_q - \{0\}$ when raised to powers up to $q-1$. ...
3
votes
1answer
78 views

Galois Group of $x^4+x-1$ over $\mathbb{F}_3$

Consider the finite field $\mathbb{F}_3$ and define the polynomial $f(x)=x^4+x-1$ over $\mathbb{F}_3$. I want to find its Galois Group. I observe that $f$ has no root over $\mathbb{F}_3$, so if it ...
1
vote
1answer
27 views

matrix for frobenius map of finite fields

I would be thankful if you could help me : I have studied many things about Galois fields, but now I am not sure about my understanding of frobenius maps. For example can anyone help me the matirx of ...
1
vote
1answer
32 views

Canonical representation of finite field

If there a canonical representation of finite fields $\Bbb F_{p^n}$ for $n>1$? By canonical I mean that if I were to say to someone else "this bunch of bits represents an element of $\Bbb ...
1
vote
1answer
66 views

Roots of Artin-Schreier equation

Let $a \in \mathbb F_q, q=p^f$. Is it true that $x^p-x-a$ has a root in $\mathbb F_q$ iff $tr_{\mathbb F_q/\mathbb F_p}a=0$?
0
votes
1answer
46 views

Discrete Logarithm Problem in $GF(p^m)$

I have question regarding DLP in $GF(p^m)$ I know the algorithms for solving the DLP in $GF(p)$ like Baby Step-Giant Step, Pohlig-Hellman etc... But what if we move into the $GF(p^m)$ and are ...
2
votes
1answer
38 views

Non-obvious deduction regarding conjugates in $\text{GL}_2(\mathbb{F}_p)$

Let $\text{GL}_2(\mathbb{F}_p)$ act on $\mathbb{F}_p^2,$ the set of $2$-vectors with entries in $\mathbb{F}_p$, by matrix multiplication. $[\,$Prove that$\,]$ for any ...
1
vote
1answer
22 views

meanings determinants of matrices in finite field

Let's $\Bbb{Z}_q$ is finite field. ($q$ is prime number). Lets $A_1$ – set of matrices $n\times n$, such that $\det(M) = 1$, for any matrix $M \in A_1, A_2$ – set of matrices $n\times n$, such that ...
3
votes
3answers
334 views

How and in what context are polynomials considered equal? [duplicate]

There's two notions of equivalent polynomials floating around, one saying that $f = g$ iff they're equivalent as maps, and the other saying $f = g$ iff they're equal on each coefficient when written ...
0
votes
0answers
121 views

Prove that if $a^2 + ab + b^2 = 0$ then $a = b = 0$?

We are given that $a, b \in F_{2^n}$ where $n$ is an odd +ve integer. Suppose $a^2 + ab + b^2 = 0$ then we have either $a = 2^n-b^2$ or $a+b = 2^n - b^2$. Which implies that $\sqrt{2^n -a} = +-b $ or ...
1
vote
3answers
128 views

Prove that every extension of a finite field is normal

In book by Roman 'Field Theory' it is written that it is straightforward that every extension of a finite field is normal. However I just cannot see it. Can you help me with this problem? Thank
1
vote
0answers
122 views

Solving the discrete logarithm using index calculus, finite fields and factor bases.

(a) Let $p$ be the prime 1073741827, with $\Bbb{F}_p$ the corresponding finite field. A primitive root in $\Bbb{F}_p$ is equal to $g=2$. Use a factor base of primes up to 13 to find the discrete ...
1
vote
2answers
83 views

Can anyone explain the difference between a ring, a group, and a field in a way so that your average 15 year old can understand? [duplicate]

I can not understand key difference between them, because all on the web uses mathematical notations...Can anyone explain in easy way?...please.Thanks in advance.
4
votes
0answers
86 views

Isomorphism between finite fields adjoining a root

Let $p(x)=x^3+x^2+1$ and $q(x)=x^3+x+1$ be polynomials over the field $\mathbb{Z}_2$. Let $\alpha$ be a root of $p(x)$ and $\beta$ be a root of $q(x)$. Now let $K=\mathbb{Z}_2(\alpha)$ and ...
0
votes
0answers
22 views

How is the table generated for Galois Field?

If I want to generate tables for $01AB\quad 01AB$ for both addition and multiplication, how will it be generated? I am basically confused from this wikipedia example! I hope someone can clear it up ...
2
votes
1answer
68 views

Structure of a module and finite fields

I am trying the following problem which appeared on an exam for a grad course: Determine the structure of finite field $F$ as a module over $F_p[x]$ when $xv=Lv$. Here $L(z)=z^p$ and ...
8
votes
1answer
62 views

Existence of root of a polynomial over $\mathbb F_p$.

I came accross the following question and I can't find an easy proof of this fact : Let $p\geq 17$ be a prime number such that $p\equiv 1 \pmod 4$. Show that for any $z\in \mathbb ...
1
vote
1answer
59 views

Choosing a polynomial for CRC

CRC checksum is a homomorphism from polynomials over $\mathbb F_2$ to itself. As I understand, the map $f\mapsto g$ it is simply remainder from division $f$ by $p$, where $p$ is a fixed polynomial for ...
1
vote
2answers
33 views

Ring theory Algebra

Let F be a field of $8$ elements and A=set of all x belongs to F such that $x^7=1$ and $x^k \neq 1$ for all $k < 7$. then the number of elements in A is
1
vote
0answers
40 views

About Degree of Polynomial

Consider a set $M_{m\times m}(F)$ of matrices of order $m\times n$ over the finite field $\mathbb{F_p}$. The set $M_{m\times m}(\mathbb{F_p})$ forms a $Ring$ under the binary operations (addition, ...
1
vote
0answers
57 views

How many different proper subfields does $K$ have, where $K$ is a field of order$p^n$?

If $p$ is a prime, and $d$ is an integer greater than or equal to 1. Let $n= p^d$, then there exists $K$ being a field of order $p^n$. But how many different proper subfields does $K$ have? The ...
1
vote
2answers
104 views

Irreducible Polynomials over a Finite Field

I am motivated by this question, and want to find a solution to the following problem. Question: How many monic, irreducible polynomials of degree $n$ are there over the finite field ...