I want a reference that treated the proof of this proposition :



> 
> **Proposition :** Suppose that $X$ is a finitely generated, torsion $\Lambda-$module. Then there are uniquely determined $\Lambda-$submodules $Z$ and $Y$ of $X$ with the following properties :
> 
> 
> 1. $Z$ is finite and $X/Z$ has no nonzero, finite $\Lambda-$submodules.
> 2. $Y$ is annihilated by a power of $p$ and $X/Y$ is a free $\mathbb Z\_p-$module of finite rank.
> 
> 
> 


Or someone help me to prove.This proposition allows us to define certain Iwasawa's invariants ($\lambda$ and $\mu$)



Iwasawa's invariants
I'm assuming $\Lambda=\mathbf{Z}\_p[[\mathbf{Z}\_p]]\cong\mathbf{Z}\_p[[T]]$ (with a topological generator $\gamma$ of $\Gamma=\mathbf{Z}\_p$ going to $1+T$).


Let $Z$ be the $\mathbf{Z}\_p$-torsion submodule of the $\Lambda$-submodule $X^\prime=\bigcup\_{n\geq 0}X^{\Gamma^{p^n}}$. Since $X^\prime$ is finitely generated over $\Lambda$, $X^\prime=X^{\Gamma^{p^n}}$ for some $n\geq 0$. This means that $X^\prime$ is annihilated by $(1+T)^{p^n}-1$, and hence is a finitely generated module over $\Lambda/((1+T)^{p^n}-1)$, a finitely generated $\mathbf{Z}\_p$-module. So $X^\prime$ is finitely generated over $\mathbf{Z}\_p$, and thus its $\mathbf{Z}\_p$-torsion submodule $Z$ is finite. Conversely, if $Z^\prime$ is any finite $\Lambda$-submodule of $X$, then $\Gamma$ must act discretely on $Z^\prime$, so $Z^\prime$ is fixed element-wise by some open subgroup of $\Gamma$, i.e., $Z^\prime\subseteq X^\prime$. Since $Z^\prime$ is of finite cardinality, in fact $Z^\prime\subseteq Z$. Thus $Z$ is the unique maximal finite $\Lambda$-submodule of $X$.


Now let $Y$ be the $\mathbf{Z}\_p$-torsion submodule of $X$, i.e., $Y=\bigcup\_{n\geq 1}X[p^n]$. This is a $\Lambda$-submodule, hence finitely generated, and it follows that, for some sufficiently large $n$, $Y=X[p^n]$, so $Y$ has finite exponent. Because $X$ is torsion, the structure theory for finitely generated $\Lambda$-modules shows that $X/Y$ is finitely generated over $\mathbf{Z}\_p$, and since it is torsion-free by construction, it is finite free over $\mathbf{Z}\_p$. Conversely, if $Y^\prime\subseteq X$ is a $\Lambda$-submodule killed by some power of $p$, then $Y^\prime\subseteq Y$, and if $X/Y^\prime$ is torsion-free over $\mathbf{Z}\_p$, we must have $Y\subseteq Y^\prime$, whence the equality. So $Y$ is unique.


