_\gamma x_{i_1}^{\alpha_{\gamma_1}} \cdots x_{i_\ell}^{\alpha_{\gamma_\ell}}, c_\gamma \in {K}, \alpha_{\gamma_i} \in {K}, \sum_{i=1}^\ell \alpha_{\gamma_i} \leq \alpha,\end{aligned}$$ where $\Gamma$ ranges over distinct monomials in the free algebra and all but finitely many of the $c_\gamma$ are zero. The homogenization of $f$ is then $$\begin{aligned}
    \hat{f} = \sum_{\gamma \in \Gamma} c_\gamma x_{i_1}^{\alpha_{\gamma_1}} \cdots x_{i_\ell}^{\alpha_{\gamma_\ell}} x_0^{\alpha_{\gamma_0}},\end{aligned}$$ where $x_0$ is a new, central indeterminate and $\alpha_{\gamma_0}$ is chosen such that $\sum_{i=0}^\ell \alpha_{\gamma_i} = \alpha$. Then $\hat{f}$ is homogeneous.

\[hom-def\]Let $A$ be of form (\[form\]). The **homogenization** $H(A)$ of $A$ is the ${K}$-algebra on the $n+1$ generators $x_0,x_1,\hdots,x_n$ subject to the homogenized relations $\hat{f}_i$ as well as the additional relations $x_0x_i-x_ix_0$ for all $i \in \{1,\hdots,n\}$.

