Ideal class groups of cyclotomic number fields II

We first study some families of maximal real subfields of cyclotomic fields with even class number, and then explore the implications of large plus class numbers of cyclotomic fields. We also discuss capitulation of the minus part and the behaviour of p-class groups in cyclic ramified p-extensions

Vanishing of eigenspaces and cyclotomic fields

We use a result of Thaine to give an alternative proof of the fact that, for a prime p>3 congruent to 3 modulo 4, the component e_{(p+1)/2} of the p-Sylow subgroup of the ideal class group of \mathbb Q(\zeta_{p}) is trivial.Comment: 6 pages, minor corrections made, to appear in the International Mathematics Research Notice

Representation of Cyclotomic Fields and Their Subfields

Let \K be a finite extension of a characteristic zero field \F. We say that the pair of $n\times n$ matrices $(A,B)$ over \F represents \K if \K \cong \F[A]/ where \F[A] denotes the smallest subalgebra of M_n(\F) containing $A$ and $$ is an ideal in \F[A] generated by $B$. In particular, $A$ is said to represent the field \K if there exists an irreducible polynomial q(x)\in \F[x] which divides the minimal polynomial of $A$ and \K \cong \F[A]/. In this paper, we identify the smallest circulant-matrix representation for any subfield of a cyclotomic field. Furthermore, if $p$ is any prime and \K is a subfield of the $p$-th cyclotomic field, then we obtain a zero-one circulant matrix $A$ of size $p\times p$ such that (A,\J) represents \K, where \J is the matrix with all entries 1. In case, the integer $n$ has at most two distinct prime factors, we find the smallest 0-1 companion-matrix that represents the $n$-th cyclotomic field. We also find bounds on the size of such companion matrices when $n$ has more than two prime factors.Comment: 17 page

Construction of class fields over cyclotomic fields

Let $\ell$ and $p$ be odd primes. For a positive integer $\mu$ let $k_\mu$ be the ray class field of $k=\mathbb{Q}(e^{2\pi i/\ell})$ modulo $2p^\mu$. We present certain class fields $K_\mu$ of $k$ such that $k_\mu\leq K_\mu\leq k_{\mu+1}$, and find the degree of $K_\mu/k_\mu$ explicitly. And we also construct, in the sense of Hilbert, primitive generators of the field $K_\mu$ over $k_\mu$ by using Shimura's reciprocity law and special values of theta constants

Nontrivial Galois module structure of cyclotomic fields

We say a tame Galois field extension $L/K$ with Galois group $G$ has trivial Galois module structure if the rings of integers have the property that \Cal{O}_{L} is a free \Cal{O}_{K}[G]-module. The work of Greither, Replogle, Rubin, and Srivastav shows that for each algebraic number field other than the rational numbers there will exist infinitely many primes $l$ so that for each there is a tame Galois field extension of degree $l$ so that $L/K$ has nontrivial Galois module structure. However, the proof does not directly yield specific primes $l$ for a given algebraic number field $K.$ For $K$ any cyclotomic field we find an explicit $l$ so that there is a tame degree $l$ extension $L/K$ with nontrivial Galois module structure