实二次域K=Q(（5n）1/2)的整数环OK

用简单的证明方法推出实二次域K=Q(（5n）^1/2)（其中n为正整数,5n无平方因子）的整数环OK只有在n=24t+1（t∈Z）的时候才有可能是主理想整环,其他情况下,二次域K=(（5n）^1/2)的整数环OK一定不是主理想整环。     

实二次域K =Q(√5n)的整数环OK

用简单的证明方法推出实二次域K=Q(√5n)(其中n为正整数,5n无平方因子)的整数环OK只有在n=24t +1(t∈Z)的时候才有可能是主理想整环,其他情况下,二次域K=(√5n)的整数环OK一定不是主理想整环.     

实二次域K=Q（√5n）的整数环Ok

用简单的证明方法推出实二次域K=Q（√5n）（其中n为正整数,5n无平方因子）的整数环Ok只有在n=24t＋1（t∈Z）的时候才有可能是主理想整环,其他情况下,二次域K=（√5n）的整数环Ok一定不是主理想整环。     

谈谈整环Z[D~(1/2)]的因子分解

本文对形如Z[D~1/2]的整环(特别是D<0的情况)分解的唯一性作了一般的讨论,并且注意与二次域Q(D~(1/2))的代数整数环作了一些比较。     

虚二次环的商环的立方映射图的半正则性（英文）

令Q为有理数域,d=-3,-7,-11,-19,-43,-67,-163,K=Q(d~(1/2)).该文研究了K的整数环的商环的立方映射图的半正则性.     

整环Z〔√D〕中的因子分解

本文对形如Ｚ〔√Ｄ〕的整环（特别是Ｄ〈０的情况）分解的唯一性作了一般的讨论，并且注意与二次域Ｑ（√Ｄ）的代数整数环作了一些比较。     

决定二类代数整数环 Z[d~(1/2)]与 Z[d~(1/3)]的所有素元

一、概述“决定一个非零(交换)整环的Ⅰ的所有素元”是《近世代数》中因子分解理论的中心课题之一(若再能决定Ⅰ的所有不可约元,通过比较就可判定Ⅰ是不是唯一分解环),也是《代数数论》里研究代数整数环的课题之一.我们想对二项扩张的代数整数环Ⅰ=Z[d]解决这个问题,其中 Z 是有理整数环,n 是大于1的自然数,Zd0.1且无 n 次真因子,当 n 为奇     

关于不定方程x~2+y~2=m

本文讨论不定方程x~2+y~2=m,m≡3(4)在二次域中求代数整数解的问题,并且给出了方程有解的充要条件,显然,对任一有理整数m,m≡3(4),都有分解m=m_1m_2.m_1仅含4k+1形式的素因子,m_2仅含4k+3形式的素因子.为简略计,文中均指这种分解.二次域用Q[D~(1/2)]表示,这里D是无平方因子的有理整数.     

三重二次数域的正规整基

设K是一个代数数域且K/Q是Galios扩张,它的Galios群为Gal(K/Q)={σ1,σ2,…,σn).OK是K的代数整数环,则Ok在Z上有一组整基,即Ok是秩为n的自由Z模.本文探讨并完全确定了三重二次数域Q(√m1,√m2,√m3)的正规整基及其生成元.     

关于不定方程x~2+64=4y~n(n=5,9)的解

利用代数数论整数环的唯一分解性,研究了不定方程x~2+64=4y~n(n=5,9)的整数解问题,并证明了当n=5时,该方程仅有整数解(x,y)=(±8,2);当n=9时,该方程无整数解。     

分圆域Q(ζ15)的幂元整基

称一个伽罗华数域L有一个幂元整基,如果它的代数整数环具有形式Z[α],其中α∈L.并且此时称α为幂元整基的生成元.两个幂元整基的生成元α和α′称为等价的,如果α′=m±σ(α),其中m∈Z并且σ∈Gal(L/Q).讨论了分圆域Q(ζ15)的幂元整基的生成元,其中ζ15是15次本原单位根.众所周知ζ15,(1-ζ15)-1和(1 ζ15)-1都是分圆域Q(ζ15)的幂元整基的生成元.证明了当α α-Z时α是分圆域Q(ζ)的幂元整基的生成元当且仅当α与ζ等价.     

