A semigroup is just a set together with an associative binary operation. All groups are all also semigroups. An easy example of a non-group semigroup is the set of positive integers under addition. Rich classes of semigroups include, for example, sets of functions with identical domain and range under composition or square matrices under multiplication.
Some topics that we are particularly interested in: