Finite fields are important mathematical structures, taking the learner from the familiar realm of congruence arithmetic to algebraic number theory territory, and providing new tools for mathematical physics and cryptography, for example.
We aim to highlight a pedagogical tool for the introduction of higher dimensional finite fields, which balances the traditional “axiomatic”, top-down approach of Abstract Algebra, with a constructive, yet intuitive approach, using what we call lattice models.
The “standard” way in an Abstract Algebra course of introducing such higher dimensional finite fields, is to extends the primary finite field , as a quotient of a polynomial ring (e.g. MIT Modern Algebra Course,  , Ch. 6 etc.). The lattice model approach extends the lattice of integers first, to place it in the context of complex numbers, followed by the quotient modulo a prime. In this way it mimics the elementary case of primary finite fields , providing also a geometric intuition accompanied by the corresponding analytic-topologic tools available.
Remark Before comparing the two approaches, let us note that specialization (everywhere!) led to a fragmentation of the mathematical curriculum too, while the number of course a student may take remained essentially the same. This led teachers and researchers alike to advocate the need for a reintegration of Mathematics in various ways, for example in combination with teaching History of Mathematics (historical motivations)  , Preface 1st ed., p.121: “One of the disappointments experienced by most mathematics students is that they never get a course on mathematics”. As a more modest goal of our paper, we believe that providing bridges between usually curricular separated ares in Mathematics, provides a “better circulation” of the underlying knowledge, and provides the student with more thinking power (links/synapses). The current tendency in Mathematics, and in fact in in general, is analytical specialization (well justified by the exponential growth of knowledge); there is a need for compensatory synthetic integration of symbiotic topics, supporting one another.
Comparing with the concept of group, the “abstract way” is to define the algebraic structure with one binary operation, and then derive their properties from “axioms”, perhaps too soon, before the student has enough examples to develop the “feeling” and intuition of what they are. The two dual, symbiotic types of groups, are the non-commutative groups of transformations, which always act on some space, and those we call Abelian, which in fact are “discrete vector spaces” on which the first kind act upon. The “unified” approach through generalization and abstraction has its price: treating alike the two becomes the norm, and the differences in interpretation neglected.
In this modern algebraic way of introducing algebraic structures abstractly, through general definitions, and then quickly deriving their properties, one would immediately ask the question of existence and uniqueness. The latter can be addressed in complete generality, without even knowing if they exist. Existence is proven, of course, by constructing finite fields explicitly.
For primary finite fields , in characteristic p, this is easy: the well known Abelian groups , taught while doing congruence arithmetic, or rather viewed as rings , are easily shown to be fields, when is a prime number; but the other high dimensional finite fields are are harder to construct, and the “future algebraist”, the student, learns by heart the recipes for constructing field extensions.
Pedagogically, examples should be provided first, worked with them to the point the student begins to like them, and then “frame them” in the appropriate axiomatic context.
The lattice models of finite field presented in this paper represent construc- tion of , generalizing the above simple case of wrapping the 1-dimensional lattice Z, with period corresponding to the prime ideal . By using higher dimensional lattice, instead of the standard adjunction of “roots” construction, we provide a geometric interpretation, with a corresponding graphical represen- tation which brings geometry up-front, to enjoy and play with ... if time allows it!
Of course, there is a price to pay: some new number systems need to be introduced along the way, still extensions using the standard algebraic construc- tion, but so important that they need to be made well known well before the theory of finite fields takes off: Gaussian and Eisenstein integers   , and their generalizations (cyclotomic extensions).
And yet here again, one can borrow the geometric interpretation of complex numbers as representing 2D-rotations, and still provide enough geometric intuition, to overcome the abstract “magical act” of adjoining new symbols; at least this is the opinion of one of the authors.
The article is organized as follows. The next section §0, introduces finite fields abstractedly, as in most textbooks of abstract algebra. Section §0 constructs finite fields as congruence rings of integers in number fields (algebraic extensions of the rationals). The geometric interpretation is emphasized. We conclude §0 discussing briefly some important topics at hand, like Frobenius elements and Weil zeros.
We will recall the basic facts about finite fields, as introduced in most standard texts of abstract algebra. To keep it self-contained, and simple, we use a brief presentation available on the web  . See  for additional theoretical details and  for a computational approach.
Definition 2.1 A finite field is a field which is finite!
The additive order of the unit is called the characteristic of the finite field. It is always a prime p. For example has characteristic .
Recalling some basic properties are in order.
Proposition 2.1 A finite field F of characteristic p has elements. It is a vector space of dimension n over the primary field : .
Theorem 1 (i) (Existence and Uniqueness) For each p and n there exists a finite field of characteristic p with elements.
(ii) Two such finite fields with the same number of elements are isomorphic.
It is therefore natural to denote a generic finite field as , with , as if it is a specific one. By abuse of notation, yet well justified by the uniqueness modulo isomorphism, we write , without further comments (LHS is a “any” finite field of characteristic p, while the RHS is the preferred, specific construction of one such field).
The “standard” way to construct higher dimensional finite fields with a given number of elements , and of course prescribed characteristic p, uses the standard algebraic construction of field extensions via polynomial rings and their quotients by ideal generated by irreducible polynomials.
We reproduce here the Example 1.88, from  , p. 34.
Example 2.1 Let the prime field be . As an example of the formal process of root adjunction, consider the irreducible polynomial . Let be a “root” of f; that is, is the residue class in . The other root of f in L is , since
We obtain the algebraic extension consisting of the nine elements , i.e. an instance of .
3. What Are Number Fields?
The algebraic structure we call field was first introduced by Dedekind  (  , Ch. 12). The usual number systems Q, R and C are the traditional examples of fields. When solving algebraic equations defined by polynomials, we are “forced” to extend our number system, and adjoin formal roots of polynomials as new “numbers”. We can treat these either as new symbols, and construct the new number system, for example , as real linear com- binations of 1 and the symbol i subject to the relation , or more formally, in the abstract (algebra), as quotients of polynomials modulo the ideal generated by the polynomial defining the relation:
Here denotes the congruence class of X modulo the ideal, satisfying the required relation: (since ).
We will call this construction the standard algebraic construction of a field extension.
Now “integers” play a central role in arithmetic, in various rings, and they satisfy the structure of lattices. Initially we may call “integers” the subring of a field extension which emerges as a corresponding field of fractions, but field extensions require more care when defining the concept of algebraic integer of a field extension.
Definition 3.1 A latice is a Z-submodule of a ring.
In particular a lattice is a finitely generated abelian group, and can be interpreted and visualized as a “discrete (finite dimensional) vector space” (by abuse of language, when there are still relations among generators).
Two good examples of such lattices of algebraic integers are the Gaussian integers and Eisenstein integers   .
3.1. Gaussian Integers
Complex numbers are a familiar example of field extension of the reals. To keep the theory algebraic, and to investigate it from an arithmetic point of view, neglect the Cauchy reals as non-realistic numbers  , and consider the quadratic extension over the rationals Q. Even better, since these fields are fields of fractions, focus on the extension of integers: 2.
The ring is called the ring of Gaussian integers. The rational primes p may factor in this larger arithmetic number system:
The prime 2 is special, and “ramifies” as 3.
splits into a product of conjugate primes, for example ;
is inert, i.e. it remains a prime in ; for example .
For more facts about Gaussian integers see  . For a more technical account, including relations to Galois theory, see  .
3.2. Eisenstein Integers
Similarly, taking a cubic root of unity instead of the 4-th root of unity i, we obtain the Eisenstein integers , with its own primes and classes of rational primes ramifying ( ), and splitting or being inert, according to a similar condition , but this time modulo 3. Alternatively, one may look at the analog of Fermat’s Two Squares Theorem, about representing primes , except this time we use a different quadratic form (norm): , instead of the usual one in .
For more details, see  .
3.3. From Number Fields to Finite Fields
Now the idea for constructing higher dimensional finite fields, is to consider the congruence rings of algebraic integers, modulo a prime, the obvious analog of the construction of primary finite fields .
As a quick example, yields , while .
Besides being a more natural construction, it provides the geometric back- ground for a better understanding of finite fields as Klein geometries (Galois fields)4.
4. Lattice Models: The “Geometric Way”
We will proceed by way of example. Recall that the primary fields can be constructed as ing quotients , where p is a prime number, the charac- teristic. geometrically, Z can be viewed as a 1-dimensional lattice, or as an infinite oriented graph5.
The prime p defines a period, and the covering map is a discrete geometric analog of the familiar covering map of the circle , sometimes used to define angles, sine and cosine. Algebraically, is a group (ring) homomorphism: the quotient map of the ring Z by the ideal .
Now let’s consider a 2D-example: the Gaussian integers, as a lattice, modulo a prime ideal .
Since is a principal ideal domain (PID), we need only consider with Gaussian prime “sitting” over a rational prime p: .
For example is a Gaussian prime over 5, completely splitting it: . Recall that other rational primes of the form are inert, i.e. are Gaussian primes too and .
There is also the special case of the ramified prime 26, which factors with multiplicity:  ).
Remark The factorization may also be written in an initially misleading way as , but and its conjugate are the “same” prime, modulo a unit .
Consider the same algebraic quotient map . Since is prime, the quotient ring is a field of characteristic p, i.e. . The norm gives the dimension .
Excepting the case of the ramified prime , we have the following two cases. For inert (rational) primes , is the only prime over p, and ; otherwise splits and .
Example 4.1 Let and . Then is a lattice model of (the abstract finite field with 5 elements). We can see its canonical residue classes as the Gaussian integers in the fundamental region of the lattice , for example with non-negative integers, such that (again considering the projection on the integers).
Another example of lattice model, providing an alternative construction to the “standard” algebraic extension from Example 0.1, is the following.
Example 4.2 Consider again as a quadratic extension and the rational inert prime. Then the quotient lattice has elements, representing the finite field .
5. Applications to Weil Zeros
There are several topics of Algebraic Number Theory which may benefit from the introduction of finite fields as quotients of lattices of algebraic integers:
a) Ramification Theory, in the context of Galois Theory of such extensions;
b) The Frobenius element, as a generator of the Galois group of the corresponding extensions, controlling the factorization of prime ideals in extensions of number fields;
c) Quadratic Reciprocity using the connection between the Frobenius element and Legendre symbol in congruence rings of number fields; finally,
d) Applications to Weil Conjectures, and notably to the finite characteristic Riemann Hypothesis via the characteristic polynomial of a lift of the Frobenius element, having eigenvalues the Weil zeros of the Weil polynomial, i.e. the reciprocal of the numerator of the Hasse-Weil Congruence Zeta Function  .
The first three applications are essentially described in  . In this article we will focus on this later important application to Algebraic Geometry, which can be accessed relatively easily, in a computational oriented way, using for example SAGE as a mathematical software. In this brief note, we will only point the way. For an exposition, see the classical texts, for example   ; additional explanations and computations can be found in the lecture notes of the first author  .
5.1. Solving Algebraic Equations over Finite Fields
Quadratic equations were studied since ancient times, e.g. Appolonius’ theory of conic sections. Replacing the usual number system with finite fields places the problem in the context of Algebraic Geometry.
Following  , Ch. 8, consider the solution of the equation over the finite field with elements. It is an algebraic affine curve of degree d. Denote the corresponding number of elements , and the associated congruence zeta function7
where is called the genus of the curve, and are algebraic numbers we will call the Weil zeros of the Frobenius polynomial 8. We will not go in depth explaining the terminology, and just use it to exemplify the relation with factorization of primes and lattice models of finite fields.
Example 0.4 The cubic ( ) curve , is an elliptic curve of genus , which should be pictured topologically (over complex numbers) as a torus (when completed with the point at infinity: the projective curve).
Regarding the fixed prime p, whether has m-roots of unity or not decides the form of and . In what follows we will assume , i.e. has m-roots of unity9 Then is a quadratic polynomial and the number of affine points is , where denotes complex conjugation  , Ch. 18§2, p. 302 (where the +1 stands for the point at infinity; see also  , p. 292).
Remark Later we will see how Weil zeros are related to Gauss and Jacobi sums, which are valued in the cyclotomic numbers of roots of unity of order and respectively, if is a prime.
Part of Weil Conjectures  is that , i.e. the Riemann Hypothesis holds in finite characteristic  . Moreover, introducing the defect , .
Remark The coefficients of the Betti polynomial are related to Weil zeros as a consequence of a deeper connection with the characteristic polynomial of the Frobenius element : , .
Example 5.2 The elliptic curve  , p. 306, has , where the Weil zeros split the prime in the cyclotomic extension of Eisenstein integers (assuming ). In terms of primary primes , (associated to ), we have  , Th. 4, p. 305 (affine points; with ):
As a concrete example take .
If then is a primitive prime, and together with split p:
Since , the Weil zero is , associated to (Units: ).
Now the number of affine (finite) points in is:
consistent with a direct check and counting argument:
Example 5.3 As another example consider and . Note that is primary and splits p:
From the above formula we obtain the number of points (  , p. 8)10:
Then and Weil zeros are and its conjugate:
Remark One may use SAGE (recently renamed as CoCalc)  to conve- niently compute Dirichlet characters (like above), and Jacobi sums, which are instrumental in computing the number of points.
Well, what does this problem of counting the number of solutions, with its associated congruence zeta function, have to do with lattice models of finite fields!? For this we need to recall some facts about the Galois group of an extension, and the relation with the Frobenius element, which will turn out to be present as the numerator of the zeta function.
5.2. Frobenius Element
Following  , consider a number field extension which is Galois, and how a rational prime p decomposes in it, with such a prime factor (assuming a principal ideal domain case for simplicity). Then the Galois group of the number field extension is related to the Galois extension of the corresponding (lattice models of) finite fields:
where , the decomposition group consists in Galois automorphisms preserving the ideal generated by , each of its elements therefore inducing an automorphism of the corresponding finite fields extension , in a surjective manner. The kernel of this projection, the inertia group, will not be used in what follows.
If p is unramified, then the kernel (the inertia group) is trivial, and the above surjection becomes an isomorphism. Then one can “pull-back” the Frobenius automorphism of , where we recall that and are lattice models of finite fields constructed in number fields viewed (embedded) as subfields of the complex numbers.
Definition 5.1 In the context above ( prime in over the unramified rational prime p), the Frobenius element is the unique Galois automorphism which induces the Frobenius automorphism in the finite field extension , of lattice models.
At this stage the Frobenius elements may depend on the choice of prime over p. But these Frobenius elements are conjugate to each other, so if the Galois group is Abelian, then the Frobenius element is unique, and will be denoted by .
Example 5.4 Consider , with i a forth root of unity, and its Gaussian integers . The only ramified prime is 2; otherwise , or course, splits, or is inert.
The decomposition group is trivial in the split and ramified cases, and equals (multiplicative group ) otherwise.
Thus the Frobenius element is 1 when and otherwise, i.e.
is given by the Legendre symbol (the unique multiplicative
character of order 2).
Alternatively, we can compute the lift to of the Frobenius , from the “abstract” setup, using our lattice model, to the ring of algebraic integers11:
Since “on the nose”, i.e. not just , we conclude that the
lift has the following closed formula in terms of the multiplicative quadratic residue character :
The last form was written in terms of the generator of G, here complex conjugation.
Example 5.5 The above example can be generalized to quadratic extensions , where d is square free (  , p. 3). The Frobenius element, in , is , so that , i.e. as before.
Example 5.6 In the cyclotomic case , the primes that ramify are those which divide n. The Galois group is isomorphic to the multiplicative group of roots of unity, and therefore isomorphic to , with a Galois element , with relatively prime to n.
In the non-ramified case , the Frobenius element is, again as expected:
As another quadratic extension example, consider , corresponding to a cubic root of unity , and its Eisenstien integers . Then the corresponding Frobenius element is, similarly to the Gaussian integers case:
Remark At this stage, one may further look into the correspondence between how the prime p factors into , and how the primitive polynomial , of factors in , reflecting the commutativity of the diamond diagram from the introduction.
It is conceptually important to piece together these Frobenius elements as a map depending on the prime p, called the Artin map: 12. For cyclotomic extensions, If we identify the Galois group with , then the Artin map is simply the “identity” map:
For example, with and p an odd prime, the Galois group is generated by conjugation , since , and as an
element of . This is essentially the Legendre symbol , when identifying
with the 4-th roots of unity, via exponentiation (the Galois group identifi- cation).
Once we know the Frobenius element, its characteristic polynomial can be computed easily:
For example, in the cyclotomic setup, with (Gaussian integers), the matrix of in the basis is:
and the characteristic polynomials are, respectively:
Similarly, for a quadratic extension, for example (Eisenstein integers), the matrices of the Frobenius elements and , and their matrices are essentially the same (but computed in a different basis ).
Now let’s see how the Frobenius element, or rather its lift and the corre- sponding characteristic polynomial is related to the Hasse-Weil congruence zeta function.
5.3. Weil Zeros and Jacobi Sums
We will only document the facts with an example, following     , and leave the general case for a separate study.
Let define an elliptic curve over . Since the RHS of its defining equation , splits in , we will work with Gaussian integers in the number fields side of the “picture”.
For , the prime is inert in , which corresponds to the factor being irreducible in and the Frobenius element complex conjugation.
Theorem 5,  , p. 307, with , yields the number of projective points13, according to the type of prime:
where is a primary prime splitting p and is a character of order 4.
We will focus on the split case (Ramification Theory parameters: , , ).
To have a “nice” description of the lift of Frobenius on C preserving our curve, and not some “deformation” of identity (the Frobenius element)  , p. 10, we use Weierstrass coordinates. The elliptic curve is then the quotient of by our lattice of (Gaussian) algebraic integers:
where here . Then the Frobenius lift is multiplication by some lattice element   .
Remark Alternatively, we could lift the Frobenius to the p-adic completion, and taking advantage of Hasse principle for finding the above “perturbations” and .
If the curve is defined by a polynomial in the powers of the variables (Weil curves), e.g. Riemann surfaces (  p. 292) and Fermat curves (   ), then Jacobi sums provide a powerful tool to compute the number of points.
Then , with the defect given by the Jacobi sum , which also yields the Weill zeros of the (reciprocal of) “Betti polynomial”14:
Then is primary  and our lift of Frobenius is given by , conform with  , with and (Riemann Hypothesis, part of the Weil Conjectures; see also  , Lecture #8, Hasse’s Theorem):
Rewriting the number of points as in  , and the Weil zero as , one may interpret the “Betti coefficient” via a comparison with the Jacobi sum, as phase of the 2-cocycle of the Fourier coefficients of the Dirichlet characters (Gauss sums)... but this is another story!
Remark A similar discussion applies to our previous example of elliptic curve (  , p. 304;  , p. 7), with Eisenstein integers replacing Gaussian integers.
Remark For higher dimensional extensions , needed when the genus of the curve excedes , can be implemented via cyclotomic extensions , such that the dimension factors as with is the order of multiplication by p in and g the ramification genus of the prime p.
6. Conclusions and Further Developments
There are various styles of teaching (and designing) Abstract Algebra. We attempted to plead that, in the case of finite fields, the abstract approach to the introduction of the algebraic structure (“axiomatic”/top-down design), can be supplemented by the specific construction we call lattice models, which in- troduces the number fields first, as more “familiar” to the student used to solve polynomial equations, and presenting as a congruence ring, in perfect analogy to the way we introduce the primary finite fields .
6.1. Motivation, Goals and Contributions
One motivation of this article for emphasizing lattice models of finite fields is the need for a pedagogical introduction to finite fields as part of an Abstract Algebra course, with strong ties with number fields (“number systems” in their natural habitat of complex numbers), with best results after covering Galois Theory, of course. As mentioned in the introduction, a discussion of the residue fields in the context of decomposition of primes in algebraic number fields, implies a long wait in providing such concrete examples of extensions of finite fields  . Bridging mathematical topics in general, is a much needed way to balance specialization  , p. 12.
In our case at hand, the bonus is some extra intuition, but more importantly, a rich geometric framework for bridging and interpreting other abstract algebra concepts, like Galois Groups, Frobenius elements, paving the road towards understanding General Reciprocity Laws the “right way”  .
The second goal, which in fact started the current project, was to provide a direct approach to Weil Conjectures, to be understood not in their natural “habitat” of abstract Algebraic Geometry, but in the more geometric and topological context of complex manifolds, by using lattice models of finite fields. Then the Frobenius element of the number can be related to a Frobenius lift of the Frobenius automorphism. Then the numerator of the Weil Congruence zeta function is the characteristic polynomial of the lift of the Frobenius element, allowing to count numbers of solutions without the use of a Weil cohomology (e.g. Grothendieck’s approach via l-adic cohomology).
Our main contribution in this open effort for bridging the modern abstract (“axiomatic”) exposition of finite fields and traditional concrete, by example, approach using the familiar “number systems”, is the emphasis on the concrete examples of finite fields we call lattice models, with the early benefit of learning of how primes decompose: Ramification Theory. As a “bonus”, as mentioned before, this bridge may constitute a shortcut to understanding Frobenius lifts, via Frobenius elements, in a more familiar context, towards understanding more advanced topics like congruence zeta function and Weil Conjectures, without having to “cross-over” to p-adic analysis and etale cohomology.
Regarding other studies in this direction, we noticed only highly specialized articles and presentations, either focusing on ramification theory, or in attempting the construction of a lift of Frobenius directly, by not so accessible to students  . This provided additional motivation for starting this project.
6.2. Towards Other Applications: Algebraic Topology/Geometry
Once “in motion”, if one wishes, Lefshetz formula, as well as algebraic topology/ geometry technics, such as Riemann-Roch/Hurwitz Th., may be used on this characteristic zero “side” of number fields and lattice models of finite fields, in the natural and familiar framework of the complex numbers. This direction of continuing the combined study of finite fields in concrete applications to Algebraic Topology and Algebraic geometry, benefitting even more from an intuitive understanding via graphical representations, will be the subject of future faculty-student research projects.
On the concrete complementary side, SAGE/CoCalc programs  were specifically designed to allow for computer explorations of the presented topics of Algebraic Number Theory  , which, in our opinion, constitute interesting studies, accessible for undergraduate research. Further programs for represen- ting graphically the corresponding lattices, Frobenius orbits etc., are envisaged as further developments, with student help.
Appendix. SAGE/CoCalc Programs
Programs for computing the Weil zeros of are available from  . They can be easily adapted to other cases, for example to Riemann Surfaces or Fermat Curves. The programs can also be used to compute Jacobi sums, and for other Algebraic Number Theory studies using technology.
Submit or recommend next manuscript to SCIRP and we will provide best service for you:
Accepting pre-submission inquiries through Email, Facebook, LinkedIn, Twitter, etc.
A wide selection of journals (inclusive of 9 subjects, more than 200 journals)
Providing 24-hour high-quality service
User-friendly online submission system
Fair and swift peer-review system
Efficient typesetting and proofreading procedure
Display of the result of downloads and visits, as well as the number of cited articles
Maximum dissemination of your research work
Submit your manuscript at: http://papersubmission.scirp.org/
Or contact firstname.lastname@example.org
1We further invite the reader to see the whole first paragraph.
2In general the extension of integers might not coincide with the algebraic integers of the corresponding field extension.
3Recall that we have more units here: .
4...not to mention the connection with Galois Theory, splitting polynomials and Frobenius elements.
5The interested reader may lookup partial ordered set, POSet for short, too, as a generalization.
6Divides the discriminant of the quadratic extension .
7Conform Weil Conjectures/Deligne Theorem.
8 are reciprocal of the zeros of the “Frobenius polynomial” .
9Cauchy Theorem for the multiplicative group
10We need Jacobi sums for this: see §5.3.
11It is enough to consider the extension of Z, and not the full algebraic closure in , which incidenltally, here coincide.
12In a more general setup  , Ch. 5, is called the Artin symbol.
13The +1 stands for the point at infinity.
14The numerator of the Zeta function is a local L-function having a cohomological interpretation.
 Wildberger, N.J. (1999) Real Fish, Real Numbers, Real Jobs. The Mathematical Intelligencer, 21, 4-7.
 Sutherland, A. (2015) 18.783 Elliptic Curves. Massachusetts Institute of Technology: MIT Open Course Ware. Spring.