Задача по Теории Групп

[Профессор Снэйп]

Я так понимаю, что нужно "докозать" первый вариант: $G \neq \bigcup_{x \in G} xHx^{-1}$ для любой собственной подруппы $H < G$.

Насчёт различия между $<$ и $\lhd$: я не уверен, что топегстартер умеет значок $\lhd$ рисовать, да и $\leqslant$ заодно. Поэтому и предложил варианты. Вариант был выбран неправильно, что показало, что топегстартер даже в начальной терминологии не разбирается. Я подозреваю, что он вообще "не в теме" и просто ждёт готового решения, которое можно будет аккуратно переписать к себе в тетрадочку и сунуть преподу под нос. Нюхом таких чую!

В любом случае, на форуме помогают решать задачи, но не решают. Для того, чтобы дождаться помощи, необходимо описать собственные попытки решения. А афтар даже формулировку не способен грамотно изобразить