 is indeed an element of $\mathbb{Z}\left[\zeta_k \right].$ The result now follows by equivalence (\[modified condition\]).$ \qed$

Divisibility Results
====================

We use Theorem \[criterion\], in conjunction with the evaluations of the sums $K(\chi)$ given in Section $2,$ to obtain new results concerning the divisors of $\text{gcd}(S_2(x),x^{q-1}+1).$ We first apply the evaluations of the pure Jacobi sums given in Corollary \[Jacobi pure\].

\[pure conditions\] Suppose that there exist positive integers $x$ satisfying the congruence $p^x \equiv -1 \pmod{k},$ and let $t$ be the least such integer. Hence, by Theorem [\[pure Gauss\]]{}, $m = 2ts$ for some positive integer $s$.

If $p \equiv 1 \pmod{4},$ then $I_{\beta}(x)|S_2(x) \iff s \equiv 0 \pmod{2}.$

If $p \equiv 3 \pmod{4},$ then $I_{\beta}(x)|S_2(x) \iff$ either $s \equiv 0 \pmod{2}$ or $ts$ is odd.

By Corollary \[Jacobi pure\], $K(\chi)$ is pure; in fact, $K(\chi) \in \mathbb{Z}.$ We know that $\mathcal{P}\cap \mathbb{Z} = 2\mathbb{Z}$ (see [@I1]). Hence, $$I_{\beta}(x)|S_2(x) \iff \frac{1}{2}(K(\chi)+1) \equiv 0 \pmod{2} \iff K(\chi) + 1 \equiv 0 \pmod{4}.$$

If $p \equiv 1 \pmod{4},$ then by Corollary \[Jacobi pure\], we have $$\begin{aligned}
&I_{\beta}(x)|S_2(x)& \iff (-1)^{1 + (p^t + 1)s/(2k)}p^{m/2} + 1 \equiv 0 \pmod{4} \\
&& \iff (-1)^{1 + (p^t+1)s/(2k)} + 1 \equiv 0 \pmod{4}.\end{aligned}$$ Since $k$ is odd, we have $$I_{\beta}(x)|
is indeed an element of $ \mathbb{Z}\left[\zeta_k \right].$ The result now follows by equality (\[modified condition\]).$ \qed$ 

 Divisibility result 
 = = = = = = = = = = = = = = = = = = = = 

 We use Theorem \[criterion\ ], in conjunction with the evaluations of the sum $ K(\chi)$ given in Section $ 2,$ to prevail modern results refer the divisors of $ \text{gcd}(S_2(x),x^{q-1}+1).$ We first give the evaluations of the pure Jacobi union give in Corollary \[Jacobi pure\ ]. 

 \[pure conditions\ ] Suppose that there exist positive integers $ x$ satisfy the congruence $ p^x \equiv -1 \pmod{k},$ and let $ t$ be the least such integer. Hence, by Theorem [ \[pure Gauss\ ] ] { }, $ m = 2ts$ for some positivist integer $ s$. 

 If $ p \equiv 1 \pmod{4},$ then $ I_{\beta}(x)|S_2(x) \iff s \equiv 0 \pmod{2}.$ 

 If $ p \equiv 3 \pmod{4},$ then $ I_{\beta}(x)|S_2(x) \iff$ either $ s \equiv 0 \pmod{2}$ or $ ts$ is odd. 

 By Corollary \[Jacobi pure\ ], $ K(\chi)$ is pure; in fact, $ K(\chi) \in \mathbb{Z}.$ We acknowledge that $ \mathcal{P}\cap \mathbb{Z } = 2\mathbb{Z}$ (see [ @I1 ]). Hence, $ $ I_{\beta}(x)|S_2(x) \iff \frac{1}{2}(K(\chi)+1) \equiv 0 \pmod{2 } \iff K(\chi) + 1 \equiv 0 \pmod{4}.$$ 

 If $ p \equiv 1 \pmod{4},$ then by Corollary \[Jacobi pure\ ], we have $ $ \begin{aligned } 
 & I_{\beta}(x)|S_2(x) & \iff (-1)^{1 + (p^t + 1)s/(2k)}p^{m/2 } + 1 \equiv 0 \pmod{4 } \\ 
 & & \iff (-1)^{1 + (p^t+1)s/(2k) } + 1 \equiv 0 \pmod{4}.\end{aligned}$$ Since $ k$ is odd, we own $ $ I_{\beta}(x)|
 is indeed an element of $\mauhbb{Z}\left[\zeta_k \riyyt].$ The resulf now foulows by equivalence (\[modifiev cobditiin\]).$ \qed$

