Müssen jetzt lediglich die Eigenschaften eines Ringes bewiesen werden
Ja genau !
und wenn ja wie geht man dabei vor?
Alle Ringaxiome aufschreiben und schauen wie man die aus den
Voraussetzungen herleiten kann.
Also etwa in Anlehnung an Wikipedia:
1. (R,+) ist eine abelsche Gruppe. Ist erfüllt.
2. (R, . ) ist eine Halbgruppe. Erfüllt, weil Multipl. assoziativ ist.
3. Angenommen Linksdistributiv gilt, also a·(b+c)=a·b+a·c für alle....
Dann gilt wegen der vorausgesetzten Kommutativität von · auch die
Rechtsdistributivität.