关于W．Y．Velez猜想

设F为域,ψ为F的秩为1的非平凡,非阿基米德赋值,r为与其相对应的赋值环,p为r的极大理想,本文讨论了F的m次根扩张中的素理想分解问题,当基域中含有m次本原单位根时,完全解了W．Y．Velez问题。     

素理想在F（μ^1／l）中的分解

设F为域,F不含l次本原单位根,令■为 F 的秩为1的非平凡,非阿基米德赋值, r 为与其相对应的赋值环,p 为 r 的极大理想.本文讨论了 p 在 F 的根扩张 F(μ~(1/l))(μ∈r)中的分解形式与 p 在 F(ξ_l)(ξ_l 为 l 次本原单位根)中的任意扩张 p′在 F(μ~(1/l),ξ_l)中的分解形式的关系问题[定理1,2],并讨论了 F 关于 p 的剩余类域为有限域时,p＇在F(μ~(1/l),ξ_l)中的分解问题[定理3]     

素理想(P)在Q(μ1/l)中的分解

设 Q为有理数域 ,令φ为素数 p生成的有理数域 Q的 p- adic赋值 ,r为与其相对应的赋值环 ,(p)为 r的极大理想 (素理想 ) .本文用扩张平移的方法讨论了素理想 (p)在 Q的 l次根扩张 Q(μ1 / l) (μ∈ r)中的分解问题 ,并完全解决了该问题 ,包含了文 [1 ]的相关结果     

素理想（p）在Q（μ^1／l）的分解

设Q为有理数域，令φ为素数p生成的有理数域Q的p-adic赋值，r为与其相对应的赋值环，（p)的r的极大理想（素理想）。本文用扩张平移的方法讨论了素理想（p)在Q的l次根扩张Q（μ1/l)(μ∈r)中的分解问题，并完全解决了该问题，包含了文[1]的相关结果。     

素理想(p)在Q(μl1/m)中的分解

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

素理想(p)在Q(μ~1~(l/m))中的分解

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

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

用扩张平移方法将基域中不含有ι次本原单位根的素理想分解问题转化为基域中含有ι次本原单位根的素理想分解问题,完全解决了素理想P在代数数域F的ι次根扩张F(μ1ι)中的分解问题.     

关于W.Y.Vélez猜想Ⅱ

设k为域,本文继续讨论了文[1]中提出的W.Y.Vélez问题,在基域k中不含有m次本原单位根时,给出了该问题成立的一个条件,推广了文[2]的结果.     

关于W.Y.Velez猜想Ⅱ

设k为域，本文继续讨论了文[1]中提出的W.Y.Velez问题，在基域k中不含有m次本原单位根时，给出了该问题成立的一个条件，推广了文[2] 的结果。     

关于nZ的理想及商环

给出了nZ的全部理想、极大理想和素理想,并研究了nZ的商环的构造以及为域的条件,解决了Z<,n>的子域的存在和个数问题.     

素数p在数域Q(u~(1/2),v~(1/2))上的素理想分解

运用局部域理论给出了奇素数p在数域K=Q(u~(1/2),v~(1/2))上的素理想分解形式,其中l是奇素数,u,v∈z~*,且u/vQ~l.     

Dubrovin赋值斜群环

本文中对一个斜群环为Dubrovin赋值环给出了一系列等价刻画,并且刻画了一个Dubrovin赋值斜群环的所有素理想.     

一些循环代数函数域的不分明理想类

本文研究了一些l次循环函数域的理想类群的不分明理想类的结构问题.利用函数域的素理想分解理论和理想的一阶上同调理论,得到了这几类循环函数域的理想类群的l-秩的下界.进一步,我们还得了一些不分明理想类中不含不分明理想的域的充分条件.     

带三角分解李代数的赋值模

设F是特征零的域，L是F上的带三角分解的李代数，L^-是相应的Loop代数．本文将定义L^-上赋值模的概念，并给出其不可约模的张量积是不可约模的等价条件．     

Quantale中的素根定理

在Quantale中引入了m系的概念,利用m系讨论了Quantale中素理想和半素理想之间的关系.在此基础上证明了当Q是可换Quantale时,Id(Q)是空间式Quantale当且仅当Q中的任一理想都是半素理想.最后把环和序半群中的素根定理推广到Quantak中,得到了Quantale中的素根定理.     

素数p在Q（6√u）中的素理想分解问题

利用局部域的方法,研究素数p在有理数域的6次根扩张中的素理想分解问题,并完全确定了素数p在Q（6√u）中分解所可能有的形式（pα︱︱u）.为进一步研究素数p在Q（2l√u）中（l为素数）的分解提供了途径.     

诺特赋值环上Grbner基的性质

本文主要研究了诺特赋值环上多项式理想的Grbner基的性质.利用Buchberger算法,证明了约化Grbner基的存在性及当其首项系数为单位元时的唯一性.推广了极小Grbner基和约化Grbner基的概念.同时,我们给出了求极小Grbner基和约化Grbner基的算法.     

交换环的亚序与实位

本文在带有幺元的交换环上,引入了位和赋值与亚序间的相容性概念,并给出一些性质.在此基础上,对环的实位与实赋值进行了刻划,从而推广了实域理论中许多有关的结论.本文是[3]的继续.     

经典命题逻辑的Boole语义理论

以有限Boole代数作为赋值域建立了经典命题逻辑的一种新的语义理论;证明了命题逻辑公式为重言式当且仅当该命题的每个赋值都等于Boole代数的最大元;在这种新语义理论中提出了公式的B-度实概念,研究了B-真度的基本性质。     

整体函数域素数次循环扩域的类群

设K/F是整体函数域的素数l次循环扩张,F是有理函数域F_q(T)上的有限可分扩域.利用函数域的Conner-Hurrelbrink正合六边形与源于短正合列的正合六边形,本文在l整除与不整除基域F的理想类数的情形下,分别研究函数域K理想类群的Sylow l-子群的结构.同时,利用得到的结果,本文给出了基域F的单位为K中元素norm的若干条件.