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
4answers
90 views

multiplication in Galois Fields

I don't know much about Galois fields. My question is the following Assume we are working with GF(8). Let say for example I want to multiply 2 by 4 in GF(8). Then it should be equal to $2*4 \text{ ...
0
votes
2answers
30 views

Subtraction in GF(2^8) Giving Incorrect Results

Let me preface this by stating that I'm not normally a math person, but I'm currently dabbling in finite fields to help wrap my head around certain cryptographic topics (specifically those based ...
2
votes
2answers
57 views

diagonalization of a matrix over finite fields

I'm having a problem with determine whether a matrix is diagonalizable over $\mathbb F_{2}$, over $\mathbb F_{3}$, etc. for example, for the following matrix: $$ \begin{bmatrix} 1 ...
1
vote
1answer
43 views

Maps preserving roots of a polynomial function over finite fields

Let $P(x_{1},\ldots,x_{n}):\mathbb{F}_{2}^{n}\rightarrow \mathbb{F}_{2}$ be a polynomial function with degree $d$ and with variables $x_{1},\ldots,x_{n} \in \mathbb{F}_{2}$. Let $S(P)=\{ ...
0
votes
0answers
26 views

the number of cube roots in a finite field [duplicate]

Let $p$ be a prime number, and let $\mathbb F_p$ be the field with $p$ elements. How should I choose $p$ such that all elements of $\mathbb F_p$ have cube roots in $\mathbb F_p$?
1
vote
1answer
112 views

Sequences length for LFSR when polynomial is reducible

An LFSR with polynomial 1+x4+x5 = (1+x+x2)(1+x+x3) can generate several sequences, depending on the initial value. If I did not made any mistake enumerating them, the sequences length are 3, 7 and 21. ...
2
votes
0answers
26 views

Blocking set for cosets of codimension $2$

In this paper following theorem is proved: If $V$ is vector space of dimension $n$ over a finite field $F$ of $q$ elements then any subset of $V$ which meets every hyperplane of $V$ contains at least ...
1
vote
0answers
34 views

Version of Chevalley's Theorem proving $\mathbb{F}_q$ is a $C_1$-field for $\mathbb{Z}/p^n\mathbb{Z}$?

Let $k=\mathbb{F}_q$ Chevalley's theorem states that if $f(x_i)\in k[x_1,...,x_n]$ is such that $f(0,...,0)=0$ and $deg(f)<n$, then there is a non-trivial $a_i\in k^n$ such that $f(a_i)=0$. Is ...
3
votes
0answers
134 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
23 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
92 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
20 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
93 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
39 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
97 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
420 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
62 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
26 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
18 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
22 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
14 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
45 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
70 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
53 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
44 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
102 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
55 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
161 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
175 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
90 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
131 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
36 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
73 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
153 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
38 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
129 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
49 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
81 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
72 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
44 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
181 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?