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