ABSTRACT
The goal of this chapter is to formulate the definition of a group. This is done by first exploring many different examples for which there is a binary operator defined on a set, for which some interesting patterns seem to persist. By observing the minimum requirements for these patterns to appear, we can create the simplest definition of a group that will apply to all of the examples we encountered, plus many other new examples. This will produce an abstract definition of a group.
