scholarly journals Note on class number factors and prime decompositions

1977 ◽  
Vol 66 ◽  
pp. 167-182 ◽  
Author(s):  
Yoshiomi Furuta

Let K be a Galois extension of an algebraic number field k of finite degree with Galois group g, be a congruent ideal class group of K, and M be the class field over K corresponding to . Assume that M is normal over k. Then g acts on as a group of automorphisms. Donote by lg the augmentation ideal of the group ring Zg over the ring of integers Z.

1976 ◽  
Vol 62 ◽  
pp. 13-28 ◽  
Author(s):  
Yoshiomi Furuta

Let K be a Galois extension of an algebraic number field k of finite degree with Galois group g. Then g acts on a congruent ideal class group of K as a group of automorphisms, when the class field M over K corresponding to is normal over K. Let Ig be the augmentation ideal of the group ring Zg over the ring of integers Z, namely Ig be the ideal of Zg generated by σ − 1, σ running over all elements of g. Then is the group of all elements aσ-1 where a and σ belong to and g respectively.


1984 ◽  
Vol 96 ◽  
pp. 83-94 ◽  
Author(s):  
Katsuya Miyake

Let k be an algebraic number field of finite degree. We denote the absolute class field of k by and the absolute ideal class group of k by Cl(k).


1982 ◽  
Vol 34 (3) ◽  
pp. 686-690 ◽  
Author(s):  
L. N. Childs

LetRbe a commutative ring,Ca finite abelian group,Sa Galois extension ofRwith groupC, in the sense of [1]. ViewingSas anRC-module defines the Picard invariant map [4] from the Harrison group Gal (R,C) of isomorphism classes of Galois extensions ofRwith groupCto CI (RC), the class group ofRC. The image of the Picard invariant map is known to be contained in the subgrouphCl (RC) of primitive elements of CI (RC) (for definition see below). Characterizing the image of the Picard invariant map has been of some interest, for the image describes the extent of failure of Galois extensions to have normal bases.LetRbe the ring of integers of an algebraic number fieldK.


1992 ◽  
Vol 35 (3) ◽  
pp. 361-370 ◽  
Author(s):  
Christian Friesen

AbstractLet q be a positive power of an odd prime p, and let Fq(t) be the function field with coefficients in the finite field of q elements. Let denote the ideal class number of the real quadratic function field obtained by adjoining the square root of an even-degree monic . The following theorem is proved: Let n ≧ 1 be an integer not divisible by p. Then there exist infinitely many monic, squarefree polynomials, such that n divides the class number, . The proof constructs an element of order n in the ideal class group.


1987 ◽  
Vol 107 ◽  
pp. 121-133 ◽  
Author(s):  
Takashi Ono

Let k be an algebraic number field of finite degree over Q, the field of rationals, and K be an extension of finite degree over k. By the use of the class number of algebraic tori, we can introduce an arithmetical invariant E(K/k) for the extension K/k. When k = Q and K is quadratic over Q, the formula of Gauss on the genera of binary quadratic forms, i.e. the formula where = the class number of K in the narrow sense, the number of classes is a genus of the norm form of K/Q and tK = the number of distinct prime factors of the discriminant of K, may be considered as an equality between E(K/Q) and other arithmetical invariants of K.


1979 ◽  
Vol 75 ◽  
pp. 133-143 ◽  
Author(s):  
Susumu Shirai

Let Q be the rational number field, K/Q be a finite Galois extension with the Galois group G, and let CK be the ideal class group of K in the wider sense. We consider CK as a G-module. Denote by I the augmentation ideal of the group ring of G over the ring of rational integers. Then CK/I(CK) is called the central ideal class group of K, which is the maximal factor group of CK on which G acts trivially. A. Fröhlich [3, 41 rationally determined the central ideal class group of a complete Abelian field over Q whose degree is some power of a prime. The proof is based on Theorems 3 and 4 of Fröhlich [2]. D. Garbanati [6] recently gave an algorithm which will produce the l-invariants of the central ideal class group of an Abelian extension over Q for each prime l dividing its order.


1992 ◽  
Vol 35 (3) ◽  
pp. 295-302 ◽  
Author(s):  
Ruth I. Berger

AbstractAn upper bound is given for the order of the kernel of the map on Sideal class groups that is induced by For some special types of number fields F the connection between the size of the above kernel for and the units and norms in are examined. Let K2(O) denote the Milnor K-group of the ring of integers of a number field. In some cases a formula by Conner, Hurrelbrink and Kolster is extended to show how closely the 4-rank of is related to the 4-rank of the S-ideal class group of


2020 ◽  
pp. 1-25
Author(s):  
Cornelius Greither ◽  
Radan Kučera

Abstract The aim of this paper is to study circular units in the compositum K of t cyclic extensions of ${\mathbb {Q}}$ ( $t\ge 2$ ) of the same odd prime degree $\ell $ . If these fields are pairwise arithmetically orthogonal and the number s of primes ramifying in $K/{\mathbb {Q}}$ is larger than $t,$ then a nontrivial root $\varepsilon $ of the top generator $\eta $ of the group of circular units of K is constructed. This explicit unit $\varepsilon $ is used to define an enlarged group of circular units of K, to show that $\ell ^{(s-t)\ell ^{t-1}}$ divides the class number of K, and to prove an annihilation statement for the ideal class group of K.


Integers ◽  
2009 ◽  
Vol 9 (4) ◽  
Author(s):  
Ashay Burungale

AbstractIt is shown that the conjugacy classes of integral matrices with a given irreducible characteristic polynomial is in bijection with the class group of a corresponding order in an algebraic number field.


2010 ◽  
Vol 52 (3) ◽  
pp. 575-581 ◽  
Author(s):  
YASUHIRO KISHI

AbstractLet n(≥ 3) be an odd integer. Let k:= $\Q(\sqrt{4-3^n})\)$ be the imaginary quadratic field and k′:= $\Q(\sqrt{-3(4-3^n)})\)$ the real quadratic field. In this paper, we prove that the class number of k is divisible by 3 unconditionally, and the class number of k′ is divisible by 3 if n(≥ 9) is divisible by 3. Moreover, we prove that the 3-rank of the ideal class group of k is at least 2 if n(≥ 9) is divisible by 3.


Sign in / Sign up

Export Citation Format

Share Document