Arithmetic is usually done over the full ring of integers; setting the option Modulus specifies that arithmetic should instead be done in the finite ring .
The setting Modulus->0 specifies the full ring of integers.
Some functions require that Modulus be set to a prime, or a power of a prime. is a finite field when is prime.