Fine Structure of Class Groups \cl^{(p)}\Q(\z_n) and the Kervaire--Murthy Conjectures II

arXivmath/0209066MaRDI QIDQ6472091FDOQ6472091

Publication date: 6 September 2002

Abstract: There is an Mayer-Vietoris exact sequence involving the Picard group of the integer group ring

where

C_{p^{n}}

is the cyclic group of order

p^{n}

and

z e t a_{n - 1}

is a primitive

p^{n}

-th root of unity. The "unknown" part of the sequence is a group.

V_{n}

.

V_{n}

splits as

V_{n} c o n g V_{n}^{+} o p l u s V_{n}^{-}

and

V_{n}^{-}

is explicitly known.

V_{n}^{+}

is a quotient of an in some sense simpler group

m a t h c a l V_{n}

. In 1977 Kervaire and Murthy conjectured that for semi-regular primes

p

,

V_{n}^{+} c o n g m a t h c a l V_{n}^{+} c o n g c l^{(p)} (Q (z e t a_{n - 1})) c o n g (m a t h b b Z / p^{n} m a t h b b Z)^{r (p)}

, where

r (p)

is the index of regularity of

p

. Under an extra condition on the prime

p

, Ullom calculated

V_{n}^{+}

in 1978 in terms of the Iwasawa invariant

l a m b d a

as

V_{n}^{+} c o n g (m a t h b b Z / p^{n} m a t h b b Z)^{r (p)} o p l u s (m a t h b b Z / p^{n - 1} m a t h b b Z)^{l a m b d a - r (p)}

. In the previous paper we proved that for all semi-regular primes,

m a t h c a l V_{n}^{+} c o n g c l^{(p)} (Q (z e t a_{n - 1}))

and that these groups are isomorphic to [(mathbb{Z}/p^n mathbb{Z})^{r_0}oplus (mathbb{Z}/p^{n-1} mathbb{Z})^{r_1-r_0} oplus hdots oplus (mathbb{Z}/p mathbb{Z})^{r_{n-1}-r_{n-2}} ] for a certain sequence

r_{k}

(where

r_{0} = r (p)

). Under Ulloms extra condition it was proved that [V_n^+ cong mathcal{V}_n^+ cong cl^{(p)}(Q(z_{n-1})) cong (mathbb{Z}/p^n mathbb{Z})^{r(p)}oplus (mathbb{Z}/p^{n-1}mathbb{Z})^{lambda-r(p)}.] In the present paper we prove that Ullom's extra condition is valid for all semi-regular primes and it is hence shown that the above result holds for all semi-regular primes.

Mathematics Subject Classification ID

Other number fields (11R21) Class groups and Picard groups of orders (11R65) (K_0) of group rings and orders (19A31)

This page was built for publication: Fine Structure of Class Groups $\cl^{(p)}\Q(\z_n)$ and the Kervaire--Murthy Conjectures II

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6472091)