关於似收斂定理的一个初等証明

我们知道极大完满域的概念可以通过似收敛来描述,即一个赋值域K是极大完满的充要条件是于其中任一似收敛叙列有似极限,在这里比较重要的一点是需要知道本文所论的那个定理.关于这个定理是由Ostrowski所首先提出并给以证明,不过在其证明中用到了赋值开拓的概念.本文目的是不借助于赋值开拓来证明这个定理.     

代数极大赋值域与最小相对完满化域

引言 Hensel引理在赋值论中有着极重要的作用,但不是在任何一个赋值域内它都成立;所谓完满化就是作原赋值域之适当扩张,使于其中Hensel引理成立.一个赋值域的完满化域不是唯一的,可以有无穷多个,本文要回答的问题就是在这些完满     

关于扩张域上一类矩阵的可逆性

设F是任意一个域,f(x)=x~n-a_1x~(n-1) a_2x~(n-2)… (-1)~na_n是域F上的一个不可约多项式,a是f(x)在域F的一个扩张(例如f(x)在F上的分裂域)K中的一个根。对于域F上的两个m阶矩阵A,B,A αB是域K上的m阶矩阵。本文讨论矩阵A αB的可逆性,从而得到这样一个有趣的事实:我们可以给出域F上的一个矩阵,使得其可逆性等价于矩阵A αB的可逆性,并且A αB的逆矩阵也可以由该矩阵的逆来得到。在这里,我们所给出的矩阵是下面的mn阶(分块)矩阵:     

关于对称矩阵的Hilbert第十七问题

在实数域上,正的对称矩阵可以表为对称矩阵的平方,这是一个熟知的事实.这个事实1970年为Ciampi所推广.其后,Gondard和Ribenboim又作了进一步的改进,并对系数域为实闭域的情形,就对称矩阵讨论了一个类似于Hilbert第十七问题的问题.他们的结果是:设F是个实闭域,K=F(X_1,…,X_m)上的对称矩阵A成为正定的,当且仅当A是K     

域扩张是单根式塔的充分必要条件

 设K是域F的扩张,利用Galois理论,给出了K是F的单根式塔的一些充分必要条件,并证明了在某些条件下, 单根式塔与Galois扩张是等价的。     

素理想P在F(μ~(1/5))中分解

若F是代数数域,■是秩等于1的非平凡且非阿基米德赋值,R是和它对应的赋值环,P是R的素理想,在这里用扩张平移的方法讨论了素理想P在域F的5次根扩张中的分解。     

有限域Fqn上原根的充分必要条件

在椭圆曲线公钥密码体制中,计算q元域Fq上椭圆曲线有理点的数目是至关重要的,这里q为素数p的幂.一个公认有效的计算有理点数目的Schoof算法需要用到有限域Fp2的原根.设n是一个正整数,F=Fqn为q元域K=Fq的n次扩张,α是F中的任意元,NF/K(α)是α在K上的范函数.用初等而简洁的方法,得到了α是F的原根的几个充分必要条件,并由此给出了由K的原根求Fq2的原根的一个算法.     

拟阵族N的分裂子M(K_5)

研究拟阵族N的分裂子M(K5)。先应用分裂子定理和拟阵的单扩张定理证明:若N={M:M是二元域拟阵且M不含有同构于F*7的拟阵},则F7是N的一个分裂子。据此证明了两个结论:1.若N={M:M是正则拟阵且M不含M(K3,3)-幼阵},则M(K5)是N的一个分裂子;2.M(K5)是EX(U2,4,F7,M(K3,3))和EX(U2,4,F7*,M(K3,3))的分裂子,并得到了这两个拟阵族的正则拟阵分解表示。     

素理想(p)在Q(μ(1)/(25))中的分解

设Q为有理数域 ,令 φ为由奇素数p生成的有理数域Q的p adic赋值 ,R为与其相对应的赋值环 ,(p)为R的极大理想 (素理想 ) .用扩张平移的方法讨论了素理想 (p)在Q的 2 5次根扩张Q( μ1 2 5) ( μ∈R)中的分解问题 ,并完全解决了该问题 .     

素理想(7)在(μ1/7)中的分解

设Q为有理数域,为由素数7生成的有理数域Q的7-adic赋值,R为与其相对应的赋值环,(7)为R的极大理想(素理想).用扩张平移的方法讨论了素理想(7)在Q的7次根扩张Q(μ1/7)(μ∈R)中的分解问题,并完全解决了该问题.     

线性群同态的一个结论

设F,K为域,SLn(F)表示F上的n级特殊线性群,PGLn(K)表示F上的n级射影一般线性群,ψ:SLn(F)→PGLn(K)(n≥3)为非平凡同态,得到了当K的特征为2时有关ψ的一个结论.     

