Endliche Gruppe/Element/Funktionale Hülle/Untergruppe/Aufgabe
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.