<p>The Pólya group, <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(\mathcal {P}_O(K)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi mathvariant="script">P</mi> <mi>O</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>K</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>, of a number field <i>K</i> is the subgroup of its ideal class group <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(\textrm{C}_K\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mtext>C</mtext> <mi>K</mi> </msub> </math></EquationSource> </InlineEquation> generated by the classes of the products of the maximal ideals of <i>K</i> having the same absolute norm. <i>K</i> is said to be a Pólya field if <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(\mathcal {P}_O(K)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi mathvariant="script">P</mi> <mi>O</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>K</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> is trivial. In this note, we are interested in determining, using capitulation theory, the Pólya groups of some real biquadratic number fields <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(K=\mathbb {Q}(\sqrt{d_{1}},\sqrt{d_{2}})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>K</mi> <mo>=</mo> <mi mathvariant="double-struck">Q</mi> <mo stretchy="false">(</mo> <msqrt> <msub> <mi>d</mi> <mn>1</mn> </msub> </msqrt> <mo>,</mo> <msqrt> <msub> <mi>d</mi> <mn>2</mn> </msub> </msqrt> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>, where <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(d_1\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>d</mi> <mn>1</mn> </msub> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(d_2\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>d</mi> <mn>2</mn> </msub> </math></EquationSource> </InlineEquation> are two square-free positive coprime integers satisfying certain conditions. As a consequence, we deduce all such Pólya fields <i>K</i>, and the structure of their first cohomology group of units.</p>

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

Pólya groups and capitulation in some real biquadratic number fields

  • S. El Madrari,
  • M. Taous,
  • A. Zekhnini

摘要

The Pólya group, \(\mathcal {P}_O(K)\) P O ( K ) , of a number field K is the subgroup of its ideal class group \(\textrm{C}_K\) C K generated by the classes of the products of the maximal ideals of K having the same absolute norm. K is said to be a Pólya field if \(\mathcal {P}_O(K)\) P O ( K ) is trivial. In this note, we are interested in determining, using capitulation theory, the Pólya groups of some real biquadratic number fields \(K=\mathbb {Q}(\sqrt{d_{1}},\sqrt{d_{2}})\) K = Q ( d 1 , d 2 ) , where \(d_1\) d 1 and \(d_2\) d 2 are two square-free positive coprime integers satisfying certain conditions. As a consequence, we deduce all such Pólya fields K, and the structure of their first cohomology group of units.