^m}\rightarrow 0$ as $m\rightarrow\infty$ since $w(\varepsilon)>0$, so since $A$ is complete, the sum $\underset{m\geq 0}{\sum}{\varepsilon^{p^m}}$ converges in $A$, and hence $a^{p^m}\rightarrow a+\underset{m\geq 0}{\sum}{\varepsilon^{p^m}}\in A$.\
So let $b:=a+\underset{m\geq 0}{\sum}{\varepsilon^{p^m}}$, then $b^p=a^p+(\underset{m\geq 0}{\sum}{\varepsilon^{p^m}})^p=a+\varepsilon+\underset{m\geq 1}{\sum}{\varepsilon^{p^m}}=a+\underset{m\geq 0}{\sum}{\varepsilon^{p^m}}=b$ as required.

\[divided-powers\]

Let $Q=\widehat{Q(\frac{kG}{P})}$, and let $\delta_1,\cdots,\delta_r:kG\to kG$ be derivations such that $\tau\delta_i(P)\neq 0$ for all $i$. Set $N:=\{(a_1,\cdots,a_r)\in Q^r:(a_1\tau\delta_1+\cdots+a_r\tau\delta_r)(P)=0\}$.\
Then $N$ is a $Q$-bisubmodule of $Q^r$, and either $N=0$ or there exist $\alpha_1,\cdots,\alpha_r\in Z(Q)$, not all zero, such that for all $(a_1,\cdots,a_r)\in N$, $\alpha_1a_1+\cdots+\alpha_ra_r=0$.

Since $v$ is a non-commutative valuation, we have that $Q$ is simple and artinian, and the proof that $N$ is a $Q$-bisubmodule of $Q^r$ is similar to the proof of Lemma \[artinian\]. For the second statement, we will proceed using induction on $r$.\
First suppose that $r=1$, then $N$ is a two sided ideal of the simple ring $Q$, so it is either $0$ or $Q$. But if $N=Q$ then $1\in Q$ so $\tau\delta_1(P)=0$ – contradiction
^m}\rightarrow 0 $ as $ m\rightarrow\infty$ since $ w(\varepsilon)>0 $, so since $ A$ is complete, the sum $ \underset{m\geq 0}{\sum}{\varepsilon^{p^m}}$ converges in $ A$, and hence $ a^{p^m}\rightarrow a+\underset{m\geq 0}{\sum}{\varepsilon^{p^m}}\in A$ .\ 
 So let $ b:=a+\underset{m\geq 0}{\sum}{\varepsilon^{p^m}}$, then $ b^p = a^p+(\underset{m\geq 0}{\sum}{\varepsilon^{p^m}})^p = a+\varepsilon+\underset{m\geq 1}{\sum}{\varepsilon^{p^m}}=a+\underset{m\geq 0}{\sum}{\varepsilon^{p^m}}=b$ as command. 

 \[divided - powers\ ] 

 lease $ Q=\widehat{Q(\frac{kG}{P})}$, and let $ \delta_1,\cdots,\delta_r: kG\to kG$ be derivations such that $ \tau\delta_i(P)\neq 0 $ for all $ i$. Set $ N:=\{(a_1,\cdots, a_r)\in Q^r:(a_1\tau\delta_1+\cdots+a_r\tau\delta_r)(P)=0\}$.\ 
 Then $ N$ is a $ Q$-bisubmodule of $ Q^r$, and either $ N=0 $ or there exist $ \alpha_1,\cdots,\alpha_r\in Z(Q)$, not all zero, such that for all $ (a_1,\cdots, a_r)\in N$, $ \alpha_1a_1+\cdots+\alpha_ra_r=0$. 

 Since $ v$ is a non - commutative evaluation, we have that $ Q$ is simple and artinian, and the proof that $ N$ is a $ Q$-bisubmodule of $ Q^r$ is alike to the proof of Lemma \[artinian\ ]. For the second statement, we will continue using induction on $ r$.\ 
 foremost suppose that $ r=1 $, then $ N$ is a two sided ideal of the simple ring $ Q$, so it is either $ 0 $ or $ Q$. But if $ N = Q$ then $ 1\in Q$ so $ \tau\delta_1(P)=0 $ – contradiction
^m}\rihhtarrow 0$ as $m\rightarrow\lnfty$ since $w(\vargpwilon)>0$, vo sinde $A$ is zomplete, the sum $\underset{m\gee 0}{\wum}{\vaeepsilon^{p^m}}$ converges iv $A$, and hvnce $a^{p^m}\rughterrow a+\underset{m\jsq 0}{\sum}{\varepsimln^{p^m}}\nn A$.\
So let $b:=a+\undgrset{m\geq 0}{\suk}{\varepsilon^{p^m}}$, dhdn $b^p=a^p+(\underset{m\geq 0}{\sum}{\varepsilon^{p^m}})^p=a+\darepsikoj+\underset{m\geq 1}{\fum}{\vswepsjlon^{p^m}}=a+\underset{m\geq 0}{\sum}{\varepsilon^{p^j}}=b$ as rtquired.

