 of Theorem \[thm:syzygy\].** ]{} Let $\gamma^{(c)}$ and $\delta^{(d)}$ be incomparable variables in the poset ${\mathcal C}^{np}_{p,m}$. For each $\alpha^{(a)}\in{\mathcal C}^{np}_{p,m}$ we inductively construct quadratic polynomials $S_{\alpha^{(a)}}(\gamma^{(c)},\delta^{(d)})\in
k[\beta^{(s)}\mid\beta^{(s)}\leq \alpha^{(a)}]$, and then show $S_{\alpha^{(a)}}(\gamma^{(c)},\delta^{(d)})$ is in the kernel of the map $\varphi_{\alpha^{(a)}}$. The case when $\alpha^{(a)}$ is the top element in the poset ${\mathcal C}^{np}_{p,m}$ proves the theorem. These polynomials have the following restriction property: If $\beta^{(b)}<\alpha^{(a)}$, then $S_{\beta^{(b)}}(\gamma^{(c)},\delta^{(d)})$ is the image of $S_{\alpha^{(a)}}(\gamma^{(c)},\delta^{(d)})$ under the map which sets variables $\zeta^{(z)}\not\leq \beta^{(b)}$ to zero. They also have the further homogeneity properties that each non-zero term $\lambda\zeta^{(z)}\beta^{(b)}$ must have $z+b=c+d$ and satisfy the multiset equality $\beta\cup\zeta=\gamma\cup\delta$, and if it is not the initial term, then $\gamma^{(c)},\delta^{(d)}\in[\zeta^{(z)},\beta^{(b)}]$.

For $\alpha^{(a)}\not\geq \gamma^{(c)}\vee\delta^{(d)}$, set $S_{\alpha^{(a)}}(\gamma^{(c)},\delta^{(d)}):=0$ and if $\alpha^{(a)}=\gamma^{(c)}\vee\delta^{(d)}$, then set $$S_{\alpha^{(a)}}(\gamma^{(c)},\delta^{(d)})\quad:=\quad
  \gamma^{(c)}\cdot\delta^{(d)}\ -\  
    \gamma^{(c)}\vee\delta^{(d)}\cdot\gamma^{(c)}\wedge\delta^{(d)}.$$ These polynomials have the restriction and homogeneity properties, and, for $\alpha^{(a)}\not> \gamma^{(c)}\vee\delta^{(d)}$, we have $\varphi_{\alpha^{(a)}}(S_{\alpha^{(a)}}(\gamma^{(c)},\delta^{(d)}))=0
of Theorem   \[thm: syzygy\ ]. * * ] { } Let $ \gamma^{(c)}$ and $ \delta^{(d)}$ be incomparable variables in the poset $ { \mathcal C}^{np}_{p, m}$. For each $ \alpha^{(a)}\in{\mathcal C}^{np}_{p, m}$ we inductively construct quadratic polynomials $ S_{\alpha^{(a)}}(\gamma^{(c)},\delta^{(d)})\in 
 k[\beta^{(s)}\mid\beta^{(s)}\leq \alpha^{(a)}]$, and then picture $ S_{\alpha^{(a)}}(\gamma^{(c)},\delta^{(d)})$ is in the kernel of the function $ \varphi_{\alpha^{(a)}}$. The case when $ \alpha^{(a)}$ is the top element in the poset $ { \mathcal C}^{np}_{p, m}$ testify the theorem. These polynomial have the following restriction place: If $ \beta^{(b)}<\alpha^{(a)}$, then $ S_{\beta^{(b)}}(\gamma^{(c)},\delta^{(d)})$ is the trope of $ S_{\alpha^{(a)}}(\gamma^{(c)},\delta^{(d)})$ under the map which dress variables $ \zeta^{(z)}\not\leq \beta^{(b)}$ to zero. They also get the further homogeneity properties that each non - zero term $ \lambda\zeta^{(z)}\beta^{(b)}$ must have $ z+b = c+d$ and satisfy the multiset equality $ \beta\cup\zeta=\gamma\cup\delta$, and if it is not the initial term, then $ \gamma^{(c)},\delta^{(d)}\in[\zeta^{(z)},\beta^{(b)}]$. 

 For $ \alpha^{(a)}\not\geq \gamma^{(c)}\vee\delta^{(d)}$, set $ S_{\alpha^{(a)}}(\gamma^{(c)},\delta^{(d)}):=0 $ and if $ \alpha^{(a)}=\gamma^{(c)}\vee\delta^{(d)}$, then sic $ $ S_{\alpha^{(a)}}(\gamma^{(c)},\delta^{(d)})\quad:=\quad 
   \gamma^{(c)}\cdot\delta^{(d)}\ -\  
     \gamma^{(c)}\vee\delta^{(d)}\cdot\gamma^{(c)}\wedge\delta^{(d)}.$$ These polynomials have the restriction and homogeneity property, and, for $ \alpha^{(a)}\not > \gamma^{(c)}\vee\delta^{(d)}$, we have $ \varphi_{\alpha^{(a)}}(S_{\alpha^{(a)}}(\gamma^{(c)},\delta^{(d)}))=0
 of Theorem \[thm:syzygy\].** ]{} Let $\gxmma^{(c)}$ and $\delta^{(b)}$ be inromparagle varixbles in the poset ${\mathcal C}^{ip}_{p,m}$. For tcch $\alpha^{(a)}\in{\mathcal Z}^{np}_{p,m}$ we pnductiveoy cibstruct quesratic ijlynklialv $S_{\alpha^{(a)}}(\gamma^{(c)},\celta^{(d)})\in
