In: Advanced Math
Group theory
Consider the group GL2(Zp) of invertible 2X2 matrices with entries in the field Zp, where p is an odd prime.
Zp is an abelian group under addition, the group of unites of Zp is Zpx, which is an abelian group under multiplication. We say (Zp , +, ·) is a field.