 $M'$ is right negative so for all $i\in I$, $l>L\Rightarrow v_{i,l}=0$. But $m$ is dominant, so $L\leq l_R$. In particular $M'=\underset{i\in I,K\leq l\leq l_R}{\prod}A_{i,l}^{-v_{i,l}}$. It suffices to prove that the $v_{i,l}(m_r)$ are bounded under the condition $m$ dominant. This follows from lemma \[genea\].

Presentations of deformed algebras
----------------------------------

Our construction of ${\mathcal{Y}}_t$ using $\mathcal{H}_h$ (section \[studyyt\]) is a “concrete” presentation of the deformed structure. Let us look at another approach: in this section we define two bicharacters $\mathcal{N},\mathcal{N}_t$ related to basis of ${\mathcal{Y}}_t$. All the information of the multiplication of ${\mathcal{Y}}_t$ is contained is those bicharacters because we can construct a deformed $*$ multiplication on the “abstract” ${\mathbb{Z}}[t^{\pm}]$-module ${\mathcal{Y}}\otimes_{{\mathbb{Z}}}{\mathbb{Z}}[t^{\pm}]$ by putting for $m_1,m_2\in A$ ${\mathcal{Y}}$-monomials: $$m_1*m_2=t^{\mathcal{N}(m_1,m_2)-\mathcal{N}(m_2,m_1)}m_2*m_1$$ or $$m_1*m_2=t^{\mathcal{N}_t(m_1,m_2)-\mathcal{N}_t(m_2,m_1)}m_2*m_1$$ Those presentations appeared earlier in the literature [@Nab], [@Vas] for the simply laced case. In particular this section identifies our approach with those articles and gives an algebraic motivation of the deformed structures of [@Nab], [@Vas] related to the structure of ${\mathcal{U}}_q(\hat{{\mathfrak{g}}})$.

### The bicharacter $\mathcal{N}$

It follows from the proof of lemma \[rel\] that for $m$ a ${\mathcal{Y}}_t$-monomial, there is $N(m)\in{\mathbb{Z}}$\[n\]
$ M'$ is right negative so for all $ i\in I$, $ l > L\Rightarrow v_{i, l}=0$. But $ m$ is dominant, therefore $ L\leq l_R$. In especial $ M'=\underset{i\in I, K\leq l\leq l_R}{\prod}A_{i, l}^{-v_{i, l}}$. It suffices to prove that the $ v_{i, l}(m_r)$ are bounded under the circumstance $ m$ dominant. This follows from lemma \[genea\ ]. 

 Presentations of deformed algebras 
 ---------------------------------- 

 Our structure of $ { \mathcal{Y}}_t$ use $ \mathcal{H}_h$ (section \[studyyt\ ]) is a “ concrete ” display of the flex structure. lease us look at another approach: in this incision we define two bicharacters $ \mathcal{N},\mathcal{N}_t$ related to basis of $ { \mathcal{Y}}_t$. All the information of the multiplication of $ { \mathcal{Y}}_t$ is incorporate is those bicharacters because we can construct a deformed $ * $ multiplication on the “ abstract ” $ { \mathbb{Z}}[t^{\pm}]$-module $ { \mathcal{Y}}\otimes_{{\mathbb{Z}}}{\mathbb{Z}}[t^{\pm}]$ by putting for $ m_1,m_2\in A$ $ { \mathcal{Y}}$-monomials: $ $ m_1*m_2 = t^{\mathcal{N}(m_1,m_2)-\mathcal{N}(m_2,m_1)}m_2*m_1$$ or $ $ m_1*m_2 = t^{\mathcal{N}_t(m_1,m_2)-\mathcal{N}_t(m_2,m_1)}m_2*m_1$$ Those presentation appeared earlier in the literature [ @Nab ], [ @Vas ] for the simply laced case. In especial this section identifies our approach with those articles and gives an algebraic motivation of the contort structures of [ @Nab ], [ @Vas ] related to the structure of $ { \mathcal{U}}_q(\hat{{\mathfrak{g}}})$. 

 # # # The bicharacter $ \mathcal{N}$ 

 It follows from the proof of lemma \[rel\ ] that for $ m$ a $ { \mathcal{Y}}_t$-monomial, there constitute $ N(m)\in{\mathbb{Z}}$\[n\ ]
 $M'$ ls right negative so for all $i\in I$, $l>L\Riyytarrox v_{i,l}=0$. Bht $m$ is aominant, so $L\leq l_R$. In partirulae $M'=\uneerset{i\in I,K\leq l\leq l_F}{\prod}A_{i,l}^{-v_{p,l}}$. It sufdicew to prove vgat the $v_{i,l}(m_r)$ wre yonnded under the condition $m$ dominant. Thhs flllows from lemma \[genea\].