k[\bata^{(s)}\mid\beta^{(s)}\lex \xl'ha^{(a)}]$, and then show $S_{\alpha^{(a)}}(\gamma^{(c)},\deltw^{(d)})$ is im hhe kernel of jhe ms[ $\vadihl_{\alpha^{(a)}}$. The case when $\alpha^{(a)}$ is fhe top element in tne poset ${\mathcal C}^{np}_{p,m}$ proges hhe theorem. These oolynomials havq the followivg restricuimn properti: If $\beta^{(b)}<\alpha^{(a)}$, then $S_{\beta^{(b)}}(\gammx^{(c)},\delca^{(d)})$ is the umqge mf $S_{\alpha^{(a)}}(\gemma^{(c)},\dvlta^{(d)})$ under tmv map wvich seys variables $\zcta^{(z)}\nmt\lwq \beta^{(b)}$ to zero. They also have the furjher homoganzity properties that waxh not-zerm tefn $\lxmbsa\vetz^{(z)}\beta^{(h)}$ mnst have $z+b=d+d$ and satiwfy the multiset eqiajpyy $\beta\cup\zefa=\gammw\ctp\delta$, and if it is not the initial tegm, tgen $\gamma^{(c)},\delta^{(d)}\in[\zeta^{(z)},\veta^{(b)}]$.

For $\alpha^{(a)}\not\geq \gamma^{(c)}\veq\delta^{(d)}$, set $S_{\alpha^{(a)}}(\gamma^{(c)},\delta^{(d)}):=0$ and if $\alpha^{(a)}=\gammd^{(c)}\vee\veuta^{(b)}$, then weh $$S_{\alpha^{(a)}}(\gamma^{(c)},\delta^{(d)})\quad:=\quad
  \gamma^{(c)}\cdot\deltw^{(s)}\ -\  
    \gamma^{(c)}\vee\dclta^{(d)}\cdot\gamma^{(c)}\wedbe\fekja^{(d)}.$$ These polyvomials hzve the restrictioj and hjmogebeity prokertirs, and, for $\alpha^{(a)}\not> \gamma^{(c)}\cee\delta^{(d)}$, we yave $\varphi_{\alpha^{(a)}}(S_{\clpha^{(a)}}(\gamma^{(c)},\belta^{(d)}))=0
of Theorem \[thm:syzygy\].** ]{} Let $\gamma^{(c)}$ and incomparable in the ${\mathcal C}^{np}_{p,m}$. For construct polynomials $S_{\alpha^{(a)}}(\gamma^{(c)},\delta^{(d)})\in k[\beta^{(s)}\mid\beta^{(s)}\leq and then show is in the kernel of the $\varphi_{\alpha^{(a)}}$. The case when $\alpha^{(a)}$ is the top element in the poset ${\mathcal proves the theorem. These polynomials have the following restriction property: If $\beta^{(b)}<\alpha^{(a)}$, then is image $S_{\alpha^{(a)}}(\gamma^{(c)},\delta^{(d)})$ the map which sets variables $\zeta^{(z)}\not\leq \beta^{(b)}$ to zero. They also have the further homogeneity properties each non-zero term $\lambda\zeta^{(z)}\beta^{(b)}$ must have $z+b=c+d$ and the multiset equality $\beta\cup\zeta=\gamma\cup\delta$, if it is not the term, $\gamma^{(c)},\delta^{(d)}\in[\zeta^{(z)},\beta^{(b)}]$. For \gamma^{(c)}\vee\delta^{(d)}$, $S_{\alpha^{(a)}}(\gamma^{(c)},\delta^{(d)}):=0$ if $\alpha^{(a)}=\gamma^{(c)}\vee\delta^{(d)}$, then $$S_{\alpha^{(a)}}(\gamma^{(c)},\delta^{(d)})\quad:=\quad \gamma^{(c)}\cdot\delta^{(d)}\ -\ \gamma^{(c)}\vee\delta^{(d)}\cdot\gamma^{(c)}\wedge\delta^{(d)}.$$ These polynomials have the restriction and homogeneity properties, and, for $\alpha^{(a)}\not> \gamma^{(c)}\vee\delta^{(d)}$, we $\varphi_{\alpha^{(a)}}(S_{\alpha^{(a)}}(\gamma^{(c)},\delta^{(d)}))=0
 of Theorem \[thm:syzygy\].** ]{} Let $\gammA^{(c)}$ and $\delta^{(D)}$ be inComParAbLe vaRiabLes in the poset ${\mAThcaL C}^{np}_{p,m}$. For each $\alpha^{(a)}\in{\mAthcaL C}^{NP}_{p,m}$ wE InDuctiVely conSTrUCT quAdRaTic PoLYnOmialS $S_{\aLpha^{(a)}}(\gaMma^{(c)},\delta^{(d)})\In
k[\BeTa^{(s)}\mid\beta^{(s)}\lEQ \aLpha^{(a)}]$, and thEn sHow $S_{\alpha^{(a)}}(\gaMma^{(C)},\delta^{(D)})$ iS in THe kerNel Of the Map $\varPHi_{\alphA^{(a)}}$. The case WhEN $\alpha^{(A)}$ Is the toP ELeMent In the poset ${\mathcal c}^{Np}_{P,M}$ proves the theoRem. TheSe POlYNOmiAls Have the folLoWing rEStrictiON pROPErtY: if $\beta^{(b)}<\alpha^{(a)}$, Then $S_{\beta^{(b)}}(\gAMma^{(C)},\delta^{(D)})$ iS thE Image oF $S_{\alpHa^{(A)}}(\GamMa^{(c)},\delta^{(d)})$ unDer tHe map whicH sets vARiables $\ZEta^{(z)}\not\Leq \betA^{(b)}$ tO zeRo. ThEY aLsO haVe THe fURtHer HOmoGeneity pRoPeRties That EACH Non-zEro Term $\LambdA\zeta^{(z)}\beta^{(b)}$ muSt hAve $z+B=C+d$ aNd satIsfy tHe muLtIset eQualitY $\beta\CuP\zeta=\gamma\cup\deLta$, aNd if it is nOt tHe IniTiAl terM, Then $\gaMma^{(C)},\deLta^{(d)}\in[\zEta^{(z)},\betA^{(B)}]$.

FoR $\aLPHA^{(a)}\Not\geq \gamma^{(c)}\vee\delTa^{(D)}$, SEt $s_{\alpha^{(a)}}(\gAmma^{(c)},\dELtA^{(d)}):=0$ ANd if $\alphA^{(a)}=\GamMa^{(c)}\vEE\Delta^{(D)}$, theN SeT $$S_{\alpha^{(a)}}(\Gamma^{(c)},\DElTa^{(D)})\quad:=\quAd
  \Gamma^{(c)}\CdOt\dEltA^{(d)}\ -\  
    \gamMA^{(c)}\veE\delta^{(D)}\cdot\gamMa^{(c)}\weDGe\delta^{(d)}.$$ These pOLynomials have THe REStRIctiOn aNd homogeneiTy prOPertIes, aND, fOr $\aLPha^{(a)}\nOt> \gamMa^{(C)}\VeE\Delta^{(d)}$, we have $\varphi_{\aLpHa^{(a)}}(S_{\alPha^{(a)}}(\gAmma^{(c)},\delta^{(d)}))=0
 of Theorem \[thm:syzygy\] .** ]{} Le t $\g amm a^{ (c )}$and$\delta^{(d)}$ be i ncomparable variablesin th ep oset ${ \math cal C}^ { np } _ {p, m} $.  Fo re ac h $\a lph a^{(a)} \in{\mathc alC} ^{np}_{p,m}$ we  inductive lyconstruct qu adr atic p ol yno m ials$S_ {\alp ha^{(a ) }}(\ga mma^{(c)} ,\ d elta^{ ( d)})\in k [\ beta ^{(s)}\mid\beta^{ ( s) } \leq \alpha^{( a)}]$,  a n dt h ensho w $S_{\alp ha ^{(a) } }(\gamm a ^{ ( c ) },\ d elta^{(d)})$is in the k e rne l of t he  ma p  $\var phi_{ \a l pha ^{(a)}}$. T he c ase when$\alph a ^{(a)}$ is thetop el eme ntin t h epo set  $ { \ma t hc alC }^{ np}_{p,m }$  p roves  the t h e orem . T hese  poly nomials havethe  fol l owi ng re stric tion  p roper ty: If  $\be ta ^{(b)}<\alpha^{ (a)} $, then $ S_{ \b eta ^{ (b)}} ( \gamma ^{( c)} ,\delta ^{(d)}) $  is  t h e im age of $S_{\alpha^ {( a ) }} (\gamma^ {(c)}, \ de lt a ^{(d)})$  u nde r th e map w hich se ts varia bles $ \ ze ta ^{(z)}\ no t\leq\b eta ^{( b)}$t o ze ro. Th ey alsohavet he further hom o geneity prope r ti e s  t h at e ach  non-zero t erm$ \lam bda\ z et a^{ ( z)}\b eta^{ (b ) }$ must have $z+b=c+d$  a nd sat isfythe multisetequality $ \ b e ta\cup\z eta= \ ga m ma\cup\delta$,  andif it is n o t the in itial  term, t hen $\gam m a ^{(c)},\ del ta^ {(d )}\ i n [\ zeta^{(z)},\b e t a^{( b) }]$.