素数p在Q(2（1/2）u)上的分解

设Q为有理数域,F=Q(^2（1/2）u)（其中是奇素数,u∈N）,OF为域F对应的代数整数环.运用局部域的方法彻底解决了任意素数p在代数整数环OF中的素理想的分解问题,并且完全确定素数p在OF中可能出现的素理想分解的具体形式.     

素数p在Q(2l√U)上的分解

设Q为有理数域,F=Q(2l√u))(其中l是奇素数,u∈N),OF为域F对应的代数整数环.运用局部域的方法彻底解决了任意素数p在代数整数环OF中的素理想的分解问题,并且完全确定素数p在OF中可能出现的素理想分解的具体形式.     

广义四元数群的全自同构群

一个有限群Q4n称为广义四元群,若Q4n=〈a,b|a2n=1,b2＝an,ab=a-1〉,n≥3.根据广义四元群Q4n的结构和性质,利用群的扩张理论,先确定了Q4p与Q4pm的全自同构群的结构,由此归纳出一般的广义四元群Q4n的全自同构群的结构如下:设p1为n的最小素因子,n=pr11 pr22…prkk为n的素数分解,那么(a)当p1＞2时,Aut(G)=〈α〉:(〈η1〉×〈η2〉×…×〈ηk〉);(b)当p1＝2时,Aut(G)=〈α〉:(〈η2〉×…×〈ηk〉), r1＝1〈α〉:(〈γ〉×〈η2〉×…×〈ηk〉), r1＝2〈α〉:(〈μ〉×〈ν〉×〈η2〉×…×〈ηk〉), r1≥3.     

二次代数整数环的Euler函数及原根

本文解决了是唯一分解环的二次代数整数环中代数整数的Euler函数及代数整数原根存在的条件.     

二次整数环的迭代图

令OK为有理数域Q的二次扩张K=Q(槡d)的代数整数环,pOK是由有理素数p生成的OK的理想.定义商环OK/pOK上的迭代图G(OK,t),t为OK中的元素.迭代图G(OK,t)的顶点为OK/pOK中的所有元素,并且对于图中的两个顶点α和β,如果β=tα,则从α到β有一条有向边.该文根据理想pOK的结构研究迭代图G(OK,t),给出位于同一个圈上的点的相互关系,以及图G(OK,t)的具体形式.     

面向三维信号的非线性分组码

设Z[^3（-2的平方根）]是代数数域Q（^3（-2的平方根））的代数整数环,把商环Z[^3（-2的平方根）]／（p^n）的乘法单位群分解为群的直积,由此获得三维信号空间并可用来构造分组码,这些码能够改正某些错误。     

一般三次循环数域的类数同余公式

设K 为有理数域Q 的任意三次循环扩张,其类数为h,导子为f,特征群为〈X〉.存在单位E=(x+y■+■)/3,x∈Z,y∈Q(■),使得E 及其共轭及-1生成K 的单位群,其中■=∑X(a)exp(2πi/f)~a 为Guss 和.记iv 为Teichmüller 特征(modp),X_n=Xiv~(-n),e=(p-1)/3.我们证明了■(modp),其中p∈Z 为任意素数,3≠p|f,常数c=(x~3-27)/(fx~3)-y■/x~2.特别,当f=p为素数时,hc≡3/4B■B~(2■)(modp),这里B■(B_■,x)为(广义)Bernoulli 数.对p■f 也得到类似的公式.     

整环Z[c~(1/2)]中的素元及非唯一分解环

本文主要证明了整环 Z[c~(1/2)]当 c 为-1,2,-2,3时为唯一分解环。给出判断整环 Z(c~(1/2))中元素为素元的条件,并进而给出确定 Z[c~(1/2)]为非唯一分解环的特殊方法。     

不可分的正定Hermite型的构作

不可分的正定Ｈｅｒｍｉｔｅ型的构作朱福祖（华东师范大学数学系上海２０００６２）设（ｍ＞０无平方因子）为虚二次域，Ｄｍ为它的代数整数环，域Ｆ有唯一的非平凡的对合即复共轭，它的不动点域是Ｑ，所谓整Ｈｅｒｍｉｌｅ型是指与它相伴的Ｈｅｒｍｉｌｅ方阵的元素属于...