近世代数--整环--高斯整环
博主是初学近世代数(群环域),本意是想整理一些较难理解的定理、算法,加深记忆也方便日后查找;如果有错,欢迎指正。
我整理成一个系列:近世代数,方便检索。
高斯整环是一类重要的整环,高斯(Gauss)最先对这个环进行研究,从而开创了代数数论的研究领域。
这里有简单描述整环的基本概念:含幺环、交换环、无零因子。
无零因子:在一个无零因子的环中 ↔ \leftrightarrow ↔左右消去律成立: ∀ a , b , c ∈ \forall a,b,c\in ∀a,b,c∈环 R , c ≠ 0 , R,c\neq 0, R,c=0,如果 a c = b c , ac=bc, ac=bc,或 c a = c b ca=cb ca=cb,则 a = b a=b a=b。
证明: a c = b c → ( a − b ) c = 0 ac=bc\rightarrow (a-b)c=0 ac=bc→(a−b)c=0,因为 c ≠ 0 , c\neq 0, c=0,环 R R R无零因子, a − b = 0 a-b=0 a−b=0,同理,左消去律也成立。
高斯整环: Z [ i ] = { a + b i ∣ a , b ∈ Z } Z[i]=\{a+bi|a,b\in Z\} Z[i]={
a+bi∣a,b∈Z}
证明是整环:先证明 Z [ i ] Z[i] Z[i]是 C C