Divisibility Resjlts
====================

We usv Theorem \[criuerion\], in conjuncvjon witm the cvaluctmons of the sumx $K(\chi)$ givan in Section $2,$ tu lbtain new results concerning the dyvisors ov $\text{gcd}(S_2(x),x^{q-1}+1).$ Re fprft aliln the evaluations of the pure Jadobi suks given in Cprollary \[Jacobi pure\].

\[pure clndihions\] Suppose that there exisj pofutive integefs $x$ satisfying the cohgruence $p^x \equiv -1 \pmod{k},$ and leg $t$ bz the least sych hnteger. Henre, by Nheorem [\[pure Nsuss\]]{}, $m = 2ts$ fot some positivc intxger $s$.

If $p \equiv 1 \pmod{4},$ thxn $I_{\beta}(x)|S_2(x) \iff s \eqoiv 0 \pmod{2}.$

Ix $' \equiv 3 \pmod{4},$ then $I_{\bwtq}(x)|S_2(x) \hff$ aithde $s \eqhit 0 \lmod{2}$ og $ta$ is odd.

By Corollary \[Hacobi pure\], $K(\chi)$ is ptgr; in fact, $K(\cgi) \in \iaehbb{Z}.$ We know that $\mathcal{P}\cap \mathbb{Z} = 2\mafhbb{Z}$ (see [@I1]). Hence, $$I_{\beta}(z)|S_2(x) \iff \frac{1}{2}(K(\chi)+1) \equig 0 \pmod{2} \isf K(\chi) + 1 \equiv 0 \pmod{4}.$$

If $p \equiv 1 \pmod{4},$ then by Cormllarb \[Gacibl pufw\], ae have $$\begin{aligned}
&I_{\beta}(x)|S_2(x)& \iff (-1)^{1 + (p^t + 1)s/(2k)}p^{m/2} + 1 \sqiin 0 \pmod{4} \\
&& \iff (-1)^{1 + (p^t+1)f/(2k)} + 1 \equiv 0 \ploc{4}.\gnd{aligned}$$ Sinze $k$ is osd, we have $$I_{\beta}(x)|
is indeed an element of $\mathbb{Z}\left[\zeta_k \right].$ now by equivalence condition\]).$ \qed$ Divisibility \[criterion\], conjunction with the of the sums given in Section $2,$ to obtain results concerning the divisors of $\text{gcd}(S_2(x),x^{q-1}+1).$ We first apply the evaluations of the Jacobi sums given in Corollary \[Jacobi pure\]. \[pure conditions\] Suppose that there exist integers satisfying congruence \equiv -1 \pmod{k},$ and let $t$ be the least such integer. Hence, by Theorem [\[pure Gauss\]]{}, = 2ts$ for some positive integer $s$. If \equiv 1 \pmod{4},$ then \iff s \equiv 0 \pmod{2}.$ $p 3 \pmod{4},$ $I_{\beta}(x)|S_2(x) either \equiv 0 \pmod{2}$ $ts$ is odd. By Corollary \[Jacobi pure\], $K(\chi)$ is pure; in fact, $K(\chi) \in \mathbb{Z}.$ We know $\mathcal{P}\cap \mathbb{Z} (see [@I1]). $$I_{\beta}(x)|S_2(x) \frac{1}{2}(K(\chi)+1) 0 \pmod{2} \iff 1 \equiv 0 \pmod{4}.$$ If $p then by Corollary \[Jacobi pure\], we have $$\begin{aligned} \iff (-1)^{1 (p^t + 1)s/(2k)}p^{m/2} + 1 \equiv \pmod{4} \\ && \iff (-1)^{1 + (p^t+1)s/(2k)} + \equiv 0 \pmod{4}.\end{aligned}$$ Since $k$ is odd, we have $$I_{\beta}(x)|
 is indeed an element of $\mathbb{z}\left[\zeta_k \Right].$ the ResUlT now FollOws by equivalenCE (\[modIfied condition\]).$ \qed$

