maths.free › Abstract Algebra › Finite Fields › Structure of a Finite Field

Structure of a Finite Field

Recall that a field F has characteristic p if p is the smallest positive integer such that for every nonzero element \alpha in F, we have p \alpha = 0. If no such integer exists, then F has characteristic 0.

Structure of a Finite Field

Recall that a field \(F\) has characteristic \(p\) if \(p\) is the smallest positive integer such that for every nonzero element \(\alpha\) in \(F\), we have \(p \alpha = 0\). If no such integer exists, then \(F\) has characteristic \(0\). From we know that \(p\) must be prime. Suppose that \(F\) is a finite field with \(n\) elements. Then \(n \alpha = 0\) for all \(\alpha\) in \(F\). Consequently, the characteristic of \(F\) must be \(p\), where \(p\) is a prime dividing \(n\). This discussion is summarized in the following proposition.

Throughout this chapter we will assume that \(p\) is a prime number unless otherwise stated.

Proposition

If \(F\) is a finite field of characteristic \(p\), then the order of \(F\) is \(p^n\) for some \(n \in {\mathbb N}\).

Proof

Let \(\phi : {\mathbb Z} \rightarrow F\) be the ring homomorphism defined by \(\phi(n) = n \cdot 1\). Since the characteristic of \(F\) is \(p\), the kernel of \(\phi\) must be \(p {\mathbb Z}\) and the image of \(\phi\) must be a subfield of \(F\) isomorphic to \({\mathbb Z}_p\). We will denote this subfield by \(K\). Since \(F\) is a finite field, it must be a finite extension of \(K\) and, therefore, an algebraic extension of \(K\). Suppose that \([F : K] = n\) is the dimension of \(F\), where \(F\) is a \(K\) vector space. There must exist elements \(\alpha_1, \ldots, \alpha_n \in F\) such that any element \(\alpha\) in \(F\) can be written uniquely in the form \[\begin{aligned}\end{aligned}\], where the \(a_i\)'s are in \(K\). Since there are \(p\) elements in \(K\), there are \(p^n\) possible linear combinations of the \(\alpha_i\)'s. Therefore, the order of \(F\) must be \(p^n\).

Let \(F\) be a field. A polynomial \(f(x) \in F[x]\) of degree \(n\) is separable if it has \(n\) distinct roots in the splitting field of \(f(x)\); that is, \(f(x)\) is separable when it factors into distinct linear factors over the splitting field of \(f\). An extension \(E\) of \(F\) is a separable extension of \(F\) if every element in \(E\) is the root of a separable polynomial in \(F[x]\).

The unique finite field with \(p^n\) elements is called the Galois field of order \(p^n\). We will denote this field by \(\gf(p^n)\). \(\gf(p^n)\) Galois field of order \(p^n\)

Condensed: the full section is in Judson, Abstract Algebra: Theory and Applications.

ಈಗ ನೀವು ಯಾವುದೇ ಕ್ಯಾಲುಕೇಂಟ್ ಇದನ್ನು ಸಚೇತಗೊಳಿಸುವುದಿಲ್ಲ, ಆದರೆ ಅದರ ತುಂಡುಗಳು ಸಹಕಾರಿಯಾಗುತ್ತವೆ. ಕೆಳಗೆ ಯಾವುದನ್ನು ಪ್ರಯತ್ನಿಸಿ ಅಥವಾ ನಿಮ್ಮದನ್ನು ಟೈಪಿಸಿ.

ನಿಮ್ಮ ಸ್ವಂತ ಕೆಲಸವನ್ನು ಪೂರೈಸಿ

A free account adds notes on every lesson, a record of what you have finished, your solved problems in one place, and a tutor you can ask about this page. The maths itself is open to everyone, signed in or not.

ಮೇಲೆ ಗುರುತು ಹಾಕು ಪ್ರವೇಶ (ಲಾಗಿನ್)

ಇಲ್ಲಿ ಬಳಸಲಾದ ಸಂಕೇತಗಳು

ಈ ವಚನದಲ್ಲಿ ಬಳಸಲಾಗಿರುವ ಗ್ರೀಕ್‌ ಪದವು, ಚಿತ್ರ ಮತ್ತು ಚಿತ್ರಗಳನ್ನು ನೀವು ಸುಲಭವಾಗಿ ಅರ್ಥಮಾಡಿಕೊಳ್ಳಲು ಸಹಾಯ ಮಾಡುತ್ತದೆ.

ಜನರು ಕೇಳುವುದು

What is a group, in plain words?

A set with one operation that is associative, has an identity, and lets every element be undone. Symmetries of any object form a group. That is where the idea came from.

What is the difference between a ring and a field?

A ring has addition and multiplication that behave like the integers (you cannot always divide); a field is a ring where every non-zero element has a reciprocal, like the rationals or the reals.

ಈ ಪುಟದ ಭಾಗಗಳು ಹೊಂದಿಕೆಯಾಗಿ ಮಾಡಲ್ಪಡುತ್ತವೆ Judson, Abstract Algebra: Theory and Applications (GFDL 1.3). ಇಲ್ಲಿ ಕೊರೆದು ಪುನಃ ಮರುಕಳಿಸಲಾಗಿದೆ; ದೋಷಗಳು ನಮ್ಮದಾಗಿವೆ.

ಇನ್ನಷ್ಟು Abstract Algebra

Groups Subgroups, cosets and Lagrange's theorem Cyclic groups and permutation groups Homomorphisms, normal subgroups and quotient groups Rings and fields Galois theory: why the quintic has no formula