Q(K*G)上的不变高斯扩张

设V是除环K上的完全赋值环,G是一个有纯锥P的Abel群,假设G在K上的交叉积K*G有右商除环Q(K*G),R是V在Q(K*G)上的一个高斯扩张。本文给出了R是V在Q(K*G)上的不变高斯扩张的一个充分必要条件。     

离散赋值完满域的乘法群的构造

引言离散赋值完满域的乘法群的构造(Der Aufbau der Multiplikationsgruppe ein-es diskret bewerteten perfekten Krpers)的研究是有着重要意义的.关于这方面的结果可以从K.Hensel(1916)和H.Hasse(1949)的论文和专著中看到.不过,这些结果都只限于剩余类域是有限的情况.诚然,H.Hasse在他的专著Zahlentheorie(Berlin,1949)里也曾部分地述及适用于一般情况的某些事实,但这些部分的结果,     

离散赋值完满域的乘法群的构造(Ⅱ)

引言在1955～1956年间,作者曾经研究过离散赋值完满域的乘法群的构造,把 K.Hensel(1916)和 H.Hasse(1949)的关于-进数域情形的结果推进到一般的离散赋值完满域上(管纪文1956)。如所熟知,乘法群的构造问题,归结为单元群(Die Einseinheitengruppe)的构造问题。在-进数域情形,单元群得以整有理 p-进数为算子区,而构造问题也就是寻求单元群作为算子 Abel 群的基底,或者说,寻求单元在基底下的唯一表示式。在作者的前一工作中,则就一般的离散赋值完满域,将单元群的算子区扩充为极大绝对非分     

二次函数域的理想类群的2—秩与其共轭类(英文)

设k=F_q(l)为有理函数域,K 为其二次扩张,特证不为2.本文明显给出以下结果:K 的所有自共轭理想类,包括不含自共轭理想的那些;K 的理想类群的2—秩r_2(K);类数h 为奇数的充分必要条件以及一张把域K 分为六类的分类表.特别,若K=k((?)),D(t)∈F_(?)[t]的不可约因子个数为s,则r_2(K)=s-2(当K 实且D(t)有奇次因子)或s(当K 虚且D()无奇次因子)或s-1(其余(?)形).这些结果包含Artin 是于虚二次函数域的相应结果,完整地把Gaass 和Hasse 等发展起来的二次数域的经典Genus 理论拓展到了二次函数域.在数域的情形域是分为四类.     

关于拟赋值环

本文主要研究了文[1]中提出的一个尚未解决的问题,即:如果V_1,V_2是拟赋值环R上的两个赋值,V_1,V_2到商域F上的开拓不等价,则V_1,V_2在R上是否等价?对四类商域为代数数域的拟赋值环,完全解决了上述问题。     

二次扩域的性质

设F,K是两个域,且FK。显然K可以看作是域F上的线性空间,此时,如果K是二维的,那么就说域K是域F上的二次扩域。 比如,复数域C是实数域R上的二次扩域;而域Q(2~(1/2))则是有理数域Q上的二次扩域。 二次扩域具有许多简单、和谐而且有趣的性质。 为方便起见,下面的讨论均假定域K是域F上的二次扩域。     

K[x_1,x_2;x_1~(-1),x_2~(-1)]上的分次扩张

设V是域K上的一个全赋值环,B1=i∈ZAi,0Xi1,B2=j∈ZA0,jXj2分别是K[x1,x-11],K[x2,x-12]上V的分次扩张,令A=i,j∈ZAi,jXi1Xj2是K[x1,x2;x-11,x-12]的一个子集,本文对K[x1,x2;x-11,x-12]中V的分次扩张进行了刻画。对B1、B2的所有可能的情形,本文证明了A的存在性,并讨论了B1、B2在若干条件下,A的唯一性。     

素理想(7)在 (μ)中的分解

设为有理数域,为由素数7生成的有理数域的7-adic赋值,R为与其相对应的赋值环,(7)为R的极大理想(素理想)。用扩张平移的方法讨论了素理想(7)在的7次根扩张(μ)(μ∈R)中的分解问题,并完全解决了该问题。     

素理想(7)在(μ~(1/7))中的分解

设为有理数域,为由素数 ７生成的有理数域的 ７－ａｄｉｃ赋值, Ｒ为与其相对应的赋值环,（７）为Ｒ的极大理想（素理想）。用扩张平移的方法讨论了素理想（７）在的７次根扩张（μ1/7）（μ∈Ｒ）中的分解问题,并完全解决了该问题。