高斯整数.docVIP

高斯整数 维基百科，自由的百科全书 跳转到： 导航, 搜索 数学的数 基本 自然数 整数 二进分数有限小数循环小数有理数 代数数实数 复数 高斯整数 负数分数单位分数无限小数规矩数无理数超越数二次无理数虚数艾森斯坦整数 延伸 双复数四元数 共四元数八元数 超数上超实数 超复数十六元数复四元数Tessarine大实数超实数 其他 对偶数双曲复数序数质数同余可计算数阿列夫数 公称值超限数基数P进数规矩数整数序列数学常数 π = 3.141592653...e = 2.718281828...虚数单位 i2 = ?无穷 ∞ 实数和虚数部分都是整数的复数。所有高斯整数组成了一个整域，写作Z[i]。它是个不可以转成有序环的欧几里德域。 高斯整数是复数面上的整点。 高斯整数就是集 。 高斯整数的范数都是非负整数，定义为N(z×w)=N(z)×N(w)。 Z[i]的单位（1, ?1, i及?i）的范数均为1。 目录 [隐藏] 1 作为唯一分解整环 1.1 作为整闭包 1.2 作为欧几里德环 2 未解决的问题 3 参见 4 参考文献 编辑] 作为唯一分解整环 高斯整数形成了一个唯一分解整环，其可逆元为1、-1、i，以及-i。 Z[i]的素元素又称为高斯素数。 高斯素数的分布 高斯整数a + bi是素数当且仅当： a、b中有一个是零，另一个是形为4n + 3或其相反数 ? (4n + 3)的素数； 或a、b均不为零，而a2 + b2为素数。 以下给出这些条件的证明。 必要条件的证明为：仅当高斯整数的范数是素数，或素数的平方时，它才是高斯素数。这是因为对于任何高斯整数g，。现在，N(g)是整数，因此根据算术基本定理，它可以分解为素数的乘积。根据素数的定义，如果g是素数，则它可以整除pi，对于某个i。另外，可以整除，因此。于是现在只有两种选择：要么g的范数是素数，要么是素数的平方。 如果实际上对于某个素数p，有N(g) = p2，那么g和都能整除p2。它们都不能是可逆元，因此g = pu，以及，其中u是可逆元。这就是说，要么a = 0，要么b = 0，其中g = a + bi。 然而，不是每一个素数p都是高斯素数。2就不是高斯素数，因为2 = (1 + i)(1 ? i)。高斯素数不能是4n + 1的形式，因为根据费马平方和定理，它们可以写成a2 + b2的形式，其中a和b是整数，且a2 + b2 = (a + bi)(a ? bi)。剩下的就只有形为4n + 3的素数了。 形为4n + 3的素数也是高斯素数。假设g = p + 0i，其中p = 4n + 3是素数，且可以分解为g = hk。那么p2 = N(g) = N(h)N(k)。如果这个分解是非平凡的，那么N(h) = N(k) = p。但是，任何两个平方数的和都不能写成4n + 3的形式。因此分解一定是平凡的，所以g是高斯素数。 类似地，i乘以一个形为4n + 3的素数也是高斯素数，但i乘以形为4n + 1的素数则不是。 如果g是范数为素数的高斯整数，那么g是高斯素数。这是因为如果g = hk，那么N(g) = N(h)N(k)。由于N(g)是素数，因此N(h)或N(k)一定是1，所以h或k一定是可逆元。 [编辑] 作为整闭包 高斯整数环是Z在高斯有理数域中的整闭包，由实数部分和虚数部分都是有理数的复数组成。 [编辑] 作为欧几里德环 在图中很容易看到，每一个复数与最近的高斯整数的距离最多为个单位。因此，Z[i]是一个欧几里德环，其中v(z) = N(z)。 [编辑] 未解决的问题 高斯圆问题是中心为原点、半径为给定值的圆内有多少格点的问题。它本身并不是关于高斯整数的，但等价于确定范数小于某个给定值的高斯整数的数目。 关于高斯整数，还有一些猜想和未解决的问题，例如： 实数轴和虚数轴含有无穷多个高斯素数3，7，11，19，……。在复平面上，还存在任何其它的直线上有无穷多个高斯素数吗？特别地，实数部分为1的直线上存在无穷多个高斯素数吗？ 在高斯素数上行走，步伐小于某个给定的值，可以走到无穷远吗？ [编辑] 参见 艾森斯坦整数 费马平方和定理 二次互反律 范数 (域论) 维基百科，自由的百科全书 （重定向自范数 (域论)） 跳转到： 导航, 搜索 在域论，范数是一种映射。 设K为域，L是K的有限代数扩张。将α与L的一个元素相乘，是一个线性变换： NL / K(α)定义为mα的行列式。 因此可得NL / K的性质： NL / K(αβ) = NL / K(α)NL / K(β) 若L / K为伽罗瓦扩张，NL / K(α)是α所有共轭