Про аксимомы, которые изложены в определении группы.