Ist eine Gruppe auch immer eine Halbgruppe?
Wenn ich in der Algebra eine Gruppe (mit innerer Verknüpfung) habe, die alle Gruppenaxiome erfüllt, ist diese Gruppe dann auch automatisch immer eine Halbgruppe?
Eine abelsche Gruppe ist ja beispielsweise auch noch ein Gruppe. Sowie die abelsche Gruppe dann aber eine besondere Gruppe ist, ist doch eigentlich auch die Gruppe eine besondere Halbgruppe, oder täusche ich mich hier?
Es ist eine Halbgruppe doch so definiert, dass die anderen Gruppenaxiome (Existenz eines neutralen und inverse Elementes) nicht erfüllt sein müssen, aber durchaus erfüllt sein dürfen?
Kann ich dann davon ausgehen, dass bei einem Ring (R,+,*) mit dem Ringaxiom, dass (R,*) eine Halbgruppe sein muss, R auch dann ein Ring ist, wenn (R,*) eine Gruppe oder sogar eine abelsche Gruppe ist?