DivisIbiliTy rEsulTS
====================

WE use THeorem \[cRItERIon\], In CoNjuNcTIoN with The EvaluatIons of the sUms $k(\cHi)$ given in SecTIoN $2,$ to obtain nEw rEsults concerNinG the diViSorS Of $\texT{gcD}(S_2(x),x^{q-1}+1).$ we firsT Apply tHe evaluatIoNS of the PUre JacoBI SuMs giVen in Corollary \[JacOBi PUre\].

\[pure conditiOns\] SupPoSE tHAT thEre Exist positIvE inteGErs $x$ satISfYING thE Congruence $p^x \eQuiv -1 \pmod{k},$ anD Let $T$ be the LeAst SUch intEger. HEnCE, by theorem [\[pure gausS\]]{}, $m = 2ts$ for soMe posiTIve inteGEr $s$.

If $p \eQuiv 1 \pmOd{4},$ tHen $i_{\betA}(X)|S_2(X) \iFf s \EqUIv 0 \pMOd{2}.$

if $p \EQuiV 3 \pmod{4},$ theN $I_{\BeTa}(x)|S_2(x) \Iff$ eITHER $s \eqUiv 0 \Pmod{2}$ Or $ts$ iS odd.

By CorollaRy \[JAcobI PurE\], $K(\chi)$ Is purE; in fAcT, $K(\chi) \In \mathBb{Z}.$ We KnOw that $\mathcal{P}\cAp \maThbb{Z} = 2\mathBb{Z}$ (SeE [@I1]). HEnCe, $$I_{\beTA}(x)|S_2(x) \ifF \frAc{1}{2}(K(\Chi)+1) \equiV 0 \pmod{2} \ifF k(\chI) + 1 \eQUIV 0 \pMod{4}.$$

If $p \equiv 1 \pmod{4},$ theN bY cOrOllary \[JaCobi puRE\], wE hAVe $$\begin{aLiGneD}
&I_{\beTA}(X)|S_2(x)& \ifF (-1)^{1 + (p^t + 1)s/(2K)}P^{m/2} + 1 \Equiv 0 \pmoD{4} \\
&& \iff (-1)^{1 + (p^t+1)S/(2K)} + 1 \eQuIv 0 \pmod{4}.\eNd{AligneD}$$ SIncE $k$ iS odd, wE Have $$i_{\beta}(x)|
 is indeed an element of $ \mathbb{Z} \left [\z eta _k  \ri ght] .$ The resultn ow f ollows by equivalence(\[mo di f iedc on ditio n\]).$\ qe d $ 

D iv is ibi li t yResul ts======= ========== === 
We use Theor e m\[criterio n\] , in conjunc tio n with  t hee valua tio ns of  the s u ms $K( \chi)$ gi ve n  in Se c tion $2 , $  t o ob tain new resultsc on c erning the div isorsof $\ t e xt{ gcd }(S_2(x),x ^{ q-1}+ 1 ).$ Wef ir s t app l y the evaluat ions of the pur e Jaco bi  su m s give n inCo r oll ary \[Jacob i pu re\].

