Both of these topics are treated in the chapter of Neukirch-Schmidt-Wingberg on Iwasawa modules. In (2), $Y$ is the $p$-primary subgroup of $X$, which is of finite exponent since $X$ is finitely generated.
Keenan Kidwell
- 3.4k
- 1
- 21
- 35