Let $p$ be an odd prime. What's the condition on $q$ for
$$
p^{1+2r}\cdot\operatorname{Sp}(2r,p)\leqslant \operatorname{GU}(p^r,q)\;?
$$ I did some computation and seemed that $q\equiv -1$(mod $p$) does give the embedding. I feel that there is some work already done about it, am I right? Or it is an obvious question and I'm being silly. I did check Kleidman and Liebeck's book on maximal subgroups [1], but it just hasn't provided much help. Thank you.


**Reference**


[1] Peter Kleidman, Martin Liebeck, *The subgroup structure of the finite classical groups* London Mathematical Society Lecture Note Series, 129. Cambridge: Cambridge University Press, pp. x+303 (1990), ISBN:0-521-35949-X, [MR1057341](https://mathscinet.ams.org/mathscinet-getitem?mr=1057341), [Zbl 0697.20004](https://zbmath.org/0697.20004).



Condition on $q$ for inclusion $p^{1+2r}\cdot\operatorname{Sp}(2r,p)\leqslant \operatorname{GU}(p^r,q)$
Too long for a comment. Your conjecture is correct: $q\equiv-1\pmod p$ is a necessary and sufficient condition. This follows directly from the two lemmas below.


It's not a silly question, but it can be answered with some standard tools of representation theory, and a couple of facts about $Sp\_{2r}(p)$: It is perfect and has trivial Schur multiplier. (I'll ignore the case $r=1$, $p=3$, for which $Sp\_{2r}(p)\cong SL\_2(3)$; subgroups of $GU\_3(q)$ are well-known, thanks to H. H. Mitchell.) Let $q$ be a prime power which is relatively prime to the odd prime $p$. Let $r$ be a positive integer.


Consider $p^{1+2r}$, which refers, I assume, to the extraspecial $p$-group of exponent $p$ and cardinality $p^{1+2r}$. Let $q$ be a power of the prime $s$, $s\ne p$.


Lemma 1. $P:=p^{1+2r}$ embeds in $L:=GU\_{p^r}(q)$ (via a monomorphism $\rho$, say) if and only if $q\equiv-1\pmod p$.


Necessity: By the well-known characteristic $0$ representation theory of $P$, and the well-known connection between characteristic $0$ and characteristic $s$ representation theories of $P$ (since $s\ne p$), any faithful $p^r$-dimensional representation $\rho$ of $P$ in characteristic $s$ is absolutely irreducible. Then $\rho(Z(P))$ consists of scalar matrices. The scalar subgroup of $GU\_m(q)$ for any $q$ is cyclic of order $q+1$, so $p=|Z(P)|$ divides $q+1$.


Sufficiency: Suppose that $p$ divides $q+1$. Let $P\_0$ be an elementary abelian subgroup of $P$ of maximal order. Then $|P\_0|=p^{r+1}$ and $Z(P)\le P\_0$. Write $P\_0=Z(P)\times P\_1$ and let $\sigma:P\_0\to GU\_1(q)$ be a representation with kernel $P\_1$. Such a representation exists since $p$ divides $q+1$. Induce $\sigma$ to $P$ to obtain an embedding $\rho:P\to GU(p^r,q)$.


Lemma 2. Let $V$ be a $p^r$-dimensional vector space over $GF(q^2)$ equipped with a nondegenerate hermitian form. (There exists a unique such $V$, up to isometry.) Then any embedding $\rho:P\to GU(V)$ extends to an embedding $\sigma:P:Sp\_{2r}(p)\to GU(V)$.


To prove Lemma 2, first observe that there is an extension to $\sigma\_0:P:Sp\_{2r}(p)\to GL(V)\cong GL\_{p^r}(q^2)$.
To see this, observe that for every $g\in Sp\_{2r}(p)$, the representations $\rho$ and $\rho^g$ are equivalent over $GL\_{p^r}(q^2)$. Here $\rho^g(x)=\rho(g^{-1}xg)$. Since $g$ centralizes $Z(P)$, $\rho^g$ and $\rho$ have the same character, proving the equivalence; and both are absolutely irreducible. By definition of equivalence, there is an $X(g)\in GL(V)$ such that $\rho^g(x)=X(g^{-1})\rho(x)X(g)$ for all $x\in P$. By the absolute irreducibility and Schur's Lemma, $X(g)$ is uniquely determined by this condition, up to multiplication by a scalar. Then (making arbitrary choices for each $X(g)$) $X$ is a projective representation of $Sp\_{2r}(p)$. Now the theory of projective representations, plus the facts that $Sp\_{2r}(p)$ has trivial Schur multiplier, implies that the $X(g)$'s, $g\in Sp\_{2r}(p)$, may be chosen so that $X$ is a genuine representation. Then define $$\sigma\_0(xg)=\rho(x)X(g)$$
for every $x\in P$ and $g\in Sp\_{2r}(p)$. Since $\rho$ and $X$ are representations, and $\rho(g^{-1}xg)=X(g)^{-1}\rho(x)X(g)$, $\sigma\_0$ is a representation of the semidirect product.


Finally, again by Schur's Lemma, $\rho(P)$ preserves a unique hermitian form $H$ on $V$, up to multiplication by a scalar in $GF(q)$. This implies that for each $g\in Sp\_{2r}(p)$, $X(g)$ carries $H$ to $\lambda(g)H$ for some $\lambda(g)\in GF(q)^\times$. Since $\sigma\_0$ is a representation, so is $\lambda$. But $Sp\_{2r}(p)$ is perfect, so $\lambda(g)=1$ for all $g\in Sp\_{2r}(p)$. That is, $\sigma\_0$ preserves $H$, i.e., $\sigma\_0(P:Sp\_{2r}(p))\le GU\_{p^r}(q)$. And $\sigma\_0$ obviously extends $\rho$, as required.


