Ich muss zeigen dass (ℤ8, *) eine (Halb-)Gruppe und abelsch ist. Die Voraussetzungen für die Halbgruppe habe ich bewiesen (Abgeschlossenheit und Assoziativität). Jetzt muss ich noch zeigen ob diese Struktur eine Gruppe (und abelsch) ist oder nicht. Wie kann ich das inverse Element bestimmen?
Ich habe folgendes:
Das neutrale Element in dieser Struktur ist ∃1∈ℤ8: a * 1 = 1 * a = a, ∀a∈ℤ
Wie kann ich wissen ob diese Halbgruppe ein Inverses besitzt?