<p>We prove that, for every modulus <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3738_Article_IEq1.gif" Format="GIF" Height="13" Rendition="HTML" Resolution="72" Type="Linedraw" Width="10" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathfrak q}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="fraktur">q</mi> </math></EquationSource> </InlineEquation>, every class of the narrow ray class group <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3738_Article_IEq2.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="49" /> </InlineMediaObject> <EquationSource Format="TEX">\(H_{\mathfrak q}({\textbf{K}})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>H</mi> <mi mathvariant="fraktur">q</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="bold">K</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> of an arbitrary number field <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3738_Article_IEq3.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="16" /> </InlineMediaObject> <EquationSource Format="TEX">\({\textbf{K}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="bold">K</mi> </math></EquationSource> </InlineEquation> contains a product of three unramified prime ideals <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3738_Article_IEq4.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="10" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathfrak {p}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="fraktur">p</mi> </math></EquationSource> </InlineEquation> of degree one with <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3738_Article_IEq5.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="121" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathfrak N}{\mathfrak {p}}\leqslant (t({\textbf{K}}){\mathfrak N}{\mathfrak q})^3\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="fraktur">N</mi> <mi mathvariant="fraktur">p</mi> <mo>⩽</mo> <msup> <mrow> <mo stretchy="false">(</mo> <mi>t</mi> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="bold">K</mi> <mo stretchy="false">)</mo> </mrow> <mi mathvariant="fraktur">N</mi> <mi mathvariant="fraktur">q</mi> <mo stretchy="false">)</mo> </mrow> <mn>3</mn> </msup> </mrow> </math></EquationSource> </InlineEquation>, where <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3738_Article_IEq6.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="35" /> </InlineMediaObject> <EquationSource Format="TEX">\(t({\textbf{K}})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>t</mi> <mo stretchy="false">(</mo> <mi mathvariant="bold">K</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> is an explicit function of <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3738_Article_IEq3.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="16" /> </InlineMediaObject> <EquationSource Format="TEX">\({\textbf{K}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="bold">K</mi> </math></EquationSource> </InlineEquation> described in&#xa0;(<InternalRef RefID="Equ1">1</InternalRef>). To achieve this result, we first obtain a sharp explicit Brun-Titchmarsh Theorem for ray classes and then an equally explicit improved Brun-Titchmarsh Theorem for large subgroups of narrow ray class groups. En route, we deduce an explicit upper bound for the least prime ideal in a quadratic subgroup of a narrow ray class group and also for the size of the least ideal that is a product of degree one primes in any given class of <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3738_Article_IEq2.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="49" /> </InlineMediaObject> <EquationSource Format="TEX">\(H_{\mathfrak q}({\textbf{K}})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>H</mi> <mi mathvariant="fraktur">q</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="bold">K</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>.</p>

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

Representing ideal classes of ray class groups by product of prime ideals of small size

  • Jean-Marc Deshouillers,
  • Sanoli Gun,
  • Olivier Ramaré,
  • Jyothsnaa Sivaraman

摘要

We prove that, for every modulus \({\mathfrak q}\) q , every class of the narrow ray class group \(H_{\mathfrak q}({\textbf{K}})\) H q ( K ) of an arbitrary number field \({\textbf{K}}\) K contains a product of three unramified prime ideals \({\mathfrak {p}}\) p of degree one with \({\mathfrak N}{\mathfrak {p}}\leqslant (t({\textbf{K}}){\mathfrak N}{\mathfrak q})^3\) N p ( t ( K ) N q ) 3 , where \(t({\textbf{K}})\) t ( K ) is an explicit function of \({\textbf{K}}\) K described in (1). To achieve this result, we first obtain a sharp explicit Brun-Titchmarsh Theorem for ray classes and then an equally explicit improved Brun-Titchmarsh Theorem for large subgroups of narrow ray class groups. En route, we deduce an explicit upper bound for the least prime ideal in a quadratic subgroup of a narrow ray class group and also for the size of the least ideal that is a product of degree one primes in any given class of \(H_{\mathfrak q}({\textbf{K}})\) H q ( K ) .