Presentationf of degogmed algebras
----------------------------------

Oor comftrudniin of ${\mathcal{Y}}_t$ using $\mathcal{G}_h$ (sectpon \[studyyt\]) is a “voncrete” presentation of tje dfformed structure. Pet us look at wbother approxch: in this section we define two bicharacters $\mathcau{N},\matkcal{N}_t$ relajze tl basis of ${\methcal{J}}_t$. All the innprmatimn of tne multiplicatlon oh ${\marhcal{Y}}_t$ is contained ms those bicharacterf because wz can construct a defirned $*$ kulthplizqtiun kn tge “abshrart” ${\mathbb{Z}}[t^{\lm}]$-module ${\marhcal{Y}}\otimes_{{\mathbb{Z}}}{\kaeybb{Z}}[t^{\pm}]$ by pufting sow $m_1,m_2\in A$ ${\mathcal{Y}}$-monomials: $$m_1*m_2=t^{\mathcal{N}(m_1,k_2)-\mafhcal{N}(m_2,m_1)}m_2*m_1$$ or $$m_1*m_2=t^{\mathcao{N}_t(m_1,m_2)-\mathcal{N}_t(m_2,m_1)}m_2*m_1$$ Thlse presegtations appeared earlier in the literature [@Nab], [@Vds] foc ghe slmplh lwced case. In particular this section identifiqa pug approach with tmose articles and bigex an algebraic motivcfikn of the deformed structores od [@Nab], [@Vas] relsted to the structure of ${\marhcal{U}}_q(\hat{{\manhfrqk{g}}})$.

### The bicharactex $\mathcal{N}$

It folkows grom the proof of lemma \[rel\] that for $m$ a ${\mathcam{H}}_t$-monomial, there is $N(k)\in{\mathbb{Z}}$\[n\]
$M'$ is right negative so for all $l>L\Rightarrow But $m$ dominant, so $L\leq l\leq It suffices to that the $v_{i,l}(m_r)$ bounded under the condition $m$ dominant. follows from lemma \[genea\]. Presentations of deformed algebras ---------------------------------- Our construction of ${\mathcal{Y}}_t$ $\mathcal{H}_h$ (section \[studyyt\]) is a “concrete” presentation of the deformed structure. Let us at approach: this we define two bicharacters $\mathcal{N},\mathcal{N}_t$ related to basis of ${\mathcal{Y}}_t$. All the information of the multiplication ${\mathcal{Y}}_t$ is contained is those bicharacters because we construct a deformed $*$ on the “abstract” ${\mathbb{Z}}[t^{\pm}]$-module ${\mathcal{Y}}\otimes_{{\mathbb{Z}}}{\mathbb{Z}}[t^{\pm}]$ putting $m_1,m_2\in A$ $$m_1*m_2=t^{\mathcal{N}(m_1,m_2)-\mathcal{N}(m_2,m_1)}m_2*m_1$$ $$m_1*m_2=t^{\mathcal{N}_t(m_1,m_2)-\mathcal{N}_t(m_2,m_1)}m_2*m_1$$ presentations appeared earlier the literature [@Nab], [@Vas] for the simply laced case. In particular this section identifies our approach with articles and algebraic motivation the structures [@Nab], [@Vas] related structure of ${\mathcal{U}}_q(\hat{{\mathfrak{g}}})$. ### The bicharacter from the proof of lemma \[rel\] that for a ${\mathcal{Y}}_t$-monomial, is $N(m)\in{\mathbb{Z}}$\[n\]
 $M'$ is right negative so for all $i\In I$, $l>L\RightArrow V_{i,l}=0$. but $M$ iS domInanT, so $L\leq l_R$. In parTIculAr $M'=\underset{i\in I,K\leq l\leQ l_R}{\prOd}a_{I,l}^{-v_{i,L}}$. it SuffiCes to prOVe THAt tHe $V_{i,L}(m_r)$ ArE BoUnded UndEr the coNdition $m$ doMinAnT. This follows FRoM lemma \[geneA\].

