Identification of the image of the maximal ideal in the finite extension of $\mathbb{Q}_p$.

The main objective of this paper is to find out the image of the maximal ideal $m_k=\pi O_k$ of the ring $O_k$ in the finite extension of p-adic logarithmic series induced by formal group law.