A *filtration* ${\mathcal{F}}$ on an algebra $A$ is a collection of vector spaces $\{{\mathcal{F}}_n(A)\}$ such that $${\mathcal{F}}_n(A) \subset {\mathcal{F}}_{n+1}(A), {\mathcal{F}}_n(A) \cdot {\mathcal{F}}_m(A) \subset {\mathcal{F}}_{n+m}(A) \text{ and } \bigcup {\mathcal{F}}_n(A) = A.$$ The filtration ${\mathcal{F}}$ is said to be *connected* if ${\mathcal{F}}_0(A)={K}$ and ${\mathcal{F}}_\ell(A) = 0$ for all $\ell < 0$. The *associated graded algebra* of $A$ is $\operatorname{gr}_{\mathcal
_ \gamma x_{i_1}^{\alpha_{\gamma_1 } } \cdots x_{i_\ell}^{\alpha_{\gamma_\ell } }, c_\gamma \in { K }, \alpha_{\gamma_i } \in { K }, \sum_{i=1}^\ell \alpha_{\gamma_i } \leq \alpha,\end{aligned}$$ where $ \Gamma$ ranges over distinct monomials in the free algebra and all but finitely many of the $ c_\gamma$ are zero. The homogenization of $ f$ is then $ $ \begin{aligned } 
     \hat{f } = \sum_{\gamma \in \Gamma } c_\gamma x_{i_1}^{\alpha_{\gamma_1 } } \cdots x_{i_\ell}^{\alpha_{\gamma_\ell } } x_0^{\alpha_{\gamma_0}},\end{aligned}$$ where $ x_0 $ is a new, cardinal indeterminate and $ \alpha_{\gamma_0}$ is choose such that $ \sum_{i=0}^\ell \alpha_{\gamma_i } = \alpha$. Then $ \hat{f}$ is homogeneous. 

 \[hom - def\]Let $ A$ be of form (\[form\ ]). The * * homogenization * * $ H(A)$ of $ A$ is the $ { K}$-algebra on the $ n+1 $ generators $ x_0,x_1,\hdots, x_n$ capable to the homogenized relation $ \hat{f}_i$ as well as the extra relations $ x_0x_i - x_ix_0 $ for all $ i \in \{1,\hdots, n\}$. 

 A * filtration * $ { \mathcal{F}}$ on an algebra $ A$ is a collection of vector spaces $ \{{\mathcal{F}}_n(A)\}$ such that $ $ { \mathcal{F}}_n(A) \subset { \mathcal{F}}_{n+1}(A), { \mathcal{F}}_n(A) \cdot { \mathcal{F}}_m(A) \subset { \mathcal{F}}_{n+m}(A) \text { and } \bigcup { \mathcal{F}}_n(A) = A.$$ The filtration $ { \mathcal{F}}$ is say to be * connected * if $ { \mathcal{F}}_0(A)={K}$ and $ { \mathcal{F}}_\ell(A) = 0 $ for all $ \ell < 0$. The * associated grade algebra * of $ A$ is $ \operatorname{gr}_{\mathcal
_\gamla x_{i_1}^{\alpha_{\gamma_1}} \cdots x_{i_\tll}^{\alpha_{\gamma_\ell}}, e_\tamma \mn {K}, \allha_{\gamma_k} \in {K}, \sum_{i=1}^\ell \alpha_{\gamma_i} \lxq \aopha,\ebd{aligned}$$ where $\Gamma$ fanges ovvr distinxt mibomials in the frec algsnra aud all but finitgly many of dhe $c_\gamma$ are zdrl. The homogenization of $f$ is then $$\bqgin{alibnfd}
    \hat{f} = \sui_{\gamkw \in \Gamma} c_\gamma x_{i_1}^{\alpha_{\gamma_1}} \cdots x_{j_\ell}^{\alpia_{\gamma_\ell}} x_0^{\alpna_{\gamma_0}},\end{aligned}$$ where $x_0$ ls a new, central indetfrminate ane $\al[ya_{\gamma_0}$ is cfosen such that $\sum_{i=0}^\elm \alpha_{\gamma_i} = \alpha$. Then $\hat{f}$ ks hokogeneous.

\[him-eef\]Pgt $A$ be of firm (\[fjrm\]). The **homonvnizatimn** $H(A)$ og $A$ is the ${K}$-alnebra on the $n+1$ generators $x_0,x_1,\hvots,x_n$ subject to thg homogeniseb relations $\hat{f}_i$ as qeol as the addkrioval rxlafions $d_0x_i-e_ix_0$ for all $i \in \{1,\hdots,b\}$.

A *filtration* ${\mathcsl{S}}$ on an algebrz $A$ is a collection of vector spaces $\{{\mathcal{F}}_n(A)\}$ sudh that $${\mathcal{F}}_n(A) \subswt {\mathcal{F}}_{n+1}(A), {\mathcal{V}}_n(A) \cdot {\iathcal{F}}_m(A) \subset {\mathcal{F}}_{n+m}(A) \text{ and } \bigcup {\madhcal{H}}_n(X) = C.$$ The wulhration ${\mathcal{F}}$ is said to be *connected* if ${\mwfhvak{F}}_0(A)={K}$ and ${\mathccl{F}}_\ell(A) = 0$ for alk $\flk < 0$. The *associxted gxzdsd algebra* of $A$ is $\operatjrnamw{gr}_{\mathcaj
_\gamma x_{i_1}^{\alpha_{\gamma_1}} \cdots x_{i_\ell}^{\alpha_{\gamma_\ell}}, c_\gamma \in {K}, {K}, \alpha_{\gamma_i} \leq where $\Gamma$ ranges free and all but many of the are zero. The homogenization of $f$ then $$\begin{aligned} \hat{f} = \sum_{\gamma \in \Gamma} c_\gamma x_{i_1}^{\alpha_{\gamma_1}} \cdots x_{i_\ell}^{\alpha_{\gamma_\ell}} x_0^{\alpha_{\gamma_0}},\end{aligned}$$ where is a new, central indeterminate and $\alpha_{\gamma_0}$ is chosen such that $\sum_{i=0}^\ell \alpha_{\gamma_i} \alpha$. $\hat{f}$ homogeneous. $A$ be of form (\[form\]). The **homogenization** $H(A)$ of $A$ is the ${K}$-algebra on the $n+1$ $x_0,x_1,\hdots,x_n$ subject to the homogenized relations $\hat{f}_i$ as as the additional relations for all $i \in \{1,\hdots,n\}$. *filtration* on an $A$ a of vector spaces such that $${\mathcal{F}}_n(A) \subset {\mathcal{F}}_{n+1}(A), {\mathcal{F}}_n(A) \cdot {\mathcal{F}}_m(A) \subset {\mathcal{F}}_{n+m}(A) \text{ and } \bigcup {\mathcal{F}}_n(A) = A.$$ filtration ${\mathcal{F}}$ to be if and = 0$ for < 0$. The *associated graded algebra* $\operatorname{gr}_{\mathcal
_\gamma x_{i_1}^{\alpha_{\gamma_1}} \cdots x_{i_\eLl}^{\alpha_{\gamMa_\ell}}, C_\gaMma \In {k}, \alpHa_{\gaMma_i} \in {K}, \sum_{i=1}^\ell \ALpha_{\Gamma_i} \leq \alpha,\end{alignEd}$$ wheRe $\gAmma$ RAnGes ovEr distiNCt MONomIaLs In tHe FReE algeBra And all bUt finitely ManY oF the $c_\gamma$ arE ZeRo. The homogEniZation of $f$ is tHen $$\Begin{aLiGneD}
    \Hat{f} = \sUm_{\gAmma \iN \Gamma} C_\Gamma x_{I_1}^{\alpha_{\gamMa_1}} \CDots x_{i_\ELl}^{\alpha_{\GAMmA_\ell}} X_0^{\alpha_{\gamma_0}},\end{aliGNeD}$$ Where $x_0$ is a new, ceNtral iNdETeRMInaTe aNd $\alpha_{\gamMa_0}$ Is choSEn such tHAt $\SUM_{I=0}^\elL \Alpha_{\gamma_i} = \alPha$. Then $\hat{f}$ IS hoMogeneOuS.

\[hoM-Def\]Let $a$ be of FoRM (\[foRm\]). The **homogeNizaTion** $H(A)$ of $A$ Is the ${K}$-ALgebra oN The $n+1$ genEratorS $x_0,x_1,\HdoTs,x_n$ SUbJeCt tO tHE hoMOgEniZEd rElations $\HaT{f}_I$ as weLl as THE ADditIonAl reLatioNs $x_0x_i-x_ix_0$ for alL $i \iN \{1,\hdoTS,n\}$.

A *FiltrAtion* ${\MathCaL{F}}$ on aN algebRa $A$ is A cOllection of vectOr spAces $\{{\mathcAl{F}}_N(A)\}$ SucH tHat $${\maTHcal{F}}_n(a) \suBseT {\mathcaL{F}}_{n+1}(A), {\matHCal{f}}_n(a) \CDOt {\Mathcal{F}}_m(A) \subset {\maThCAL{F}}_{N+m}(A) \text{ aNd } \bigcUP {\mAtHCal{F}}_n(A) = A.$$ THe FilTratION ${\mathCal{F}}$ IS sAid to be *cOnnectED* iF ${\mAthcal{F}}_0(a)={K}$ And ${\matHcAl{F}}_\Ell(a) = 0$ for aLL $\ell < 0$. the *assOciated gRaded ALgebra* of $A$ is $\opeRAtorname{gr}_{\matHCaL
_\gamma x_{i_1}^{\alpha_{\ gamma_1}}\cdot s x _{i _\ ell} ^{\a lpha_{\gamma_\ e ll}} , c_\gamma \in {K}, \a lpha_ {\ g amma _ i}  \in{K}, \s u m_ { i =1} ^\ el l \ al p ha _{\ga mma _i} \le q \alpha,\ end {a ligned}$$ wh e re  $\Gamma$ran ges over dis tin ct mon om ial s  in t hefreealgebr a  and a ll but fi ni t ely ma n y of th e $c _\ga mma$ are zero. Th e  h o mogenization o f $f$is th e n  $$ \be gin{aligne d} 
   \ hat{f}=  \ s u m _{\ g amma \in \Gam ma} c_\gamm a  x_ {i_1}^ {\ alp h a_{\ga mma_1 }} \cd ots x_{i_\e ll}^ {\alpha_{ \gamma _ \ell}}x _0^{\al pha_{\ gam ma_ 0}}, \ en d{ ali gn e d}$ $  w her e  $x _0$ is a  n ew , cen tral i n d eter min ateand $ \alpha_{\gamm a_0 }$ i s  ch osensuchthat  $ \sum_ {i=0}^ \ell\a lpha_{\gamma_i}  = \ alpha$. T hen  $ \ha t{ f}$ i s  homog ene ous .

\[ho m-def\] L et$A $ b eof form (\[form\]) .T h e**homoge nizati o n* *$ H(A)$ of  $ A$is t h e  ${K} $-al g eb ra on th e $n+1 $  g en erators  $ x_0,x_ 1, \hd ots ,x_n$ subj ect to  the hom ogeni z ed relations $ \ hat{f}_i$ asw el l as theadd itional rel atio n s $x _0x_ i -x _ix _ 0$ fo r all  $ i  \ i n \{1,\hdots,n\}$.
A  *filt ratio n* ${\mathcal {F}}$ on a n a lgebra $ A$ i s  a collection ofvecto r spaces $ \ {{\mathc al{F} }_n(A)\} $ such th a t  $${\mat hca l{F }}_ n(A ) \s ubset {\mathc a l {F}} _{ n+1}(A) , { \mathca l{F }}_ n(A ) \ cd ot {\math cal{F}}_ m( A)  \ su bse t {\m a thcal{F} }_ {n+ m} (A)  \tex t { and} \bi gcup  { \m a thc al{F}}_ n (A ) = A. $$  T he f ilt ra tion${\m a thc al{F}}$  is saidtob e *c on ne cted* i f ${\mathcal{ F} }_0(A)={K} $and  ${\ma t h cal{F}}_ \ell(A) = 0$ for all $\ e ll < 0$ . T he *a ssoc iated gra ded  algeb ra* of $A$  is $\ opera to rna m e {gr}_ { \ ma thc al 
_\gamma x_{i_1}^{\alpha_{\gamma_1}}_\cdots x_{i_\ell}^{\alpha_{\gamma_\ell}},_c_\gamma \in {K}, \alpha_{\gamma_i}_\in {K},_\sum_{i=1}^\ell_\alpha_{\gamma_i} \leq_\alpha,\end{aligned}$$_where $\Gamma$ ranges_over distinct monomials_in the free algebra_and all but_finitely_many of the $c_\gamma$ are zero. The homogenization of $f$ is then $$\begin{aligned}
 __ \hat{f}_=_\sum_{\gamma_\in \Gamma} c_\gamma x_{i_1}^{\alpha_{\gamma_1}} \cdots_x_{i_\ell}^{\alpha_{\gamma_\ell}} x_0^{\alpha_{\gamma_0}},\end{aligned}$$ where $x_0$ is_a new,_central indeterminate and $\alpha_{\gamma_0}$ is chosen such that_$\sum_{i=0}^\ell_\alpha_{\gamma_i} = \alpha$._Then $\hat{f}$ is homogeneous.

\[hom-def\]Let $A$ be of form (\[form\])._The **homogenization** $H(A)$ of $A$ is_the ${K}$-algebra on_the_$n+1$_generators $x_0,x_1,\hdots,x_n$ subject to_the homogenized relations $\hat{f}_i$ as well_as the additional relations $x_0x_i-x_ix_0$ for_all $i \in \{1,\hdots,n\}$.

A *filtration* ${\mathcal{F}}$ on_an algebra $A$ is a collection_of vector spaces $\{{\mathcal{F}}_n(A)\}$ such_that $${\mathcal{F}}_n(A)_\subset {\mathcal{F}}_{n+1}(A), {\mathcal{F}}_n(A) \cdot {\mathcal{F}}_m(A)_\subset {\mathcal{F}}_{n+m}(A) \text{_and }_\bigcup {\mathcal{F}}_n(A) =_A.$$ The filtration ${\mathcal{F}}$ is said_to be *connected*_if ${\mathcal{F}}_0(A)={K}$ and ${\mathcal{F}}_\ell(A) = 0$_for_all $\ell <_0$._The_*associated graded_algebra* of $A$_is_$\operatorname{gr}_{\mathcal