Группа, которая связана с другой группой таким образом, что их свойства и свойства групп и полей, которые они содержат всегда совпадают. Если изменяются свойства одной группы, другой группы обновляются автоматически.