Endliche Gruppe/Element/Funktionale Hülle/Untergruppe/Aufgabe

Aus Wikiversity

Es sei ein Symbolalphabet, das neben Variablen aus einer Konstanten und einem einzigen zweistelligen Funktionssymbol bestehe. Es sei eine endliche Gruppe, wobei als neutrales Element und als die Verknüpfung interpretiert werde. Zeige, dass die funktionale Hülle zu einem Element

mit der von  

erzeugten Untergruppe

übereinstimmt.