On the Galois structure of algebraic integers and S-units
type: Item
instance of: scholarly article
title: On the Galois structure of algebraic integers and S-units
zbMATH Open document ID: 0564.12016
DOI: 10.1007/BF01394240
author: Ted Chinburg
published in: Inventiones Mathematicae
publication date: 1983-01-01T00:00:00Z
full work available at URL: https://eudml.org/doc/143076
review text: Soit N/K une extension finie galoisienne de corps de nombres de groupe de Galois G. Soit S un ensemble fini de places de N stable par G. On note U le groupe des S-unités de N et X l'ensemble \(\{\) \(\sum_{n\in S}n_ v v\), \(\sum_{v\in S}n_ v=0\}\). En supposant S assez gros, J. Tate a défini une classe canonique \(\alpha\) (N/K,S) dans Ext\({}^ 2_ G\)(X,U) et en a déduit une suite exacte de G-modules de type fini \(0\to U\to A\to B\to X\to 0\) dans laquelle A et B ont une dimension projective finie. L'auteur montre que la classe \(\Omega_ m=(A)-(B)\), dans le groupe de Grothendieck \(K_ 0({\mathbb{Z}}[G])\) classifiant de tels modules, ne dépend ni du choix de A et B dans la suite précédente, ni du choix de S dès que S est assez gros. D'un autre côté, la structure additive de l'anneau des entiers \({\mathcal O}_ N\) de N donne un invariant \(\Omega_ a=({\mathcal O}_ N)- [K:{\mathbb{Q}}]({\mathbb{Z}}[G])\). D'après les travaux de A. Fröhlich \(\Omega_ a\) est déterminé par une relation liant les sommes de Gauss aux résolvantes. L'auteur fait le parallèle avec la théorie additive et la conjecture de J. Tate affirmant que \(\Omega_ m\) est déterminé par une relation liant le premier coefficient du développement en série en \({\mathcal O}\) de la série L d'Artin et la notion de régulateur. Cet article donne une démonstration de cette conjecture dans le cas où \(K={\mathbb{Q}}\), G est abélien de degré premier et la conjecture de Gras est vraie (cette conjecture est maintenant démontrée grâce aux travaux de Mazur et Wiles).
Mathematics Subject Classification ID: 11R33
Mathematics Subject Classification ID: 16E20
Mathematics Subject Classification ID: 11R42
zbMATH DE Number: 3899024
zbMATH Keywords: Galois module structure
zbMATH Keywords: algebraic integers
zbMATH Keywords: S-units
zbMATH Keywords: canonical class
zbMATH Keywords: Grothendieck group of group ring
zbMATH Keywords: class group
zbMATH Keywords: Gauss sums
zbMATH Keywords: resolvents
zbMATH Keywords: Artin L-series
zbMATH Keywords: regulator
zbMATH Keywords: Tate conjecture
zbMATH Keywords: \(Ext^ 2_ G\)
MaRDI profile type: Publication
cites work: Q5562621
cites work: Q4740645
cites work: On l-adic zeta functions
cites work: Some Problems of Galois Module Structure for Wild Extensions
cites work: Unités cyclotomiques, unités semi-locales et \(\mathbb{Z}_\ell\)-extensions
cites work: Classes d'idéaux des corps abéliens et nombres de Bernoulli généralisés
cites work: Onp-adicL-functions and cyclotomic fields. II
cites work: Class fields of abelian extensions of \(\mathbb Q\)
cites work: Values of \(L\)-functions at \(s=1\). I: \(L\)-functions for quadratic forms
cites work: Induced representations and projective modules
cites work: K-theory of finite groups and orders. Notes by E. Graham Evans
cites work: The Cohomology Groups of Tori in Finite Galois Extensions of Number Fields
cites work: Periodic Projective Resolutions
description: scientific article; zbMATH DE number 3899024