<p>We say that a monic irreducible polynomial <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11139_2025_1053_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="85" /> </InlineMediaObject> <EquationSource Format="TEX">\(f(x)\in {\mathbb {Z}[x]}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>f</mi> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> <mo>∈</mo> <mrow> <mi mathvariant="double-struck">Z</mi> <mo stretchy="false">[</mo> <mi>x</mi> <mo stretchy="false">]</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> is monogenic if for any root <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11139_2025_1053_Article_IEq2.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(\theta \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>θ</mi> </math></EquationSource> </InlineEquation> of <i>f</i>(<i>x</i>), <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11139_2025_1053_Article_IEq3.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="29" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb {Z}[\theta ]\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="double-struck">Z</mi> <mo stretchy="false">[</mo> <mi>θ</mi> <mo stretchy="false">]</mo> </mrow> </math></EquationSource> </InlineEquation> is equal to the ring of integers of the number field <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11139_2025_1053_Article_IEq4.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="33" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb {Q}(\theta )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="double-struck">Q</mi> <mo stretchy="false">(</mo> <mi>θ</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>. Let <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11139_2025_1053_Article_IEq5.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="189" /> </InlineMediaObject> <EquationSource Format="TEX">\(f(x)=x^n+ax+b\in {\mathbb {Z}[x]}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>f</mi> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <msup> <mi>x</mi> <mi>n</mi> </msup> <mo>+</mo> <mi>a</mi> <mi>x</mi> <mo>+</mo> <mi>b</mi> <mo>∈</mo> <mrow> <mi mathvariant="double-struck">Z</mi> <mo stretchy="false">[</mo> <mi>x</mi> <mo stretchy="false">]</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> be an irreducible trinomial and let <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11139_2025_1053_Article_IEq6.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="83" /> </InlineMediaObject> <EquationSource Format="TEX">\(g(x)\in {\mathbb {Z}[x]}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>g</mi> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> <mo>∈</mo> <mrow> <mi mathvariant="double-struck">Z</mi> <mo stretchy="false">[</mo> <mi>x</mi> <mo stretchy="false">]</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> be such that <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11139_2025_1053_Article_IEq7.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="60" /> </InlineMediaObject> <EquationSource Format="TEX">\(f\circ g(x)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>f</mi> <mo>∘</mo> <mi>g</mi> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> is irreducible over <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11139_2025_1053_Article_IEq8.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb {Q}.\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="double-struck">Q</mi> <mo>.</mo> </mrow> </math></EquationSource> </InlineEquation> In this article, we establish a criterion which characterizes the primes dividing the index of <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11139_2025_1053_Article_IEq9.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="32" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb {Z}[\alpha ]\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="double-struck">Z</mi> <mo stretchy="false">[</mo> <mi>α</mi> <mo stretchy="false">]</mo> </mrow> </math></EquationSource> </InlineEquation> in the ring of integers of <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11139_2025_1053_Article_IEq10.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="73" /> </InlineMediaObject> <EquationSource Format="TEX">\(K=\mathbb {Q}(\alpha )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>K</mi> <mo>=</mo> <mi mathvariant="double-struck">Q</mi> <mo stretchy="false">(</mo> <mi>α</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>, where <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11139_2025_1053_Article_IEq11.gif" Format="GIF" Height="10" Rendition="HTML" Resolution="72" Type="Linedraw" Width="14" /> </InlineMediaObject> <EquationSource Format="TEX">\(\alpha \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>α</mi> </math></EquationSource> </InlineEquation> is a root of <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11139_2025_1053_Article_IEq7.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="60" /> </InlineMediaObject> <EquationSource Format="TEX">\(f\circ g(x)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>f</mi> <mo>∘</mo> <mi>g</mi> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>. In fact, for certain choices of <i>g</i>(<i>x</i>), we prove that no prime dividing <i>disc</i>(<i>f</i>(<i>x</i>)) divides <InlineEquation ID="IEq13"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11139_2025_1053_Article_IEq13.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="79" /> </InlineMediaObject> <EquationSource Format="TEX">\([\mathcal {O}_K:\mathbb {Z}[\alpha ]]\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">[</mo> <msub> <mi mathvariant="script">O</mi> <mi>K</mi> </msub> <mo>:</mo> <mi mathvariant="double-struck">Z</mi> <mrow> <mo stretchy="false">[</mo> <mi>α</mi> <mo stretchy="false">]</mo> </mrow> <mo stretchy="false">]</mo> </mrow> </math></EquationSource> </InlineEquation> if and only if <i>f</i>(<i>x</i>) is monogenic. We apply this result to find a couple of infinite families of monogenic polynomials over <InlineEquation ID="IEq14"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11139_2025_1053_Article_IEq14.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb {Z}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="double-struck">Z</mi> </math></EquationSource> </InlineEquation>.</p>

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

Monogenity of composition of polynomials

  • Himanshu Sharma,
  • Ritumoni Sarma

摘要

We say that a monic irreducible polynomial \(f(x)\in {\mathbb {Z}[x]}\) f ( x ) Z [ x ] is monogenic if for any root \(\theta \) θ of f(x), \(\mathbb {Z}[\theta ]\) Z [ θ ] is equal to the ring of integers of the number field \(\mathbb {Q}(\theta )\) Q ( θ ) . Let \(f(x)=x^n+ax+b\in {\mathbb {Z}[x]}\) f ( x ) = x n + a x + b Z [ x ] be an irreducible trinomial and let \(g(x)\in {\mathbb {Z}[x]}\) g ( x ) Z [ x ] be such that \(f\circ g(x)\) f g ( x ) is irreducible over \(\mathbb {Q}.\) Q . In this article, we establish a criterion which characterizes the primes dividing the index of \(\mathbb {Z}[\alpha ]\) Z [ α ] in the ring of integers of \(K=\mathbb {Q}(\alpha )\) K = Q ( α ) , where \(\alpha \) α is a root of \(f\circ g(x)\) f g ( x ) . In fact, for certain choices of g(x), we prove that no prime dividing disc(f(x)) divides \([\mathcal {O}_K:\mathbb {Z}[\alpha ]]\) [ O K : Z [ α ] ] if and only if f(x) is monogenic. We apply this result to find a couple of infinite families of monogenic polynomials over \(\mathbb {Z}\) Z .