欧几里得环
贡献者: JierPeter
定义 1 欧几里得环
给定整环 ,如果存在映射 1,使得对于任意 且 ,都存在 使得 ,且 ,则称 为一个欧几里得环(Euclid Ring),或者欧几里得整环(Euclid Domain)。
直观来说,欧几里得环就是 “可以做辗转相除法的环”。这从定义就可以看出来:任取 ,再用任意的 去尝试除它,总能得到 的形式,其中 相当于除法的余数。虽然任意环中的元素都可以这么做分解,而欧几里得环就特殊在它还关系到一个非负整数赋值,使得余数的赋值总是小于非零除数 的,这样就使得我们可以多次分解,也就是进行辗转相除。
为了严格证明以上说法成立,我们还需要讨论欧几里得环的一个性质:
定理 1
设 是一个欧几里得环,那么对于 ,有:
。
证明:
任选 且 ,那么 ,故由欧几里得环的定义可推知,对于任意 ,必有 ,由此得证。
证毕。
有了定理 1 ,我们还可以补上定义中没有说明的一点:当 的时候,我们可以取 而 来满足 且符合欧几里得环的性质。因此,一般只讨论 的情形。
我们来看几个典型的欧几里得环。
例 1 整数环
对于 ,令 ,则容易看出 是一个欧几里得环。
例 2 多项式环
任给域 ,其多项式环 是一个欧几里得环。取 即可。
是 的次数,也就是系数非零的最高项的幂次。这里 要取 的指数是因为 ,而我们希望 。
例 3 高斯整数环
高斯整数环是复平面上的全体坐标为整数的点的集合 构成的环,并且是一个欧几里得环。证明见下。
证明:
对于任意 ,令 。
任给 ,不妨设 。于是必有 ,使得 。
于是必有 ,使得 和 。
令 ,,即可满足 且 。
证毕。
一些类似高斯整数环的环也可以是欧几里得环。
例 4
考虑 ,其中 是正整数。取 ,定义 为复数的模方。显然,存在 使得
令 和 分别是距离 和 最近的整数,则 。于是
只要保证 的模方恒小于 ,那么 就是一个合适的函数,使得 是一个欧几里得环。利用 ,可知
因此,当 的时候, 是欧几里得环,即高斯整数环、 和 这三个情况。
证明:
设 是一个欧几里得环,令 为 的一个理想。不妨设 。
由于 ,故在非零的 中存在最小值 ,其中 。
任取 ,则存在 且 ,使得 。
由于 且 有吸收律2,故 。由于 是 中的最小非负值,因此必有 。由定理 1 ,。
因此, 对任意 成立。
故 ,从而得证。
证毕。
1. ^ 即给每一个环中元素赋予一个非负整数。
2. ^ 见环的理想和商环,这意味着 。
致读者: 小时百科一直以来坚持所有内容免费无广告,这导致我们处于严重的亏损状态。 长此以往很可能会最终导致我们不得不选择大量广告以及内容付费等。 因此,我们请求广大读者
热心打赏 ,使网站得以健康发展。 如果看到这条信息的每位读者能慷慨打赏 20 元,我们一周就能脱离亏损, 并在接下来的一年里向所有读者继续免费提供优质内容。 但遗憾的是只有不到 1% 的读者愿意捐款, 他们的付出帮助了 99% 的读者免费获取知识, 我们在此表示感谢。