Elements with prime and small indices in bicyclic biquadratic number fields

We give necessary and sufficient conditions for the existence of primitive algebraic integers with index A in totally complex bicyclic biquadratic number fields where A is an odd prime or a positive rational integer at most 10. We also determine all these elements and prove that there are infinitely many totally complex bicyclic biquadratic number fields containing elements with index A.     

Remark on infinite unramified extensions of number fields with class number one

We modify an idea of Maire to construct biquadratic number fields with small root discriminants, class number one, and having an infinite, necessarily non-solvable, strictly unramified Galois extension.     

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.     

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     

On the unit group and the class number¶of certain composita of two real quadratic fields

The purpose of this paper is to exhibit a new family of real bicyclic biquadratic fields K for which we can write the Hasse unit index of the group generated by the units of the three quadratic subfields in the unit group E _K of K. As a byproduct, one can explicitly relate the class number of K with the product of the class numbers of the three quadratic subfields. Received: 25 July 2000 / Revised version: 12 December 2000     

On biquadratic fields that admit unit power integral basis

We consider biquadratic number fields whose maximal orders have power integral bases consisting of units. We prove an effective and efficient criteria to decide whether the maximal order of a biquadratic field has a unit power integral basis or not. In particular we can determine all trivial biquadratic fields whose maximal orders have a unit power integral basis.     

Universal quadratic forms and indecomposables over biquadratic fields

The aim of this article is to study (additively) indecomposable algebraic integers of biquadratic number fields K and universal totally positive quadratic forms with coefficients in . There are given sufficient conditions for an indecomposable element of a quadratic subfield to remain indecomposable in the biquadratic number field K. Furthermore, estimates are proven which enable algorithmization of the method of escalation over K. These are used to prove, over two particular biquadratic number fields and , a lower bound on the number of variables of a universal quadratic forms.     

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.     

Stark's conjecture over complex cubic number fields

Systematic computation of Stark units over nontotally real base fields is carried out for the first time. Since the information provided by Stark's conjecture is significantly less in this situation than the information provided over totally real base fields, new techniques are required. Precomputing Stark units in relative quadratic extensions (where the conjecture is already known to hold) and coupling this information with the Fincke-Pohst algorithm applied to certain quadratic forms leads to a significant reduction in search time for finding Stark units in larger extensions (where the conjecture is still unproven). Stark's conjecture is verified in each case for these Stark units in larger extensions and explicit generating polynomials for abelian extensions over complex cubic base fields, including Hilbert class fields, are obtained from the minimal polynomials of these new Stark units.

     

Computation of class numbers of quadratic number fields

We explain how one can dispense with the numerical computation of approximations to the transcendental integral functions involved when computing class numbers of quadratic number fields. We therefore end up with a simpler and faster method for computing class numbers of quadratic number fields. We also explain how to end up with a simpler and faster method for computing relative class numbers of imaginary abelian number fields.

     

Hilbert genus fields of biquadratic fields

The Hilbert genus field of the real biquadratic field K=Q(δ~(1/2),d~(1/2)is described by Yue(2010)and Bae and Yue(2011)explicitly in the case=2 or p with p=1 mod 4 a prime and d a squarefree positive integer.In this article,we describe explicitly the Hilbert genus field of the imaginary biquadratic field K=Q(δ~(1/2),d~(1/2)),whereδ=-1,-2 or-p with p=3 mod 4 a prime and d any squarefree integer.This completes the explicit construction of the Hilbert genus field of any biquadratic field which contains an imaginary quadratic subfield of odd class number.     

Class number and class group problems for some non-normal totally real cubic number fields

Let \lcub;K _m } _{m ≥ 4} be the family of non-normal totally real cubic number fields associated with the Q-irreducible cubic polynomials P _m (x) =x ³−mx ²−(m+1)x− 1, m≥ 4. We determine all these K _m 's with class numbers h _m ≤ 3: there are 14 such K _m 's. Assuming the Generalized Riemann hypothesis for all the real quadratic number fields, we also prove that the exponents e _m of the ideal class groups of these K _m go to infinity with m and we determine all these K _m 's with ideal class groups of exponents e _m ≤ 3: there are 6 suchK _m with ideal class groups of exponent 2, and 6 such K _m with ideal class groups of exponent 3. Received: 16 November 2000 / Revised version: 16 May 2001     

