Galois module structure of rings of integers

DOI10.1007/BF02570883MaRDI QIDQ5916448zbMATH OpenOpenAlexFDO

Authors Martha Rzedowski-Calderón, Gabriel D. Villa Salvador, Manohar L. Madan

Publication date 1990

Published in Mathematische Zeitschrift (Search for Journal in Brave)

Full work available at URL https://eudml.org/doc/183780

zbMATH Keywords

algebraic integerGalois module structurewildly ramified Galois extension

Mathematics Subject Classification ID

Integral representations related to algebraic numbers; Galois module structure of rings of integers (11R33) Integral representations (11S23)

Review text

The ring \({\mathfrak O}_ L\) of algebraic integers of an algebraic number field L of degree n over \({\mathbb{Q}}\), the field of rational numbers, is under addition a free \({\mathbb{Z}}\)-module of rank n, \({\mathbb{Z}}\) denoting the ring of rational integers. If L/K is a wildly ramified Galois extension and \(G=Gal(L/K)\), what is the structure of \({\mathfrak O}_ L\) as \({\mathbb{Z}}[G]\)-module? Very little is known about this problem. Yokoi studied the case when \(L/K\) is cyclic and wildly ramified of degree p and \(L/K,\) \(K/{\mathbb{Q}}\) are normal. In this case there are three rationally inequivalent indecomposable integral representations. Yokoi determined the number of times that indecomposable representations occur in \({\mathfrak O}_ L\) which are rationally equivalent to each of the three rationally inequivalent representations. The main result of this paper is a partial generalization of Yokoi's result. An extension \(L/K\) is considered such that \(L/{\mathbb{Q}}\) and \(K/{\mathbb{Q}}\) are normal, \(L/K\) is cyclic of degree \(p^ 2\) and the odd prime p is fully ramified in \(L/K\). Assuming that the first ramification number is sufficiently large, Yokoi's result is generalized to a class of extensions \(L/K\). This includes the class of fields for which, after completion at a prime above p and adjoining if necessary the p-th roots of unity, the relevant intermediate field has a Kummer generator over the subfield which is a non-unit. This theorem is proved by first considering the local case. In the local situation there are precisely \(4p+1\) indecomposable \({\mathbb{Z}}_ p[G]\)-modules, \({\mathbb{Z}}_ p\) denoting the ring of p-adic integers. This enables us to determine the structure of the ring of integers explicitly for the class of fields obtained after completion.

Recommendations

• Galois module structure of the integers in wildly ramified cyclic extensions
• On Galois structure of the integers in cyclic extensions of local number fields
• Galois Module Structure of the Integers in Wildly Ramified C_p × C_p Extensions
• Galois module structure of the rings of integers in wildly ramified extensions
• On the Galois module structure of cyclic Kummer extensions

Cites work

• Automorphisms and holomorphic differentials in characteristic \(p\).
• Galois representations of Iwasawa modules
• scientific article; zbMATH DE number 3975049 (Why is no real title available?)
• scientific article; zbMATH DE number 3736029 (Why is no real title available?)
• scientific article; zbMATH DE number 3788760 (Why is no real title available?)
• scientific article; zbMATH DE number 3279238 (Why is no real title available?)
• scientific article; zbMATH DE number 3335234 (Why is no real title available?)
• On automorphisms of local fields
• On the Ring of Integers in an Algebraic Number Field as a representation Module of Galois Group
• Wildly Ramified Gamma Extensions
• Über die Hauptordnung der ganzen Elemente eines abelschen Zahlkörpers.

Cited in

(21)

• Galois module structure of the rings of integers in wildly ramified extensions
• Galois module structure of the integers in wildly ramified cyclic extensions
• Galois module structure
• Galois module structure of the integers in weakly ramified extensions
• Galois structure of ideals in wildly ramified abelian \(p\)-extensions of a \(p\)-adic field, and some applications
• On Galois structure of the integers in cyclic extensions of local number fields
• On the Krull-Schmidt decomposition of Mordell-Weil groups
• Galois module structure of ideals in wildly ramified cyclic extensions of degree p^ 2
• On the Galois module structure of ideals and rings of all integers of \({\mathfrak p}\)-adic number fields
• Multiplicative Galois module structure
• On the necessity of new ramification breaks
• Index formulae for integral Galois modules
• Modular rings and the integer 3
• scientific article; zbMATH DE number 3765922 (Why is no real title available?)
• On the isomorphism class of the ring of all integers of a cyclic wildly ramified extension of degree p II
• Galois Module Structure of the Integers in Wildly Ramified C_p × C_p Extensions
• scientific article; zbMATH DE number 2134891 (Why is no real title available?)
• On the Galois Module Structure of Rings of Integers of Wild Abelian Extensions
• On the Galois structure of arithmetic cohomology. I: Compactly supported p-adic cohomology
• scientific article; zbMATH DE number 2236724 (Why is no real title available?)
• On the Galois module structure of cyclic Kummer extensions

This page was built for publication: Galois module structure of rings of integers

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