 in time polynomial in $n$. Furthermore, if $K$ is any field possessing $D_P$ distinct ${D_P}{^{\text{\underline{th}}}}$ roots of unity, then a ${\mathtt{3CNFSAT}}$ instance $B(y)\!:=C_1(y)\wedge \cdots \wedge 
C_k(y)$ has a satisfying assignment iff the univariate polynomial system $F_B\!:=\!({{\mathcal{P}}}_P(C_1), \ldots,{{\mathcal{P}}}_P(C_k))$ has a root $\zeta\!\in\!K$ satisfying $\zeta^{D_P}-1$. [$\blacksquare$]{}

Plaisted actually proved the special case $K\!=\!{\mathbb{C}}$ of the above lemma, in slightly different language, in [@plaisted]. However, his proof extends verbatim to the more general family of fields detailed above.

A simple consequence of the resultant is that vanishing at a $D{^{\text{\underline{th}}}}$ root of unity is algebraically the same thing over ${\mathbb{C}}$ or ${\mathbb{Q}}_p$, provided $p$ lies in the right arithmetic progression.

\[lemma:uni\] Suppose $D\!\in\!{\mathbb{N}}$, $f\!\in\!{\mathbb{Z}}[x]$, and $p$ is any prime congruent to $1$ mod $D$. Then $f$ vanishes at a complex $D{^{\text{\underline{th}}}}$ root of unity $\Longleftrightarrow
f$ vanishes at a $D{^{\text{\underline{th}}}}$ root of unity in ${\mathbb{Q}}_p$.

Note that $x^2+x+1$ vanishes at a $3{^{\text{\underline{rd}}}}$ root of unity in ${\mathbb{C}}$, but has [**no**]{} roots at all in ${\mathbb{F}}_5$ or ${\mathbb{Q}}_5$. So our congruence assumption on $p$ is necessary. [$\diamond$]{}

