A remark on the \(\lambda\)-invariant of real quadratic fields (Q1087913): Difference between revisions

From MaRDI portal
m rollbackEdits.php mass rollback
Tag: Rollback
ReferenceBot (talk | contribs)
Changed an Item
(One intermediate revision by one other user not shown)
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.3792/pjaa.62.318 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2046250539 / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the \(\lambda\) invariants of \(\mathbb Z_p\)-extensions of real quadratic fields / rank
 
Normal rank
Property / cites work
 
Property / cites work: On \({\mathbb{Z}}_ p\)-extensions of real quadratic fields / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the Iwasawa Invariants of Totally Real Number Fields / rank
 
Normal rank
Property / cites work
 
Property / cites work: The determination of units in real cyclic sextic fields / rank
 
Normal rank

Revision as of 17:34, 17 June 2024

scientific article
Language Label Description Also known as
English
A remark on the \(\lambda\)-invariant of real quadratic fields
scientific article

    Statements

    A remark on the \(\lambda\)-invariant of real quadratic fields (English)
    0 references
    0 references
    0 references
    0 references
    1986
    0 references
    Sufficient conditions are given for the Iwasawa invariants of a real quadratic field, k, to satisfy \(\lambda_ p(k)=\mu_ p(k)=0\) when \(n_ 1=n_ 2=2\). In previous work of the first two of the authors [J. Math. Soc. Japan 38, 95-102 (1986; Zbl 0588.12004)], it was required that \(n_ 1<n_ 2\). Let h and \(\epsilon\) denote the class number and fundamental unit of k, respectively. If p is an odd prime which splits completely in k and \({\mathfrak p}\) is a prime divisor of p in k then \({\mathfrak p}^ h=(\alpha)\) for some \(\alpha\in k\). Then \(n_ 1\) (resp. \(n_ 2)\) is defined to be the maximal integer such that \(\alpha^{p-1}\equiv 1\) (mod \(p^{n_ 1} {\mathbb{Z}}_ p)\), (resp. \(\epsilon^{p-1}\equiv 1\) (mod \(p^{n_ 2} {\mathbb{Z}}_ p))\). Using their criteria, the authors give eleven fields with \(\lambda_ 3(k)=\mu_ 3(k)=0\) and \(n_ 1=n_ 2=2\).
    0 references
    \(\lambda \)-invariant
    0 references
    Iwasawa invariants
    0 references
    real quadratic field
    0 references
    class number
    0 references

    Identifiers

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