  We prove a number of structural and representation-theoretic results on
linearly reductive quantum groups, i.e. objects dual to that of cosemisimple
Hopf algebras: (a) a closed normal quantum subgroup is automatically linearly
reductive if its squared antipode leaves invariant each simple subcoalgebra of
the underlying Hopf algebra; (b) for a normal embedding
$\mathbb{H}\trianglelefteq \mathbb{G}$ there is a Clifford-style correspondence
between two equivalence relations on irreducible $\mathbb{G}$- and,
respectively, $\mathbb{H}$-representations; and (c) given an embedding
$\mathbb{H}\le \mathbb{G}$ of linearly reductive quantum groups the Pontryagin
dual of the relative center $Z(\mathbb{G})\cap \mathbb{H}$ can be described by
generators and relations, with one generator $g_V$ for each irreducible
$\mathbb{G}$-representation $V$ and one relation $g_U=g_Vg_W$ whenever $U$ and
$V\otimes W$ are not disjoint over $\mathbb{H}$.
  This latter center-reconstruction result generalizes and recovers M\"uger's
compact-group analogue and the author's quantum-group version of that earlier
result by setting $\mathbb{H}=\mathbb{G}$.
