Let $P$ be an infinite extra special $p$-group for some prime $p$, namely, $Z(P)=P'=\Phi(P)$ and $P/Z(P)$ is infinite elementary abelian.


Let $C$ be a Prufer $q$-group for some prime $q\neq p$.


**Question**
Is it possible to find an action of $C$ on $P$ such that $C$ acts irreducibly on $P/Z(P)$? (i.e. $P/Z(P)$ does not contains any $C$-invariant subgroup)


Unfortunately I cannot find any information about the automorphism group of an extraspecial group in the infinite case. Probably, it is just some kind of infinite symplectic group but I cannot figure out if such an action is possible or not.



Extra special p-groups
My construction does not work for all $p$ and $q$. I need to assume that $p$ and $q$ are both odd, that $P$ is of exponent $p$, and that the multiplicative order of $p$ modulo $q$ is even. I don't know whether such an action exists for other $p,q$ - I would guess not.


Let us assume that $P$ is the central product of extraspecial groups $\langle x\_i,y\_i \rangle$ of order $p^3$ and exponent $p$ for $i \ge 1$. Note that the automorphism group of a central product of $n$ such groups is ${\rm Sp}(2n,p)$.


Now the group ${\rm Sp}(2n,p)$ has elements of order $p^n+1$. (To see that you observe that ${\rm Sp}(2,p^n) = {\rm SL}(2,p^n)$ has such elements and ${\rm Sp}(2,p^n)$ is naturally a subgroup of ${\rm Sp}(2n,p)$.)


Suppose that $2k$ is the order of $p$ modulo $q$, so $q|p^k+1$. Let $t \ge 1$ be maximal such that $q^t|p^k+1$. Then it is an easy exercise to show that the order of $p$ modulo $q^{t+i}$ for any $i \ge 0$ is $2kq^i$.


So, for a given $i > 0$, $q^{t+i}|p^{kq^i}+1$, and so ${\rm Sp}(2kq^i,p)$ has elements $g$ of order $q^{t+i}$. Such elements must act irreducibly on their natural module $V$. (All faithful irreducible representations of a cyclic group $C\_m$ over a finite field of order $q$ have dimension the order of $q$ modulo $m$.) Then $g^q$ has order $q^{t+i-1}$ and, under the action of $g^q$, $V$ must decompose into a direct sum of $q$ (isomorphic) irreducible modules $V\_i$. 


Now the restriction of the symplectic form to each $V\_i$ must be non-degenerate. The only other possibility would be that this restriction was totally singular, but that cannot happen with $q$ odd. (I could try and give more details about that if you wanted.)


Now we can put all of these ingredients together to construct an irreducible action of the Prufer $q$-group $C$ on $P$.


Let $g\_0 \in C$ have order $q^t$. Then we can define an action of $g\_0$ on $P$ by letting it act faithfully and irreducibly on the subgroups $\langle x\_i,y\_i : 1 \le i \le k \rangle$, $\langle x\_i,y\_i : k+1 \le i \le 2k \rangle$, etc.


Then, if $g\_1$ is an element of $C$ of order $q^{t+1}$ with $g\_1^q = g\_0$, we can define the action of $g\_1$ so that it acts irreducibly on the subgroups $\langle x\_i,y\_i : 1 \le i \le kq \rangle$, $\langle x\_i,y\_i: kq+1 \le i \le 2kq \rangle$, etc, and such that the action of $g\_1^q$ is the same as that of $g\_0$.


Now you can continue this construction by defining actions of $g\_i$ consistent with those of $g\_{i-1}$ for all $i > 0$. It is easy to see that the resulting action of $C$ on $P$ is irreducible.


*Later addition*: For the non-degeneracy of the $V\_i$, if we could find some non-degenerate invaraint subspace $V\_1$ for $g^q$, then their images under $g$ would give the required decomposition $V = V\_1 \oplus \cdots \oplus V\_q$ with each $V\_i$ non-degenerate.


So let us prove by induction on $n$ that any element $x$ of order coprime to $p$ in ${\rm Sp}(2n,p)$ for which irreducible modules have dimension $m$ with $2n/m$ odd must stabilize and act irreducibly on some non-degenerate subspace. If not, then $x$ stabilizes and acts irreducibly on a totally singular subspace $W$ of dimension $m$. Then the subspace $W^\perp$ of $V$ that annihilates $W$ under the symplectic form contains $W$ and has dimension $2n-m$, and the form induced on $W^\perp/W$ is non-degenerate.


Now $x$ fixes the subspace $W^\perp$, so it fixes a complement $X$ of $W$ in $W^\perp$ of dimension $2n-2m$, and the symplectic form induced on $X$ is non-degenerate, so our claim follows by applying induction to the action on $X$, which is an element of ${\rm Sp}(2(n-m)p)$.


That argument seems a bit awkward and their may be a better way of seeing this, but I think it works.


