Quadratic extensions of totally real quintic fields

In this work, we establish lists for each signature of tenth degree number fields containing a totally real quintic subfield and of discriminant less than in absolute value. For each field in the list we give its discriminant, the discriminant of its subfield, a relative polynomial generating the field over one of its subfields, the corresponding polynomial over , and the Galois group of its Galois closure.

We have examined the existence of several non-isomorphic fields with the same discriminants, and also the existence of unramified extensions and cyclic extensions.

     

Non-primitive number fields of degree eight and of signature with small discriminant

We give the lists of all non-primitive number fields of degree eight having two, four and six real places of discriminant less than 6688609, 24363884 and 92810082, respectively, in absolute value. For each field in the lists, we give its discriminant, the discriminant of its subfields, a relative polynomial generating the field over one of its subfields and its discriminant, the corresponding polynomial over , and the Galois group of its Galois closure.

     

On the number of real quadratic fields with class number divisible by 3

We find a lower bound for the number of real quadratic fields whose class groups have an element of order . More precisely, we establish that the number of real quadratic fields whose absolute discriminant is and whose class group has an element of order is improving the existing best known bound of R. Murty.

     

Computing the rank of elliptic curves over real quadratic number fields of class number 1

In this paper we describe an algorithm for computing the rank of an elliptic curve defined over a real quadratic field of class number one. This algorithm extends the one originally described by Birch and Swinnerton-Dyer for curves over . Several examples are included.

     

Overpartitions and real quadratic fields

It is shown that counting certain differences of overpartition functions is equivalent to counting elements of a given norm in appropriate real quadratic fields.     

Universal octonary diagonal forms over some real quadratic fields

In this paper, we will prove there are infinitely many integers n such that n ²— 1 is square-free and admits universal octonary diagonal quadratic forms. Received: November 2, 1998.     

On the number of certain Galois extensions of local fields

In this paper, we will calculate the number of Galois extensions of local fields with Galois group or .

     

Exponents of class groups of real quadratic function fields

We show that there are polynomials with such that the ideal class group of the real quadratic extensions has an element of order .

     

On solving relative norm equations in algebraic number fields

Let be algebraic number fields and a free -module. We prove a theorem which enables us to determine whether a given relative norm equation of the form has any solutions at all and, if so, to compute a complete set of nonassociate solutions. Finally we formulate an algorithm using this theorem, consider its algebraic complexity and give some examples.

     

On the exceptional fields for a class of real quadratic fields

In this paper, we give a lower bound exp(2.2 × 10~8 ) for those discriminants of real quadratic fields Q(√ d) with d= N~2-4 and h(d)=1.     

Galois cohomology in degree 3 of function fields of curves over number fields

Let k be a field of characteristic not equal to 2. For n≥1, let denote the nth Galois Cohomology group. The classical Tate's lemma asserts that if k is a number field then given finitely many elements , there exist such that α_i=(a)∪(b_i), where for any λ∈k∗, (λ) denotes the image of k∗ in . In this paper we prove a higher dimensional analogue of the Tate's lemma.     

Exponents of class groups of real quadratic function fields (II)

Let be an even positive integer. We show that there are polynomials with such that the ideal class group of the real quadratic extensions have an element of order .

     

On quadratic fields with large 3-rank

Davenport and Heilbronn defined a bijection between classes of binary cubic forms and classes of cubic fields, which has been used to tabulate the latter. We give a simpler proof of their theorem then analyze and improve the table-building algorithm. It computes the multiplicities of the general cubic discriminants (real or imaginary) up to in time and space , or more generally in time and space for a freely chosen positive . A variant computes the -ranks of all quadratic fields of discriminant up to with the same time complexity, but using only units of storage. As an application we obtain the first real quadratic fields with , and prove that is the smallest imaginary quadratic field with -rank equal to .

     

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.     

Computation of -invariants of real quadratic fields

Let be a real quadratic field and an odd prime number which splits in . In a previous work, the author gave a sufficient condition for the Iwasawa invariant of the cyclotomic -extension of to be zero. The purpose of this paper is to study the case of this result and give new examples of with , by using information on the initial layer of the cyclotomic -extension of .

     

Tame and wild kernels of quadratic imaginary number fields

For all quadratic imaginary number fields of discriminant
we give the conjectural value of the order of Milnor's group (the tame kernel) where is the ring of integers of Assuming that the order is correct, we determine the structure of the group and of its subgroup (the wild kernel). It turns out that the odd part of the tame kernel is cyclic (with one exception, ).

     

Steinitz classes of tamely ramified Galois extensions of algebraic number fields

The Steinitz class of a number field extension K/k is an ideal class in the ring of integers Ok of k, which, together with the degree [K:k] of the extension determines the Ok-module structure of OK. We call Rt(k,G) the set of classes which are Steinitz classes of a tamely ramified G-extension of k. We will say that those classes are realizable for the group G; it is conjectured that the set of realizable classes is always a group. We define A^′-groups inductively, starting with abelian groups and then considering semidirect products of A^′-groups with abelian groups of relatively prime order and direct products of two A^′-groups. Our main result is that the conjecture about realizable Steinitz classes for tame extensions is true for A^′-groups of odd order; this covers many cases not previously known. Further we use the same techniques to determine Rt(k,Dn) for any odd integer n. In contrast with many other papers on the subject, we systematically use class field theory (instead of Kummer theory and cyclotomic descent).     

Liouvillian and analytic integrability of the quadratic vector fields having an invariant ellipse

We characterize the Liouvillian and analytic integrability of the quadratic polynomial vector fields in R2 having an invariant ellipse.More precisely,a quadratic system having an invariant ellipse can be written into the form x=x2＋y2-1＋y（ax＋by＋c）,y=x（ax＋by＋c）,and the ellipse becomes x2＋y2=1.We prove that（i） this quadratic system is analytic integrable if and only if a=0;（ii） if x2＋y2=1 is a periodic orbit,then this quadratic system is Liouvillian integrable if and only if x2＋y2=1 is not a limit cycle;and（iii） if x2＋y2=1 is not a periodic orbit,then this quadratic system is Liouvilian integrable if and only if a=0.