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.     

Completely normal elements in some finite abelian extensions

We present some completely normal elements in the maximal real subfields of cyclotomic fields over the field of rational numbers, relying on the criterion for normal element developed in [Jung H.Y., Koo J.K., Shin D.H., Normal bases of ray class fields over imaginary quadratic fields, Math. Z., 2012, 271(1–2), 109–116]. And, we further find completely normal elements in certain abelian extensions of modular function fields in terms of Siegel functions.     

关于Q(4k~(2n)+1)的理想类群的循环子群

设ｄ,ａ,ｋ,ｎ是适合４ｋ２ｎ＋１＝ｄａ２,ｋ＞１,ｎ＞２,ｄ无平方因子的正整数;又设Ｃ（Ｋ）和ｈ（Ｋ）分别是实二次域Ｋ的理想类群和类数．本文证明了：当ａ＜０．５ｋ０．５６ｎ时,则ｈ（ｋ）＝０（ｍｏｄｎ）和Ｃ（Ｋ）必有ｎ阶循环子群．     

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₂.     

Powerful Necessary Conditions for Class Number Problems

We give a necessary condition for the ideal class group of a CM-field to be of exponent at most two. This condition enables us to drastically reduce the amount of relative class number computation for determination of the CM - fields of some types (e. g. the imaginary cyclic non -quadratic number fields of 2 - power degrees) whose ideal class groups are of exponents at most two. We also give a necessary condition for some quartic non - CM - fields to have class number one.     

Algebraic function fields with small class number

It is proved that there is no congruence function field of genus 4 over GF(2) which has no prime of degree less than 4 and precisely one prime of degree 4. This shows the nonexistence of function fields of genus 4 with class number one and gives an example of an isogeny class of abelian varieties which contains no jacobian. It is shown that, up to isomorphism, there are two congruence function fields of genus 3 with class number one. It follows that there are seven nonisomorphic function fields of genus different from zero with class number one. Congruence function fields with class number 2 are fully classified. Finally, it is proved that there are eight imaginary quadratic function fields $\text{F}\text{K(x)}$ for which the integral closure of K[x] in F has class number 2.     

Quadratic forms over formally real fields with eight square classes

Complete classification of formally real fields with 8 square classes with respect to the behaviour of quadratic forms is given. Two fields F and K are equivalent with respect to quadratic forms if the quadratic form schemes of the two fields are isomorphic or in other words, if the Witt rings W(F) and W(K) are isomorphic. It is shown here that for formally real fields with 8 square classes there are exactly seven possible quadratic form schemes and for each of the seven schemes a formally real field with 8 square classes and the given scheme is constructed.     

RESEARCH ANNOUNCEMENTS Continued Fractions of Functions Connec …

The theory of continued fractions is very useful in studying real quadratic number fields (see ［2-5］).E. Artin in ［1］ introduced continued fractions of functions to study quadratic function fields, using formal Laurent expansions, which isessentially the theory of completion of the function fields at the infinite valuation. Here we first re-developthe theory of continued fractions of functions in a more elementary and manipulable manner mainly using long division of polynomials; and then study properties of the continued fractions, which will have important applications in studying quadratic function fields obtaining remarkable results on unit groups, class groups, and class numbers.     

Abelian subgroups of any order in class groups of global function fields

Let be a finite field with q elements, and T a transcendental element over . In this paper, we construct infinitely many real function fields of any fixed degree over with ideal class numbers divisible by any given positive integer greater than 1. For imaginary function fields, we obtain a stronger result which shows that for any relatively prime integers m and n with m,n>1 and relatively prime to the characteristic of , there are infinitely many imaginary fields of fixed degree m such that the class group contains a subgroup isomorphic to .     

Imaginary quadratic function fields

In Bautista-Ancona and Diaz-Vargas (2006) [B-D] a characterization and complete listing is given of the imaginary quadratic extensions K of k(x), where k is a finite field, in which the ideal class group has exponent two and the infinite prime of k(x) ramifies. The objective of this work is to give a characterization and list of these kind of extensions but now considering the case in which the infinite prime of k(x) is inert in K. Thus, we get all the imaginary quadratic extensions of k(x), in which the ideal class group has exponent two.     

A finiteness theorem for imaginary abelian number fields

