跳转到内容

欧几里得整环

维基百科,自由的百科全书


抽象代数中,欧几里得整环Euclidean domain)是一种能作辗转相除法整环。凡欧几里得整环必为主理想环

定义

一个欧几里得整环是一整环 及函数 ,使之满足下述性质:

  • ,则存在 使得 ,而且 ,或者
  • 整除 ,则

函数 可设想成元素大小的量度,当 时可取

例子

欧几理得整环的例子包括了:

  • 整数环
  • 高斯整数
  • 上的多项式环)与幂级数环( 定义为使 的最大非负整数 )。
  • 离散赋值环 定义为使 的最大非负整数 ,其中 表该离散赋值环的唯一极大理想

利用辗转相除法(定义中的第一条性质),可以证明欧几里得环必为主理想环,此时理想由其中 -值最小的元素生成。由此得到一个推论:欧几里得整环必为唯一分解环

并非所有主理想环都是欧几里得整环,Motzkin 证明了 整数环在 时并非欧几里得整环,却仍是主理想环。这方面的进一步结果详见以下文献。

文献

  • Motzkin. The Euclidean algorithm, Bull. Amer. Math. Soc. 55, (1949) pp. 1142--1146
  • Weinberger. On Euclidean rings of algebraic integers in "Analytic number theory", Proc. Sympos. Pure Math., Vol. XXIV, St. Louis Univ., St. Louis, MO (1972) published by Amer. Math. Soc. (1973) pp. 321--332
  • Harper and Murty, Canad. J. Math. Vol. 56 (1) (2004) pp. 71--76