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

28
votes
1answer
1k views

Universal binary operation and finite fields (ring)

Take Boolean Algebra for instance, the underlying finite field/ring $0, 1, \{AND, OR\}$ is equivalent to $ 0, 1, \{NAND\} $ or $ 0, 1, \{ NOR \}$ where NAND and NOR are considered as universal gates. ...
23
votes
2answers
1k views

Polynomials irreducible over $\mathbb{Q}$ but reducible over $\mathbb{F}_p$ for every prime $p$

Let $f(x) \in \mathbb{Z}[x]$. If we reduce the coefficents of $f(x)$ modulo $p$, where $p$ is prime, we get a polynomial $f^*(x) \in \mathbb{F}_p[x]$. Then if $f^*(x)$ is irreducible and has the same ...
18
votes
5answers
1k views

Every Function in a Finite Field is a Polynomial Function

From a bank of past master's exams I am going through: Let $F$ be a finite field. Show that any function from $F$ to $F$ is a polynomial function. I know that finite fields are fields of $p$ ...
16
votes
2answers
4k views

Number of monic irreducible polynomials of degree $p$ over finite fields

Suppose $F$ is a field s.t $\left|F\right|=q$. Take $p$ to be some prime. How many monic irreducible polynomials of degree $p$ can exist over $F$? Thanks!
16
votes
1answer
190 views

Can extending a finite ground field make modules isomorphic?

$\def\Hom{\mathrm{Hom}}$Let $k$ be a field, $A$ a $k$-algebra and let $M$ and $N$ be $A$-modules, finite dimensional over $k$. Let $K$ be an extension of $k$, so $A \otimes K$ is a $K$-algebra and $M ...
16
votes
1answer
206 views

Combinatorics in finite vector space

Let $q$ be a prime power and $V$ a finite $\mathbb F_q$-vector space with two subspaces $I$ and $J$. Let $k$, $a$ and $b$ be non-negative integers. Determine the number of subspaces $K$ of $V$ ...
15
votes
5answers
1k views

Do we really need polynomials (In contrast to polynomial functions)?

In the following I'm going to call a polynomial expression an element of a suitable algebraic structure (for example a ring, since it has an addition and a multiplication) that has the form ...
15
votes
1answer
117 views
+250

How many pairs of nilpotent, commuting matrices are there in $M_n(\mathbb{F}_q)$?

As a follow-up to this question, I've been doing some work counting pairs of commuting, nilpotent, $n\times n$ matrices over $\mathbb{F}_q$. So far, I believe that for $n=2$, there are $q^3+q^2-q$ ...
15
votes
2answers
473 views

Formula for number of solutions to $x^4+y^4=1$, from Ireland and Rosen #8.18.

There is a sequence of three exercise in Ireland and Rosen's Introduction to Modern Number Theory, Chapter 8, page 106. I can do the first two, but can't finish the third. I can include the proofs to ...
14
votes
3answers
1k views

Inner Product Spaces over Finite Fields

Inner product spaces are defined over a field $\mathbb{F}$ which is either $\mathbb{R}$ or $\mathbb{C}$. I want to know what happens if we try to define them over some finite field. Here's an ...
14
votes
1answer
284 views

A *finite* first order theory whose finite models are exactly the $\Bbb F_p$?

Since this question turned out to be trivial, I'm now asking this strengthened version: Is there a finitely axiomatized first order theory $T$ in the language of rings such that its finite models ...
13
votes
4answers
389 views

A field of order $32$

I was working on this problem from an old qual exam and here is the question. In particular this is not for homework. True or False: There are no fields of order 32. Justify your answer. ...
12
votes
1answer
369 views

Squarefree polynomials over finite fields

I'm trying to figure out how many squarefree polynomials there are of a fixed degree over $\mathbb{F}_2$ specifically (and in general, over any finite field). Looking at some low-degree examples seems ...
11
votes
2answers
478 views

Whats the probability a subset of an $\mathbb F_2$ vector space is a spanning set?

Let $V$ be an $n$-dimensional $\mathbb F_2$ vector space. Note that $V$ has $2^n$ elements and $\mathcal P(V)$ has $2^{2^n}$. I'm interested in the probability (under a uniform distribution) that an ...
11
votes
3answers
484 views

Why does rational trigonometry not work over a field of Characteristic 2?

I am interested in solving triangles in a finite field with a computer program. Rational trigonometry seems well suited to do this. However, the Wikipedia article, as well as several published ...
11
votes
1answer
231 views

clarification on Taylor's Formula

In Linear Algrebra form Hoffman and Kunze, the Taylor's Formula is stated as follows: Theorem 5. (Taylor's Formula) (page 129) Let $\mathbb{F}$ be a field of characteristic zero, $c\in \mathbb{F}$, ...
11
votes
1answer
152 views

Orientation on finite dimensional vector spaces over finite fields.

For finite-dimensional $\mathbb R$-vector spaces, we define an orientation to be an equivalence class of ordered bases, where $B_1 \sim B_2$ iff the change of basis matrix $A$ taking $B_{1}$ to ...
11
votes
1answer
311 views

