<p>Let <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11139_2025_1065_Article_IEq3.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="106" /> </InlineMediaObject> <EquationSource Format="TEX">\( p\equiv 5\pmod 8\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>p</mi> <mo>≡</mo> <mn>5</mn> <mspace width="4.44443pt" /> <mo stretchy="false">(</mo> <mo>mod</mo> <mspace width="0.277778em" /> <mn>8</mn> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11139_2025_1065_Article_IEq4.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="106" /> </InlineMediaObject> <EquationSource Format="TEX">\( q\equiv 7\pmod 8 \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>q</mi> <mo>≡</mo> <mn>7</mn> <mspace width="4.44443pt" /> <mo stretchy="false">(</mo> <mo>mod</mo> <mspace width="0.277778em" /> <mn>8</mn> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11139_2025_1065_Article_IEq5.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="105" /> </InlineMediaObject> <EquationSource Format="TEX">\(r\equiv 3 \pmod 8\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>r</mi> <mo>≡</mo> <mn>3</mn> <mspace width="4.44443pt" /> <mo stretchy="false">(</mo> <mo>mod</mo> <mspace width="0.277778em" /> <mn>8</mn> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> be three prime numbers such that <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11139_2025_1065_Article_IEq6.gif" Format="GIF" Height="33" Rendition="HTML" Resolution="72" Type="Linedraw" Width="106" /> </InlineMediaObject> <EquationSource Format="TEX">\(\left( \frac{p}{q}\right) =\left( \frac{p}{r}\right) =1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mfenced close=")" open="("> <mfrac> <mi>p</mi> <mi>q</mi> </mfrac> </mfenced> <mo>=</mo> <mfenced close=")" open="("> <mfrac> <mi>p</mi> <mi>r</mi> </mfrac> </mfenced> <mo>=</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>. The purpose of this paper is to show how to compute the unit group of the real triquadratic fields of the form <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11139_2025_1065_Article_IEq7.gif" Format="GIF" Height="22" Rendition="HTML" Resolution="72" Type="Linedraw" Width="158" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb {L}_1:=\mathbb {Q}(\sqrt{2}, \sqrt{pr}, \sqrt{q})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi mathvariant="double-struck">L</mi> <mn>1</mn> </msub> <mo>:</mo> <mo>=</mo> <mi mathvariant="double-struck">Q</mi> <mrow> <mo stretchy="false">(</mo> <msqrt> <mn>2</mn> </msqrt> <mo>,</mo> <msqrt> <mrow> <mi mathvariant="italic">pr</mi> </mrow> </msqrt> <mo>,</mo> <msqrt> <mi>q</mi> </msqrt> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11139_2025_1065_Article_IEq8.gif" Format="GIF" Height="22" Rendition="HTML" Resolution="72" Type="Linedraw" Width="167" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb {K}_1:=\mathbb {Q}(\sqrt{2}, \sqrt{pq}, \sqrt{pr})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi mathvariant="double-struck">K</mi> <mn>1</mn> </msub> <mo>:</mo> <mo>=</mo> <mi mathvariant="double-struck">Q</mi> <mrow> <mo stretchy="false">(</mo> <msqrt> <mn>2</mn> </msqrt> <mo>,</mo> <msqrt> <mrow> <mi mathvariant="italic">pq</mi> </mrow> </msqrt> <mo>,</mo> <msqrt> <mrow> <mi mathvariant="italic">pr</mi> </mrow> </msqrt> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>. Furthermore, we investigate the second 2-class group of <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11139_2025_1065_Article_IEq9.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="20" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb {K}_n\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="double-struck">K</mi> <mi>n</mi> </msub> </math></EquationSource> </InlineEquation>, the <i>n</i>th layer of the cyclotomic <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11139_2025_1065_Article_IEq1.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb {Z}_2\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="double-struck">Z</mi> <mn>2</mn> </msub> </math></EquationSource> </InlineEquation>-extension of the field <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11139_2025_1065_Article_IEq11.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="131" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb {K}:=\mathbb {Q}(\sqrt{pq}, \sqrt{pr})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="double-struck">K</mi> <mo>:</mo> <mo>=</mo> <mi mathvariant="double-struck">Q</mi> <mo stretchy="false">(</mo> <msqrt> <mrow> <mi mathvariant="italic">pq</mi> </mrow> </msqrt> <mo>,</mo> <msqrt> <mrow> <mi mathvariant="italic">pr</mi> </mrow> </msqrt> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>, more precisely, we give an improvement of a part of the main theorem of Chems-Eddin (On the maximal unramified pro-2-extension of <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11139_2025_1065_Article_IEq1.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb {Z}_2\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="double-struck">Z</mi> <mn>2</mn> </msub> </math></EquationSource> </InlineEquation>-extension of certain real biquadratic fields. <a href="http://arxiv.org/abs/2409.13574">arXiv:2409.13574</a>. 2024).</p>

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

On units of real triquadratic fields and the second 2-class group of certain cyclotomic \(\mathbb {Z}_2\)-extensions

  • Idriss Jerrari,
  • Abdellah Sbai,
  • Abdelmalek Azizi

摘要

Let \( p\equiv 5\pmod 8\) p 5 ( mod 8 ) , \( q\equiv 7\pmod 8 \) q 7 ( mod 8 ) and \(r\equiv 3 \pmod 8\) r 3 ( mod 8 ) be three prime numbers such that \(\left( \frac{p}{q}\right) =\left( \frac{p}{r}\right) =1\) p q = p r = 1 . The purpose of this paper is to show how to compute the unit group of the real triquadratic fields of the form \(\mathbb {L}_1:=\mathbb {Q}(\sqrt{2}, \sqrt{pr}, \sqrt{q})\) L 1 : = Q ( 2 , pr , q ) and \(\mathbb {K}_1:=\mathbb {Q}(\sqrt{2}, \sqrt{pq}, \sqrt{pr})\) K 1 : = Q ( 2 , pq , pr ) . Furthermore, we investigate the second 2-class group of \(\mathbb {K}_n\) K n , the nth layer of the cyclotomic \(\mathbb {Z}_2\) Z 2 -extension of the field \(\mathbb {K}:=\mathbb {Q}(\sqrt{pq}, \sqrt{pr})\) K : = Q ( pq , pr ) , more precisely, we give an improvement of a part of the main theorem of Chems-Eddin (On the maximal unramified pro-2-extension of \(\mathbb {Z}_2\) Z 2 -extension of certain real biquadratic fields. arXiv:2409.13574. 2024).