一些循环代数函数域的不分明理想类（英文）

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

函数域常值域扩张的类数整除性

设K/F_q是亏格大于0的整体函数域,K_n:=KF_(q~n)是K上的n次常值域扩张.利用整体函数域zeta函数的整系数多项式的有理表达式,结合函数域常值域扩张的基本性质,对于满足特定条件的素数l,本文讨论了使得除子类群Pic~0(K_n)的Sylow-l子群为非平凡群的常值域扩张K_n的存在性.     

函数域的双重根式扩域及素除子的密度

设K/F_q是整体函数域,l是与q互素的素数,ξ_1是K的固定代数闭包中的本原l次单位根.对于a,b∈K~*-(K~*)~l,本文主要讨论了根式扩域K(a~(1/2))与K(a~(1/l),(b~(1/l))的性质,利用Kummer理论给出了K(a~(1/l))/K与K(a~(1/l),b~(1/l))/K不是几何扩张的充要条件.当a,b是l-无关时,对于K的素除子P及对应的离散赋值环θ_P,利用这两类扩张的性质,通过分析a,b生成循环群(θ_P/P)~*的充要条件,本文明确给出了满足使得a,b生成循环群(θ_P/P)~*的全体素除子集合M_(a,b)的Dirichlet密度公式.     

函数域的K_2群的挠元

设F是域,令G_n(F)={{a,φ_n(a)}∈K_2(F)| a,Φ_n(a)∈F~*},这里Φ_n(x)是n次分圆多项式.使用函数域的ABC定理证明了若F是常数域为k函数域,l≠ch(k)是素数,则对n≥3且l>2或n>3且l=2,G_(ln)(F)不是K_2(F)的子群.由此部分地证实了Browkin的猜想.     

Levi子群Lα(n(α)=1)在Chevalley群G(Ф,F)中的扩群

设L是复数域上单李代数,具有不可约根系Ф,固定基П.设F是一个特征不为2的域,且不是三元域,G(Ф,F)是F上Ф型的Chevalley群.设α∈П,Фα表示Ф的一种类型子根系.当n(α)=1,且Ф是Bl(l≥3),Dl(l ≥ 4),E6,E7,或E8之一时,本文决定了Levi子群Lα在G(Ф,F)中的所有扩群.     

关于W.Y.Veléz猜想

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

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

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

(l,l,…,l)型数域的相对整基和单位

设K是代数数域,k是其任一子域.Artin和Frohlich曾提出和研究过这一问题:何时K/k具有相对整基?即何时K的整数环O_K是自由O_k-模?当K为双循环双二次域时,此问题至1976年为Washington,Bird和Parry等最终解决.作者曾就四次循环域解决了此问题本文设K为(l,l,…,l)(n重)型数域(即Gal(K/Q)≌(Z/lZ)~n,K/Q为Galois扩张),将对一般的n和素数l完全回答这一问题.特别此结果包含上述双循环双二次域的结果为特别情形.本文还得到这种域的单位的若干结果,这些结果推广了Wada以及在一定意义上,Cohn的结果;包含Kubo(?)a等人关于单位的一些经典结果.     

在某些正则区域上的多元B形式曲面

本文首先通过在多面体区域上抬高维数的技巧给出了多元Ｂ形式中曲面的一般性定义．由此我们构造了平行四边形域上、正六边形域上和正八边形成上Ｂ形式的同次曲面格式，并给出了其基函数的递推公式和求导公式．同时我们也给出了正六边形域上插值角点的Ｂ形式同次曲面的表示式．     

素理想在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]     

Subgroups of ideal class groups of real quadratic algebraic function fields

Necessary and sufficient condition on real quadratic algebraic function fields K is given for their ideal class groups H(K) to contain cyclic subgroups of order n. And eight series of such real quadratic function fields K are obtained whose ideal class groups contain cyclic subgroups of order n. In particular, the ideal class numbers of these function fields are divisible by n.     

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

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

特殊值l-群的l-同态象及l-扩张性

本文研究了特殊值 l-群的一类特殊的 l-同态象及 l-扩张闭性 .在非超 Archimedean的条件下 ,证明了 l-群 G是特殊值的当且仅当对于 G的每个闭 l-理想 K,G/ K与 K均是特殊值的 .     

Imaginary Quadratic Fields with Ono Number 3

In this article, we prove that an imaginary quadratic field F has the ideal class group isomorphic to ?/2? ⊕ ?/2? if and only if the Ono number of F is 3 and F has exactly 3 ramified primes under the Extended Riemann Hypothesis (ERH). In addition, we give the list of all imaginary quadratic fields with Ono number 3.     

Automorphism groups of fields

We consider pairs (K,G) of an infinite field K or a formally real field K and a group G and want to find extension fields F of K with automorphism group G. If K is formally real then we also want F to be formally real and G must be right orderable. Besides showing the existence of the desired extension fields F, we are mainly interested in the question about the smallest possible size of such fields. From some combinatorial tools, like Shelah’s Black Box, we inherit jumps in cardinalities of K and F respectively. For this reason we apply different methods in constructing fields F: We use a recent theorem on realizations of group rings as endomorphism rings in the category of free modules with distinguished submodules. Fortunately this theorem remains valid without cardinal jumps. In our main result (Theorem 1) we will show that for a large class of fields the desired result holds for extension fields of equal cardinality. This article was processed by the author using the LAT_EX style filecljour1 from Springer-Verlag     

Class groups of imaginary function fields: The inert case

Let be a finite field and a transcendental element over . An imaginary function field is defined to be a function field such that the prime at infinity is inert or totally ramified. For the totally imaginary case, in a recent paper the second author constructed infinitely many function fields of any fixed degree over in which the prime at infinity is totally ramified and with ideal class numbers divisible by any given positive integer greater than 1. In this paper, we complete the imaginary case by proving the corresponding result for function fields in which the prime at infinity is inert. Specifically, we show that for relatively prime integers and , there are infinitely many function fields of fixed degree such that the class group of contains a subgroup isomorphic to and the prime at infinity is inert.

     

A note on the normality of unramified,abelian extensions of quadratic extensions

Let F, K and L be algebraic number fields such that , [KF]=2 and [LK]=n. It is a simple consequence of the class field theory that, if L is an abelian, unramified extension of K and (n,h)=1, where h is the class number of F, then L is normal over F. The purpose of this note is to point out the necessity of the condition (n,h)=1 by constructing for any field F with even class number a tower of fields with [KF]=2, [LK]=2 where L is unramified over K, but L is not normal over F.     

从特殊线性群到一般射影线性群的同态的一个性质

设F,K为域,GLn（F）,SLn（F）分别表示F上的n级一般线生群和n级特殊线性群．PGLn（F）,PSLn（F）分别表示F上的n级射影一般线性群和n级射影特殊线性群．φ：SLn（F）→PGLn（K）,n≥3为非平凡同态．本文确定了当K的持征为2时η的—个性质．     

Stickelberger ideals and divisor class numbers

Let K/k be a finite abelian extension of function fields with Galois group G. Using the Stickelberger elements associated to K/k studied by J. Tate, P. Deligne and D. Hayes, we construct an ideal I in the integral group ring relative to the extension K/k, whose elements annihilate the group of divisor classes of degree zero of K and whose rank is equal to the degree of the extension. When K/k is a (wide or narrow) ray class extension, we compute the index of I in , which is equal to the divisor class number of K up to a trivial factor. Received: 4 November 1999; in final form: 8 September 2000 / Published online: 23 July 2001