Constructing a finite field

I'm looking for constructive ways to obtain finite fields, for any given size $q=p^n$. For example, I know it suffices to find an irreducible polynomial of degree $n$ over $\mathbb{Z}_p$ (and then ...
11
votes
0answers
115 views

What is the connection between Weil's character bound and Riemann Hypothesis over finite fields

Weil's character bound states that: Let $\mathbb{F}_{q}$ be a finite field of size $q$. Let $\chi$ be a multiplicative character of order $m$. Let $f(x)$ be a polynomial of degree $d$ such that $f(x) ...
11
votes
0answers
126 views

Ring structure on the Galois group of a finite field

Let $F$ be a finite field. There is an isomorphism of topological groups $(\mathrm{Gal}(\overline{F}/F),\circ) \cong (\widehat{\mathbb{Z}},+)$. It follows that the Galois group carries the structure ...
10
votes
4answers
278 views

Number of solutions of $x^2_1+\dots+x^2_n=0,$ $x_i\in \Bbb{F}_q.$

Let $\mathbb F$ be field with $q$ element and $\operatorname{char}(\mathbb F)\neq2$. I want to know about the number of solutions of this equation: $$x^2_1+x^2_2+\dots+x^2_n=0 \text{ where } x_i\in ...
10
votes
1answer
1k views

Order of finite fields is $p^n$

Let $F$ be a finite field. .How do I prove that the order of $F$ is always of order $p^n$ where $p$ is prime?
10
votes
1answer
697 views

On the order of elements of $GL(2,q)$?

There's a particular property of the elements of $GL(2,q)$, the general linear group of $n\times n$ matrices over a finite field of order $q$, that I don't understand. First, I know that the order of ...
10
votes
1answer
372 views

Probability of a random $n \times n$ matrix over $\mathbb F_2$ being nonsingular

