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), equipped with a binary operation (which up to now has been the composition of symmetries). What abstract properties should this binary operation satisfy?