Lately, I. Miyada proved that there are only finitely many imaginary abelian number fields with Galois groups of exponents ≤2 with one class in each genus. He also proved that under the assumption of the Riemann hypothesis there are exactly 301 such number fields. Here, we prove the following finiteness theorem: there are only finitely many imaginary abelian number fields with one class in each genus. We note that our proof would make it possible to find an explict upper bound on the discriminants of these number fields which are neither quadratic nor biquadratic bicyclic. However, we do not go into any explicit determination.     

实二次域Tame核的阶的3-整除性

本文证明了对某类实二次域,其类数能被3整除当且仅当其Tame核的阶能被3整除,同时给出 了Browkin关于Tame核的3整除性的结果的一个不同证明．     

Algebraic Properties of the Modular Lambda Function

Some properties of the modular lambda function that are similar to those of the modular invariant functions are proved. An algorithm for constructing the minimal polynomial for the values of the lambda function at the points of imaginary quadratic fields is presented; the numbers conjugate to these values are given.     

Normal integral bases in quadratic and cyclic cubic extensions of quadratic fields

Let K be a number field and let G be a finite abelian group. We call K a Hilbert-Speiser field of type G if, and only if, every tamely ramified normal extension L/K with Galois group isomorphic to G has a normal integral basis. Now let C₂ and C₃ denote the cyclic groups of order 2 and 3, respectively. Firstly, we show that among all imaginary quadratic fields, there are exactly three Hilbert-Speiser fields of type $C_{2}: \mathbb{Q}(\sqrt {m})$, where $m \in \{-1, -3, -7\}$. Secondly, we give some necessary and sufficient conditions for a real quadratic field $K = \mathbb{Q}(\sqrt {m})$ to be a Hilbert-Speiser field of type C₂. These conditions are in terms of the congruence class of m modulo 4 or 8, the fundamental unit of K, and the class number of K. Finally, we show that among all quadratic number fields, there are exactly eight Hilbert-Speiser fields of type $C_{3}: \mathbb{Q}(\sqrt {m})$, where $m \in \{-11,-3, -2, 2, 5, 17, 41, 89\}$.Received: 2 April 2002     

一类超椭圆曲线的整点个数

设ｎ是大于２的工整数，Ｄ是无平方因子正整数，分别是Ｋ的理想类群和类数．对于正整数ｍ，设ｇｋ（ｍ）是Ｉｘ中阶数等于ｍ的理想类的个数．本文证明了：超椭圆曲线ｆ（ｘ，ｙ）＝Ｄｘ２－４ｙｎ＋１＝０上整数点（ｘ，ｙ）的个数不超过ｍａｘ（８，２１６４Ｐ８１ｇｋ（Ｐ）），其中ｐ是ｎ的奇素因数．     

Non-vanishing of central L-values of canonical CM elliptic curves with quadratic twists

The aim of this paper is to extend results of Rorlich, Villegas and Yang about the non-vanishing of central L-values of canonical characters of imaginary quadratic fields over the rationals. One of the new ingredients in our paper is the local computations at the place “2”. Therefore, we extend their non-vanishing results to include imaginary quadratic fields of even discriminant. As a consequence, we show that the rank of the Mordell–Weil groups of certain canonical CM elliptic curves are zero.     

Ray class fields generated by torsion points of certain elliptic curves

We first normalize the derivative Weierstrass ???-function appearing in the Weierstrass equations which give rise to analytic parametrizations of elliptic curves, by the Dedekind ??-function. And, by making use of this normalization of ???, we associate a certain elliptic curve to a given imaginary quadratic field K and then generate an infinite family of ray class fields over K by adjoining to K torsion points of such an elliptic curve. We further construct some ray class invariants of imaginary quadratic fields by utilizing singular values of the normalization of ???, as the y-coordinate in the Weierstrass equation of this elliptic curve, which would be a partial result towards the Lang?CSchertz conjecture of constructing ray class fields over K by means of the Siegel?CRamachandra invariant.     

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.     

Singular values of some modular functions and their applications to class fields

Since the modular curve has genus zero, we have a field isomorphism where X ₂(z) is a product of Klein forms. We apply it to construct explicit class fields over an imaginary quadratic field K from the modular function j _Δ,25(z):=X ₂(5z). And, for every integer N≥7 we further generate ray class fields K _(N) over K with modulus N just from the two generators X ₂(z) and X ₃(z) of the function field , which are also the product of Klein forms without using torsion points of elliptic curves. J.K. Koo was supported by Korea Research Foundation Grant (KRF-2002-070-C00003).