0
votes
0answers
15 views

Why does this criterion imply that $A$ is a subfield of $E$?

$E$ is an extension field of a field $F$ and $A$ is the subset of $E$ containing all the members algebraic over $F$. "To prove that $A$ is a subfield of $E$ it is enough to show that any two elements ...
0
votes
1answer
30 views

Subgroups of $\mathbb F_{p^n}$

Is it possible to give a discription of the possible subgroups (with respect to $+$) of the finite field $\mathbb F_{p^n}$ (obviously, $p$ is a prime number). Of course, if $n = 1$, $(\mathbb F_p,+)$ ...
1
vote
0answers
29 views

Solving system of equation over distinct finite fields

Is it possible to solve an equation systems which involves elements from distinct finite fields? One example could be elements from $\mathrm{GF}(2)$ and $\mathrm{GF}(2^2)$: With: $x=[1,1,0,1]$ ...
2
votes
3answers
46 views

Question about the Characteristic of $\mathbb{F}_{p^n}$

We can prove that any finite field of prime characteristic $p$ must have $p^n$ elements. Conversely, let $F$ be a finite field with $p^n$ elements, where $p$ is a prime number. Is the following ...
1
vote
1answer
30 views

Question about the cycle type of the Frobenius Automorphism

Let $f$ be an irreducible and separable polynomial of degree $n$ over $\mathbb{F}_p$. For a finite field $F$ of characteristic $p$, we define $\phi_p:\alpha\mapsto\alpha^p$. Then we know $\phi_p$ is ...
3
votes
2answers
44 views

How to prove a finite field is not ordered?

I have a set S={0,1}, and the addition and multiplication rules are \begin{array}{c|cc} +&0&1\\ \hline 0&0&1\\ 1&1&0 \end{array} \begin{array}{c|cc} *&0&1\\ \hline ...
2
votes
1answer
29 views

Using Kronecker's theorem to construct a field with four elements

Use Kronecker's theorem to construct a field with four elements by adjoining a suitable root of $x^4-x$ to $\mathbb Z/2\mathbb Z$. Definition: A polynomial $f(x)\in F[x]$ splits over $F$ if it is ...
3
votes
1answer
42 views

Has anyone defined a limit of a sequence of fields? In particular, what is the limit of finite fields?

I'm curious about $$ \lim_{n \rightarrow \infty} \mathbb{F}_n $$ Is it $\mathbb{Z}$? That seems reasonable if you consider it as a set but of course $\mathbb{Z}$ is not a field so that is confusing. ...
0
votes
1answer
50 views

How to check field axioms given addition and multiplication tables

I need help with this question, i want to know the exact method of doing it with explanation. i am not able to get around with the logic of it.
0
votes
2answers
20 views

Homomorphisms between fields are injective.

How would I prove this? I know that I must show f(a)=f(b) => a = b I also know I must use the definition of homomorphism, ie: $f(a+b)=f(a)+f(b)$ $f(ab)=f(a)f(b)$ $f(1)=1$ I am assuming that a ...
0
votes
2answers
32 views

Solving quadratic equations in the field $F_5$

Let $y = x^2 + 2x + 2 = 0$. Solve the equation in the field $F_5$. So I used the common $b^2 - 4ac$ formula and got that $x$ is either $-1/2$ or $-3/2$ but I'm not sure if this is in the field...
0
votes
1answer
28 views

If $K$ finite field of order $p^8$ where $p\ne3$ then $\sum_{\alpha \in K}{\alpha^2} = 0$

Let $K$ be finite field of order $p^8$ where $p\ne3$ is a prime. Show that $\sum_{\alpha \in K}{\alpha^2} = 0$.
0
votes
2answers
62 views

Is the map an automorphism?

Please verify the following proof or comment on how would you have proven it. Suppose $q = p^2$ and we have $f: \mathbb{F}_{q} \to \mathbb{F}_{q}$ where $f(a) = a\cdot a^p$ Let $a\cdot a^p = b\cdot ...
0
votes
3answers
36 views

Finding the order of elements in a Galois Field

Does there exist a Galois field GF(4)? GF(4)={0,1,2,3}; If we take this Galois field, then the element '2' is not having any degree..? So is it possible to construct GF(4) ?
1
vote
1answer
40 views

Proving that either $x $ or $2x$ is a generator of the cyclic group $(\mathbb Z_3[x]/\langle f(x) \rangle)^*$

if $f(x)$ is a cubic irreducible polynomial over $\mathbb Z_3$, prove that either $x $ or $2x$ is a generator of the cyclic group $(\mathbb Z_3[x]/\langle f(x) \rangle)^*$ Attempt: $f(x) = \alpha ...
0
votes
0answers
29 views

Presence of non square elements in $GF(p)$

I came across a problem which had a line of explanation as follows : Let $a \in GF(p). a$ is a non square in $GF(p),~ p \neq 2 \implies \nexists~ b\in GF(p)~~|~~a =b^2 $. But, is it really possible ...
1
vote
1answer
52 views

Counting the roots of a polynomial over a finite field

Let $\mathbb{F}_{11}$ be the field of 11 elements and let $\mathcal{K}$ be the splitting field of $x^{3} - 1$ over $\mathbb{F}_{11}$. How many roots does $(x^{2} - 3)(x^{3} - 3)$ have in ...
1
vote
0answers
37 views

Showing the existence of sub fields of a finite field

For each divisor $m$ of $n$, $GF(p^n)$ has a unique sub field of order $p^m$ . The proof of this theorem in Gallian goes like this : Suppose that $m$ divides $n$. Then, since : $(p^n-1) = ...
1
vote
1answer
36 views

Every field with characterisitic $p$ contains the field $\mathbb{Z}_p$

I seem to hold a very loose grasp of the concept of fields - I've encountered this question: Show that every finite field with characteristic $p$ contains $\mathbb{Z}_p$ (i.e. $\mathbb{Z}_p = ...
6
votes
2answers
91 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
68 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
408 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
61 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
68 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
53 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
127 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
71 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
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
45 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?
3
votes
3answers
43 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
32 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
32 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
76 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
48 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
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 ...
1
vote
3answers
70 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
44 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
107 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
90 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
73 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
65 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
57 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
0answers
53 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
82 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
54 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
27 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
61 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
192 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^*$ ...