Ring

(H,+,) ist ein Ring

  1. (H,+) ist eine Abelsche Gruppe:

(H,) ist eine Abelsche Gruppe
1.

a,b,cH:a(bc)=(ab)c

eHaH:ae=ea=a

aHa1H:aa1=e

a,bH:abH

a,bH:ab=ba

  1. (H,) ist eine Halbgruppe

(H,) ist eine Halbgruppe
1.

a,b,cH:a(bc)=(ab)c

a,bH:abH

a(b+c)=ab+ac

(b+c)a=ba+ca