Capitulation of the 2‐class group of some cyclic number fields with large degree

We study the capitulation problem of the 2‐class group of some cyclic number fields M with large degree and 2‐class group isomorphic to . Precisely, we give the structure of the Galois group of the maximal unramified 2‐extension over M.     

On the class semigroup of ZS-fields and Iwasawa invariants

Let p be a prime number. In [15], we studied the class semigroup of the ring of integers of the cyclotomic ${\mathbb{Z}}_p$-extension of the rationals. In this paper, we generalize the result to some ${\mathbb{Z}}_S$-extensions of number fields. Moreover, we investigate the relation between the class semigroup and Iwasawa invariants.     

The ideal class groups of dihedral extensions over imaginary quadratic fields and the special values of the Artin L-function

We study the relation between the minus part of the p-class subgroup of a dihedral extension over an imaginary quadratic field and the special value of the Artin L-function at 0.     

A note on the 3-rank of quadratic fields

The difference between the 3-rank of the ideal class group of an imaginary quadratic field and that of the associated real quadratic field is equal to 0 or 1. In this note, we give an infinite family of examples in each case.Received: 9 September 2002     

The 3-Sylow subgroup of the tame kernel of real number fields

Let F be a cubic cyclic field with exactly one ramified prime p,p>7, or , a real quadratic field with . In this paper, we study the 3-primary part of K₂O_F. If 3 does not divide the class number of F, we get some results about the 9-rank of K₂O_F. In particular, in the case of a cubic cyclic field F with only one ramified prime p>7, we prove that four conclusions concerning the 3-primary part of K₂O_F, obtained by J. Browkin by numerical computations for primes p, 7≤p≤5000, are true in general.     

On formulas for the index of the circular distributions

A circular distribution is a Galois equivariant map ψ from the roots of unity μ _∞ to an algebraic closure of such that ψ satisfies product conditions, for ϵ ∈ μ _∞ and , and congruence conditions for each prime number l and with (l, s) = 1, modulo primes over l for all , where μ _l and μ _s denote respectively the sets of lth and sth roots of unity. For such ψ, let be the group generated over by and let be , where U _s denotes the global units of . We give formulas for the indices and of and inside the circular numbers P _s and units C _s of Sinnott over . This work was supported by the SRC Program of Korea Science and Engineering Foundation (KOSEF) grant funded by the Korea government (MOST) (No. R11-2007-035-01001-0). This work was supported by the Korea Research Foundation Grant funded by the Korean Government (MOEHRD, Basic Research Promotion Fund) (KRF-2006-312-C00455).     

A relation between <Emphasis Type="Italic">p</Emphasis>-adic <Emphasis Type="Italic">L</Emphasis>-functions and the Tamagawa number conjecture for Hecke characters

We prove that the submodule in K-theory which gives the exact value of the L-function by the Beilinson regulator map at non-critical values for Hecke characters of imaginary quadratic fields K with cl (K) = 1(p-local Tamagawa number conjecture) satisfies that the length of its coimage under the local Soulé regulator map is the p-adic valuation of certain special values of p-adic L-functions associated to the Hecke characters. This result yields immediately, up to Jannsens conjecture, an upper bound for in terms of the valuation of these p-adic L-functions, where V_p denotes the p-adic realization of a Hecke motive.Received: 4 June 2003     

On the ideal class groups of the maximal real subfields of number fields with all roots of unity

In this paper, for a totally real number field k we show the ideal class group of k(∪_n>0μ_n)⁺ is trivial. We also study the p-component of the ideal class group of the cyclotomic Z_p-extension. Received January 15, 1998 / final version received July 31, 1998     

On the factorization of the relative class number in terms of Frobenius divisions

The relative class number of an imaginary abelian number fieldK is—up to trivial factors—the product of the first Bernoulli numbersB _x belonging to the odd characters ofK. This product splits into rational factorsF _Z = {B ; Z}, whereZ runs through the Frobenius divisions of odd characters. It is shown that each numberF _z is—up to a certain prime power—the index of two explicitly given subgroups of (K, +). These subgroups are cyclic Galois modules, whose generators arise from roots of unity and cotangent numbers, resp. Our result is an analogue of a result concerningh ⁺ which was given by Leopoldt many years ago.To the memory of my friend Kurt Dietrich     