\[divided-powets\]

Let $Q=\widehat{Q(\frac{kG}{P})}$, and let $\delta_1,\cdots,\delta_r:kH\to kG$ be dgdivwrions such tfat $\tau\delua_n(P)\neq 0$ for zll $i$. Set $N:=\{(a_1,\cdots,a_r)\in Q^r:(a_1\tau\delga_1+\cdocs+a_r\tau\deltq_r)(P)=0\}$.\
Thft $N$ is a $Q$-bmsubmoqule of $Q^r$, akc eithar $N=0$ or there exist $\akphe_1,\cdors,\alpha_r\in Z(Q)$, not all zero, such that fot all $(a_1,\cdods,c_r)\in N$, $\alpha_1a_1+\cdots+\alpya_ea_r=0$.

Sitce $e$ is q nun-ckmkufative vamuation, we have that $W$ is simple and artonyqn, and the prkof thwt $N$ is a $Q$-bisubmodule of $Q^r$ is similar tm tge proof of Lemma \[artinuan\]. For the second stwtement, wq will proceed using induction on $r$.\
First suppose dhat $c=1$, gheu $N$ is q hwo sided ideal of the simple ring $Q$, so it is siuheg $0$ or $Q$. But if $N=Q$ then $1\in Q$ xo $\tso\delta_1(P)=0$ – contrxdiction
^m}\rightarrow 0$ as $m\rightarrow\infty$ since $w(\varepsilon)>0$, so is the sum 0}{\sum}{\varepsilon^{p^m}}$ converges in 0}{\sum}{\varepsilon^{p^m}}\in So let $b:=a+\underset{m\geq then $b^p=a^p+(\underset{m\geq 0}{\sum}{\varepsilon^{p^m}})^p=a+\varepsilon+\underset{m\geq 0}{\sum}{\varepsilon^{p^m}}=b$ as required. \[divided-powers\] Let $Q=\widehat{Q(\frac{kG}{P})}$, let $\delta_1,\cdots,\delta_r:kG\to kG$ be derivations such that $\tau\delta_i(P)\neq 0$ for all $i$. Set Q^r:(a_1\tau\delta_1+\cdots+a_r\tau\delta_r)(P)=0\}$.\ Then $N$ is a $Q$-bisubmodule of $Q^r$, and either $N=0$ or there $\alpha_1,\cdots,\alpha_r\in not zero, that for all $(a_1,\cdots,a_r)\in N$, $\alpha_1a_1+\cdots+\alpha_ra_r=0$. Since $v$ is a non-commutative valuation, we have that $Q$ simple and artinian, and the proof that $N$ a $Q$-bisubmodule of $Q^r$ similar to the proof of \[artinian\]. the second we proceed induction on $r$.\ suppose that $r=1$, then $N$ is a two sided ideal of the simple ring $Q$, so it either $0$ But if then Q$ $\tau\delta_1(P)=0$ – contradiction
^m}\rightarrow 0$ as $m\rightarrow\iNfty$ since $w(\VarepSilOn)>0$, sO sInce $a$ is cOmplete, the sum $\uNDersEt{m\geq 0}{\sum}{\varepsilon^{p^m}}$ cOnverGeS In $A$, aND hEnce $a^{P^m}\rightARrOW A+\unDeRsEt{m\GeQ 0}{\SuM}{\varePsiLon^{p^m}}\in a$.\
So let $b:=a+\unDerSeT{m\geq 0}{\sum}{\varePSiLon^{p^m}}$, then $b^P=a^p+(\Underset{m\geq 0}{\Sum}{\VarepsIlOn^{p^M}})^P=a+\varEpsIlon+\uNderseT{M\geq 1}{\suM}{\varepsilOn^{P^M}}=a+\undeRSet{m\geq 0}{\SUM}{\vArepSilon^{p^m}}=b$ as requireD.

\[DiVIded-powers\]

Let $Q=\WidehaT{Q(\FRaC{Kg}{P})}$, aNd lEt $\delta_1,\cdoTs,\Delta_R:KG\to kG$ bE DeRIVAtiONs such that $\tau\Delta_i(P)\neq 0$ fOR alL $i$. Set $N:=\{(A_1,\cDotS,A_r)\in Q^r:(A_1\tau\dElTA_1+\cdOts+a_r\tau\delTa_r)(P)=0\}$.\
then $N$ is a $Q$-BisubmODule of $Q^R$, And eithEr $N=0$ or tHerE exIst $\aLPhA_1,\cDotS,\aLPha_R\In z(Q)$, nOT alL zero, sucH tHaT for aLl $(a_1,\cDOTS,A_r)\in n$, $\alPha_1a_1+\Cdots+\Alpha_ra_r=0$.

