Title: The algebraic theory of semigroups