On the index of circular units in the full group of units of a compositum of quadratic fields

For a compositum of quadratic fields , where d₁,…,ds are square-free odd integers and , we study the group C of circular units of k. We construct a basis of C, compute the index of C in the full group of units of k and derive a lower bound for the divisibility of this index by a power of 2. These results give a lower bound for the divisibility of the class number of the maximal real subfield of k by a power of 2.     

Higher rank subgroups in the class groups of imaginary function fields

Let F be a finite field and T a transcendental element over F. In this paper, we construct, for integers m and n relatively prime to the characteristic of F(T), infinitely many imaginary function fields K of degree m over F(T) whose class groups contain subgroups isomorphic to (Z/nZ)^m. This increases the previous rank of m−1 found by the authors in [Y. Lee, A. Pacelli, Class groups of imaginary function fields: The inert case, Proc. Amer. Math. Soc. 133 (2005) 2883-2889].     

Lower Bounds for the Height and Size of the Ideal Class Group in CM-Fields

 We prove that, under the assumption of the Generalized Riemann Hypothesis, the exponent of the ideal class group of a CM-field goes to infinity with its absolute discriminant. This gives a positive answer to a question raised by Louboutin and Okazaki [4]. Received September 10, 2001; in revised form April 5, 2002     

Additive Hilbert's Theorem 90 in the ring of algebraic integers

For a number field K, we give a complete characterization of algebraic numbers which can be expressed by a difference of two K-conjugate algebraic integers. These turn out to be the algebraic integers whose Galois group contains an element, acting as a cycle on some collection of conjugates which sum to zero. Hence there are no algebraic integers which can be written as a difference of two conjugate algebraic numbers but cannot be written as a difference of two conjugate algebraic integers. A generalization of the construction to a commutative ring is also given. Furthermore, we show that for n ?_ 3 there exist algebraic integers which can be written as a linear form in n K-conjugate algebraic numbers but cannot be written by the same linear form in K-conjugate algebraic integers.     

Integral and modular representations attached to the Selmer group of an elliptic curve with complex multiplication

Let E be an elliptic curve with complex multiplication over the ring of integers of an imaginary quadratic field K. Denote by p an odd prime that splits into in and by the unique -extension of K totally ramified above . It is well-known that the Selmer group attached to any finite extension of is analogous to the minus part of the p-class group of divisors of the cyclotomic - extensions of CM number fields. One of the most striking examples of this analogy is the existence of a translation formula à la Kida for the codimension of the Selmer group at the top of the tower. In this article we carry on the analogy with the presentations of results similar to those proven by Gold and Madan in the cyclotomic case (see [8]), which were the continuation of Kida's work. More precisely, we describe the -structure of the Selmer group when G is a cyclic group of order p or . In addition, we study the modular representation of G on the subgroup of points of order p of the Selmer group, when G is cyclic of order . Received December 3, 1997     

On the number of representations in the ternary Goldbach problem with one prime number in a given residue class

For

     

On the algorithmic construction of classifying spaces and the isomorphism problem for biautomatic groups

We show that the isomorphism problem is solvable in the class of central extensions of word-hyperbolic groups,and that the isomorphism problem for biautomatic groups reduces to that for biautomatic groups with finite centre.We describe an algorithm that,given an arbitrary finite presentation of an automatic group Γ,will construct explicit finite models for the skeleta of K(Γ,1) and hence compute the integral homology and cohomology of Γ.     

On the fourth moment in the Rankin-Selberg problem

If

Fundamental solutions of the eight queens problem

Previous algorithms presented to solve the eight queens problem have generated the set of all solutions. Many of these solutions are identical after applying sequences of rotations and reflections. In this paper we present a simple, clear, efficient algorithm to generate a set of fundamental (or distinct) solutions to the problem.