 $\beta_2=(1,d+1,0)$, $\beta_3=(d,1,1)$, $\gamma=(d^2+d-1,d,0)$, and $$B=\left(\begin{matrix}
2&1&d\cr
d&d+1&1\cr
0&0&1
\end{matrix}\right).$$ By subtracting the vector $(1,1,1)$ from rows $1$ and $2$, we get $$B'=\left(\begin{matrix}
1&0&d-1\cr
d-1&d&0\cr
0&0&1
\end{matrix}\right).$$ The column vectors $\beta_1'=(1,d-1,0)$, $\beta_2'=(0,d,0)$, $\beta_3'=(d-1,0,1)$, $\gamma'=(d^2-d,d-1,0)$ satisfy (a) and (b).

Application to Cremona maps {#cremona}
===========================

Let $R=k[x_1,\ldots,x_n]$ be a polynomial ring over a field $k$ and set ${x}^{\alpha}:= x_1^{a_1}\cdots x_{n}^{a_{n}}$ for $\alpha=(a_1,
\ldots,a_n)\in {\mathbb N}^n$. In the sequel we consider a finite set of distinct monomials ${F}=\{{x}^{v_1},\ldots, {x}^{v_q}\}\subset R$ of the same degree $d\geq
1$ and having no non-trivial common factor. We also assume throughout that every $x_i$ divides at least one member of $F$, a harmless condition. The set $F$ defines a rational (monomial) map ${\mathbb{P}}^{n-1}\dasharrow {\mathbb{P}}^{n-1}$ which will also be denoted $F$ and written as a tuple $F=({x}^{v_1},\ldots, {x}^{v_q})$. This map is said to be a [*Cremona map*]{} (or a [*Cremona transformation*]{}) if it admits an inverse rational map with source ${\mathbb{P}}^{n-1}$. Note that a rational monomial map is defined everywhere if and only if the defining monomials are pure
$ \beta_2=(1,d+1,0)$, $ \beta_3=(d,1,1)$, $ \gamma=(d^2+d-1,d,0)$, and $ $ B=\left(\begin{matrix } 
 2&1&d\cr 
 d&d+1&1\cr 
 0&0&1 
 \end{matrix}\right).$$ By subtracting the vector $ (1,1,1)$ from rows $ 1 $ and $ 2 $, we get $ $ B'=\left(\begin{matrix } 
 1&0&d-1\cr 
 d-1&d&0\cr 
 0&0&1 
 \end{matrix}\right).$$ The column vectors $ \beta_1'=(1,d-1,0)$, $ \beta_2'=(0,d,0)$, $ \beta_3'=(d-1,0,1)$, $ \gamma'=(d^2 - d, d-1,0)$ satisfy (deoxyadenosine monophosphate) and (boron). 

 Application to Cremona maps { # cremona } 
 = = = = = = = = = = = = = = = = = = = = = = = = = = = 

 Let $ gas constant = k[x_1,\ldots, x_n]$ be a polynomial ring over a field $ k$ and set up $ { x}^{\alpha}:= x_1^{a_1}\cdots x_{n}^{a_{n}}$ for $ \alpha=(a_1, 
 \ldots, a_n)\in { \mathbb N}^n$. In the sequel we regard a finite set of discrete monomials $ { F}=\{{x}^{v_1},\ldots, { x}^{v_q}\}\subset R$ of the same degree $ d\geq 
 1 $ and suffer no non - trivial coarse agent. We also assume throughout that every $ x_i$ divides at least one member of $ F$, a harmless condition. The fit $ F$ defines a rational (monomial) map $ { \mathbb{P}}^{n-1}\dasharrow { \mathbb{P}}^{n-1}$ which will besides be denoted $ F$ and written as a tuple $ F=({x}^{v_1},\ldots, { x}^{v_q})$. This function is said to be a [ * Cremona function * ] { } (or a [ * Cremona transformation * ] { }) if it admits an inverse rational map with source $ { \mathbb{P}}^{n-1}$. Note that a rational monomial function is defined everywhere if and only if the defining monomials are pure
 $\beha_2=(1,d+1,0)$, $\beta_3=(d,1,1)$, $\gamma=(d^2+d-1,d,0)$, and $$B=\ueft(\begin{matrix}
2&1&b\xr
d&d+1&1\cr
0&0&1
\xnd{matrjx}\right).$$ Cy subtracting the vector $(1,1,1)$ fcom eows $1$ and $2$, we get $$B'=\left(\begiv{matrix}
1&0&d-1\cg
d-1&d&0\cr
0&0&1
\end{mqtrie}\right).$$ The columi vectors $\beta_1'=(1,s-1,0)$, $\betc_2'=(0,d,0)$, $\beta_3'=(d-1,0,1)$, $\gamma'=(d^2-d,c-1,0)$ satisfy (d) and (b).