PrEsentations oF deFormed AlGebRAs
----------------------------------

Our ConStrucTion of ${\MAthcal{y}}_t$ using $\maThCAl{H}_h$ (seCTion \[stuDYYt\]) Is a “cOncrete” presentatiON oF The deformed strUcture. leT Us LOOk aT anOther approAcH: in thIS sectioN We DEFIne TWo bicharacterS $\mathcal{N},\maTHcaL{N}_t$ relAtEd tO Basis oF ${\mathCaL{y}}_t$. ALl the informAtioN of the mulTiplicATion of ${\mAThcal{Y}}_t$ Is contAinEd iS thoSE bIcHarAcTErs BEcAusE We cAn constrUcT a DeforMed $*$ mULTIPlicAtiOn on The “abStract” ${\mathbb{Z}}[T^{\pm}]$-ModuLE ${\maThcal{y}}\otimEs_{{\maThBb{Z}}}{\maThbb{Z}}[t^{\Pm}]$ by pUtTing for $m_1,m_2\in A$ ${\matHcal{y}}$-monomialS: $$m_1*m_2=T^{\mAthCaL{N}(m_1,m_2)-\mAThcal{N}(M_2,m_1)}m_2*M_1$$ or $$M_1*m_2=t^{\mathCal{N}_t(m_1,m_2)-\MAthCaL{n}_T(M_2,m_1)}M_2*m_1$$ Those presentatioNs APPeAred earlIer in tHE lItERature [@NaB], [@VAs] fOr thE SImply LaceD CaSe. In partIcular THiS sEction iDeNtifieS oUr aPprOach wITh thOse artIcles and Gives AN algebraic motiVAtion of the defORmED StRUctuRes Of [@Nab], [@Vas] relAted TO the StruCTuRe oF ${\MathcAl{U}}_q(\hAt{{\MAtHFrak{g}}})$.

### The bicharacter $\MaThcal{N}$

it folLows from the prOof of lemma \[REL\] That for $m$ A ${\matHCaL{y}}_t$-monomial, therE is $N(m)\In{\mathbb{Z}}$\[n\]
 $M'$ is right negative so  for all $ i\inI$,  $l >L \Rig htar row v_{i,l}=0$ .  But  $m$ is dominant, so $ L\leq  l _ R$.I nparti cular $ M '= \ u nde rs et {i\ in I, K\leq  l\ leq l_R }{\prod}A_ {i, l} ^{-v_{i,l}}$ .  I t suffices  to  prove thatthe  $v_{i ,l }(m _ r)$ a rebound ed und e r thecondition  $ m $ domi n ant. Th i s  f ollo ws from lemma \[g e ne a \].

Presentat ions o fd ef o r med  al gebras
--- -- ----- - ------- - -- - - - --- - ------

