kann man sagen, dass ∀ a ∈ G ∃ a' ∈ G: a' ◊ a = e (bzw. c, da c neutrales Element)
daraus folgt: a' = b, b' = a, c' = c
Ich würde das noch genauer begründen.
Nach der Erkenntnis mit dem neutralen El. sieht
doch das Innere der Tabelle so aus
? ? a
? ? b
a b c
und für die ? bleibt ja nicht mehr viel:
Etwa in der ersten Zeile, angenommen es wäre a ◊ a = c
dann bliebe für a ◊ b nur noch b als Ergebnis, dann müsste
a das neutrale El. sein, im Widerspruch zum Bisherigen.
Also bleibt nur a ◊ a = b und a ◊ b = c, also so
b c a
c a b
a b c