ABSTRACT
In this chapter we intend to generalize the examples of the previous two chapters, to obtain an abstract notion of group, quite similar in flavor to our abstract definition of ring in Chapter 6. We have a set of objects (which up to now have been symmetries or permutations), equipped with a binary operation (which up to now has been functional composition). What abstract properties should this binary operation satisfy?
