Bedingungen für die Äquivalenz in Gruppen und Beispielverifikation