arguments: p:int n:int >> ring
Create the finite field having p^n elements, where p is a prime number.
