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)

3
votes
0answers
137 views

Find minimal set of cosets $C$, so that each $2$ vectors in $A_n$ are in one coset in $C$

Let $F_2^n$ be the set of all vectors of length $n$ with values of $0$ or $1$ and $A_n$ = $F_2^n \setminus(11\ldots1)$. Set $A_n$ contains all vectors except one with all $1$s. We can consider cosets ...
0
votes
1answer
26 views

system of equations with coefficients in finite field

Suppose we have three simultaneously equations with $4$ variables with coefficients in finite fields, i.e. $$\alpha_1A_1 + \beta_1B_1+\gamma_1C_1 + \theta_1D_1=x$$ $$\alpha_2A_1 + ...
3
votes
0answers
94 views

zeros of a simple polynomial

For $x, y \in GF[2^n]$, consider the two-parameter polynomial $P(x,y) = x \cdot y + f(x) + g(y)$, where $f$ and $g$ are arbitrary polynomials on $GF[2^n]$. Can we say anything about the number of ...
1
vote
0answers
22 views

irreducible quadratic trinomial over finite field

In p130 of 《finite field 》 by Lidl et al. : For a trinomial x^2 +x +a over a finite field F_q of odd characteristic it is easily seen it is irreducible over F_q if and only if a is not of the form a = ...
6
votes
2answers
94 views

Euclid and finite fields

In 300 BC or so Euclid pointed out that if $S$ is any finite set of prime numbers then the prime factors of $1+\prod S$ are not in $S$, so that $S$ can always be extended to a larger finite set. Much ...
2
votes
1answer
40 views

Which powers of a primitive element of a finite field yield a generator of a finite field extension?

Let $F_{q^m}$ denote the finite field with $q^m$ elements. Let $\gamma$ be a primitive element of $F_{q^m}$. What are the powers $i$ such that $F_q(\gamma^i)=F_{q^m}$? Note that the following ...
2
votes
2answers
117 views

If $k>0$ is a positive integer and $p$ is any prime, when is $\mathbb Z_p[\sqrt{k}] =\{a + b\sqrt k~|~a,b \in\mathbb Z_p\}$ a field.

If $k>0$ is a positive integer and $p$ is any prime, when is $\mathbb Z_p[\sqrt{k}] =\{a + b\sqrt k~|~a,b \in\mathbb Z_p\}$ a field? Find necessary and sufficient condition. Attempt: Since we ...
5
votes
2answers
438 views

Let F be a field of order 32. Show that the only subfields of F are F itself and {0,1}.

$F$ is a field of order $32$. $F$ and {$0,1$} are trivial subfields of $F$. But how can we show that these are the only subfields of $F$? Can someone give me a direction to this question?
1
vote
1answer
63 views

If $X^{p^d}\equiv X\text{ mod }f$ for prime numbers $p,d$, then $f\in\mathbb{F}_p[X]$ with $\deg f=d$ is irreducible over $\mathbb{F}_p$

