Publications Mathématiques de Besançon
Algèbre et Théorie des Nombres
With cedram.org version française
Table of contents for this volume | Previous article | Next article
Andrea Siviero
Realisable classes, Stickelberger subgroup and its behaviour under change of the base field
Publications mathématiques de Besançon (2015), p. 69-92, doi: 10.5802/pmb.13
Article PDF
Class. Math.: 11R33, 11R04, 11R18, 11R29, 11R32, 11R65
Keywords: Galois module structure, Realisable classes, Locally free class groups, Fröhlich’s Hom-description of locally free class groups, Stickelberger’s theorem

Abstract

Let $K$ be an algebraic number field with ring of integers $O_{K}$ and let $G$ be a finite group. We denote by $\mathrm{R}( O_K[G])$ the set of classes in the locally free class group $\mathrm{Cl}( O_K[G])$ realisable by rings of integers in tamely ramified $G$-Galois $K$-algebras. McCulloh showed that, for every $G$, the set $\mathrm{R}( O_K[G])$ is contained in the so-called Stickelberger subgroup $\mathrm{St}( O_K[G])$ of $\mathrm{Cl}( O_K[G])$.

In this paper first we describe the relation between $\mathrm{St}( O_K[G])$ and $\mathrm{Cl}^{\circ }(O_{K}[G])$, where $\mathrm{Cl}^{\circ }(O_{K}[G])$ is the kernel of the morphism $\mathrm{Cl}( O_K[G])\longrightarrow \mathrm{Cl}(O_K)$, induced by the augmentation map $ O_K[G]\longrightarrow O_K$. Then, as an example of computation of $\mathrm{St}( O_K[G])$, we show, just using its definition, that $\mathrm{St}(\mathbb{Z}[G])$ is trivial, when $G$ is a cyclic group of order $p$ or a dihedral group of order $2p$, where $p$ is an odd prime number.

Finally we prove that $\mathrm{St}( O_K[G])$ has good functorial behaviour under change of the base field. This has the interesting consequence that, given an algebraic number field $L$, if $N$ is a tame Galois $L$-algebra with Galois group $G$ and $\mathrm{St}( O_K[G])$ is known to be trivial for some subfield $K$ of $L$, then $O_N$ is stably free as an $ O_K[G]$-module.

Bibliography

[AC15] A. Agboola and L. McCulloh, On the relative Galois module structure of rings of integers in tame extensions, Available at: http://arxiv.org/abs/1410.4829.
[BS05a] N. P. Byott and B. Sodaïgui, Galois module structure for extensions of degree 8: realizable classes over the group ring, J. Number Theory, 112 (1):1–19, 2005.  MR 2131138 |  Zbl 1073.11068
[BS05b] N. P. Byott and B. Sodaïgui, Realizable Galois module classes for tetrahedral extensions, Compos. Math., 141 (3):573–582, 2005.  MR 2135277 |  Zbl 1167.11319
[BS13] N. P. Byott and B. Sodaïgui, Realizable Galois module classes over the group ring for non abelian extensions, Ann. Inst. Fourier (Grenoble), 63 (1):303–371, 2013.  MR 3097949
[CR81] C. W. Curtis and I. Reiner, Methods of representation theory. Vol. I, Pure and Applied Mathematics (New York). John Wiley & Sons Inc., New York, 1981. With applications to finite groups and orders, A Wiley-Interscience Publication.  MR 632548 |  Zbl 0616.20001
[CR87] C. W. Curtis and I. Reiner, Methods of representation theory. Vol. II, Pure and Applied Mathematics (New York). John Wiley & Sons Inc., New York, 1987. With applications to finite groups and orders, A Wiley-Interscience Publication.  MR 892316 |  Zbl 0616.20001
[Lan94] S. Lang, Algebraic number theory, volume 110 of Graduate Texts in Mathematics. Springer-Verlag, New York, second edition, 1994.  MR 1282723 |  Zbl 0811.11001
[McC] L. R. McCulloh, From galois module classes to steinitz classes. arXiv:1207.5702 - Informal report given in Oberwolfach in February 2002.
[McC77] L. R. McCulloh, A Stickelberger condition on Galois module structure for Kummer extensions of prime degree, In Algebraic number fields: $L$-functions and Galois properties (Proc. Sympos., Univ. Durham, Durham, 1975), pages 561–588. Academic Press, London, 1977.  MR 457403 |  Zbl 0389.12005
[McC83] L. R. McCulloh, Galois module structure of elementary abelian extensions, J. Algebra, 82 (1):102–134, 1983.  MR 701039 |  Zbl 0508.12008
[McC87] L. R. McCulloh, Galois module structure of abelian extensions, J. Reine Angew. Math., 375/376:259–306, 1987.  MR 882300 |  Zbl 0619.12008
[Rei03] I. Reiner, Maximal orders, volume 28 of London Mathematical Society Monographs. New Series. The Clarendon Press Oxford University Press, Oxford, 2003. Corrected reprint of the 1975 original, with a foreword by M. J. Taylor.  MR 1972204 |  Zbl 1024.16008
[Rim59] D. S. Rim, Modules over finite groups, Ann. of Math. (2), 69:700–712, 1959.  MR 104721 |  Zbl 0092.26104
[Ser94] J. P. Serre, Cohomologie galoisienne, volume 5 of Lecture Notes in Mathematics. Springer-Verlag, Berlin, fifth edition, 1994.  MR 1324577 |  Zbl 0812.12002
[Siv13] A. Siviero, Class invariants for tame Galois algebras. PhD thesis, Université Bordeaux I - Universiteit Leiden, 2013. Available at: http://tel.archives-ouvertes.fr/tel-00847787.
[Swa62] R. G. Swan, Projective modules over group rings and maximal orders Ann. of Math. (2), 76:55–61, 1962.  MR 139635 |  Zbl 0112.02702
[Tay81] M. J. Taylor, On Fröhlich’s conjecture for rings of integers of tame extensions, Invent. Math., 63(1):41–79, 1981.  MR 608528 |  Zbl 0469.12003
[Was97] L. C. Washington, Introduction to cyclotomic fields, volume 83 of Graduate Texts in Mathematics. Springer-Verlag, New York, second edition, 1997.  MR 1421575 |  Zbl 0966.11047

UFC LMB PUFC