Field/Two elements/Example
Appearance
We are trying to find the structure of a field on the set . If is supposed to be the neutral element of the addition and the neutral element of the multiplication, then everything is already determined: The equation must hold since has an inverse element with respect to the addition, and since holds, due to fact (1). Hence, the operation tables look like
and
With some tedious computations, one can check that this is indeed a field.