<p>By means of parametrized presentations of finite metabelian <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(3\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>3</mn> </mrow> </math></EquationSource> </InlineEquation>-groups, it is proved that the coclass <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(\textrm{cc}(M)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mtext>cc</mtext> <mo stretchy="false">(</mo> <mi>M</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> of the second <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(3\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>3</mn> </mrow> </math></EquationSource> </InlineEquation>-class group <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(M=\textrm{Gal}(\textrm{F}_3^2(K)/K)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>M</mi> <mo>=</mo> <mtext>Gal</mtext> <mo stretchy="false">(</mo> <msubsup> <mtext>F</mtext> <mn>3</mn> <mn>2</mn> </msubsup> <mrow> <mo stretchy="false">(</mo> <mi>K</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">/</mo> <mi>K</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> of any algebraic number field <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(K\)</EquationSource> <EquationSource Format="MATHML"><math> <mi>K</mi> </math></EquationSource> </InlineEquation> with elementary bicyclic <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(3\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>3</mn> </mrow> </math></EquationSource> </InlineEquation>-class group <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(\textrm{Cl}_3(K)\simeq (3,3)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mtext>Cl</mtext> <mn>3</mn> </msub> <mrow> <mo stretchy="false">(</mo> <mi>K</mi> <mo stretchy="false">)</mo> </mrow> <mo>≃</mo> <mrow> <mo stretchy="false">(</mo> <mn>3</mn> <mo>,</mo> <mn>3</mn> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> is determined unambiguously by the second largest order <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(\textrm{ord}(\textrm{Cl}_3(E_2))=3^{\textrm{cc}(M)+1}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mtext>ord</mtext> <mrow> <mo stretchy="false">(</mo> <msub> <mtext>Cl</mtext> <mn>3</mn> </msub> <mrow> <mo stretchy="false">(</mo> <msub> <mi>E</mi> <mn>2</mn> </msub> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <msup> <mn>3</mn> <mrow> <mtext>cc</mtext> <mo stretchy="false">(</mo> <mi>M</mi> <mo stretchy="false">)</mo> <mo>+</mo> <mn>1</mn> </mrow> </msup> </mrow> </math></EquationSource> </InlineEquation> among the four <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(3\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>3</mn> </mrow> </math></EquationSource> </InlineEquation>-class groups of the unramified cyclic cubic extensions <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(E_i\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>E</mi> <mi>i</mi> </msub> </math></EquationSource> </InlineEquation> <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\((i=1,\ldots ,4)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mi>i</mi> <mo>=</mo> <mn>1</mn> <mo>,</mo> <mo>…</mo> <mo>,</mo> <mn>4</mn> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> of <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\(K\)</EquationSource> <EquationSource Format="MATHML"><math> <mi>K</mi> </math></EquationSource> </InlineEquation>. Minimal discriminants of quadratic and cubic fields <InlineEquation ID="IEq13"> <EquationSource Format="TEX">\(K\)</EquationSource> <EquationSource Format="MATHML"><math> <mi>K</mi> </math></EquationSource> </InlineEquation> with assigned coclass <InlineEquation ID="IEq14"> <EquationSource Format="TEX">\(\textrm{cc}(M)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mtext>cc</mtext> <mo stretchy="false">(</mo> <mi>M</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> are computed from extensive databases of <InlineEquation ID="IEq15"> <EquationSource Format="TEX">\(3\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>3</mn> </mrow> </math></EquationSource> </InlineEquation>-class numbers <InlineEquation ID="IEq16"> <EquationSource Format="TEX">\(\textrm{ord}(\textrm{Cl}_3(E_i))\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mtext>ord</mtext> <mo stretchy="false">(</mo> <msub> <mtext>Cl</mtext> <mn>3</mn> </msub> <mrow> <mo stretchy="false">(</mo> <msub> <mi>E</mi> <mi>i</mi> </msub> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> as an application.</p>

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

Coclass of the second 3-class group

  • Siham Aouissi,
  • Daniel C. Mayer

摘要

By means of parametrized presentations of finite metabelian \(3\) 3 -groups, it is proved that the coclass \(\textrm{cc}(M)\) cc ( M ) of the second \(3\) 3 -class group \(M=\textrm{Gal}(\textrm{F}_3^2(K)/K)\) M = Gal ( F 3 2 ( K ) / K ) of any algebraic number field \(K\) K with elementary bicyclic \(3\) 3 -class group \(\textrm{Cl}_3(K)\simeq (3,3)\) Cl 3 ( K ) ( 3 , 3 ) is determined unambiguously by the second largest order \(\textrm{ord}(\textrm{Cl}_3(E_2))=3^{\textrm{cc}(M)+1}\) ord ( Cl 3 ( E 2 ) ) = 3 cc ( M ) + 1 among the four \(3\) 3 -class groups of the unramified cyclic cubic extensions \(E_i\) E i \((i=1,\ldots ,4)\) ( i = 1 , , 4 ) of \(K\) K . Minimal discriminants of quadratic and cubic fields \(K\) K with assigned coclass \(\textrm{cc}(M)\) cc ( M ) are computed from extensive databases of \(3\) 3 -class numbers \(\textrm{ord}(\textrm{Cl}_3(E_i))\) ord ( Cl 3 ( E i ) ) as an application.