新澳门金沙娱场但是当已知欧几里德分割的显式算法时

当前位置:js9905com金沙网站 > 新澳门金沙娱场 > 新澳门金沙娱场但是当已知欧几里德分割的显式算法时
作者: js9905com金沙网站|来源: http://www.175youxi.net|栏目:新澳门金沙娱场

文章关键词:js9905com金沙网站,整环

  声明:百科词条人人可编辑,词条创建和修改均免费,绝不存在官方及代理商付费代编,请勿上当受骗。详情

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

  在数学中,更具体地说在抽象代数和环理论中,欧几里德域(也称为欧几里得环)是一个可以赋予欧几里德函数(下面解释的)的交换环,其允许整数的欧几里德分割的适当泛化。这种广义欧几里德算法可以与欧几里德原始算法在整数环中保持许多相同的用途:在任何欧几里德域中,可以应用欧几里德算法来计算任意两个元素的最大公约数。特别地,任何两个元素的最大公约数存在并且可以被写成它们的线性组合(Bézout的身份)。新澳门金沙娱场欧几里得域中的每个理想也都是主体,这意味着算术的基本定理的适用泛化:每个欧几里德域都是唯一的因式分解域。

  将欧几里德域的类别与较大类的主要理想域(PID)进行比较是很重要的。任意的PID具有与欧几里得域(或甚至整数环)大致相同的“结构性质”,但是当已知欧几里德分割的显式算法时,可以使用欧氏距离算法和扩展欧几里德算法来计算最大的公约数和Bézout的身份。特别地,在计算机代数中存在用于欧几里德整数除法和一个变量中的多项式的有效算法在计算机代数中的基本重要性。

  因此,给定一个整数域R,知道R具有欧几里德函数通常是非常有用的:特别是这意味着R是一个PID。然而,如果没有“明显的”欧几里德函数,则确定R是否是PID,通常比确定它是否是欧几里得域容易得多。

  使得 a=bq+r,而且或者 r=0,或者 v(r)v(b)。

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

  的整数环在 d=-19,-43,-67,-163 时并非欧几里得整环,却仍是主理想环。

  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

上一篇:没有了

网友评论

我的2016年度评论盘点
还没有评论,快来抢沙发吧!