Galois Field/Examples/Order 4

From ProofWiki
Jump to navigation Jump to search

Example of Galois Field

The algebraic structure $\struct {F, +, \times}$ defined by the following Cayley tables is a Galois field:

$\begin{array} {c|cccc} + & 0 & 1 & a & b \\ \hline 0 & 0 & 1 & a & b \\ 1 & 1 & 0 & b & a \\ a & a & b & 0 & 1 \\ b & b & a & 1 & 0 \\ \end{array} \qquad \begin{array} {c|cccc} \times & 0 & 1 & a & b \\ \hline 0 & 0 & 0 & 0 & 0 \\ 1 & 0 & 1 & a & b \\ a & 0 & a & b & 1 \\ b & 0 & b & 1 & a \\ \end{array}$


Proof

From Field with 4 Elements has only Order 2 Elements we have that a Galois field of order $4$, if it exists, must have this structure:

$\struct {F, +}$ is the Klein $4$-group
$\struct {F^*, \times}$ is the cyclic group of order $3$.


We have that $4 = 2^2$, and $2$ is prime.

From Galois Field of Order q Exists iff q is Prime Power, there exists at least one Galois field of order $4$.

As $\struct {F^*, \times}$ is the only such algebraic structure that can be a Galois field, it follows that $\struct {F^*, \times}$ must be a Galois field.

$\blacksquare$


Sources