For a prime , let be the set of all equivalence classes of the relation defined by:
Prove or disprove: is a field.
So I already showed that the set has addition and multiplication well-defined. The only thing I'm having trouble with is showing that for any there exists such that .
How would I go about showing that exactly?