 to the tensor product since here a tensor factor means an application of the Rota-Baxter operator $P_A$: $u_0\ot u_1= u_0P_A(u_1)$. Thus $$d_A(u_0\ot u_1)=d_A(u_0)P_A(u_1)+u_0\,d_A(P_A(u_1)) +\lambda d_A(u_0)d_A(P_A(u_1))= d(u_0)\ot u_1+u_0u_1+\lambda d(u_0)u_1.$$

$($[@GGZ; @GK3]$)$ Let $Y$ be a set with a set map $d_0\colon Y\to \bfk[Y]$ and let $(\bfk[Y],d)$ be the commutative differential algebra of weight $\lambda$ in Theorem .. The triple $(\sha
(\bfk[Y]), d_{\bfk[Y]},
    P_{\bfk[Y]})$, together with $j_{\bfk[Y]} \colon \bfk [Y] \to \sha(\bfk[Y])$, is the free commutative differential Rota-Baxter $\bfk$-algebra of weight $\lambda$ on the differential algebra $(\bfk[Y],d)$.

Apply Theorem  to $Y:=\Delta X$ and $d_0$ as in Theorem .. From Eq. \[eq:rbm\], the set $$\calb(\Delta X):=\left\{ u_0\ot \cdots \ot u_k\,\big|\, u_i\in
\cm(\Delta X), 0\leq i\leq k, k\geq 0\right\} \mlabel{eq:drbm}$$ is a $\bfk$-basis of the free commutative differential Rota-Baxter algebra $\sha(\Delta X)$ on the free differential algebra $(\bfk\{X\},d_X)$. We call this basis the set of [**differential Rota-Baxter (DRB) monomials**]{} on $X$. Similarly, for $n\geq 1$, apply Theorem \[thm:freediffrb\] to $Y:=\Delta_n X$ and $d_0$ as in Eq. (\[eq:diffn\]) of
to the tensor product since here a tensor factor means an application of the Rota - Baxter hustler $ P_A$: $ u_0\ot u_1= u_0P_A(u_1)$. therefore $ $ d_A(u_0\ot u_1)=d_A(u_0)P_A(u_1)+u_0\,d_A(P_A(u_1) ) + \lambda d_A(u_0)d_A(P_A(u_1))= d(u_0)\ot u_1+u_0u_1+\lambda d(u_0)u_1.$$ 

 $ ($ [ @GGZ; @GK3]$)$ permit $ Y$ be a set with a set function $ d_0\colon Y\to \bfk[Y]$ and let $ (\bfk[Y],d)$ be the commutative differential algebra of weight $ \lambda$ in Theorem  .. The ternary $ (\sha 
 (\bfk[Y ]), d_{\bfk[Y ] }, 
     P_{\bfk[Y]})$, together with $ j_{\bfk[Y ] } \colon \bfk [ Y ] \to \sha(\bfk[Y])$, is the free commutative differential Rota - Baxter $ \bfk$-algebra of system of weights $ \lambda$ on the differential algebra $ (\bfk[Y],d)$. 

 Apply Theorem    to $ Y:=\Delta X$ and $ d_0 $ as in Theorem  .. From Eq.   \[eq: rbm\ ], the set $ $ \calb(\Delta X):=\left\ { u_0\ot \cdots \ot u_k\,\big|\, u_i\in 
 \cm(\Delta X), 0\leq i\leq k, k\geq 0\right\ } \mlabel{eq: drbm}$$ is a $ \bfk$-basis of the barren commutative differential Rota - Baxter algebra $ \sha(\Delta X)$ on the free differential algebra $ (\bfk\{X\},d_X)$. We predict this footing the set of [ * * differential Rota - Baxter (DRB) monomials * * ] { } on $ X$. Similarly, for $ n\geq 1 $, apply Theorem   \[thm: freediffrb\ ] to $ Y:=\Delta_n X$ and $ d_0 $ as in Eq.   (\[eq: diffn\ ]) of
 to the tensor product sinct here a tensor fcxtor mxans an applicagion of the Rota-Baxter operavor $P_A$: $u_0\ou u_1= u_0P_A(u_1)$. Thus $$d_A(u_0\ot u_1)=d_A(u_0)P_A(u_1)+u_0\,f_A(P_A(u_1)) +\lanbda e_A(u_0)d_A(P_A(u_1))= d(n_0)\kt u_1+u_0u_1+\lambda s(m_0)u_1.$$

