# Semipermutable subgroup

In mathematics, in algebra, in the realm of group theory, a subgroup ${\displaystyle H}$ of a finite group ${\displaystyle G}$ is said to be semipermutable if ${\displaystyle H}$ commutes with every subgroup ${\displaystyle K}$ whose order is relatively prime to that of ${\displaystyle H}$.