6
votes
2answers
85 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
2answers
35 views

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

If $k>0$ is a positive integer and $p$ is any prime, when is $Z_p[\sqrt{k}] =\{a + b\sqrt k~|~a,b \in Z_p\}$ a field. Find necessary and sufficient condition Attempt: Since, we know that a finite ...
6
votes
2answers
380 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
57 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 ...
0
votes
1answer
56 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
2answers
48 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 = ...
3
votes
2answers
102 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?
2
votes
0answers
69 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
1answer
34 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} + ...
2
votes
1answer
123 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
34 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?
2
votes
3answers
39 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
31 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 ...
1
vote
3answers
31 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 ...
1
vote
1answer
58 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 ...
0
votes
3answers
47 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
38 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 ...
1
vote
3answers
66 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
37 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
0
votes
0answers
71 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
67 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
4
votes
0answers
67 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 ...
2
votes
1answer
62 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 ...
1
vote
1answer
53 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 ...
0
votes
0answers
21 views

Karatsuba Method

For polynomials $f(x)$, $g(x)$ of degree $d = 2^{r-1}-1$, how do I check that multiplying $f(x)$ and $g(x)$ by the Karatsuba method requires $3^{r-1}$ multiplications in the field $F$?
1
vote
0answers
48 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
71 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 ...
0
votes
0answers
31 views

Question on finite fields

I was curious about this question: Let $p$ be a prime, and $d \geq 1$ and $K$ is a field of $p^d$. How many proper subfields does $K$ have? All I know if that a finite field has order $p^n$, where ...
0
votes
0answers
44 views

Connecting inner products and the trace of a matrix

Hello, I'm currently trying to work through this question. However, I am struggling with understanding what I should do. I am aware of all of the definitions used throughout, however I cannot link ...
0
votes
0answers
26 views

If $F$ is a finite field then there exists an irreducible polynomial in $F[x]$ with degree $n$ for all $n\in \mathbb{N}$.

If $F$ is a finite field then there exists an irreducible polynomial in $F[x]$ with degree $n$ for all $n\in \mathbb{N}$. How can I show this? A hint was given: 'Can you think of a condition that ...
1
vote
0answers
46 views

Splitting Field of Irreducible Polynomial over a Finite Field

Suppose $f(x)$ is irreducible over $\mathbb{F}_p[X]$ and let $\alpha$ be a root of $f$ in some extension field. I want to prove the following claim. I have included thoughts below, but I am very ...
4
votes
3answers
145 views

Why must a field with a cyclic group of units be finite?

Let $F$ be a field and $F^* \subseteq F$ be its group of units. If $F^*$ is cyclic show that $F$ is finite. I'm a bit stuck. I know that I can represent $F^* = \langle u \rangle$ for some $u \in F^*$ ...
2
votes
1answer
36 views

Is this function part of the Galois group?

Let $\Bbb K$ be a Galois extension of $\Bbb F_p$, where $p$ is prime. Let $\Phi$ be a function on $\Bbb K$. If $\Phi$ is an automorphism of $\Bbb F_p$ that permutes the roots of the minimal ...
5
votes
2answers
81 views

Is there always an intermediate field between non-prime field extension?

If we have $[E:F]=n$, where $n$ is not a prime number but is finite, can we like prime factorize $n=p_1p_2...p_r$, so that we have $[E:F]=[E:K_1][K_1:K_2]...[K_{r-1}:F]$ and each of the ...
2
votes
1answer
49 views

Galois field of order $p^n$

Can someone help me in establishing an image of how the group looks like. I am having a hard time visualizing it.
2
votes
1answer
51 views

Order Of The Intersection of Two Subfields.

Last question haha, Let $E$ and $F$ be subfields of $GF(p^n)$. If $|E| = p^r$ and $|F| = p^s$, what is the order of $E\cap F$? I read a corollary that "A finite field of order $p^n$ contains a ...
2
votes
3answers
38 views

Showing an element in a Finite Field can be written as a power.

I had a question that I'm stuck with: Show that every element in $GF(p^n)$ can be written in the form of $a^p$ for some unique $a\in GF(p^n)$. So this field is the splitting field for the polynomial ...
2
votes
1answer
33 views

Generators of $\mathbb{F}_9/\mathbb{F}_3$ that do not generate $\mathbb{F}_9^{\times}$

