What is the definition of a simple group?