Our c onstruction of${\mat hc al{ Y }}_t$using  $ \ mat hcal{H}_h$(sec tion \[st udyyt\ ] ) is a“ concret e” pre sen tat iono fth e d ef o rme d  s tru c tur e. Let u slo ok at  ano t h e r  app roa ch:in th is section we  de fine two  bich aract ers$\ mathc al{N}, \math ca l{N}_t$ related  tobasis of${\ ma thc al {Y}}_ t $. All  th e i nformat ion oft hemu l t i pl ication of ${\math ca l { Y} }_t$ iscontai n ed  i s  those b ic har acte r s  beca usew ecan cons tructa  d ef ormed $ *$  multi pl ica tio n ont he “ abstra ct” ${\m athbb { Z}}[t^{\pm}]$- m odule ${\math c al { Y }} \ otim es_ {{\mathbb{Z }}}{ \ math bb{Z } }[ t^{ \ pm}]$  by p ut t in g  for $m_1,m_2\in A$  $ {\math cal{Y }}$-monomials : $$m_1*m_ 2 = t ^{\mathc al{N } (m _ 1,m_2)-\mathca l{N}( m_2,m_1)}m _ 2*m_1$$or $$ m_1*m_2= t^{\mathc a l {N}_t(m_ 1,m _2) -\m ath c a l{ N}_t(m_2,m_1) } m _2*m _1 $$ Thos e p resenta tio nsapp ear ed  earlierin the l it er at ur e [ @Nab] ,  [@Vas]fo r t he  si mplyl aced c ase.In p ar ti c ula r thiss ec t i on i de nt ifie s o ur  appr oach wit h those  articles  an d  giv es  a n algeb raic motivati on  of the de fo rme d stru c t ures of[@Nab], [@Vas] relatedt o the s tru cture  of${\mathca l{U }}_q(\ hat { {\math frak{g }}})$ .
## # The b i c ha rac te r $\mathca l { N}$ 

Itfo llow s fromthe proof of lemma \[r el\] that for  $m $ a$ { \m ath c al { Y}} _t $ -mo n o mial, there is$N(m)\in{\ ma t hb b{Z}}$\[n\ ] 
 $M'$_is right_negative so for all_$i\in I$,_$l>L\Rightarrow_v_{i,l}=0$. But_$m$_is dominant, so_$L\leq l_R$. In_particular $M'=\underset{i\in I,K\leq l\leq_l_R}{\prod}A_{i,l}^{-v_{i,l}}$. It suffices_to_prove that the $v_{i,l}(m_r)$ are bounded under the condition $m$ dominant. This follows from_lemma_\[genea\].

Presentations of_deformed_algebras
----------------------------------

Our_construction of ${\mathcal{Y}}_t$ using $\mathcal{H}_h$_(section \[studyyt\]) is a “concrete”_presentation of_the deformed structure. Let us look at another_approach:_in this section_we define two bicharacters $\mathcal{N},\mathcal{N}_t$ related to basis of_${\mathcal{Y}}_t$. All the information of the_multiplication of ${\mathcal{Y}}_t$_is_contained_is those bicharacters because_we can construct a deformed $*$_multiplication on the “abstract” ${\mathbb{Z}}[t^{\pm}]$-module ${\mathcal{Y}}\otimes_{{\mathbb{Z}}}{\mathbb{Z}}[t^{\pm}]$_by putting for $m_1,m_2\in A$ ${\mathcal{Y}}$-monomials: $$m_1*m_2=t^{\mathcal{N}(m_1,m_2)-\mathcal{N}(m_2,m_1)}m_2*m_1$$_or $$m_1*m_2=t^{\mathcal{N}_t(m_1,m_2)-\mathcal{N}_t(m_2,m_1)}m_2*m_1$$ Those presentations appeared earlier_in the literature [@Nab], [@Vas]_for the_simply laced case. In particular_this section identifies_our approach_with those articles_and gives an algebraic motivation of_the deformed structures_of [@Nab], [@Vas] related to the_structure_of ${\mathcal{U}}_q(\hat{{\mathfrak{g}}})$.

### The_bicharacter_$\mathcal{N}$

It_follows from_the proof of_lemma_\[rel\] that_for_$m$ a ${\mathcal{Y}}_t$-monomial, there is $N(m)\in{\mathbb{Z}}$\[n\]