<p>Let <i>p</i> be a prime number and <i>q</i> a power of <i>p</i>. Let <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10623_2025_1690_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathbb F}_{q}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="double-struck">F</mi> <mi>q</mi> </msub> </math></EquationSource> </InlineEquation> be the finite field with <i>q</i> elements. For a positive integer <i>n</i> and a polynomial <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10623_2025_1690_Article_IEq2.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="102" /> </InlineMediaObject> <EquationSource Format="TEX">\(\varphi (X)\in {\mathbb F}_{q}[X]\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>φ</mi> <mrow> <mo stretchy="false">(</mo> <mi>X</mi> <mo stretchy="false">)</mo> </mrow> <mo>∈</mo> <msub> <mi mathvariant="double-struck">F</mi> <mi>q</mi> </msub> <mrow> <mo stretchy="false">[</mo> <mi>X</mi> <mo stretchy="false">]</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>, let <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10623_2025_1690_Article_IEq3.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="56" /> </InlineMediaObject> <EquationSource Format="TEX">\(d_{n,\varphi }(X)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>d</mi> <mrow> <mi>n</mi> <mo>,</mo> <mi>φ</mi> </mrow> </msub> <mrow> <mo stretchy="false">(</mo> <mi>X</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> denote the denominator of the <i>n</i>th iterate of <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10623_2025_1690_Article_IEq4.gif" Format="GIF" Height="25" Rendition="HTML" Resolution="72" Type="Linedraw" Width="30" /> </InlineMediaObject> <EquationSource Format="TEX">\(\frac{1}{\varphi (X)}\)</EquationSource> <EquationSource Format="MATHML"><math> <mfrac> <mn>1</mn> <mrow> <mi>φ</mi> <mo stretchy="false">(</mo> <mi>X</mi> <mo stretchy="false">)</mo> </mrow> </mfrac> </math></EquationSource> </InlineEquation>. The polynomial <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10623_2025_1690_Article_IEq5.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="41" /> </InlineMediaObject> <EquationSource Format="TEX">\(\varphi (X)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>φ</mi> <mo stretchy="false">(</mo> <mi>X</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> is said to be inversely stable over <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10623_2025_1690_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathbb F}_{q}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="double-struck">F</mi> <mi>q</mi> </msub> </math></EquationSource> </InlineEquation> if all polynomials <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10623_2025_1690_Article_IEq3.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="56" /> </InlineMediaObject> <EquationSource Format="TEX">\(d_{n,\varphi }(X)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>d</mi> <mrow> <mi>n</mi> <mo>,</mo> <mi>φ</mi> </mrow> </msub> <mrow> <mo stretchy="false">(</mo> <mi>X</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> are irreducible polynomial over <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10623_2025_1690_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathbb F}_{q}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="double-struck">F</mi> <mi>q</mi> </msub> </math></EquationSource> </InlineEquation> and distinct. In this paper, we characterize a class of inversely stable polynomials over <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10623_2025_1690_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathbb F}_{q}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="double-struck">F</mi> <mi>q</mi> </msub> </math></EquationSource> </InlineEquation>. Actually, for <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10623_2025_1690_Article_IEq10.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="211" /> </InlineMediaObject> <EquationSource Format="TEX">\(\varphi (X)=X^p-X+\xi \in {\mathbb F}_{q}[X]\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>φ</mi> <mrow> <mo stretchy="false">(</mo> <mi>X</mi> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <msup> <mi>X</mi> <mi>p</mi> </msup> <mo>-</mo> <mi>X</mi> <mo>+</mo> <mi>ξ</mi> <mo>∈</mo> <msub> <mi mathvariant="double-struck">F</mi> <mi>q</mi> </msub> <mrow> <mo stretchy="false">[</mo> <mi>X</mi> <mo stretchy="false">]</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>, we provide a sufficient and necessary condition for <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10623_2025_1690_Article_IEq5.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="41" /> </InlineMediaObject> <EquationSource Format="TEX">\(\varphi (X)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>φ</mi> <mo stretchy="false">(</mo> <mi>X</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> to be inversely stable over <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10623_2025_1690_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathbb F}_{q}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="double-struck">F</mi> <mi>q</mi> </msub> </math></EquationSource> </InlineEquation>.</p>

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

The inverse stability of Artin–Schreier polynomials over finite fields

  • Kaimin Cheng

摘要

Let p be a prime number and q a power of p. Let \({\mathbb F}_{q}\) F q be the finite field with q elements. For a positive integer n and a polynomial \(\varphi (X)\in {\mathbb F}_{q}[X]\) φ ( X ) F q [ X ] , let \(d_{n,\varphi }(X)\) d n , φ ( X ) denote the denominator of the nth iterate of \(\frac{1}{\varphi (X)}\) 1 φ ( X ) . The polynomial \(\varphi (X)\) φ ( X ) is said to be inversely stable over \({\mathbb F}_{q}\) F q if all polynomials \(d_{n,\varphi }(X)\) d n , φ ( X ) are irreducible polynomial over \({\mathbb F}_{q}\) F q and distinct. In this paper, we characterize a class of inversely stable polynomials over \({\mathbb F}_{q}\) F q . Actually, for \(\varphi (X)=X^p-X+\xi \in {\mathbb F}_{q}[X]\) φ ( X ) = X p - X + ξ F q [ X ] , we provide a sufficient and necessary condition for \(\varphi (X)\) φ ( X ) to be inversely stable over \({\mathbb F}_{q}\) F q .