Gaussian integer
Given a Gaussian integer , called a "modulus", two Gaussian integers are "congruent modulo" , if their difference is a multiple of , that is if there exists a Gaussian integer such that . In other words, two Gaussian integers are congruent modulo , if their difference belongs to the ideal generated by . This is denoted as .