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

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

实二次代数函数域理想类群的子群

给出了实二次代数函数域K的理想类群H(K)含有n阶循环子群的充分必要条件. 并构作了8个系列的实二次函数域, 使其理想类群均含有n阶循环子群. 特别, 可知这些函数域的理想类数均含因子n .     

格的TL-模糊理想

本文研究了格的TL-模糊理想. 利用生成TL-模糊理想, 证明了一个模格的全体T_M-模糊理想形成一个完备的模格. 此外, 利用L-模糊集的投影和截影, 获得了将直积格的TL-模糊理想表示成分量格的TL-模糊理想的L-直积的一个充分必要条件. 所得结果进一步推广和发展了格的模糊理想的理论.     

关于循环域类数奇偶性的一个初等判别法

设K是分圆域Q(ζ_p^l)的奇次子域,F为K的分圆单位群。F₊为K的全正分圆单位群。通过计算dimF₂F₊/F²,我们给出域K的理想类数奇偶性的一个初等判别法。由此计算出在分圆域Q(ζ_p)(P<1000)的奇次(循环)子域(次数3≤n≤19)中间,恰有17个域具有偶类数。     

实二次域的理想类群与其子群

给出实二次域K=Q(m)的理想类群含n阶循环子群的充分必要条件,以及满足这些条件的判别方法;并给出具有此性质的8类实二次域,例如m=(zⁿ+t-1)²+4t(其中t|zⁿ-1);后者包含m=4zⁿ+1和m=z²ⁿ+4为特例。所用方法还可以给出许多有此性质的域。     

Bazilevič函数的对数系数

本文研究了Bazilevič函数类B_α（C,D）的对数系数.利用构造一个非负函数和对复变函数模的积分进行估计的方法,获得了B_α（C,D）的对数系数,推广了一些已有的相关结果.     

常曲率平面上一域包含另一域的充分条件

本文研究了常曲率平面X^κ中一域包含另一域的包含问题.利用积分几何中包含测度理论及对称等周亏格,得到了X^κ中一域包含另一域的充分条件,并给出X^κ中等周不等式的一个简化证明.     

等维Cartan-Hartogs域双全纯映射的特征

本文考虑了等维Cartan-Hartogs域之间的全纯映射.如果Cartan-Hartogs域Ω^Bm(μ)不是球,则它上面存在一函数X使得它在Ω^Bm(μ)的任一全纯自同构作用下不变.通过直接计算得到:如果等维Cartan-Hartogs域间的全纯映射F保持函数X不变,则F必是双全纯映射.由此可得如果Cartan-Hartogs域Ω^Bm(μ)不是球,Ω^Bm(μ)的全纯自映射是自同构的充要条件是F保持函数X不变.     

关于广义bent函数不存在性的新结果(II)

利用虚abel数域理想类群给出了广义bent函数不存在性的一批新结果.     

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

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

Hyperelliptic curves and homomorphisms to ideal class groups of quadratic number fields

For the function field K of hyperelliptic curves over Q we define a subgroup of the ideal class group called the group of Z-primitive ideals. We then show that there are homomorphisms from this subgroup to ideal class groups of certain quadratic number fields.     

On the 2-class field tower of some imaginary biquadratic number fields

Let be an imaginary biquadratic number field with Cl_k,2, the 2-class group of k, isomorphic to Z/2Z × Z/2^mZ, m > 1, with q a prime congruent to 3 mod 4 and d a square-free positive integer relatively prime to q. For a number of fields k of the above type we determine if the 2-class field tower of k has length greater than or equal to 2. To establish these results we utilize capitulation of ideal classes in the three unramified quadratic extensions of k, ambiguous class number formulas, results concerning the fundamental units of real biquadratic number fields, and criteria for imaginary quadratic number fields to have 2-class field tower length 1. 2000 Mathematics Subject Classification Primary—11R29     

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.     

The Scholz theorem in function fields

The Scholz theorem in function fields states that the l-rank difference between the class groups of an imaginary quadratic function field and its associated real quadratic function field is either 0 or 1 for some prime l. Furthermore, Leopoldt's Spiegelungssatz (= the Reflection theorem) in function fields yields a comparison between the m-rank of some subgroup of the class group of an imaginary cyclic function field L₁ and the m-rank of some subgroup of the class group of its associated real cyclic function field L₂ for some prime number m; then their m-ranks also equal or differ by 1. In this paper we find an explicit necessary condition for their m-ranks (respectively l-ranks) to be the same in the case of cyclic function fields (respectively quadratic function fields). In particular, in the case of quadratic function fields, if l does not divide the regulator of L₂, then their l-ranks are the same, equivalently if their l-ranks differ by 1, then l divides the regulator of L₂.     

Ideal class groups and their subgroups of real quadratic fields

A necessary and sufficient condition is given for the ideal class group H(m) of a real quadratic field Q (√m) to contain a cyclic subgroup of ordern. Some criteria satisfying the condition are also obtained. And eight types of such fields are proved to have this property, e.g. fields withm=(z ⁿ +t−1)²+4t(witht|z ⁿ −1), which contains the well-known fields withm=4z ⁿ +1 andm=4z ²ⁿ +4 as special cases. Project supported by the National Natural Science Foundation of China.     

Heuristics and related results on class groups of real quadratic fields

The fact is studied that the ideal class numbersh of types of real quadratic fields usually contain a fixed prime numberp as a factor, and the reason is found to be existing there a kind of prime ideals whosepth powers are principal. A modification of the Cohen-Lenstra Heuristics for the probability that in this situation the class numberh is actually a multiple ofp then is presented: Prob (p|h)=1-(1-p ^-1)(1-P ^-2)⋯. This idea is also extended to predict the probability that the classP represented by the above prime ideal is actually of orderp: Prob (_o(P)=p) =1/p. Both of these predictions agree fairly well with the numerical data. Project supported by the National Natural Science Foundation of China.     

On the Rank of Picard Groups of Modular Varieties Attached to Orthogonal Groups

We derive lower bounds for the rank of Picard groups of modular varieties associated with natural congruence subgroups of the orthogonal group of an even lattice of signature (2, l). As an example we consider the Siegel modular group of genus 2. The analytic part of this paper also leads to certain class number identities.     

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.     

Quadratic function fields with exponent two ideal class group

It has been shown by Madden that there are only finitely many quadratic extensions of k(x), k a finite field, in which the ideal class group has exponent two and the infinity place of k(x) ramifies. We give a characterization of such fields that allow us to find a full list of all such field extensions for future reference. In doing so we correct some errors in earlier published literature.