существование группы