+ i)与 (1 - i)之乘积。有理质数（即在有理数里的素元），具4k+3形式者为高斯素数；具4k+1形式者则不是。
质理想.在环论里，数的概念一般被理想所取代。「质理想」广义化了质元素的概念，为由质元素产生的主理想，是在交换代数、代数数论与代数几何里的重要工具与研究对象。整数环的质理想为理想 (0)、(2)、(3)、(5)、(7)、(11)、…算术基本定理被广义化成准素分解，可将每个在可交换诺特环里的理想表示成准素理想（为质数幂次的一适合广义化）的交集。透过环的谱这个概念