Let $T$ be a maximal torus of a compact Lie group $K$,
and let $\Psi \subset {\mathfrak t}$ be the (finite) set of coroots for $(K,T)$, where $\mathfrak t$ is the Lie algebra of $T$.


Assume now that $K'$ is another compact Lie group that admits a homomorphic embedding $i:K\hookrightarrow K'$ verifying the condition that $i(Z\_K)\subset Z\_{K'}$, where $Z\_K, Z\_{K'}$ are the centers of $K$ and $K'$, respectively. Let $T'$ be a maximal torus of $K'$ such that $i(T)\subset T'$. This gives a vector space inclusion ${\mathfrak t} \subset {\mathfrak t}'$, into the Lie algebra of $T'$.


Question: Is it true that
$$ \Psi = {\mathfrak t} \cap \Psi' \quad ?$$


where $\Psi' \subset {\mathfrak t}'$ are the coroots of $(K',T')$.


If this is not always true, are there some simple conditions under which it becomes true?



Sub-coroot systems
This can fail. Consider the natural embedding $\operatorname{Sp}\_4(\mathbb C) \to \operatorname{SL}\_4(\mathbb C)$, where $\operatorname{Sp}\_4$ is taken with respect to the symplectic form $(x, y) \mapsto x\_1 y\_4 + x\_2 y\_3 - x\_3 x\_2 - x\_4 y\_1$. (This is a map of complex Lie groups, but it carries maximal compact subgroups to maximal compact subgroups, so you can work in that setting if you prefer.) If we denote the simple (with respect to the upper-triangular Borel) roots of the diagonal torus in $\operatorname{SL}\_4(\mathbb C)$ by $\alpha\_1, \alpha\_2, \alpha\_3$, in the obvious fashion, then the restrictions of $\alpha\_1$ and $\alpha\_3$ to the diagonal torus in $\operatorname{Sp}\_4(\mathbb C)$ are the short simple (with respect to the upper-triangular Borel) root $a$, and the restriction of $\alpha\_2$ is the long simple root $b$. Then $a^\vee$ equals $\alpha\_1^\vee + \alpha\_3^\vee$, which is not a coroot of $\operatorname{SL}\_4(\mathbb C)$.


(As discussed in [comments](https://mathoverflow.net/questions/441161/sub-coroot-systems/441172#comment1138119_441172), the original version of the question did not include the condition on centres, and so admitted any proper, maximal-rank subgroup as a counterexample. This example does satisfy the centre condition.)


