Здравствуйте, участники форума. У меня возник такой вопрос : чему равно

, где

- циклическая группа порядка

,

- полупрямое произведение групп ? В Википедии сказано, что группу

можно представить как группу

, где

,

,

взаимно прост с

. В нашем случае можно взять

и тогда

. Правильно ли я понял то, что написано в Вики ?

Или есть ли какие-нибудь другие соображения насчет полупрямого произведения этих групп ?