=====.

Знание автоморфизма нормального делителя и элементов групп H и F определяет полупрямое произведение, т. е. факторизацию группы.