Note on the number of integral ideals in Galois extensions

Let K be an algebraic number field of finite degree over the rational filed Q.Let ak be the number of integral ideals in K with norm k.In this paper we study the l-th integral power sum of ak,i.e.,∑k≤ x akl(l = 2,3,...).We are able to improve the classical result of Chandrasekharan and Good.As an application we consider the number of solutions of polynomial congruences.     

On Galois isomorphisms between ideals in extensions of local fields

LetL/K be a totally ramified, finite abelian extension of local fields, let and be the valuation rings, and letG be the Galois group. We consider the powers of the maximal ideal of as modules over the group ring . We show that, ifG has orderp ^m (withp the residue field characteristic), ifG is not cyclic (or ifG has orderp), and if a certain mild hypothesis on the ramification ofL/K holds, then and are isomorphic iffr≡r′ modp ^m . We also give a generalisation of this result to certain extensions not ofp-power degree, and show that, in the casep=2, the hypotheses thatG is abelian and not cyclic can be removed.     

On the heights of prime ideals under integral extensions

This author received partial support from National Science Foundation Grant DMS-8501003.     

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 .

     

On Galois structure of the integers in elementary abelian extensions of local number fields

Let p be an odd prime number and k a finite extension of Qp. Let K/k be a totally ramified elementary abelian Kummer extension of degree p² with Galois group G. We determine the isomorphism class of the ring of integers in K as an oG-module under some assumptions. The obtained results imply there exist extensions whose rings are ZpG-isomorphic but not oG-isomorphic, where Zp is the ring of p-adic integers. Moreover we obtain conditions that the rings of integers are free over the associated orders and give extensions whose rings are not free.     

On cubic Galois field extensions

We study Morton's characterization of cubic Galois extensions F/K by a generic polynomial depending on a single parameter s∈K. We show how such an s can be calculated with the coefficients of an arbitrary cubic polynomial over K the roots of which generate F. For K=Q we classify the parameters s and cubic Galois polynomials over Z, respectively, according to the discriminant of the extension field, and we present a simple criterion to decide if two fields given by two s-parameters or defining polynomials are equal or not.     

On unramified Galois extensions constructed using Galois representations

 For a field k, We denote the maximal abelian extension of k by k _ab and (K _ab ^r−1 _ab by k _ab ^r . In this paper, unramified Galois extensions over k _ab ^r are constructed using Galois representations of arbitrary dimension with larger coefficient rings. Received: 31 August 2001 / Revised version: 22 March 2002 Mathematics Subject Classification (2000): 11R21     

On extensions of ideals in posets

Two kinds of order ideals, namely, the n-prime ideals and k-closed ideals of a poset are introduced and shown to be equivalent in the sense that an order-ideal is (n+1)-prime if and only if it is n-closed. Also a prime radical theorem for these ideals is proved.     

Counting integral ideals in a number field

Let K   be an algebraic number field. We discuss the problem of counting the number of integral ideals below a given norm and obtain effective error estimates. The approach is elementary and follows a classical line of argument of Dedekind and Weber. The novelty here is that explicit error estimates can be obtained by fine tuning this classical argument without too much difficulty. The error estimate is sufficiently strong to give the analytic continuation of the Dedekind zeta function to the left of the line R(s)=1$\mathfrak{R}(s)=1$ as well as explicit bounds for the residue of the zeta function at s=1$s=1$.     

On the integral closure of ideals

Among the several types of closures of an idealI that have been defined and studied in the past decades, the integral closureĪ has a central place being one of the earliest and most relevant. Despite this role, it is often a difficult challenge to describe it concretely once the generators ofI are known. Our aim in this note is to show that in a broad class of ideals their radicals play a fundamental role in testing for integral closedness, and in caseI ≠Ī, ✓I is still helpful in finding some fresh new elements inĪ/I. Among the classes of ideals under consideration are: complete intersection ideals of codimension two, generic complete intersection ideals, and generically Gorenstein ideals. Part of the results contained in this paper were obtained while the first author was visiting Rutgers University and was partially supported by CNR grant 203.01.63, Italy. The second and third authors were partially supported by the NSF. This article was processed by the author using the LAT_EX style filecljour1 from Springer-Verlag     

On ideal classes of number fields containing integral ideals of equal norms

In this paper we study various groups of ideal classes of number fields containing integral ideals of equal norms and the distribution of integral ideals in such groups.     

On the integral closure of ideals

Among the several types of closures of an ideal I that have been defined and studied in the past decades, the integral closure has a central place being one of the earliest and most relevant. Despite this role, it is often a difficult challenge to describe it concretely once the generators of I are known. Our aim in this note is to show that in a broad class of ideals their radicals play a fundamental role in testing for integral closedness, and in case , is still helpful in finding some fresh new elements in . Among the classes of ideals under consideration are: complete intersection ideals of codimension two, generic complete intersection ideals, and generically Gorenstein ideals. Received: 28 July 1997     

On Galois groups of unramified pro-p extensions

Let p be an odd prime satisfying Vandiver’s conjecture. We consider two objects, the Galois group X of the maximal unramified abelian pro-p extension of the compositum of all Z _p -extensions of Q(μ _p ) and the Galois group of the maximal unramified pro-p extension of Q . We give a lower bound for the height of the annihilator of X as an Iwasawa module. Under some mild assumptions on Bernoulli numbers, we provide a necessary and sufficient condition for to be abelian. The bound and the condition in the two results are given in terms of special values of a cup product pairing on cyclotomic p-units. We obtain in particular that, for p  <  1,000, Greenberg’s conjecture that X is pseudo-null holds and is in fact abelian.     

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

On differential Galois groups of strongly normal extensions

We revisit Kolchin's results on definability of differential Galois groups of strongly normal extensions, in the case where the field of constants is not necessarily algebraically closed. In certain classes of differential topological fields, which encompasses ordered or p‐valued differential fields, we find a partial Galois correspondence and we show one cannot expect more in general. In the class of ordered differential fields, using elimination of imaginaries in , we establish a relative Galois correspondence for relatively definable subgroups of the group of differential order automorphisms.