\(\mathcal S\)-units and \(\mathcal S\)-class groups of a cyclic number field of prime degree (Q1590277): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
Normalize DOI.
 
(6 intermediate revisions by 5 users not shown)
Property / DOI
 
Property / DOI: 10.1006/jnth.2000.2519 / rank
Normal rank
 
Property / author
 
Property / author: Isabelle Dubois / rank
Normal rank
 
Property / author
 
Property / author: Isabelle Dubois / rank
 
Normal rank
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1006/jnth.2000.2519 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2067943529 / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the group of units of an absolutely cyclic number field of prime degree / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the Galois Structure of Units in Number Fields / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the Galois structure of algebraic integers and S-units / rank
 
Normal rank
Property / cites work
 
Property / cites work: The analytic theory of multiplicative Galois structure / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5610449 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5340151 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Units in real Abelian fields. / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4132630 / rank
 
Normal rank
Property / cites work
 
Property / cites work: On<i>p</i>-adic<i>L</i>-functions and cyclotomic fields. II / rank
 
Normal rank
Property / cites work
 
Property / cites work: Class groups of abelian fields, and the main conjecture / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3735801 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3995821 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A note on Thaine's circular units / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the ambiguous classes and monogenic orders of a cyclic extension of odd prime degree over \(\mathbb Q\) or an imaginary quadratic field. / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4308945 / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the Stickelberger ideal and the circular units of an abelian field / rank
 
Normal rank
Property / cites work
 
Property / cites work: K-theory of finite groups and orders. Notes by E. Graham Evans / rank
 
Normal rank
Property / cites work
 
Property / cites work: The Stark conjectures on Artin \(L\)-functions at \(s=0\). Lecture notes of a course in Orsay edited by Dominique Bernardi and Norbert Schappacher. / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5690489 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Multiplicative Galois module structure / rank
 
Normal rank
Property / DOI
 
Property / DOI: 10.1006/JNTH.2000.2519 / rank
 
Normal rank
links / mardi / namelinks / mardi / name
 

Latest revision as of 21:47, 10 December 2024

scientific article
Language Label Description Also known as
English
\(\mathcal S\)-units and \(\mathcal S\)-class groups of a cyclic number field of prime degree
scientific article

    Statements

    \(\mathcal S\)-units and \(\mathcal S\)-class groups of a cyclic number field of prime degree (English)
    0 references
    1 January 2001
    0 references
    If \(L/K\) is a Galois extension of number fields with group \(G\), then the \(G\)-structures of the unit group \(E_L\) and the class group \(Cl_K\) are (conjecturally) linked. This is made more precise in Chinburg's Third Conjecture, and in the yet sharper conjecture dubbed Lifted Root Number Conjecture, or also Equivariant Tamagawa Number Conjecture. These conjectures are far-reaching and fascinate by their generality; it can be hard, however, to extract concrete isomorphism statements from them. The merit of the present article is that it presents such concrete results, with a moderate expenditure of technique. To do so, the author makes the (of course rather restrictive) assumption that \(K\) is the field of rationals and \(G\) is of prime order \(l\). This assumption has the advantage that torsion-free \(ZG\)-modules (``lattices'') are completely classified by the theorem of Diederichsen and Reiner. (The first of these two names is persistently misspelled in the paper.) These lattices are given by some discrete invariants (three natural numbers) and one element in the class group of \(\mathbb Q(\zeta_l)\), the so-called class invariant. Theorem 3.1 gives the discrete invariants not only for \(E_K\) but for all \(S\)-unit groups \(E_{K,S}\) as well. (Actually for \(E_K\) itself the result is not surprising.) The class invariant of \(E_{K,S}\) is subtler and cannot be calculated right off. Instead, the author deduces from the Gras ``conjecture'' (which is a theorem, proved from the Main Conjecture) that it equals the class invariant of the \(S\)-class group of \(K\). The tools used include cohomology and the theory of ambiguous classes. The article contains enlightening remarks concerning the question whether we are able to exhibit an example in the given context where \(U_K = E_K/\{\pm 1\}\) is not free over \(Z[\zeta_l]\). Here \(l\) would have to be at least 23, and in spite of an optimistic remark of Brumer, even with the aid of computers no certified counterexample seems to be available right now, although it is believed to exist.
    0 references
    Galois modules
    0 references
    Reiner's theorem
    0 references
    units
    0 references
    class groups
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references