1.A typical course starts with this very formal and abstract definition, which is that a group is a set – any collection of things – with a binary operation – a notion of multiplication between those things – such that this multiplication satisfies four special rules, or axioms.