_{d}+\sum_{\vert\alpha\vert\geq 2}{\underline{q}^{\alpha p^m}\tau\partial_{\underline{g}}^{(\alpha)}}+\varepsilon_m$$

Where $\underline{q}^{\alpha p^m}=q_1^{\alpha_1}\cdots q_d^{\alpha_d}$, $\varepsilon_m=\underset{\alpha\in\mathbb{N}^d}{\sum}{(\big\langle \varphi^{p^m},\partial_{\underline{g}}^{(\alpha)}\big\rangle-\underline{q}^{\alpha p^m})\tau\partial_{\underline{g}}^{(\alpha)}}\in$ End$_k(kG,Q)$, and there exists $t\in\mathbb{N}$ such that $v(\varepsilon_m(r))>p^{2m-t}$ for all $r\in kG$.\
Since $\varphi(P)=P$ it is clear that the left hand side of this expression annihilates $P$. So take any $y\in P$ and apply it to both sides of (\[Mahler3\]) and we obtain:

$$\label{Mahler}
0=q_1^{p^m}\tau\partial_1(y)+....+q_{d}^{p^m}\tau\partial_{d}(y)+O(q^{p^m})$$

Where $q\in Q$ with $v(q^{p^m})\geq \underset{i\leq d}{\min}\{2v(q_i^{p^m})\}$ for all $m$.\
Furthermore, let $f(x)=a_0x+a_1x^p+a_2x^{p^2}+\cdots+a_nx^{p^n}$ be a polynomial, where $a_i\in\tau(kH)$ for each $i$.\
Then for each $m\in\mathbb{N}$, $i=0,\cdots,n$, consider expression (\[Mahler\]) above, with $m$ replaced by $m+i$, and multiply by $a_i^{p^m}$ to obtain:

