话题
搜索

二次域


代数整数 表单的 a+bsqrt(D)哪里D类无平方的形成一个二次域并表示为Q(平方米(D)).如果D> 0个,该字段称为真实的二次场,如果D<0,它被称为想像的二次场。中的整数Q(平方(1))被简单地称为“the”整数.中的整数Q(平方米(-1))被称为高斯整数、和整数在里面Q(平方米(-3))被称为艾森斯坦整数. The代数的整数在任意二次域中不一定有唯一的因子分解。例如,字段Q(平方米(-5))Q(平方米(-6))不是唯一可分解的,因为

 21=3·7=(1+2平方(-5))(1-2平方(-50))
(1)
 6=-sqrt(-6)(sqrt(-60))=2·3,
(2)

尽管上述因子都是这些域内的素数。所有其他二次域Q(平方米(D))具有|D|<=7 唯一可分解的。

二次域遵循恒等式

 (a+bsqrt(D))+/-(c+dsqrt(D))=(a+/-c)+(b+/-D)平方码(D)
(3)
 (a+bsqrt(D))(c+dsqrt(D))=(ac+bdD)+(ad+bc)平方码(D),
(4)

 (a+bsqrt(D))/(c+dsqrt(D))=(ac-bdD)/(c^2-D_2D)+(bc-ad)/(c^2-D\2D)平方(D)。
(5)

这个整数在真实领域Q(平方米(D))都是这样的r+srho,其中

 对于D=2或D=3(mod 4),rho={sqrt(D);对于D=1(mod 4),为1/2(-1+sqrt(D))。
(6)

只有21个二次字段中有一个欧几里德算法,对应于Q(米)对于无平方的整数-11,-7,-3,-2,-1、2、3、5、6、7、11、13、17、19、21、29、33、37、41、57和73 (A048981号). 该列表由Inkeri发布(1947),但错误地包括了虚假的附加条款97(Barnes和Swinnerton-Dyer1952; 哈代和赖特,1979年,第217页)。


另请参见

代数整数,Eisenstein整数,高斯整数,想像的二次域,整数,编号字段,二次型,真实二次域

与Wolfram一起探索| Alpha

工具书类

巴恩斯,E.S。和H.P.Swinnerton-Dyer。F。“二元二次型的非齐次极小值。I。”数学学报 87,259-323, 1952.E.伯格。飞行记录仪。萨尔斯克。隆德。Föhr(小时)。 5,1-6, 1935.Chatland,H.“关于二次型中的欧几里得算法数字字段。"牛市。阿默尔。数学。Soc公司。 55, 948-953, 1949.查特兰,H.和Davenport,H.“实二次域中的欧几里德算法”加拿大。数学杂志。 2, 289-296, 1950.G.H.哈代。和Wright,E.M。“实欧几里德域”和“实欧氏域(续)”§14.8和14.9英寸《数论导论》,第5版。英国牛津:克拉伦登出版社,第213-2171979页。Inkeri,K.“Euklidischen大学Zahlkörpern求积算法。"安·阿卡德。科学。茴香科序列号。A.1。数学-物理。第41期,第1-35期,1947年。Koch,H.“二次曲线数字字段。“第9章英寸编号理论:代数数和函数。普罗维登斯,RI:Amer。数学。Soc.公司。,第275-3142000页。W.J.LeVeque。话题《数论》第2卷。马萨诸塞州雷丁:Addison-Wesley,第57页,1956年。奥本海姆。数学。安。 109, 349-352, 1934.Samuel,P.“独特保理化。"阿默尔。数学。每月 75, 945-952, 1968.完全的,H.M.公司。数论导论。马萨诸塞州剑桥:麻省理工学院出版社,第294页,1994年。柄,D。解决了的以及《数论中未解决的问题》,第4版。纽约:切尔西,第153-154页,1993新泽西州斯隆。A。顺序A048981号在“整数序列在线百科全书”中

引用关于Wolfram | Alpha

二次域

引用如下:

埃里克·魏斯坦(Eric W.Weisstein)。“二次域。”发件人数学世界--Wolfram Web资源。https://mathworld.wolfram.com/QuadraticField.html

受试者分类