Find a generator of the extension $\mathbb{F}_9/\mathbb{F}_3$ that does not generate the multiplicative group $\mathbb{F}_9^{\times}$. how many such elements exist? what are their minimal ...
0
votes
1answer
42 views

find the number of solutions of the equation $a_1x_1+a_2x_2+…+a_nx_n=0$ in a linear space over Galois field

Linear space $\Bbb F_p^n$ contains $p^n$ vectors $( x_1, x_2, ..., x_n)$ with length $n$ over finite $\Bbb F_p$ Galois field comprised from $p$ elements. How many solutions in $\Bbb F_p^n$ has the ...
4
votes
1answer
49 views

Multiplicative order in field extension

Let $F/K$ be some field extension (both are finite fields) and $u$ be some element in $F$. I want to know if $u^{|K|} = u$ implies $u \in K$. And why?
2
votes
1answer
103 views

Algebraic problem - irreducible polynomials

Let $p$ be a prime number and $q=p^n$ with $n \in \mathbb{N}$. We define the polynomial$$ F_m:=\prod \left\lbrace f \in \mathbb{F}_q[X]; f \ \text{irreducible, nomic}, \text{deg}(f)=m \right\rbrace $$ ...
0
votes
1answer
78 views

Order of element of multiplicative group of finite field mod polynomial

If $K$ is a finite field of size $q$ and $f$ is a degree $n$ polynomial in $K[x]$, then we can form the quotient field by modding out this polynomial. Elements of this quotient field are of the form ...
3
votes
1answer
39 views

Simplifying presentation of elements of finite field

Let me describe my question through an example. Finite field of order (for example) 8 can be constructed as $\mathbb{F}_8 = \mathbb{F}_2[t]/(t^3 + t + 1)$. So one of a natural presentation of the ...
1
vote
2answers
74 views

When does $x^{q'}-x$ divide $x^q-x$ in $\mathbb{Z}[x]$?

Let $p$ be a prime integer, and let $q=p^r$ and $q'=p^k$. For which values of $r$ and $k$ does $x^{q'}-x$ divide $x^q-x$ in $\mathbb{Z}[x]$? From Artin's Algebra, Chapter 15, problem 7.12 from the ...
3
votes
2answers
79 views

Group-Isomorphism problem

I want to find an group-isomorphism $$ \psi : (\mathbb{Z}/8\mathbb{Z},+) \longrightarrow \mathbb{F}_9^\times $$ which should be used to multiply elements in $\mathbb{F}_9$ or to find the inverse ...
5
votes
0answers
57 views

The reducibility of polynomial $x^{2^n}+x+1$ over $Z_2$ [duplicate]

I meet the problem in Hungerford's Algebra, page 282 as follows: If $n>2$, then the polynomial $x^{2^n}+x+1$ is reducible over $Z_2$ . I have no any idea on this. But I really want to know how to ...
5
votes
1answer
72 views

Given a finite field $\mathbb{F}$ of order $2^n$, how to construct a field of order $2^{2n}$?

Specifically, I would like to construct a field of order $2^{2n}$ with elements being $2\times2$ matrices whose entries are elements of $\mathbb{F}$. I know the complex numbers can be represented as ...
6
votes
3answers
252 views

Polynomials over finite fields

I’ve come across this problem in a coding theory course, and neither I nor several of my colleagues could solve it to our satisfaction. Let $F:=\mathrm{GF}\left(q\right)$ denote the field with $q$ ...
1
vote
1answer
65 views

$\exists a \in \mathbb{F}_{11}$ such that $\mathbb{F}_{11}[x]/\langle x^5-a\rangle$ is a field

Prove that there exists an element $a \in \mathbb{F}_{11}$ such that the quotient ring $\mathbb{F}_{11}[x]/\langle x^5-a\rangle$ is a field. I wrote that it is equivalent to showing that there is ...
1
vote
1answer
45 views

Kernel and image of map on unit group of finite field

This question is from a rings and modules course I'm doing: Let $p>2$ be prime and $f:\mathbb{F}_{p}^{*}\rightarrow \mathbb{F}_{p}^{*}$ be given by $x \mapsto x^\frac{p-1}{2}$. Prove that $ker(f)$ ...