Classifying Quadratic Forms Over in Four Variables

Quadratic forms in four variables over the field \mathbb{Z}2 are sorted first of all with respect to permutation symmetry. Thereafter it is shown that any such form is equivalent to one of seven such canonical forms. The orthogonal group of each one of these seven forms is obtained. The paper closes with some remarks about quadratic forms in three variables.