SMS versenden: Algebraic theory of semigroups