Open Access. Powered by Scholars. Published by Universities.®
Physical Sciences and Mathematics Commons™
Open Access. Powered by Scholars. Published by Universities.®
Articles 1 - 1 of 1
Full-Text Articles in Physical Sciences and Mathematics
Two Lemmas On Formal Power Series, Kazim İlhan İkeda, Masatoshi İkeda
Two Lemmas On Formal Power Series, Kazim İlhan İkeda, Masatoshi İkeda
Turkish Journal of Mathematics
Let $L$ be a local field and $\tilde{L}$ the completion of the maximal unramified extension of $L$. In this short note, we prove \noindent (I) the sequences \noindent (1$^{\prime\prime}$) $0\rightarrow {\cal O}_L$[[$X_1,\ldots,X_n$]]$\rightarrow{\cal O}_{\tilde{L}}$[[$X_1,\ldots,X_n$]] $\stackrel{\phi_L-1}{\ra}{\cal O}_{\tilde{L}}$[[$X_1,\ldots,X_n$]]$\rightarrow 0$ \noindent and \noindent (2$^{\prime\prime}$) $1\rightarrow {\cal O}_L$[[$X_1,\ldots,X_n$]]$^x\rightarrow{\cal O}_{\tilde{L}}$[[$X_1,\ldots,X_n$]] $^x\stackrel{\phi_L-1}{\ra}{\cal O}_{\tilde{L}}$[[$X_1,\ldots,X_n$]]$\rightarrow 1$ \noindent are exact, where $\theta_L$ is the Frobenius automorphism over $L$ applied on the coefficients of ${\cal O}_{\tilde{L}}$[[$X_1,\ldots, X_n$]], and $\theta_L-1$ respectively denotes the mapping $\alpha\mapsto\alpha^{\theta L}-\alpha$ for \noindent (1$^{\prime\prime}$) and $\epsilon\mapsto\frac{\epsilon^{\phi}L}{\epsilon}$ for (2$^{\prime\prime}$); \noindent (II) ${\cal C}^{\circ}(\tilde{L},h)$ being the group the Coleman power series of degree 0, the sequence $$ 1\rightarrow {\cal …