Factor rings of the Gaussian integers

In teenstelling met die faktorringe van Z (die ring van heelgetalle) wat goed bekend is, naamlik Z, {0} en Zn (die ring van heelgetalle modulo n), is dieselfde nie waar vir die homomorfe beelde van Z[i] (die ring van Gauss-heelgetalle) nie. Meer algemeen, laat m enige nie-nul kwadraatvrye heelgetal (positief of negatief ) wees, en beskou die integraal-gebied Z[ √m]= {a + b √m | a, b ∈ Z}. Watter ringe is homomorfe beelde van Z[ √m]? Hierdie vraag bied aan studente ’n oneindige aantal ondersoeke (een vir elke m) wat slegs Whereas the homomorphic images of Z (the ring of integers) are well known, namely Z, {0} and Zn (the ring of integers modulo n), the same is not true for the homomorphic im-ages of Z[i] (the ring of Gaussian integers). More generally, let m be any nonzero square free integer (positive or negative), and consider the integral domain Z[ √m]={a + b √m | a, b ∈ Z}. Which rings can be homomorphic images of Z[ √m]? This ques-tion oers students an innite number (one for each m) of investigations that require only undergraduate mathematics. It is the goal of this article to oer a guide to the in-vestigation of the possible homomorphic images of Z[ √m] using the Gaussian integers Z[i] as an example. We use the fact that Z[i] is a principal ideal domain to prove that if I =(a+bi) is a nonzero ideal of Z[i], then Z[i]/I ∼ = Zn for a positive integer n if and only if gcd{a, b} =1, in which case n = a2 + b2 . Our approach is novel in that it uses matrix techniques based on the row reduction of matrices with integer entries. By characterizing the integers n of the form n = a2 + b2 , with gcd{a, b} =1, we obtain the main result of the paper, which asserts that if n ≥ 2, then Zn is a homomorphic image of Z[i] if and only if the prime decomposition of n is 2α0 pα1 1 ··· pαk k , with α0 ∈{0, 1},pi ≡ 1(mod 4) and αi ≥ 0 for every i ≥ 1. All the elds which are homomorpic images of Z[i] are also determined