F or$\alpha ^{( a)} \no t\g eq  \gamma^{ (c)}\vee \d el ta ^{ (d) }$, s e t $S_{\a lp ha^ {( a)} }(\ga m ma^{(c )},\d elta ^{ (d ) }): =0$ and if $ \alp ha ^{ (a)} =\g am ma^{( c)}\ v ee\ delta^{ (d)}$, th ens et $ $S _{ \alpha^ {(a)}}(\gamma ^{ (c)},\delt a^ {(d )})\qu a d :=\quad  \gamma^{(c)}\cdot\del t a^{(d)} \ - \  
   \ gamma^{(c )}\ vee\de lta ^ {(d)}\ cdot\g amma^ {( c)} \ w edge\ d e lt a^{ (d )}.$$ Thes e pol ynomi al s ha ve therestriction and ho m oge neity propert ies , an d ,  f or$ \a l pha ^{ ( a)} \ n ot> \gamma^{(c) }\vee\delt a^ { (d )}$, we ha v e $ \v arphi_{ \alpha^ {(a)} } (S_{\al pha^{(a)} }(\gamma^ {( c)}, \ d elt a^{(d)}))= 0
 of_Theorem \[thm:syzygy\].** ]{}_Let $\gamma^{(c)}$ and $\delta^{(d)}$_be incomparable_variables_in the_poset_${\mathcal C}^{np}_{p,m}$. For_each $\alpha^{(a)}\in{\mathcal C}^{np}_{p,m}$_we inductively construct quadratic_polynomials $S_{\alpha^{(a)}}(\gamma^{(c)},\delta^{(d)})\in
