Let $G$ be a finitely generated profinite group, $p$ a prime number. Put $$ V = \prod\_{i \in I} \mathbb{Z}\_p$$ a (profinite) group equipped with the product topology (for convenience, $I$ may be assumed to be countable). Suppose that $G$ acts by continuous automorphisms on $V$ (this means that $G$ acts continuously on $V$ respecting its group law, i.e $V$ is a profinte $G$-module. I am mainly interested in actions coming from extensions).


1. Must $V$ contain a closed, nontrivial, topologically finitely generated subgroup invariant under the action of $G$?
2. Must $V$ contain a nontrivial pair of trivially intersecting $G$-submodules?
3. Is there a way to decompose $V$ into a nontrivial direct product of $G$-submodules?


I am equally interested in the case of $\mathbb{F}\_p$ (the field of cardinality $p$) in place of $\mathbb{Z}\_p$ (the $p$-adic integers). 



Action of a profinite group
As with my answer to Pablo's Pontryagin dual version of this question in the other thread, the following emerged from discussions with John MacQuarrie, who knows much more about this stuff than I do.


Let $G=\mathbb{Z}\_p$. Then the completed group algebra $\mathbb{Z}\_p[[G]]$ is isomorphic to the power series algebra $\mathbb{Z}\_p[[T]]$, where a generator of $G$ corresponds to $1+T$ (see, for example, Theorem 7.3.3 in John Wilson's book "Profinite Groups").


Let $V$ be the regular representation of $\mathbb{Z}\_p[[G]]$, so as a $\mathbb{Z}\_p$-module it is a countable direct product of copies of $\mathbb{Z}\_p$ as required


In fact, this is precisely the same module that Julian Rosen used to give an answer to question 1.


Suppose $M$ and $N$ are closed non-trivial submodules, and let $m$ and $n$ be non-zero elements. Then $mn\in U\cap V$, and $mn\neq0$ since the power series ring has no zero divisors. So the intersection of two non-trivial submodules can never be trivial, answering question 2 (assuming the submodules are supposed to be closed).


Also, of course this also shows that the answer to question 3 is "no" for this module.


