Подскажите примеры применения сервантных подгрупп

[Trueman]

Подскажите пожалуйста примеры применения сервантных подгрупп в алгебре, например при доказательстве существования прямых слагаемых. И если знаете в какой литературе это можно было бы найти?