4
$\begingroup$

Consider a normal subgroup $H\lhd G$, and let $g\in G$ be some element.

In some cases, there exists a constant $k\in\mathbb Z$, s.t. $hg=gh^k$ for every $h\in H$. This $k$ can be different for different elements $g$, so denote it by $k_g$.

I'm interested in normal subgroups with the property that every element $g$ has such $k_g$.

For example:

  • In the center of every group $Z(G)\lhd G$, $hg=gh$ for all $h\in Z(G),g \in G$, hence $k_g=1$ for all $g\in G$.
  • Consider the dihedral group $D_n=\langle\sigma,\tau|\sigma^n=\tau^2=\tau\sigma\tau\sigma=1\rangle$ with its cyclic normal subgroup $\langle\sigma\rangle\lhd D_n$. It holds $\sigma^i\tau=\tau \sigma^{-i}$, hence $k_g=-1$ for all $g\in\tau\langle\sigma\rangle$ and $k_g=1$ for $g\in\langle\sigma\rangle$.

Is there some characterization of groups where this property holds?

$\endgroup$
  • 2
    $\begingroup$ This will always hold for any cyclic subgroup (which is normal), since the condition can be rewritten as $g^{-1}hg = h^k$. $\endgroup$ – Tobias Kildetoft Mar 21 '18 at 11:38
  • $\begingroup$ - Thanks Tobias! $\endgroup$ – user269559 Mar 21 '18 at 19:26

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.