## underlie

The semidirect product of $H$ and $G$ has $H\times G$ as its underlying set.
All our results hold independently of whether the underlying field is $R$ or $C$.