Small generators of number fields

If K is a number field of degree n over Q with discriminant D _K and if α∈K generates K, i.e. K=Q(α), then the height of α satisfies with . The paper deals with the existence of small generators of number fields in this sense. We show: (1) For each $n$ there are infinitely many number fields K of degree $n$ with a generator α such that . (2) There is a constant d ² such that every imaginary quadratic number field has a generator α which satisfies .?(3) If K is a totally real number field of prime degree n then one can find an integral generator α with . Received: 10 January 1997 / Revised version: 13 January 1998     

The class number of cyclotomic function fields

Let k be a rational function field over a finite field. Carlitz and Hayes have described a family of extensions of k which are analogous to the collection of cyclotomic extensions {Q(ζm)| m ≥ 2} of the rational field Q. We investigate arithmetic properties of these “cyclotomic function fields.” We introduce the notion of the maximal real subfield of the cyclotomic function field and develop class number formulas for both the cyclotomic function field and its maximal real subfield. Our principal result is the analogue of a classical theorem of Kummer which for a prime p and positive integer n relates the class number of Q(ζpn + ζpn?1), the maximal real subfield of Q(ζpn), to the index of the group of cyclotomic units in the full unit group of Z[ζpn].     

Non-Wieferich primes in number fields and <Emphasis Type="Italic">abc</Emphasis>-conjecture

Let K/Q be an algebraic number field of class number one and let O _K be its ring of integers. We show that there are infinitely many non-Wieferich primes with respect to certain units in O _K under the assumption of the abc-conjecture for number fields.     

On the parity of the class number of multiquadratic number fields

This paper investigates the 2-class group of real multiquadratic number fields. Let p₁,p₂,…,pn be distinct primes and . We draw a list of all fields K whose 2-class group is trivial.     

On orders in number fields: Picard groups,ring class fields and applications

We focus on orders in arbitrary number fields, consider their Picard groups and finally obtain ring class fields corresponding to them. The Galois group of the ring class field is isomorphic to the Picard group.As an application, we give criteria of the integral solvability of the diophantine equation p = x2+ ny2 over a class of imaginary quadratic fields where p is a prime element.     

Class numbers of algebraic number fields of Eisenstein type,II

Let K be an algebraic number field, of degree n, with a completely ramifying prime p, and let t be a common divisor of n and $\text{(p ? 1)}\text{2}$. Then it is proved that if K does not contain the unique subfield, of degree t, of the p-th cyclotomic number field, then we have (h_K, n) > 1, where h_K is the class number of K. As applications, we give several results on h_K of such algebraic number fields K.     

On tame and wild kernels of special number fields

Special number fields are those number fields F for which the wild kernel properly contains the group of divisible elements of K₂(F). We examine the relationship between the wild kernel, the tame kernel and the group of divisible elements for such number fields. For a special number field F we show that WK₂(F)⊂K₂(F)^2b, but WK₂(F)⊄K₂(F)^2b+2 where . We examine analogous questions for instead of K₂(F). As an application, we determine those number fields for which there exist ‘exotic’ Steinberg symbols with values in a finite cyclic group and we show how to construct these exotic symbols.     

Class number 3 problem for the simplest cubic fields

We give some necessary conditions for class numbers of the simplest cubic fields to be 3 and, using Lettl's lower bounds of residues at of Dedekind zeta functions attached to cyclic cubic fields, determine all the simplest cubic fields of class number 3.