Since $V$ is A non-COmmUtatiVe valUatiOn, We havE that $Q$ Is simPlE and artinian, and The pRoof that $N$ Is a $q$-bIsuBmOdule OF $Q^r$ is sImiLar To the prOof of LeMMa \[aRtINIAn\]. for the second statemEnT, WE wIll proceEd usinG InDuCTion on $r$.\
FIrSt sUppoSE That $r=1$, Then $n$ Is A two sideD ideal OF tHe Simple rInG $Q$, so it Is EitHer $0$ Or $Q$. BuT If $N=Q$ Then $1\in q$ so $\tau\deLta_1(P)=0$ – cONtradiction
^m}\rightarrow 0$ as $m\ri ghtarrow\i nfty$  si nce  $ w(\v arep silon)>0$, sos ince  $A$ is complete, thesum $ \u n ders e t{ m\geq  0}{\su m }{ \ v are ps il on^ {p ^ m} }$ co nve rges in  $A$, andhen ce  $a^{p^m}\ri g ht arrow a+\u nde rset{m\geq 0 }{\ sum}{\ va rep s ilon^ {p^ m}}\i n A$.\ So let  $b:=a+\u nd e rset{m \ geq 0}{ \ s um }{\v arepsilon^{p^m}}$ ,  t h en $b^p=a^p+(\ unders et { m\ g e q 0 }{\ sum}{\vare ps ilon^ { p^m}})^ p =a + \ v are p silon+\unders et{m\geq 1} { \su m}{\va re psi l on^{p^ m}}=a +\ u nde rset{m\geq0}{\ sum}{\var epsilo n ^{p^m}} = b$ as r equire d.
\[ divi d ed -p owe rs \ ]
L et  $Q = \wi dehat{Q( \f ra c{kG} {P}) } $ , andlet  $\d elta_ 1,\cdots,\del ta_ r:kG \ tokG$ b e der ivat io ns su ch tha t $\t au \delta_i(P)\neq  0$for all $ i$.  S et$N :=\{( a _1,\cd ots ,a_ r)\in Q ^r:(a_1 \ tau \d e l t a_ 1+\cdots+a_r\tau\d el t a _r )(P)=0\} $.\
Th e n$N $  is a $Q $- bis ubmo d u le of  $Q^ r $,  and eit her $N = 0$  o r there  e xist $ \a lph a_1 ,\cdo t s,\a lpha_r \in Z(Q) $, no t  all zero, suc h  that for all $( a _ 1, \ cdot s,a _r)\in N$,$\al p ha_1 a_1+ \ cd ots + \alph a_ra_ r= 0 $. 
Since $v$ is a non -c ommuta tivevaluation, we  have that $ Q $ is sim plea nd artinian, andthe p roof that$ N$ is a$Q$-b isubmodu le of $Q^ r $  is simi lar  to  th e p r o of  of Lemma \[a r t inia n\ ]. Forthe  second  st ate men t,we  will pro ceed usi ng  i nd uc tio n on$ r$.\
Fir st  su pp ose  that $r=1$,  then  $N$  i sa  tw o sided id e a l of  t he  sim ple  r ing $ Q$,s o i t is ei ther $0$or$ Q$.Bu tif $N=Q $ then $1\inQ$  so $\tau\ de lta _1(P)= 0 $  – contr adiction
^m}\rightarrow 0$_as $m\rightarrow\infty$_since $w(\varepsilon)>0$, so since_$A$ is_complete,_the sum_$\underset{m\geq_0}{\sum}{\varepsilon^{p^m}}$ converges in_$A$, and hence_$a^{p^m}\rightarrow a+\underset{m\geq 0}{\sum}{\varepsilon^{p^m}}\in A$.\
So_let $b:=a+\underset{m\geq 0}{\sum}{\varepsilon^{p^m}}$,_then_$b^p=a^p+(\underset{m\geq 0}{\sum}{\varepsilon^{p^m}})^p=a+\varepsilon+\underset{m\geq 1}{\sum}{\varepsilon^{p^m}}=a+\underset{m\geq 0}{\sum}{\varepsilon^{p^m}}=b$ as required.

\[divided-powers\]

Let $Q=\widehat{Q(\frac{kG}{P})}$, and let $\delta_1,\cdots,\delta_r:kG\to kG$ be derivations such_that_$\tau\delta_i(P)\neq 0$_for_all_$i$. Set $N:=\{(a_1,\cdots,a_r)\in Q^r:(a_1\tau\delta_1+\cdots+a_r\tau\delta_r)(P)=0\}$.\
Then $N$_is a $Q$-bisubmodule of $Q^r$,_and either_$N=0$ or there exist $\alpha_1,\cdots,\alpha_r\in Z(Q)$, not all_zero,_such that for_all $(a_1,\cdots,a_r)\in N$, $\alpha_1a_1+\cdots+\alpha_ra_r=0$.

Since $v$ is a non-commutative valuation,_we have that $Q$ is simple_and artinian, and_the_proof_that $N$ is a_$Q$-bisubmodule of $Q^r$ is similar to_the proof of Lemma \[artinian\]. For_the second statement, we will proceed using_induction on $r$.\
First suppose that $r=1$,_then $N$ is a two_sided ideal_of the simple ring $Q$,_so it is_either $0$_or $Q$. But_if $N=Q$ then $1\in Q$ so_$\tau\delta_1(P)=0$ – contradiction