[**Proof of Lemma \[lemma:uni\]:**]{} First note that by our assumption on $p$, ${\mathbb{Q}}_p$ has $D$ distinct $D{^{\text{\underline{th}}}}$ roots of unity: This follows easily from Hensel’s Lemma and ${\mathbb{F}}_p$ having $D$ distinct $D{^{\text{\underline{th}}}}$ roots of unity. Since ${\mathbb{
in time polynomial in $ n$. Furthermore, if $ K$ is any field possessing $ D_P$ distinct $ { D_P}{^{\text{\underline{th}}}}$ root of oneness, then a $ { \mathtt{3CNFSAT}}$ instance $ B(y)\!:=C_1(y)\wedge \cdots \wedge 
 C_k(y)$ has a satisfying appointment iff the univariate polynomial system $ F_B\!:=\!({{\mathcal{P}}}_P(C_1), \ldots,{{\mathcal{P}}}_P(C_k))$ has a etymon $ \zeta\!\in\!K$ satisfy $ \zeta^{D_P}-1$. [ $ \blacksquare$ ] { } 

 Plaisted actually proved the special case $ K\!=\!{\mathbb{C}}$ of the above lemma, in slightly unlike language, in [ @plaisted ]. However, his proof extends verbatim to the more cosmopolitan family of fields detail above. 

 A simple consequence of the resultant is that disappear at a $ D{^{\text{\underline{th}}}}$ root of unity is algebraically the same matter over $ { \mathbb{C}}$ or $ { \mathbb{Q}}_p$, provided $ p$ lies in the good arithmetic progress. 

 \[lemma: uni\ ] Suppose $ D\!\in\!{\mathbb{N}}$, $ f\!\in\!{\mathbb{Z}}[x]$, and $ p$ is any prime congruent to $ 1 $ mod $ D$. Then $ f$ vanishes at a complex $ D{^{\text{\underline{th}}}}$ root of unity $ \Longleftrightarrow 
 f$ vanishes at a $ D{^{\text{\underline{th}}}}$ root of oneness in $ { \mathbb{Q}}_p$. 

 Note that $ x^2+x+1 $ vanishes at a $ 3{^{\text{\underline{rd}}}}$ root of unity in $ { \mathbb{C}}$, but has [ * * no * * ] { } roots at all in $ { \mathbb{F}}_5 $ or $ { \mathbb{Q}}_5$. So our congruence assumption on $ p$ is necessary. [ $ \diamond$ ] { } 

 [ * * Proof of Lemma \[lemma: uni\ ] :* * ] { } First note that by our assumption on $ p$, $ { \mathbb{Q}}_p$ has $ D$ distinct $ D{^{\text{\underline{th}}}}$ roots of unity: This follow easily from Hensel ’s Lemma and $ { \mathbb{F}}_p$ having $ D$ distinct $ D{^{\text{\underline{th}}}}$ roots of oneness. Since $ { \mathbb {
 in time polynomial in $n$. Fuvthermore, if $K$ is any fmeld poasessing $D_P$ distinct ${D_P}{^{\text{\underline{vh}}}}$ riots if unity, then a ${\mathtt{3ZNFSAT}}$ indtance $B(t)\!:=C_1(y)\wtdge \cdots \wedge 
R_i(y)$ has a satianying essignment iff jhe univariade polynomial vyrtzm $F_B\!:=\!({{\mathcal{P}}}_P(C_1), \ldots,{{\mathcal{P}}}_P(C_k))$ has a root $\zfta\!\in\!K$ satisfyyng $\eetw^{D_P}-1$. [$\glacksquare$]{}

Plaisted actually proves the skecial case $K\!=\!{\mathbn{C}}$ of the above lemma, in spighhly different langkage, in [@plausteq]. However, his proof exttnbs verbatim to the more general family of wieldx detailed avovf.

D simple coisequegce of the rcxultand is thst vanishing ab a $D{^{\vext{\ynderline{th}}}}$ root of uiity is algebraicalli the same tking over ${\mathbb{C}}$ or ${\narhbb{Q}}_k$, proeidea $p$ uiea mn fhe rihht arithmetid progressiin.

\[lemma:uni\] Suppose $C\!\ig\!{\nathbb{N}}$, $f\!\in\!{\mafhbb{Z}}[x]$, agd $p$ is any prime congruent to $1$ mod $D$. Tven $f$ vanishes at a complez $D{^{\text{\underline{th}}}}$ rolt of uniey $\Longleftrightarrow
f$ vanishes at a $D{^{\text{\underlite{th}}}}$ cout if jbihy in ${\mathbb{Q}}_p$.

Note that $x^2+x+1$ vanishes at a $3{^{\text{\thdtrlpne{rd}}}}$ root of uniby in ${\mathbb{C}}$, but nad [**mj**]{} roots at alu in ${\mcfhgb{F}}_5$ or ${\mathbb{Q}}_5$. So lur condruenxe assumpuion pn $p$ is necessary. [$\diamond$]{}

[**Priof of Lemma \[oemma:uni\]:**]{} First notz that by oux assukptiom on $p$, ${\mathbb{Q}}_p$ has $D$ dnstincf $D{^{\text{\undegline{th}}}}$ rkuts of unity: Thir fplnows easily from Hensel’s Lqmma and ${\nathyb{F}}_p$ havkng $C$ distynct $D{^{\text{\knderline{th}}}}$ roots of unihy. Siuce ${\mdthbb{
in time polynomial in $n$. Furthermore, if any possessing $D_P$ ${D_P}{^{\text{\underline{th}}}}$ roots of $B(y)\!:=C_1(y)\wedge \wedge C_k(y)$ has satisfying assignment iff univariate polynomial system $F_B\!:=\!({{\mathcal{P}}}_P(C_1), \ldots,{{\mathcal{P}}}_P(C_k))$ has root $\zeta\!\in\!K$ satisfying $\zeta^{D_P}-1$. [$\blacksquare$]{} Plaisted actually proved the special case $K\!=\!{\mathbb{C}}$ of above lemma, in slightly different language, in [@plaisted]. However, his proof extends verbatim the general of detailed above. A simple consequence of the resultant is that vanishing at a $D{^{\text{\underline{th}}}}$ root of is algebraically the same thing over ${\mathbb{C}}$ or provided $p$ lies in right arithmetic progression. \[lemma:uni\] Suppose $f\!\in\!{\mathbb{Z}}[x]$, $p$ is prime to mod $D$. Then vanishes at a complex $D{^{\text{\underline{th}}}}$ root of unity $\Longleftrightarrow f$ vanishes at a $D{^{\text{\underline{th}}}}$ root of unity ${\mathbb{Q}}_p$. Note vanishes at $3{^{\text{\underline{rd}}}}$ of in ${\mathbb{C}}$, but roots at all in ${\mathbb{F}}_5$ or congruence assumption on $p$ is necessary. [$\diamond$]{} [**Proof Lemma \[lemma:uni\]:**]{} note that by our assumption on ${\mathbb{Q}}_p$ has $D$ distinct $D{^{\text{\underline{th}}}}$ roots of unity: follows easily from Hensel’s Lemma and ${\mathbb{F}}_p$ having $D$ distinct $D{^{\text{\underline{th}}}}$ roots of unity. Since
 in time polynomial in $n$. FurtheRmore, if $K$ is Any fiEld PosSeSsinG $D_P$ dIstinct ${D_P}{^{\text{\uNDerlIne{th}}}}$ roots of unity, then a ${\MathtT{3CnfSAT}}$ INsTance $b(y)\!:=C_1(y)\wedGE \cDOTs \wEdGe 
c_k(y)$ HaS A sAtisfYinG assignMent iff the UniVaRiate polynomIAl System $F_B\!:=\!({{\maThcAl{P}}}_P(C_1), \ldots,{{\maThcAl{P}}}_P(C_k))$ HaS a rOOt $\zetA\!\in\!k$ satiSfying $\ZEta^{D_P}-1$. [$\bLacksquarE$]{}

PLAisted ACtually PROvEd thE special case $K\!=\!{\mathBB{C}}$ OF the above lemma, In sligHtLY dIFFerEnt Language, in [@PlAisteD]. however, HIs PROOf eXTends verbatim To the more geNEraL familY oF fiELds detAiled AbOVe.

A Simple conseQuenCe of the reSultanT Is that vANishing At a $D{^{\teXt{\uNdeRlinE{Th}}}}$ RoOt oF uNIty IS aLgeBRaiCally the SaMe Thing Over ${\MATHBb{C}}$ oR ${\maThbb{q}}_p$, proVided $p$ lies in tHe rIght ARitHmetiC progRessIoN.

\[lemmA:uni\] SuPpose $d\!\iN\!{\mathbb{N}}$, $f\!\in\!{\mathBb{Z}}[x]$, And $p$ is any PriMe ConGrUent tO $1$ Mod $D$. ThEn $f$ VanIshes at A compleX $d{^{\teXt{\UNDErLine{th}}}}$ root of unity $\LOnGLEfTrightarRow
f$ vaNIsHeS At a $D{^{\text{\UnDerLine{TH}}}}$ Root oF uniTY iN ${\mathbb{Q}}_P$.

Note tHAt $X^2+x+1$ VanisheS aT a $3{^{\text{\UnDerLinE{rd}}}}$ roOT of uNity in ${\Mathbb{C}}$, bUt has [**NO**]{} roots at all in ${\mAThbb{F}}_5$ or ${\mathbb{q}}_5$. so OUR cONgruEncE assumption On $p$ iS NeceSsarY. [$\DiAmoND$]{}

[**ProoF of LeMmA \[LeMMa:uni\]:**]{} First note that bY oUr assuMptioN on $p$, ${\mathbb{Q}}_p$ hAs $D$ distincT $d{^{\TExt{\underLine{TH}}}}$ rOOts of unity: This FolloWs easily frOM Hensel’s lemma And ${\mathbB{F}}_p$ having $d$ DIstinct $D{^{\TexT{\unDerLinE{TH}}}}$ rOots of unity. SiNCE ${\matHbB{
 in time polynomial in $n$ . Furtherm ore,if$K$  i s an y fi eld possessing $D_P $ distinct ${D_P}{^{\t ext{\ un d erli n e{ th}}} }$ root s  o f uni ty ,the na  $ {\mat htt {3CNFSA T}}$ insta nce  $ B(y)\!:=C_1( y )\ wedge \cdo ts\wedge 
C_k( y)$  has a  s ati s fying  as signm ent if f  the u nivariate  p o lynomi a l syste m $F _B\! :=\!({{\mathcal{P } }} _ P(C_1), \ldots ,{{\ma th c al { P }}} _P( C_k))$ has  a  root $\zeta\ ! \i n \ ! K$s atisfying $\z eta^{D_P}-1 $ . [ $\blac ks qua r e$]{}
Plai st e d a ctually pro vedthe speci al cas e  $K\!=\ ! {\mathb b{C}}$  of  th e ab o ve  l emm a, ins li ght l y d ifferent  l an guage , in [ @ p lais ted ]. H oweve r, his proofext ends ver batim  to t he m or e gen eral f amily  o f fields detail ed a bove.

Asim pl e c on seque n ce ofthe  re sultant  is tha t  va ni s h i ng  at a $D{^{\text{\ un d e rl ine{th}} }}$ ro o tof unity is  a lge brai c a lly t he s a me  thing o ver ${ \ ma th bb{C}}$  o r ${\m at hbb {Q} }_p$, prov ided $ p$ liesin th e  right arithme t ic progressio n .\ [l e mma: uni \] Suppose$D\! \ in\! {\ma t hb b{N } }$, $ f\!\i n\ ! {\ m athbb{Z}}[x]$, and$p $ is a ny pr ime congruent  to $1$ mo d $ D$. Then  $f$ va n ishes at a com plex$D{^{\text { \underli ne{th }}}}$ ro ot of uni t y  $\Longl eft rig hta rro w f$  vanishes ata $D{^ {\ text{\u nde rline{t h}} }}$  ro otof  unity in  ${\math bb {Q }} _p $.
Note that $x^ 2+ x+1 $van ishes at a $ 3{^{\ text {\ un d erl ine{rd} } }} $ root  o funit y i n${\ma thbb { C}} $, buthas [**no **] { } ro ot sat allin ${\mathbb{ F} }_5$ or ${ \m ath bb{Q}} _ 5 $. So ou r congruence assumption on $p$isneces sary . [$\diam ond $]{}
[** P roof o f Lemm a \[l em ma: u n i\]:* * ] {}  Fi rs t note tha t byour a ss umpt ion on$p$, ${\mathbb{Q}} _ p$has $D$ disti nct  $D{ ^ { \t ext { \u n der li n e{t h } }}}$ roots of u nity: This  f o ll ows easily fro mHensel’ s Lemma  and$ {\mathb b{F}}_p$having $D $dist i n ct$D{^{\text {\underl ine{th}}} } $ roo t sof un ity . Sinc e${\ mathb b{
 in_time polynomial_in $n$. Furthermore, if_$K$ is_any_field possessing_$D_P$_distinct ${D_P}{^{\text{\underline{th}}}}$ roots_of unity, then_a ${\mathtt{3CNFSAT}}$ instance $B(y)\!:=C_1(y)\wedge_\cdots \wedge 
C_k(y)$_has_a satisfying assignment iff the univariate polynomial system $F_B\!:=\!({{\mathcal{P}}}_P(C_1), \ldots,{{\mathcal{P}}}_P(C_k))$ has a root $\zeta\!\in\!K$_satisfying_$\zeta^{D_P}-1$. [$\blacksquare$]{}

Plaisted_actually_proved_the special case $K\!=\!{\mathbb{C}}$ of_the above lemma, in slightly_different language,_in [@plaisted]. However, his proof extends verbatim to_the_more general family_of fields detailed above.

A simple consequence of the resultant_is that vanishing at a $D{^{\text{\underline{th}}}}$_root of unity_is_algebraically_the same thing over_${\mathbb{C}}$ or ${\mathbb{Q}}_p$, provided $p$ lies_in the right arithmetic progression.

\[lemma:uni\] Suppose_$D\!\in\!{\mathbb{N}}$, $f\!\in\!{\mathbb{Z}}[x]$, and $p$ is any prime_congruent to $1$ mod $D$. Then_$f$ vanishes at a complex_$D{^{\text{\underline{th}}}}$ root_of unity $\Longleftrightarrow
f$ vanishes at_a $D{^{\text{\underline{th}}}}$ root_of unity_in ${\mathbb{Q}}_p$.

Note that_$x^2+x+1$ vanishes at a $3{^{\text{\underline{rd}}}}$ root_of unity in_${\mathbb{C}}$, but has [**no**]{} roots at_all_in ${\mathbb{F}}_5$ or_${\mathbb{Q}}_5$._So_our congruence_assumption on $p$_is_necessary. [$\diamond$]{}

[**Proof_of_Lemma \[lemma:uni\]:**]{} First note that by_our_assumption on $p$, ${\mathbb{Q}}_p$ has $D$ distinct_$D{^{\text{\underline{th}}}}$ roots of unity:_This_follows easily from Hensel’s_Lemma and ${\mathbb{F}}_p$ having $D$_distinct $D{^{\text{\underline{th}}}}$ roots of unity. Since_${\mathbb{