  This paper concerns a class of semigroups that arise as products $US$,
associated to what we call `action pairs'. Here $U$ and $S$ are subsemigroups
of a common monoid and, roughly speaking, $S$ has an action on the monoid
completion $U^1$ that is suitably compatible with the product in the
over-monoid.
  The semigroups encapsulated by the action pair construction include many
natural classes such as inverse semigroups and (left) restriction semigroups,
as well as many important concrete examples such as transformational wreath
products, linear monoids, (partial) endomorphism monoids of independence
algebras, and the singular ideals of many of these. Action pairs provide a
unified framework for systematically studying such semigroups, within which we
build a suite of tools to ensure a comprehensive understanding of them. We then
apply our abstract results to many special cases of interest.
  The first part of the paper constitutes a detailed structural analysis of
semigroups arising from action pairs. We show that any such semigroup $US$ is a
quotient of a semidirect product $U\rtimes S$, and we classify all congruences
on semidirect products that correspond to action pairs. We also prove several
covering and embedding theorems, each of which naturally extends celebrated
results of McAlister on proper (a.k.a. $E$-unitary) inverse semigroups.
  The second part of the paper concerns presentations by generators and
relations for semigroups arising from action pairs. We develop a substantial
body of general results and techniques that allow us to build presentations for
$US$ out of presentations for the constituents $U$ and $S$ in many cases, and
then apply these to several examples, including those listed above. Due to the
broad applicability of the action pair construction, many results in the
literature are special cases of our more general ones.
