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)

31
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. ...
27
votes
2answers
2k 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 ...
20
votes
2answers
6k 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!
19
votes
5answers
2k 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$ ...
18
votes
1answer
205 views

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$ ...
17
votes
3answers
2k 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 ...
16
votes
1answer
202 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
250 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
2k 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
2answers
587 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 ...
15
votes
1answer
347 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 ...
15
votes
1answer
205 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) ...
14
votes
2answers
2k views

Proving the “freshman's dream”

$(x+y)^p = x^p + y^p$ holds in any field of characteristic $p$. However all the proofs I have seen use induction and some relatively nasty algebra despite how fundamental this fact seems. What is the ...
13
votes
4answers
456 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. ...
13
votes
2answers
783 views

Fields finitely generated as $\mathbb Z$-algebras are finite?

Suppose $k$ is a field that is finitely generated as a ${\mathbb Z}$-algebra. (That is, $k$ is a quotient of ${\mathbb Z}[X_1,\dots,X_n]$ for some $n$). Does it follow that $k$ is finite?
12
votes
3answers
2k 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?
12
votes
2answers
112 views

What is known about the numbers $M_p = \left\vert C(\mathbb{F}_p )\right\vert$?

There is a question (2.4.c) marked ** (to denote "extremely difficult/currently open problem") in Silverman and Tate's Rational Points on Elliptic Curves which I found really interesting and wondered ...
12
votes
1answer
468 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 ...
12
votes
3answers
819 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 ...
12
votes
1answer
935 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 ...
12
votes
1answer
283 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 ...
12
votes
1answer
250 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
2answers
535 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
1answer
452 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 ...
11
votes
2answers
338 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 ...
11
votes
1answer
370 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
1answer
197 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
2answers
310 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. ...
11
votes
0answers
189 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
5answers
2k 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.
10
votes
4answers
2k views

Do finite algebraically closed fields exist?

Let $K$ be an algebraically closed field ($\operatorname{char}K=p$). Denote $${\mathbb F}_{p^n}=\{x\in K\mid x^{p^n}-x=0\}.$$ It's easy to prove that ${\mathbb F}_{p^n}$ consists of exactly $p^n$ ...
10
votes
3answers
9k 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 ...
10
votes
4answers
291 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
3answers
268 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 ...
10
votes
1answer
351 views

Discrete logarithm tables for the fields $\Bbb{F}_8$ and $\Bbb{F}_{16}$.

The smallest non-trivial finite field of characteristic two is $$ \Bbb{F}_4=\{0,1,\beta,\beta+1=\beta^2\}, $$ where $\beta$ and $\beta+1$ are primitive cubic roots of unity, and zeros of the ...
10
votes
4answers
654 views

Visualising finite fields

I'm interested in finding visual and/or physical approaches to understanding finite fields. I know of a few: V. I. Arnold has a few pictures of 'finite circles' and 'finite tori' in his book Dynamics, ...
10
votes
0answers
149 views

On the maximum number of polynomials in a certain subspace

I've already asked this question on mathoverflow, but no one answered. So I put this problem also here. Sorry for that. Let $\mathbb F_q$ be a finite field and let $e, k$ be positive integers with ...
10
votes
0answers
166 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 ...
9
votes
3answers
2k 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
2answers
6k views

Reed Solomon Polynomial Generator

I am developing a sample program to generate a 2D Barcode. And i am using reed solomon error correction code. By Going through this article i am developing the program. But i couldn't understand how ...
9
votes
3answers
7k views

Find all irreducible monic polynomials in $\mathbb{Z}/(2)[x]$ with degree equal or less than 5

Find all irreducible monic polynomials in $\mathbb{Z}/(2)[x]$ with degree equal or less than $5$. This is what I tried: It's evident that $x,x+1$ are irreducible. Then, use these to find all ...
9
votes
2answers
401 views

Derivations of Polynomial Algebra

Let $A=\mathbb{F}_p[x,y]$, the commutative polynomial algebra on two variables over the finite field $\mathbb{F}_p$. Define a derivation on an algebra as a map which satisfies the Leibniz rule, ie if ...
9
votes
2answers
2k views

reducible polynomial modulo every prime

how to show that $x^4+1$ is irreducible in $\mathbb Z[x]$ but it is reducible modulo every prime $p$. For example i know that $\mod 2 $, $x^4+1=(x+1)^4$ . Also $\mod 3$,we have that $0,1,2$ are not ...
9
votes
1answer
243 views

Error correction code handling deletions and insertions

I have data which is expressed in form of fixed-length sequence of decimal digits, typically 10 digits in length. I'm looking for error correction code that would allow me to append one or more ...
8
votes
5answers
595 views

Can the integers be made into a vector space over any Finite Field?

Given a Finite Field $F$, can the the abelian group $\mathbb Z$ be made into a vector space over $F$ without changing the additive structure of $\mathbb Z$? This seems like it shouldn't be ...
8
votes
5answers
308 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
829 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
3answers
646 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 ...
8
votes
2answers
2k 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 ...
8
votes
3answers
296 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 ...