\[ pure c o ndition s \] Supp ose th atthe re e x is tpos it i vei nt ege r s $ x$ satis fy in g the  con g r u e nce$p^ x \e quiv-1 \pmod{k},$  an d le t  $t $ bethe l east  s uch i nteger . Hen ce , by Theorem [\ [pur e Gauss\] ]{} ,$m=2ts$f or som e p osi tive in teger $ s $.
I f $ p\equiv 1 \pmod{4}, $t h en  $I_{\be ta}(x) | S_ 2( x ) \iff s  \ equ iv 0 \ pmod{ 2}.$ 
I f $p \eq uiv 3\ pm od {4},$ t he n $I_{ \b eta }(x )|S_2 ( x) \ iff$ e ither $s  \equ i v 0 \pmod{2}$o r $ts$ is odd . 
B y  C o roll ary  \[Jacobi p ure\ ] , $K (\ch i )$  is pure;  in f ac t ,$ K(\chi) \in \mathbb {Z }.$ We  know  that $\mathc al{P}\cap\ m a thbb{Z}= 2\ m at h bb{Z}$ (see [@ I1]).  Hence, $$ I _{\beta} (x)|S _2(x) \i ff \frac{ 1 } {2}(K(\c hi) +1)  \e qui v 0\pmod{2} \iff K (\ch i)  + 1 \e qui v 0 \pm od{ 4}. $$
If  $ p \equiv1 \pmod{ 4} ,$  t he n b y Cor o llary \[ Ja cob ipur e\],w e have  $$\b egin {a li g ned }
&I_{\ b et a } (x)| S_ 2( x)&\if f(-1)^ {1 + (p^ t + 1)s /(2k)}p^{ m/2 }  + 1  \ eq uiv 0 \ pmod{4} \\
&&  \ iff (-1)^{ 1+ ( p^t+1) s / (2k)} +1 \equiv 0 \pmod{4}.\en d {aligne d}$ $ Sin ce $ k$ is odd , w e have  $$ I _{\bet a}(x)| 
 is_indeed an_element of $\mathbb{Z}\left[\zeta_k \right].$_The result_now_follows by_equivalence_(\[modified condition\]).$ \qed$

Divisibility_Results
====================

We use Theorem_\[criterion\], in conjunction with_the evaluations of_the_sums $K(\chi)$ given in Section $2,$ to obtain new results concerning the divisors of_$\text{gcd}(S_2(x),x^{q-1}+1).$_We first_apply_the_evaluations of the pure Jacobi_sums given in Corollary \[Jacobi_pure\].

\[pure conditions\]_Suppose that there exist positive integers $x$ satisfying_the_congruence $p^x \equiv_-1 \pmod{k},$ and let $t$ be the least such_integer. Hence, by Theorem [\[pure Gauss\]]{},_$m = 2ts$_for_some_positive integer $s$.

If $p_\equiv 1 \pmod{4},$ then $I_{\beta}(x)|S_2(x) \iff_s \equiv 0 \pmod{2}.$

If $p \equiv_3 \pmod{4},$ then $I_{\beta}(x)|S_2(x) \iff$ either $s_\equiv 0 \pmod{2}$ or $ts$ is_odd.

By Corollary \[Jacobi pure\], $K(\chi)$_is pure;_in fact, $K(\chi) \in \mathbb{Z}.$_We know that_$\mathcal{P}\cap \mathbb{Z}_= 2\mathbb{Z}$ (see_[@I1]). Hence, $$I_{\beta}(x)|S_2(x) \iff \frac{1}{2}(K(\chi)+1) \equiv_0 \pmod{2} \iff_K(\chi) + 1 \equiv 0 \pmod{4}.$$

If_$p_\equiv 1 \pmod{4},$_then_by_Corollary \[Jacobi_pure\], we have_$$\begin{aligned}
&I_{\beta}(x)|S_2(x)&_\iff (-1)^{1_+_(p^t + 1)s/(2k)}p^{m/2} + 1 \equiv_0_\pmod{4} \\
&& \iff (-1)^{1 + (p^t+1)s/(2k)} +_1 \equiv 0 \pmod{4}.\end{aligned}$$_Since_$k$ is odd, we_have $$I_{\beta}(x)|