Given a random square matrix of size $n\times n$ in the field $\mathbb F_2$, what is the probability that its determinant is $1$? (This is also the probability that the matrix is non-singular, since ...
10
votes
1answer
251 views

Is a field perfect iff the primitive element theorem holds for all extensions, and what about function fields

Let $L/K$ be a finite separable extension of fields. Then we have the primitive element theorem, i.e., there exists an $x$ in $L$ such that $L=K(x)$. In particular, the primitive element theorem ...
10
votes
2answers
277 views

Can A Decidable Theory Have Nonrecursive Models?

Tennenbaum's theorem proves neither addition nor multiplication can be recursive in any countable non-standard model of arithmetic. Tennenbaum's proof applies to theories much weaker than PA. ...
9
votes
3answers
1k views

Galois Group over Finite Field

I am having a bit of difficulty trying to answer the following question: What is the Galois group of $X^8-1$ over $\mathbb{F}_{11}$? So far I have factored $X^8-1$ as ...
9
votes
3answers
244 views

When is $\mathbb{F}_p[x]/(x^2-2)\simeq\mathbb{F}_p[x]/(x^2-3)$ for small primes?

I've been considering the rings $R_1=\mathbb{F}_p[x]/(x^2-2)$ and $R_2=\mathbb{F}_p[x]/(x^2-3)$, where $\mathbb{F}_p=\mathbb{Z}/(p)$. I'm trying to figure out if they're isomorphic (as rings I ...
9
votes
1answer
137 views

Proving $f = x^8+x^7+x^3+x+1$ to be irreducible over $\mathbf{F}_2$.

I am taking all the irreducible polynomials over $\mathbf{F}_2$ of degree 1 to 4 inclusive and using the long division to determine whether the given $f$ is divisible by anyone of them and it is not ...
9
votes
0answers
123 views

Subgroup structure of $\mathrm{SL}(2, p^2)$ and its irreducible characters

I am taking a course in representation theory of finite groups, and somehow I ended up getting assigned to write a report on subgroup structure and irreducible characters of $\mathrm{SL}(2,7)$ and ...
8
votes
5answers
1k views

Can you construct a field with 6 elements? [duplicate]

Possible Duplicate: Is there anything like GF(6)? Could someone tell me if you can build a field with 6 elements.
8
votes
5answers
275 views

Are there any other constructions of a finite field with characteristic $p$ except $\Bbb Z_p$?

I mean, $\Bbb Z_p$ is an instance of $\Bbb F_p$, I wonder if there are other ways to construct a field with characteristic $p$? Thanks a lot!
8
votes
4answers
561 views

Why is the product of all units of a finite field equal to $-1$?

Suppose $F=\{0,a_1,\dots,a_{q-1}\}$ is a finite field with $q=p^n$ elements. I'm curious, why is the product of all elements of $F^\ast$ equal to $-1$? I know that $F^\ast$ is cyclic, say generated by ...
8
votes
4answers
818 views

Explicit examples of infinitely many irreducible polynomials in k[x]

My question is the following. Is it possible to give examples of infinitely many irreducible polynomials in a polynomial ring $k[x]$ with $k$ a field? I'm interested in this because I'm ...
8
votes
2answers
152 views

Does there exist an elliptic curve $E$ such that $\#E(\Bbb{F}_{q^2})=(q+1)^2$ for all prime powers $q$?

The following (paraphrased) question is a homework exercise for a course on elliptic curves: Let $p\not\equiv1\pmod{12}$ be a prime number and let $q=p^k$. Show that there exists an elliptic curve ...
8
votes
3answers
255 views

Solve $x^3+x \equiv 1 \pmod p$

Find all the primes $p$ so that $$x^3+x \equiv 1 \pmod p \tag{1}$$ has integer solutions. We consider $x$ and $y$ are the same solutions iff $x\equiv y \pmod p.$ We can prove that $(1)$ cannot ...
8
votes
3answers
6k views

Addition and multiplication in a Galois Field

I am attempting to generate QR codes on an extremely limited embedded platform. Everything in the specification seems fairly straightforward except for generating the error correction codewords. I ...
8
votes
1answer
200 views

Is $\mathbb{Q}_p(\zeta_p)$ the same as $\mathbb{Q}_p(p^{\frac{1}{p-1}})$?

It seems so. $\mathbb{Q}_p(\zeta_p)$ is a $p-1^{th}$ extension of $\mathbb{Q}_p$ which doesn't extend the residue field; and so is $\mathbb{Q}_p(p^{\frac{1}{p-1}})$. However I can't see how to express ...
8
votes
3answers
319 views

Using Hensel's Lemma to Factor a Polynomial over $\mathbb{Z}_4[x]$

We recently learned about codes over $\mathbb{Z}_4$, and Hensel's Lemma. The lemma is as follows: Let $f(x) \in \mathbb{Z}_4[x]$. Suppose $\mu(f(x)) = h_1(x)h_2(x) \cdots h_k(x)$, where $h_1(x), ...
8
votes
2answers
282 views

Is there a geometric interpretation of $F_p,\ F_{p^n}$ and $\overline{F_p}?$

I have been doing some exercises about finite fields lately and I think I've obtained some understanding of what they are. What seems to be missing though is some kind of picture. Learning to work ...
8
votes
2answers
165 views

On irreducible factors of $x^{2^n}+x+1$ in $\mathbb Z_2[x]$

Prove that each irreducible factor of $f(x)=x^{2^n}+x+1$ in $\mathbb Z_2[x]$ has degree $k$, where $k\mid 2n$. Edit. I know I should somehow relate the question to an extension of $\mathbb Z_2$ of ...
8
votes
2answers
144 views

Principal divisors

How can i calculate the principal divisor $(f)$ where $$f = \frac{(x^{3}-1)}{(x^{4}-1)}$$ with $f\in\mathbb{F}_2(x)$. I am recently reading about the subject, so i am looking for a simple solution ...
8
votes
1answer
158 views

Kronecker-Weber Theorem and Finite Fields

Today it occurred to me that every algebraic extension of $\mathbb F_q$ is cyclotomic, as $\mathbb F_{q^n}$ can be gotten by adjoining a $(q^n-1)^{st}$ root of unity. Also, every algebraic extension ...
8
votes
1answer
58 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 ...
7
votes
6answers
361 views

Are all finite fields isomorphic to $\mathbb{F}_p$?

I've recently started taking some algebra courses and I was wondering whether or not every finite field is isomorphic to $\mathbb{F}_p$, where $p$ is prime.
7
votes
2answers
629 views

Is there anything like GF(6)?

Are there any galois fields which consist of product of two primes, as in GF(2*3) = GF(6)?
7
votes
4answers
419 views

Proving that these two fields $\mathbb Z_{11}[x]/〈 x^2+1〉$ and $\mathbb Z_{11}[x]/〈 x^2+x+4〉$ are isomorphic with $121$ elements each.

I have been stuck in this problem for some time now. Prove that $x^2+2$ and $x^2+x+4$ are irreducible over $\mathbb{Z}_{11}$. Also, prove further $\mathbb Z_{11}[x]/\langle x^2+1\rangle$ and ...
7
votes
2answers
1k views

Two finite fields with the same number of elements are isomorphic

Fraleigh(7ed) Theorem33.12. Let $p$ be a prime and let $n\in\mathbb{Z}^+$. If $E$ and $E'$ are fields of order $p^n$, then $E \simeq E'$. Proof in the text: Both $E$ and $E'$ have ...
7
votes
3answers
519 views

Intuition regarding Chevalley-Warning Theorem

Three versions of the theorem are stated on pages 1-2 in these notes by Pete L. Clark: http://math.uga.edu/~pete/4400ChevalleyWarning.pdf Could anyone offer some intuitive way to think about this ...
7
votes
2answers
242 views

Exponent of $GL(n,q)$.

Another exponent problem. $GL(n,q)$ is the group of invertible $n\times n$ matrices over the finite field $GF(q)$, where $q$ is a prime power. I am trying to figure out the exponent of this group. ...