Field:F9

Definition
This is the unique field (up to isomorphism) of nine elements. It can be defined as:

$$F_3[x]/(x^2 + 1)$$

where $$F_3$$ is the field of three elements.

GAP implementation
This field can be defined using GAP's GF function:

GF(9)