$0=(a_iq_1^{p^i})^{p^m}\tau\partial_1(y)+....+(a_iq_{d}^{p^i})^{p^m}\tau\partial_{d}(y)+O((a_iq^{p^i
_ { d}+\sum_{\vert\alpha\vert\geq 2}{\underline{q}^{\alpha p^m}\tau\partial_{\underline{g}}^{(\alpha)}}+\varepsilon_m$$ 

 Where $ \underline{q}^{\alpha p^m}=q_1^{\alpha_1}\cdots q_d^{\alpha_d}$, $ \varepsilon_m=\underset{\alpha\in\mathbb{N}^d}{\sum}{(\big\langle \varphi^{p^m},\partial_{\underline{g}}^{(\alpha)}\big\rangle-\underline{q}^{\alpha p^m})\tau\partial_{\underline{g}}^{(\alpha)}}\in$ End$_k(kG, Q)$, and there exists $ t\in\mathbb{N}$ such that $ v(\varepsilon_m(r))>p^{2m - t}$ for all $ r\in kG$.\ 
 Since $ \varphi(P)=P$ it is clear that the left hand slope of this formula annihilates $ P$. So take any $ y\in P$ and apply it to both side of (\[Mahler3\ ]) and we obtain: 

 $ $ \label{Mahler } 
 0 = q_1^{p^m}\tau\partial_1(y)+.... +q_{d}^{p^m}\tau\partial_{d}(y)+O(q^{p^m})$$ 

 Where $ q\in Q$ with $ v(q^{p^m})\geq \underset{i\leq d}{\min}\{2v(q_i^{p^m})\}$ for all $ m$.\ 
 Furthermore, let $ f(x)=a_0x+a_1x^p+a_2x^{p^2}+\cdots+a_nx^{p^n}$ be a polynomial, where $ a_i\in\tau(kH)$ for each $ i$.\ 
 Then for each $ m\in\mathbb{N}$, $ i=0,\cdots, n$, regard construction (\[Mahler\ ]) above, with $ m$ replaced by $ m+i$, and multiply by $ a_i^{p^m}$ to receive: 

 $ 0=(a_iq_1^{p^i})^{p^m}\tau\partial_1(y)+.... +(a_iq_{d}^{p^i})^{p^m}\tau\partial_{d}(y)+O((a_iq^{p^i
_{d}+\sul_{\vert\alpha\vert\geq 2}{\underllne{q}^{\alpha p^m}\tau\pcetial_{\uiderlins{g}}^{(\alpha)}}+\vxrepsilon_m$$

Where $\underline{q}^{\al'ha p^m}=q_1^{\alkka_1}\cdots q_d^{\alpha_d}$, $\vardpsilon_m=\ujderset{\aopha\mn\mathbb{N}^d}{\sum}{(\big\langle \varphi^{p^j},\iarticl_{\nnderline{g}}^{(\alpha)}\nig\rangle-\ungerline{q}^{\alpha [^m})\gab\partial_{\underline{g}}^{(\alpha)}}\in$ End$_k(kG,Q)$, anq there edists $t\in\mathbf{N}$ slcr thzn $y(\varepsilon_m(r))>p^{2m-t}$ for all $r\in kG$.\
Sjnce $\vagphi(P)=P$ it is cleat that the left hand side lf tjis expression annlhilates $P$. Wo twje any $y\in P$ and apply it to both aides of (\[Mahler3\]) and we obtain:

$$\lacel{Makler}
0=q_1^{p^m}\tau\pqrriap_1(i)+....+q_{d}^{p^m}\tau\partmal_{d}(y)+O(z^{p^m})$$

Where $q\in Q$ with $e(q^{p^m})\geq \underset{i\leq c}{\mii}\{2v(q_i^{p^m})\}$ for all $m$.\
Furthermoce, let $f(x)=a_0x+a_1x^p+a_2x^{p^2}+\cdojs+a_nx^{p^n}$ be a polynomial, where $a_u\in\tao(kH)$ fmr exxh $k$.\
Thtn hor each $l\in\jathbb{N}$, $i=0,\csots,n$, consieer expression (\[Mahltr\]) wvove, with $m$ rsplaceq fy $m+i$, and multiply by $a_i^{p^m}$ to obtain:

$0=(a_iq_1^{k^i})^{p^m}\tzu\partial_1(y)+....+(a_iq_{d}^{p^i})^{p^m}\tau\paetial_{d}(y)+O((a_iq^{p^i
_{d}+\sum_{\vert\alpha\vert\geq 2}{\underline{q}^{\alpha p^m}\tau\partial_{\underline{g}}^{(\alpha)}}+\varepsilon_m$$ Where $\underline{q}^{\alpha p^m}=q_1^{\alpha_1}\cdots q_d^{\alpha_d}$, p^m})\tau\partial_{\underline{g}}^{(\alpha)}}\in$ and there $t\in\mathbb{N}$ such that Since it is clear the left hand of this expression annihilates $P$. So any $y\in P$ and apply it to both sides of (\[Mahler3\]) and we $$\label{Mahler} 0=q_1^{p^m}\tau\partial_1(y)+....+q_{d}^{p^m}\tau\partial_{d}(y)+O(q^{p^m})$$ Where $q\in Q$ with $v(q^{p^m})\geq \underset{i\leq d}{\min}\{2v(q_i^{p^m})\}$ for all $m$.\ Furthermore, $f(x)=a_0x+a_1x^p+a_2x^{p^2}+\cdots+a_nx^{p^n}$ a where for each $i$.\ Then for each $m\in\mathbb{N}$, $i=0,\cdots,n$, consider expression (\[Mahler\]) above, with $m$ replaced by and multiply by $a_i^{p^m}$ to obtain: $0=(a_iq_1^{p^i})^{p^m}\tau\partial_1(y)+....+(a_iq_{d}^{p^i})^{p^m}\tau\partial_{d}(y)+O((a_iq^{p^i
_{d}+\sum_{\vert\alpha\vert\geq 2}{\underLine{q}^{\alpha P^m}\tau\ParTiaL_{\uNderLine{G}}^{(\alpha)}}+\varepsilON_m$$

WhEre $\underline{q}^{\alpha p^m}=q_1^{\aLpha_1}\cDoTS q_d^{\aLPhA_d}$, $\varEpsilon_M=\UnDERseT{\aLpHa\iN\mAThBb{N}^d}{\sUm}{(\bIg\langlE \varphi^{p^m},\pArtIaL_{\underline{g}}^{(\aLPhA)}\big\rangle-\UndErline{q}^{\alpha P^m})\tAu\partIaL_{\unDErlinE{g}}^{(\aLpha)}}\iN$ End$_k(kg,q)$, and thEre exists $T\iN\Mathbb{n}$ Such thaT $V(\VaRepsIlon_m(r))>p^{2m-t}$ for all $r\iN KG$.\
sInce $\varphi(P)=P$ it Is cleaR tHAt THE leFt hAnd side of tHiS exprESsion anNIhILATes $p$. so take any $y\in P$ And apply it tO BotH sides Of (\[mahLEr3\]) and wE obtaIn:

$$\LAbeL{Mahler}
0=q_1^{p^m}\tAu\paRtial_1(y)+....+q_{d}^{p^M}\tau\paRTial_{d}(y)+O(Q^{P^m})$$

Where $Q\in Q$ wiTh $v(Q^{p^m})\Geq \uNDeRsEt{i\LeQ D}{\miN}\{2V(q_I^{p^m})\}$ FOr aLl $m$.\
FurthErMoRe, let $F(x)=a_0x+A_1X^P+A_2X^{p^2}+\cdOts+A_nx^{p^N}$ be a pOlynomial, wherE $a_i\In\taU(KH)$ fOr eacH $i$.\
TheN for EaCh $m\in\Mathbb{n}$, $i=0,\cdoTs,N$, consider expresSion (\[mahler\]) aboVe, wItH $m$ rEpLaced BY $m+i$, and MulTipLy by $a_i^{p^M}$ to obtaIN:

$0=(a_iQ_1^{p^I})^{P^M}\TaU\partial_1(y)+....+(a_iq_{d}^{p^i})^{p^m}\tAu\PARtIal_{d}(y)+O((a_iQ^{p^i
_{d}+\sum_{\vert\alpha\ver t\geq 2}{\ under lin e{q }^ {\al phap^m}\tau\parti a l_{\ underline{g}}^{(\alpha )}}+\ va r epsi l on _m$$
Where$ \u n d erl in e{ q}^ {\ a lp ha p^ m}= q_1^{\a lpha_1}\cd ots  q _d^{\alpha_d } $,  $\varepsi lon _m=\underset {\a lpha\i n\ mat h bb{N} ^d} {\sum }{(\bi g \langl e \varphi ^{ p ^m},\p a rtial_{ \ u nd erli ne{g}}^{(\alpha)} \ bi g \rangle-\under line{q }^ { \a l p hap^m })\tau\par ti al_{\ u nderlin e {g } } ^ {(\ a lpha)}}\in$ E nd$_k(kG,Q) $ , a nd the re  ex i sts $t \in\m at h bb{ N}$ such th at $ v(\vareps ilon_m ( r))>p^{ 2 m-t}$ f or all  $r \in  kG$ . \Si nce  $ \ var p hi (P) = P$it is cl ea rthatthel e f t  han d s ideof th is expression  an nihi l ate s $P$ . Sotake  a ny $y \in P$  andap ply it to bothside s of (\[M ahl er 3\] )and w e  obtai n:
$$ \label{ Mahler} 0=q _1 ^ { p ^m }\tau\partial_1(y) +. . . .+ q_{d}^{p ^m}\ta u \p ar t ial_{d}( y) +O( q^{p ^ m })$$
Whe r e$q\in Q$  with$ v( q^ {p^m})\ ge q \und er set {i\ leq d } {\mi n}\{2v (q_i^{p^ m})\} $  for all $m$.\ Furthermore,l et $ f( x )=a_ 0x+ a_1x^p+a_2x ^{p^ 2 }+\c dots + a_ nx^ { p^n}$  be a  p o ly n omial, where $a_i\i n\ tau(kH )$ fo r each $i$.\Then for e a c h  $m\in\m athb b {N } $, $i=0,\cdots ,n$,consider e x pression  (\[M ahler\])  above, w i t h $m$ re pla ced  by  $m + i $,  and multiply b y $a _i ^{p^m}$  to  obtain :
$0= (a_ iq_ 1^ {p^i})^{p ^m}\tau\ pa rt ia l_ 1(y )+... . +(a_iq_{ d} ^{p ^i })^ {p^m} \ tau\pa rtial _{d} (y )+ O ((a _iq^{p^ i 
_{d}+\sum_{\vert\alpha\vert\geq 2}{\underline{q}^{\alpha_p^m}\tau\partial_{\underline{g}}^{(\alpha)}}+\varepsilon_m$$

Where $\underline{q}^{\alpha_p^m}=q_1^{\alpha_1}\cdots q_d^{\alpha_d}$, $\varepsilon_m=\underset{\alpha\in\mathbb{N}^d}{\sum}{(\big\langle \varphi^{p^m},\partial_{\underline{g}}^{(\alpha)}\big\rangle-\underline{q}^{\alpha_p^m})\tau\partial_{\underline{g}}^{(\alpha)}}\in$ End$_k(kG,Q)$,_and_there exists_$t\in\mathbb{N}$_such that $v(\varepsilon_m(r))>p^{2m-t}$_for all $r\in_kG$.\
Since $\varphi(P)=P$ it is_clear that the_left_hand side of this expression annihilates $P$. So take any $y\in P$ and apply_it_to both_sides_of_(\[Mahler3\]) and we obtain:

$$\label{Mahler}
0=q_1^{p^m}\tau\partial_1(y)+....+q_{d}^{p^m}\tau\partial_{d}(y)+O(q^{p^m})$$

Where $q\in_Q$ with $v(q^{p^m})\geq \underset{i\leq d}{\min}\{2v(q_i^{p^m})\}$_for all_$m$.\
Furthermore, let $f(x)=a_0x+a_1x^p+a_2x^{p^2}+\cdots+a_nx^{p^n}$ be a polynomial, where $a_i\in\tau(kH)$_for_each $i$.\
Then for_each $m\in\mathbb{N}$, $i=0,\cdots,n$, consider expression (\[Mahler\]) above, with $m$_replaced by $m+i$, and multiply by_$a_i^{p^m}$ to obtain:

$0=(a_iq_1^{p^i})^{p^m}\tau\partial_1(y)+....+(a_iq_{d}^{p^i})^{p^m}\tau\partial_{d}(y)+O((a_iq^{p^i