Residue Class Rings of Z

A quotient ring $\mbox{\bf Z}/\langle m \rangle$ of Z is trivially represented by the integers taken modulo m. In the Magma implementation, m may be taken to be a long integer.

• Arithmetic; square root, all square roots
• Testing elements for: nilpotency, primitivity, regularity, zero-divisor
• Order of a unit
• Gcd and lcm
• Location of a primitive element
• Unit group
• Functor from additive group to an object in the category of abelian groups
• One or all square roots of an element