Definition of a group. Basic properties and examples.