<p>This paper is a continuation of a recent work [<CitationRef CitationID="CR5">5</CitationRef>] on the imaginary quadratic fields <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(\mathbb {Q}(\sqrt{-D_s})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="double-struck">Q</mi> <mo stretchy="false">(</mo> <msqrt> <mrow> <mo>-</mo> <msub> <mi>D</mi> <mi>s</mi> </msub> </mrow> </msqrt> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> where <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(5D_s = F_{10\,s+5}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>5</mn> <msub> <mi>D</mi> <mi>s</mi> </msub> <mo>=</mo> <msub> <mi>F</mi> <mrow> <mn>10</mn> <mspace width="0.166667em" /> <mi>s</mi> <mo>+</mo> <mn>5</mn> </mrow> </msub> </mrow> </math></EquationSource> </InlineEquation>, with <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(F_n\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>F</mi> <mi>n</mi> </msub> </math></EquationSource> </InlineEquation> the <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(n\)</EquationSource> <EquationSource Format="MATHML"><math> <mi>n</mi> </math></EquationSource> </InlineEquation>-th Fibonacci number. In a previous paper [<CitationRef CitationID="CR5">5</CitationRef>], it was shown that the class number of <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(\mathbb {Q}(\sqrt{-D_s})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="double-struck">Q</mi> <mo stretchy="false">(</mo> <msqrt> <mrow> <mo>-</mo> <msub> <mi>D</mi> <mi>s</mi> </msub> </mrow> </msqrt> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> is divisible by <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(5\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>5</mn> </mrow> </math></EquationSource> </InlineEquation> for all nonnegative <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(s\)</EquationSource> <EquationSource Format="MATHML"><math> <mi>s</mi> </math></EquationSource> </InlineEquation> except possibly those <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(s \equiv 0 \pmod {20}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>s</mi> <mo>≡</mo> <mn>0</mn> <mspace width="4.44443pt" /> <mo stretchy="false">(</mo> <mo>mod</mo> <mspace width="0.277778em" /> <mn>20</mn> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>. In this paper, we refine the argument and remove that restriction, proving that the class number of <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(\mathbb {Q}(\sqrt{-D_s})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="double-struck">Q</mi> <mo stretchy="false">(</mo> <msqrt> <mrow> <mo>-</mo> <msub> <mi>D</mi> <mi>s</mi> </msub> </mrow> </msqrt> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> is divisible by <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(5\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>5</mn> </mrow> </math></EquationSource> </InlineEquation> for every positive integer <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(s\)</EquationSource> <EquationSource Format="MATHML"><math> <mi>s</mi> </math></EquationSource> </InlineEquation>. Our proof combines a construction of a quintic polynomial, properties of Fibonacci-Lucas numbers, and Sase’s ramification criterion to exhibit an unramified <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\(C_5\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>C</mi> <mn>5</mn> </msub> </math></EquationSource> </InlineEquation>-extension within a dihedral extension of degree 10.</p>

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

A new family of imaginary quadratic fields with class number divisible by 5, II

  • Kwang-Seob Kim,
  • Yasuhiro Kishi

摘要

This paper is a continuation of a recent work [5] on the imaginary quadratic fields \(\mathbb {Q}(\sqrt{-D_s})\) Q ( - D s ) where \(5D_s = F_{10\,s+5}\) 5 D s = F 10 s + 5 , with \(F_n\) F n the \(n\) n -th Fibonacci number. In a previous paper [5], it was shown that the class number of \(\mathbb {Q}(\sqrt{-D_s})\) Q ( - D s ) is divisible by \(5\) 5 for all nonnegative \(s\) s except possibly those \(s \equiv 0 \pmod {20}\) s 0 ( mod 20 ) . In this paper, we refine the argument and remove that restriction, proving that the class number of \(\mathbb {Q}(\sqrt{-D_s})\) Q ( - D s ) is divisible by \(5\) 5 for every positive integer \(s\) s . Our proof combines a construction of a quintic polynomial, properties of Fibonacci-Lucas numbers, and Sase’s ramification criterion to exhibit an unramified \(C_5\) C 5 -extension within a dihedral extension of degree 10.