8 Sets with structure - Groups

Having looked at sets and functions between sets, we now turn our attention to “groups”. Formally these are sets with extra structure given by a binary operation (e.g. \(\mathbb{R}\) with \(+\)), but they arose historically (and crop up across maths today) as a way to understand symmetry.