Let $p$ and $d$ be prime numbers and $f\in\mathbb{F}_p[X]$ with $\deg f=d$ and no roots over $\mathbb{F}_p$. I want to show $$X^{p^d}\equiv X\text{ mod }f\;\;\;\Rightarrow\;\;\;f\text{ is irreducible ...
1
vote
0answers
27 views

What is the algebraic normal form of $F(x,y,z)= Trace (\alpha x^{24}) + x^{312} + yz$?

Let $w$ be a primitive element of $\mathbb F_{5^4}$. Let $\alpha=w^{13}$. Define, $F:\mathbb F_{5^4}\times \mathbb F_{5}\times \mathbb F_{5} \Rightarrow \mathbb F_{5} $ as, $$F(x,y,z)= Tr (\alpha ...
2
votes
1answer
19 views

When is $c\alpha$ primitive, for nonzero $c\in GF(q)$ and $\alpha$ primitive in $GF(q^m)$?

Let $q$ prime power and $\alpha \in GF(q^m)$ be primitive element. When is $c\alpha$ still primitive in $GF(q^m)$? EDIT: More generally, if $\alpha \in GF(q^m)$ is any non-zero element, I'm also ...
1
vote
1answer
23 views

Dimension reduction over finite fields

Let $\mathbf b_1, \cdots, \mathbf b_n$ be a basis for $\mathbb F^n_q$ (where $\mathbb F_q$ is a finite field of size $q$). Assume $c \in \mathbb F_q$ is a uniformly randomly chosen number. For a given ...
2
votes
0answers
15 views

Subspace-evasive set performance in the random case

A subspace evasive set is defined as a large subset of a vector space which has small intersection with any $k$ dimensional affine space. That is, it "evades" all affine subspaces of small enough ...
1
vote
2answers
46 views

Operations in finite field $F_p$

If I have a finite field $F_p$, where $p$ is prime how can I define operations like $+, -, \times, / $? Can I just make: $$add: (a + b) \mod p$$ $$sub: (a-b) \mod p$$ $$mul: (a\times b) \mod p$$ ...
0
votes
1answer
71 views

How are the fields $\mathbb{F}_k$(where $k$ is an integer) be generated?

What are elements like in the fields $\mathbb{F}_k$? Does $\mathbb{F}_k$ contain only $k$ elements? When $k$ is a composite integer, what will be different from that $k$ is a prime? Please help me.
1
vote
0answers
56 views

Bounds for the norm of certain additive character sums

Let $q$ be a power of a prime, let $\alpha$ be a primitive element in the finite field with $q$ elements and let $\chi$ be the canonical additive character of the field. Recently I became interested ...
0
votes
1answer
46 views

Isomorphism of Groups (C.S.I.R)

Suppose $(F , +, .)$ is the finite Field with 9 elements. Let $G = (F , +)$ and H = (F \ {0}, .) denotes the underlying additive and multiplicative groups respectively, Then $ G \cong \mathbb Z_3 ...
1
vote
0answers
104 views

Approximating polynomials over finite fields

Consider a binary finite field $F = GF[2^{n}]$ with addition and multiplication denoted by $\oplus$ and $*$, respectively. Let me represent the elements of $F$ by $n$-bit strings, which means that ...
1
vote
2answers
58 views

Weird field notation

I have a question: Let $\mathbb{F}$ be any field characteristic $0$. Recall that $x_i$, denotes the $i^{th}$ entry of a vector $x\in\mathbb{F}^n$. Define $$S = \{x\in\mathbb{F}^5 \mid x_i = ...
1
vote
2answers
174 views

Polynomial multiplication modulo polynomial

Suppose we are working on finite field $F_{16}$ and have pritimive polynomial $z^4+z+1$. I stuck at how to compute polynomial modulo. For example, we have $z^5+z+1$ mod $z^4+z+1$. I use the usual ...
3
votes
1answer
180 views

What is the number of distinct subgroups of the automorphism group of $\mathbf{F}_{3^{100}}$?

Let $G$ denote the group of all the automorphisms of the field $\mathbf{F}_{3^{100}}$ that consists of $3^{100}$ elements. What is the number of distinct subgroups of $G$?
1
vote
1answer
91 views

Number of points on an elliptic curve over $ \mathbb{F}_{q} $.

I have the following elliptic curve: $$ E: \quad Y^{2} = X^{3} + 1 ~ \text{over} ~ \mathbb{F}_{q}, ~ \text{where} ~ q \equiv 1 ~ (\text{mod} ~ 3). $$ I want to know the number of points on this curve. ...
3
votes
2answers
138 views

Multiplicative group of a finite field

Field $\mathbb{F}$ is finite if and only if its multiplicative group $\mathbb{F}^{\times}$ is finitely generated. The "$\Rightarrow$" implication is obvious, but how to prove the otherwise?
0
votes
1answer
37 views

Can the set L, of all even polynomials be a subspace of F[X]?

So I have the question Let F be a field and let L be the set of all polynomials f(x) element of F[X] satisfying the condition that deg(f) is even. Is L a subspace of F[X]? I would say that L is not a ...
2
votes
0answers
74 views

Let $F$ be a field. If $F^*$ is a cyclic group, must $F$ be a finite field? [duplicate]

Let $F$ be a field. If $F^*$ is a cyclic group, must $F$ be a finite field? (It's well-known that if $F$ is a finite field, $F^*$ is a cyclic group). Thank you in advanced.
3
votes
3answers
193 views

Why is the multiplicative group of a finite field cyclic? [duplicate]

Why is the multiplicative group $(K\smallsetminus\{0\},\cdot)$ of a finite field $(K,+,\cdot)$ always cyclic?
3
votes
1answer
39 views

Existence of “simple” irreducible polynomial of degree 12 in a finite field

Assume that we have a finite field $\mathbb{F}_p$, where $p$ is prime, $p \equiv 1\ (\textrm{mod}\ 4)$ and $p \equiv 1\ (\textrm{mod}\ 3)$. I was looking for irreducible polynomial in a form $X^{12} + ...
0
votes
1answer
23 views

Showing $f\in\mathbb{F}_{p^d}[X]:f'=0\Rightarrow\exists g\in\mathbb{F}_{p^d}[X]:f=g^p$

Let $\mathbb{F}_{p^d}$ denote the final field with $p^d$ elements and $\mathbb{F}_{p^d}[X]$ denote the polynomial ring in $X$ over $\mathbb{F}_{p^d}$. How can we show ...
2
votes
2answers
22 views

Elements with order 3 in group $F_{16}/\{0\}$

If you have the finite field $GF(16)$ and you define the group $GF(16)/\{0\},*$ this group is cyclic. I need to determine how many elements in this group have order 3. Of course you could just try out ...
3
votes
1answer
54 views

Elements of subfield $F_{8}$ of $F_{2}[x]/(x^{6}+x+1)$

I need to find the elements of the subfield $F_{8}$ of $F_{2}[x]/(x^{6}+x+1)$ in their standard representation. I know that $F_{2}[x]/(x^{6}+x+1)$ represents the residu classes of polynomials modulo ...
2
votes
1answer
130 views

An example concerning some fields

I was trying to understand the following example This is also why I've made some questions today on locally finite fields. I've almost understand everything (thanks also to some of you) but I ...
1
vote
1answer
51 views

Projective special linear group

What is it the minimum number of generators for $PSL(2,\, \mathbb{F}_q)$? Is it known? Is there some references I could see?
4
votes
1answer
87 views

Structure of $G$-invariant bilinear forms over (finite?) fields

I have a question about the structure of $G$-invariant bilinear forms. Let $G$ be an arbitrary finite group and $\mathbb{F}_q$ a finite field such that $2|G|$ is not divisible by the characteristic of ...
2
votes
2answers
78 views

Minimal polynomial reducible modulo every prime $p$

Suppose $K = \mathbb{Q}(\alpha)$ with $\alpha = a + b\sqrt{D_1}+c\sqrt{D_2}+d\sqrt{D_1D_2}$ with $D_1,D_2 \in \mathbb{Z}$. Prove that the minimal polynomial $m_\alpha(x)$ for $\alpha$ over ...
0
votes
1answer
26 views

fields and subspaces

Let F be a field and let V=F^F, which is a vector space over F. Let w be the set of all functions f element of V satisfying f(1)=f(-1). Is W a subspace of V? a. Has the zero vector b. closed under ...
0
votes
1answer
43 views

If p is a prime positive integer, find all subfields of GF(p)

If p is a prime positive integer, find all subfields of GF(p) This question just seems too vague.
0
votes
2answers
51 views

If $F$ is a field, show the following function is a permutation

Let $F$ be a field. Show that the function $a\rightarrow a^{-1}$ is a permutation of $F\{0_F\}$ So I know that if it is indeed a permutation, then it is one-to-one and onto. Also, For every $a$,$b$ ...
0
votes
1answer
36 views

Does the element exist in the Galois Field?

Let p be a prime positive integer and let a be an element of GF(p). Does there necessarily exist an element b of GF(p) satisfying b^2=a? So, taking a element of GF(p), can we find a b element of ...
3
votes
3answers
46 views

Some properties of elements of the finite field GF(q)

Consider the finite field $GF(q)$ and an element $w$ of order $n$ which is an $n$th root of unity in this field. Could someone give me explanation or reference to the following questions regarding ...
1
vote
1answer
39 views

Let $F$ be a field of 8 elements and $A$= {$x\in F$| $x^7$=1 and $x^k$$\neq$1 for all natural number k<1}. Then the number of elements in A is

Let $F$ be a field of $8$ elements and $A$= {$x\in F$| $x^7$=1 and $x^k$$\neq$1 for all natural number $k<1$}. Then the number of elements in $A$ is: a) 1 b) 2 c) 3 d) 6 Please give me some ...
2
votes
1answer
48 views

The existence of primitive algebraic units modulo 3

Consider the problem of computing $$\sqrt{2} \mod 3 $$ Whereas we seek a number $n$ such that $n^2 \equiv 2 \mod 3$ and furthermore it is known that both $n$ and $2n$ will satisfy this property, ...
1
vote
3answers
201 views

Why is the algebraic closure of a finite field countable?

An algebraic closure of a field K is an algebraic extension of K that is algebraically closed. It is one of many closures in mathematics. But why is it a countable set?
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
107 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
149 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
54 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
85 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
100 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 + ...