| 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 [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 |
|
|
|