Applicadiun to Cremona maps {#cremona}
===========================

Let $R=k[x_1,\ldotf,x_n]$ be s oolynomial rind ovtr w fisld $k$ and set ${x}^{\alpha}:= x_1^{a_1}\cdots x_{n}^{a_{n}}$ ror $\alpia=(a_1,
\ldots,a_n)\in {\mayhbb N}^n$. In the sequel we clnsifer a finite set ov distinct nonoiuals ${F}=\{{x}^{v_1},\ldotr, {x}^{v_q}\}\subseu X$ of the saje degree $d\geq
1$ and having no nov-trivnal common daxtog. We also aswume nhroughout that every $x_i$ divodes at least pne menber of $F$, a harmless rondition. The set $F$ qefines a rctional (monomial) map ${\narhbb{P}}^{t-1}\dasvarruq {\mxthgb{'}}^{n-1}$ shich ailm also be senoted $F$ abd written as a tupke $D=({x}^{v_1},\ldots, {x}^{v_q})$. Fhis mwp is said to be a [*Cremona map*]{} (or a [*Cremota fransformation*]{}) if it adnits an inverse ratiojal map wyth source ${\mathbb{P}}^{n-1}$. Note that a rational monomial map ms deylked dcegywhere if and only if the defining monomials zrt plre
$\beta_2=(1,d+1,0)$, $\beta_3=(d,1,1)$, $\gamma=(d^2+d-1,d,0)$, and $$B=\left(\begin{matrix} 2&1&d\cr d&d+1&1\cr By the vector from rows $1$ 1&0&d-1\cr 0&0&1 \end{matrix}\right).$$ The vectors $\beta_1'=(1,d-1,0)$, $\beta_2'=(0,d,0)$, $\gamma'=(d^2-d,d-1,0)$ satisfy (a) and (b). Application Cremona maps {#cremona} =========================== Let $R=k[x_1,\ldots,x_n]$ be a polynomial ring over a field and set ${x}^{\alpha}:= x_1^{a_1}\cdots x_{n}^{a_{n}}$ for $\alpha=(a_1, \ldots,a_n)\in {\mathbb N}^n$. In the sequel consider finite of monomials ${F}=\{{x}^{v_1},\ldots, {x}^{v_q}\}\subset R$ of the same degree $d\geq 1$ and having no non-trivial common factor. also assume throughout that every $x_i$ divides at one member of $F$, harmless condition. The set $F$ a (monomial) map {\mathbb{P}}^{n-1}$ will be denoted $F$ written as a tuple $F=({x}^{v_1},\ldots, {x}^{v_q})$. This map is said to be a [*Cremona map*]{} (or a transformation*]{}) if an inverse map source Note that a map is defined everywhere if and defining monomials are pure
 $\beta_2=(1,d+1,0)$, $\beta_3=(d,1,1)$, $\gamma=(d^2+d-1,d,0)$, and $$B=\lefT(\begin{matrIx}
2&1&d\cr
D&d+1&1\cR
0&0&1
\enD{mAtriX}\rigHt).$$ By subtractinG The vEctor $(1,1,1)$ from rows $1$ and $2$, we get $$B'=\Left(\bEgIN{matRIx}
1&0&D-1\cr
d-1&d&0\Cr
0&0&1
\end{maTRiX}\RIghT).$$ THe ColUmN VeCtors $\BetA_1'=(1,d-1,0)$, $\beta_2'=(0,d,0)$, $\Beta_3'=(d-1,0,1)$, $\gamma'=(D^2-d,d-1,0)$ SaTisfy (a) and (b).

ApPLiCation to CrEmoNa maps {#cremonA}
===========================

LeT $R=k[x_1,\ldOtS,x_n]$ BE a polYnoMial rIng oveR A field $K$ and set ${x}^{\aLpHA}:= x_1^{a_1}\cdoTS x_{n}^{a_{n}}$ foR $\ALpHa=(a_1,
\lDots,a_n)\in {\mathbb N}^n$. IN ThE Sequel we considEr a finItE SeT OF diStiNct monomiaLs ${f}=\{{x}^{v_1},\ldOTs, {x}^{v_q}\}\suBSeT r$ OF thE Same degree $d\geQ
1$ and having nO Non-TriviaL cOmmON factoR. We alSo ASsuMe throughouT thaT every $x_i$ dIvides AT least oNE member Of $F$, a haRmlEss CondITiOn. the SeT $f$ deFInEs a RAtiOnal (monoMiAl) Map ${\maThbb{p}}^{N-1}\DASharRow {\MathBb{P}}^{n-1}$ wHich will also bE deNoteD $f$ anD writTen as A tupLe $f=({x}^{v_1},\ldOts, {x}^{v_q})$. this mAp Is said to be a [*CremOna mAp*]{} (or a [*CremOna TrAnsFoRmatiON*]{}) if it aDmiTs aN inversE rationAL maP wITH SoUrce ${\mathbb{P}}^{n-1}$. Note thAt A RAtIonal monOmial mAP iS dEFined eveRyWheRe if AND only If thE DeFining moNomialS ArE pUre
 $\beta_2=(1,d+1,0)$, $\be ta_3=(d,1, 1)$,$\g amm a= (d^2 +d-1 ,d,0)$, and $$ B =\le ft(\begin{matrix}
2&1& d\crd& d +1&1 \ cr 
0&0& 1
\end{ m at r i x}\ ri gh t). $$ By  subt rac ting th e vector $ (1, 1, 1)$ from row s  $ 1$ and $2$ , w e get $$B'=\ lef t(\beg in {ma t rix}1&0 &d-1\ cr
d-1 & d&0\cr 
0&0&1
\e nd { matrix } \right) . $ $Thecolumn vectors $\ b et a _1'=(1,d-1,0)$ , $\be ta _ 2' = ( 0,d ,0) $, $\beta_ 3' =(d-1 , 0,1)$,$ \g a m m a'= ( d^2-d,d-1,0)$  satisfy (a )  an d (b). 
App l icatio n toCr e mon a maps {#cr emon a}
====== ====== = ======= = ======
Let $ R=k [x_ 1,\l d ot s, x_n ]$ bea  p oly n omi al ringov er  a fi eld$ k $ andset  ${x }^{\a lpha}:= x_1^{ a_1 }\cd o tsx_{n} ^{a_{ n}}$  f or $\ alpha= (a_1, 
\ ldots,a_n)\in { \mat hbb N}^n$ . I nthe  s equel we con sid era finit e set o f  di st i n c tmonomials ${F}=\{{ x} ^ { v_ 1},\ldot s, {x} ^ {v _q } \}\subse tR$of t h e  same  deg r ee  $d\geq1$ and ha vi ng no n on -trivi al  co mmo n fac t or.We als o assume  thro u ghout that eve r y $x_i$ divid e sa t  l e astone  member of$F$, a ha rmle s scon d ition . The  s e t$ F$ defines a ration al  (mono mial)  map ${\mathb b{P}}^{n-1 } \ d asharrow  {\m a th b b{P}}^{n-1}$ w hichwill alsob e denote d $F$  and wri tten as a t uple $F= ({x }^{ v_1 },\ l d ot s, {x}^{v_q}) $ .  Thi smap issai d to be  a[*C rem ona  m ap*]{} (o r a [*Cr em on atr ans forma t ion*]{})  i f i tadm its a n  inver se ra tion al  m a p w ith sou r ce $ {\ma th bb {P}} ^{n -1 }$. N otet hat  a rati onal mono mia l  map  i sdefined  everywhere i fand only i fthe  defin i n g monomi als are pure
 $\beta_2=(1,d+1,0)$,_$\beta_3=(d,1,1)$, $\gamma=(d^2+d-1,d,0)$,_and $$B=\left(\begin{matrix}
2&1&d\cr
d&d+1&1\cr
0&0&1
\end{matrix}\right).$$ By subtracting_the vector_$(1,1,1)$_from rows_$1$_and $2$, we_get $$B'=\left(\begin{matrix}
1&0&d-1\cr
d-1&d&0\cr
0&0&1
\end{matrix}\right).$$ The_column vectors $\beta_1'=(1,d-1,0)$, $\beta_2'=(0,d,0)$,_$\beta_3'=(d-1,0,1)$, $\gamma'=(d^2-d,d-1,0)$ satisfy_(a)_and (b).

Application to Cremona maps {#cremona}
===========================

Let $R=k[x_1,\ldots,x_n]$ be a polynomial ring over a field_$k$_and set_${x}^{\alpha}:=_x_1^{a_1}\cdots_x_{n}^{a_{n}}$ for $\alpha=(a_1,
\ldots,a_n)\in {\mathbb N}^n$._In the sequel we consider_a finite_set of distinct monomials ${F}=\{{x}^{v_1},\ldots, {x}^{v_q}\}\subset R$ of_the_same degree $d\geq
1$_and having no non-trivial common factor. We also assume_throughout that every $x_i$ divides at_least one member_of_$F$,_a harmless condition. The_set $F$ defines a rational (monomial)_map ${\mathbb{P}}^{n-1}\dasharrow {\mathbb{P}}^{n-1}$ which will also_be denoted $F$ and written as a_tuple $F=({x}^{v_1},\ldots, {x}^{v_q})$. This map is_said to be a [*Cremona_map*]{} (or_a [*Cremona transformation*]{}) if it_admits an inverse_rational map_with source ${\mathbb{P}}^{n-1}$._Note that a rational monomial map_is defined everywhere_if and only if the defining_monomials_are pure