## Definition of groups