<p>Let <i>p</i>, <i>q</i> and <i>s</i> be three different prime integers. Let <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10998_2025_655_Article_IEq5.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="40" /> </InlineMediaObject> <EquationSource Format="TEX">\(\ell \ge 1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>ℓ</mi> <mo>≥</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation> be a positive odd square-free integer relatively prime to <i>p</i>, <i>q</i> and <i>s</i>. The purpose of this paper is to show how one can proceed to perform the calculation of unit group of the fields of the form <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10998_2025_655_Article_IEq6.gif" Format="GIF" Height="22" Rendition="HTML" Resolution="72" Type="Linedraw" Width="165" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb {L}^+=\mathbb {Q}(\sqrt{2}, \sqrt{pq}, \sqrt{ps})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mrow> <mi mathvariant="double-struck">L</mi> </mrow> <mo>+</mo> </msup> <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">ps</mi> </mrow> </msqrt> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10998_2025_655_Article_IEq7.gif" Format="GIF" Height="22" Rendition="HTML" Resolution="72" Type="Linedraw" Width="198" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb {L}=\mathbb {Q}(\sqrt{2}, \sqrt{pq}, \sqrt{ps}, \sqrt{-\ell })\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="double-struck">L</mi> <mo>=</mo> <mi mathvariant="double-struck">Q</mi> <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">ps</mi> </mrow> </msqrt> <mo>,</mo> <msqrt> <mrow> <mo>-</mo> <mi>ℓ</mi> </mrow> </msqrt> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>. More precisely, we compute the unit group and the 2-class number of these fields whenever <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10998_2025_655_Article_IEq8.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="195" /> </InlineMediaObject> <EquationSource Format="TEX">\(p\equiv -q\equiv -s\equiv 5\pmod 8\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>p</mi> <mo>≡</mo> <mo>-</mo> <mi>q</mi> <mo>≡</mo> <mo>-</mo> <mi>s</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> and <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10998_2025_655_Article_IEq9.gif" Format="GIF" Height="33" Rendition="HTML" Resolution="72" Type="Linedraw" Width="85" /> </InlineMediaObject> <EquationSource Format="TEX">\(\left( \frac{ p}{ q}\right) =\left( \frac{ p}{ s}\right) ,\)</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>s</mi> </mfrac> </mfenced> <mo>,</mo> </mrow> </math></EquationSource> </InlineEquation> or <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10998_2025_655_Article_IEq10.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="168" /> </InlineMediaObject> <EquationSource Format="TEX">\(p\equiv q\equiv s\equiv 3\pmod 8\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>p</mi> <mo>≡</mo> <mi>q</mi> <mo>≡</mo> <mi>s</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>.</p>

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

The unit group of some fields of the form \(\mathbb {Q}(\sqrt{2}, \sqrt{pq}, \sqrt{ps})\) and \(\mathbb {Q}(\sqrt{2}, \sqrt{pq}, \sqrt{ps}, \sqrt{-l})\)

  • Moha Ben Taleb El Hamam

摘要

Let p, q and s be three different prime integers. Let \(\ell \ge 1\) 1 be a positive odd square-free integer relatively prime to p, q and s. The purpose of this paper is to show how one can proceed to perform the calculation of unit group of the fields of the form \(\mathbb {L}^+=\mathbb {Q}(\sqrt{2}, \sqrt{pq}, \sqrt{ps})\) L + = Q ( 2 , pq , ps ) and \(\mathbb {L}=\mathbb {Q}(\sqrt{2}, \sqrt{pq}, \sqrt{ps}, \sqrt{-\ell })\) L = Q ( 2 , pq , ps , - ) . More precisely, we compute the unit group and the 2-class number of these fields whenever \(p\equiv -q\equiv -s\equiv 5\pmod 8\) p - q - s 5 ( mod 8 ) and \(\left( \frac{ p}{ q}\right) =\left( \frac{ p}{ s}\right) ,\) p q = p s , or \(p\equiv q\equiv s\equiv 3\pmod 8\) p q s 3 ( mod 8 ) .