<p>For a real quadratic field <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11139_2025_1055_Article_IEq3.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="91" /> </InlineMediaObject> <EquationSource Format="TEX">\(K=\mathbb {Q} ( \sqrt{D} )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>K</mi> <mo>=</mo> <mi mathvariant="double-struck">Q</mi> <mo stretchy="false">(</mo> <msqrt> <mi>D</mi> </msqrt> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>, let <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11139_2025_1055_Article_IEq4.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="29" /> </InlineMediaObject> <EquationSource Format="TEX">\(K_{\infty }\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>K</mi> <mi>∞</mi> </msub> </math></EquationSource> </InlineEquation> denote the cyclotomic <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11139_2025_1055_Article_IEq5.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="20" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb {Z}_{p}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="double-struck">Z</mi> <mi>p</mi> </msub> </math></EquationSource> </InlineEquation>-extension of <i>K</i>. Greenberg conjectured that the corresponding Iwasawa module <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11139_2025_1055_Article_IEq6.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="29" /> </InlineMediaObject> <EquationSource Format="TEX">\(X_{\infty }\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>X</mi> <mi>∞</mi> </msub> </math></EquationSource> </InlineEquation> is finite. Building on the work of Mouhib and Movahhedi, we provide new examples of real quadratic fields for which the conjecture holds, when <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11139_2025_1055_Article_IEq7.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="29" /> </InlineMediaObject> <EquationSource Format="TEX">\(X_{\infty }\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>X</mi> <mi>∞</mi> </msub> </math></EquationSource> </InlineEquation> is cyclic and the prime is <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11139_2025_1055_Article_IEq8.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="41" /> </InlineMediaObject> <EquationSource Format="TEX">\(p=2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>p</mi> <mo>=</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation>. Furthermore, we find a fundamental system of units for certain biquadratic fields of the form <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11139_2025_1055_Article_IEq9.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="83" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb {Q} ( \sqrt{2}, \sqrt{D} )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="double-struck">Q</mi> <mo stretchy="false">(</mo> <msqrt> <mn>2</mn> </msqrt> <mo>,</mo> <msqrt> <mi>D</mi> </msqrt> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> and show how to use it to calculate the order of <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11139_2025_1055_Article_IEq10.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="29" /> </InlineMediaObject> <EquationSource Format="TEX">\(X_{\infty }\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>X</mi> <mi>∞</mi> </msub> </math></EquationSource> </InlineEquation>.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Iwasawa module of the cyclotomic \(\mathbb {Z}_{2}\)-extension of certain real quadratic fields

  • Josué Ávila

摘要

For a real quadratic field \(K=\mathbb {Q} ( \sqrt{D} )\) K = Q ( D ) , let \(K_{\infty }\) K denote the cyclotomic \(\mathbb {Z}_{p}\) Z p -extension of K. Greenberg conjectured that the corresponding Iwasawa module \(X_{\infty }\) X is finite. Building on the work of Mouhib and Movahhedi, we provide new examples of real quadratic fields for which the conjecture holds, when \(X_{\infty }\) X is cyclic and the prime is \(p=2\) p = 2 . Furthermore, we find a fundamental system of units for certain biquadratic fields of the form \(\mathbb {Q} ( \sqrt{2}, \sqrt{D} )\) Q ( 2 , D ) and show how to use it to calculate the order of \(X_{\infty }\) X .