We give a new formula for the relative class number of an imaginary abelian number field $K$ by means of determinant with elements being integers of a cyclotomic field generated by the values of an odd Dirichlet character associated to $K$. We prove it by a specialization of determinant formula of Hasse.

Let p be an odd prime and let c be an integer such that c>1 and c divides p-1. Let G be a metacyclic group of order pc and let k be a field such that pc is prime to the characteristic of k. Assume that k contains a primitive pcth root of unity. We first characterize the normal extensions L/k with Galois group isomorphic to G when p and c satisfy a certain condition. Then we apply our characterization to the case in which k is an algebraic number field with ring of integers ℴ, and, assuming some...

Let k be an (imaginary or real) abelian number field whose conductor has two distinct prime divisors. We shall construct a basis for the group C of circular units in k and compute the index of C in the group E of units in k. This result is a generalization of Theorem 3.3 in a previous paper [1].

Le groupe $H_8\times C_2$ est le plus petit groupe pour lequel existent des modules stablement libres non libres. On montre que toutes les classes d’isomorphisme de tels modules peuvent être représentées une infinité de fois par des anneaux d’entiers. On applique un travail de classification de Swan, pour cela on doit construire explicitement des bases normales d’entiers d’extensions à groupe $H_8$; cela se fait en liant un critère de Martinet avec une construction de Witt.

For certain imaginary abelian fields we find annihilators of the minus part of the class group outside the Stickelberger ideal. Depending on the exact situation, we use different techniques to do this. Our theoretical results are complemented by numerical calculations concerning borderline cases.

This paper is devoted to a construction of new annihilators of the ideal class group of a tamely ramified compositum of quadratic fields. These annihilators are produced by a modified Rubin’s machinery. The aim of this modification is to give a stronger annihilation statement for this specific type of fields.

For any number field $K$ with non-elementary $3$-class group ${\mathrm{Cl}}_3\left(K\right)\simeq C_{3^e}\times C_3$, $e\ge 2$, the punctured capitulation type $\varkappa \left(K\right)$ of $K$ in its unramified cyclic cubic extensions $L_i$, $1\le i\le 4$, is an orbit under the action of $S_3\times S_3$. By means of Artin’s reciprocity law, the arithmetical invariant $\varkappa \left(K\right)$ is translated to the punctured transfer kernel type $\varkappa \left(G_2\right)$ of the automorphism group $G_2=\mathrm{Gal}({\mathrm{F}}_3^2\left(K\right)/K)$ of the second Hilbert $3$-class field of $K$. A classification of finite $3$-groups $G$ with low order and bicyclic commutator quotient $G/G^{\text{'}}\simeq C_{3^e}\times C_3$, $2\le e\le 6$, according to the algebraic invariant...

If $K/k$ is a finite Galois extension of number fields with Galois group $G$, then the kernel of the capitulation map $C{l}_k\to C{l}_K$ of ideal class groups is isomorphic to the kernel $X\left(H\right)$ of the transfer map $H/H^{\text{'}}\to A,$ where $H=\text{Gal}(\tilde{K}/k),A=\text{Gal}(\tilde{K}/K)$ and $\tilde{K}$ is the Hilbert class field of $K$. H. Suzuki proved that when $G$ is abelian, $\left|G\right|$ divides $\left|X\right(H\left)\right|$. We call a finite abelian group $X$ a transfer kernel for $G$ if $X\cong X\left(H\right)$ for some group extension $A\hookrightarrow H\twoheadrightarrow G$. After characterizing transfer kernels in terms of integral representations of $G$, we show that $X$ is a transfer kernel for...

In this paper we study the groups of circular numbers and circular units in Sinnott’s sense in real abelian fields with exactly four ramified primes under certain conditions. More specifically, we construct $\mathbb{Z}$-bases for them in five special infinite families of cases. We also derive some results about the corresponding module of relations (in one family of cases, we show that the module of Ennola relations is cyclic). The paper is based upon the thesis [6], which builds upon the results of the paper...