Hallo,
die Aussage ist nicht korrekt. Wenn wir nämlich annehmen würden, dass diese Aussage gilt, dann wäre jedes \(d \in K\) ein neutrales Element der Gruppe. Das kann aber nicht sein, da die Gruppendefinition das neutrale Element eindeutig auszeichnet. In diesem Fall gibt es aber mehrere, d.h. \(K\) kann keine Gruppe sein, egal welche Verknüpfungen wir hier betrachten.
