Field:F2

Definition
This field, denoted $$F_2$$ or $$GF(2)$$, is the unique field (up to isomorphism) of two elements.

Facts

 * For any natural number $$n$$, the projective general linear group, projective special linear group, special linear group, and general linear group are all the same.

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

GF(2)

It can also be defined as a ring using GAP's ZmodnZ function as:

ZmodnZ(2)