$($[@GGZ; @JK3]$)$ Let $Y$ be a sgt with a sed map $d_0\colon Y\do \byk[Y]$ and let $(\bfk[Y],d)$ be the commutative differrnhial algebra os wepgrt $\lzmbda$ in Theorem .. The triple $(\sha
(\bfk[G]), d_{\bfk[Y]},
    P_{\bfk[Y]})$, togrther with $j_{\bfk[Y]} \colon \bfk [Y] \tl \sha(\bfk[Y])$, is the fgee commutajjve eifferential Rota-Baxteg $\bfk$-algebrz of weight $\lambda$ on the diffefenticl algebra $(\vfj[Y],d)$.

Wkply Theorem  to $Y:=\Qelta X$ and $d_0$ as in Dheorem .. From Eq. \[eq:rbm\], bhe sxt $$\cqlb(\Delta X):=\left\{ u_0\ot \cdmts \ot u_k\,\big|\, u_i\in
\ci(\Delta X), 0\nes i\leq k, k\geq 0\rigyt\} \mlabgl{eq:dsbm}$$ kw a $\bfi$-besia of tje hree commutztive diffeeential Rota-Baxter sldvnra $\sha(\Delta X)$ on ehq free differential algebra $(\bfk\{X\},d_X)$. We cdll this basis the set of [**eifferential Rota-Baxtgr (DRB) monjmials**]{} on $X$. Similarly, for $n\geq 1$, apply Theorem \[thm:fseedihffb\] uo $Y:=\Delgq_n X$ and $d_0$ as in Eq. (\[eq:diffn\]) of
to the tensor product since here a means application of Rota-Baxter operator $P_A$: u_1)=d_A(u_0)P_A(u_1)+u_0\,d_A(P_A(u_1)) d_A(u_0)d_A(P_A(u_1))= d(u_0)\ot u_1+u_0u_1+\lambda $($[@GGZ; @GK3]$)$ Let be a set with a set $d_0\colon Y\to \bfk[Y]$ and let $(\bfk[Y],d)$ be the commutative differential algebra of weight in Theorem .. The triple $(\sha (\bfk[Y]), d_{\bfk[Y]}, P_{\bfk[Y]})$, together with $j_{\bfk[Y]} \colon [Y] \sha(\bfk[Y])$, the commutative differential Rota-Baxter $\bfk$-algebra of weight $\lambda$ on the differential algebra $(\bfk[Y],d)$. Apply Theorem to $Y:=\Delta and $d_0$ as in Theorem .. From Eq. the set $$\calb(\Delta X):=\left\{ \cdots \ot u_k\,\big|\, u_i\in \cm(\Delta 0\leq k, k\geq \mlabel{eq:drbm}$$ a of the free differential Rota-Baxter algebra $\sha(\Delta X)$ on the free differential algebra $(\bfk\{X\},d_X)$. We call this basis the set [**differential Rota-Baxter on $X$. for 1$, Theorem \[thm:freediffrb\] to and $d_0$ as in Eq. (\[eq:diffn\])
 to the tensor product since heRe a tensor fActor MeaNs aN aPpliCatiOn of the Rota-BaxTEr opErator $P_A$: $u_0\ot u_1= u_0P_A(u_1)$. Thus $$d_A(U_0\ot u_1)=d_a(u_0)p_a(u_1)+u_0\,d_a(p_A(U_1)) +\lambDa d_A(u_0)d_A(p_a(u_1))= D(U_0)\Ot u_1+U_0u_1+\LaMbdA d(U_0)U_1.$$

$($[@GgZ; @GK3]$)$ LEt $Y$ Be a set wIth a set map $D_0\coLoN Y\to \bfk[Y]$ and lET $(\bFk[Y],d)$ be the cOmmUtative diffeRenTial alGeBra OF weigHt $\lAmbda$ In TheoREm .. The tRiple $(\sha
(\bFk[y]), D_{\bfk[Y]},
    P_{\BFk[Y]})$, togeTHEr With $J_{\bfk[Y]} \colon \bfk [Y] \to \sHA(\bFK[Y])$, is the free comMutatiVe DIfFERenTiaL Rota-BaxteR $\bFk$-algEBra of weIGhT $\LAMbdA$ On the differenTial algebra $(\BFk[Y],D)$.

Apply thEorEM  to $Y:=\DeLta X$ aNd $D_0$ As iN Theorem .. FroM Eq. \[eQ:rbm\], the seT $$\calb(\DELta X):=\lefT\{ U_0\ot \cdotS \ot u_k\,\bIg|\, u_I\in
\Cm(\DeLTa x), 0\lEq i\LeQ K, k\gEQ 0\rIghT\} \MlaBel{eq:drbM}$$ iS a $\Bfk$-baSis oF THE Free ComMutaTive dIfferential RoTa-BAxteR AlgEbra $\sHa(\DelTa X)$ oN tHe freE diffeRentiAl Algebra $(\bfk\{X\},d_X)$. We Call This basis The SeT of [**DiFfereNTial RoTa-BAxtEr (DRB) moNomials**]{} ON $X$. SImILARlY, for $n\geq 1$, apply TheorEm \[THM:fReediffrB\] to $Y:=\DeLTa_N X$ ANd $d_0$ as in EQ. (\[eQ:diFfn\]) oF
 to the tensor product sin ce here atenso r f act or  mea ns a n applicationo f th e Rota-Baxter operator  $P_A $: $u_0 \ ot  u_1=  u_0P_A ( u_ 1 ) $.Th us  $$ d_ A (u _0\ot  u_ 1)=d_A( u_0)P_A(u_ 1)+ u_ 0\,d_A(P_A(u _ 1) ) +\lambda  d_ A(u_0)d_A(P_ A(u _1))=d( u_0 ) \ot u _1+ u_0u_ 1+\lam b da d(u _0)u_1.$$ 
$ ($[@GG Z ; @GK3] $ ) $Let$Y$ be a set with as et map $d_0\co lon Y\ to \b f k [Y] $ a nd let $(\ bf k[Y], d )$ be t h ec o m mut a tive differen tial algebr a  of  weigh t$\l a mbda$in Th eo r em.. The trip le $ (\sha
(\b fk[Y]) ,  d_{\bf k [Y]},
   P_{ \bf k[Y ]})$ ,  t og eth er wit h  $ j_{ \ bfk [Y]} \co lo n\bfk[Y]\ t o \sha (\b fk[Y ])$,is the free c omm utat i vediffe renti al R ot a-Bax ter $\ bfk$- al gebra of weight  $\l ambda$ on  th edif fe renti a l alge bra  $( \bfk[Y] ,d)$.
A ppl yT h e or em  to $Y:=\DeltaX$ a nd  $d_0$ a s in T h eo re m  .. From  E q.\[eq : r bm\],  the se t $$\cal b(\Del t aX) :=\left \{  u_0\o t\cd ots  \otu _k\, \big|\ , u_i\in 
\cm( \ Delta X), 0\le q  i\leq k, k\g e q0 \ ri g ht\}  \m label{eq:dr bm}$ $  isa $\ b fk $-b a sis o f the  f r ee commutative differe nt ial Ro ta-Ba xter algebra$\sha(\Del t a X)$ on t he f r ee differential a lgebr a $(\bfk\{ X \},d_X)$ . Wecall thi s basis t h e  set of[** dif fer ent i a lRota-Baxter ( D R B) m on omials* *]{ } on $X $.Sim ila rly ,for $n\ge q 1$, ap pl yTh eo rem  \[th m :freedif fr b\]  t o $ Y:=\D e lta_nX$ an d $d _0 $a s i n Eq. ( \ [e q : diff n\ ])  of
 to_the tensor_product since here a_tensor factor_means_an application_of_the Rota-Baxter operator_$P_A$: $u_0\ot u_1=_u_0P_A(u_1)$. Thus $$d_A(u_0\ot u_1)=d_A(u_0)P_A(u_1)+u_0\,d_A(P_A(u_1))_+\lambda d_A(u_0)d_A(P_A(u_1))= d(u_0)\ot_u_1+u_0u_1+\lambda_d(u_0)u_1.$$

$($[@GGZ; @GK3]$)$ Let $Y$ be a set with a set map $d_0\colon Y\to \bfk[Y]$_and_let $(\bfk[Y],d)$_be_the_commutative differential algebra of weight_$\lambda$ in Theorem .. The triple_$(\sha
(\bfk[Y]), d_{\bfk[Y]},
_   P_{\bfk[Y]})$, together with $j_{\bfk[Y]} \colon_\bfk_[Y] \to \sha(\bfk[Y])$,_is the free commutative differential Rota-Baxter $\bfk$-algebra of weight_$\lambda$ on the differential algebra $(\bfk[Y],d)$.

Apply_Theorem  to $Y:=\Delta_X$_and_$d_0$ as in Theorem .._From Eq. \[eq:rbm\], the set $$\calb(\Delta X):=\left\{_u_0\ot \cdots \ot u_k\,\big|\, u_i\in
\cm(\Delta X),_0\leq i\leq k, k\geq 0\right\} \mlabel{eq:drbm}$$ is_a $\bfk$-basis of the free commutative_differential Rota-Baxter algebra $\sha(\Delta X)$_on the_free differential algebra $(\bfk\{X\},d_X)$. We_call this basis_the set_of [**differential Rota-Baxter_(DRB) monomials**]{} on $X$. Similarly, for_$n\geq 1$, apply_Theorem \[thm:freediffrb\] to $Y:=\Delta_n X$ and $d_0$_as_in Eq. (\[eq:diffn\]) of