Выдержка из книги
Плоткин Б.И.
Группы автоморфизмов алгебраических систем
Из этих свойств следует, что А удовлетворяет условию максимальности, и так как расширение группы с условием максимальности с помощью такой же снова удовлетворяет условию максимальности, то и группа g, A ] удовлетворяет этому условию.