What type of argument could be used to show there exists a field with a certain amount of elements, "x".

If your given the integers modulo 4 how can you show it is a field. Ive done the cayley table but how do you interpret that and show the properties of a field how true?