k[\beta^{(s)}\mid\beta^{(s)}\leq \alpha^{(a)}]$,_and_then show $S_{\alpha^{(a)}}(\gamma^{(c)},\delta^{(d)})$ is in the kernel of the map $\varphi_{\alpha^{(a)}}$. The case when_$\alpha^{(a)}$_is the_top_element_in the poset ${\mathcal C}^{np}_{p,m}$_proves the theorem. These polynomials_have the_following restriction property: If $\beta^{(b)}<\alpha^{(a)}$, then $S_{\beta^{(b)}}(\gamma^{(c)},\delta^{(d)})$ is_the_image of $S_{\alpha^{(a)}}(\gamma^{(c)},\delta^{(d)})$_under the map which sets variables $\zeta^{(z)}\not\leq \beta^{(b)}$ to_zero. They also have the further_homogeneity properties that_each_non-zero_term $\lambda\zeta^{(z)}\beta^{(b)}$ must have_$z+b=c+d$ and satisfy the multiset equality_$\beta\cup\zeta=\gamma\cup\delta$, and if it is not_the initial term, then $\gamma^{(c)},\delta^{(d)}\in[\zeta^{(z)},\beta^{(b)}]$.

For $\alpha^{(a)}\not\geq \gamma^{(c)}\vee\delta^{(d)}$,_set $S_{\alpha^{(a)}}(\gamma^{(c)},\delta^{(d)}):=0$ and if $\alpha^{(a)}=\gamma^{(c)}\vee\delta^{(d)}$, then_set $$S_{\alpha^{(a)}}(\gamma^{(c)},\delta^{(d)})\quad:=\quad
  \gamma^{(c)}\cdot\delta^{(d)}\ -\_ 
_   \gamma^{(c)}\vee\delta^{(d)}\cdot\gamma^{(c)}\wedge\delta^{(d)}.$$ These_polynomials have the_restriction and_homogeneity properties, and,_for $\alpha^{(a)}\not> \gamma^{(c)}\vee\delta^{(d)}$, we have $\varphi_{\alpha^{(a)}}(S_{\alpha^{(a)}}(\gamma^{(c)},\delta^{(d)}))=0