Rings as groups with operators. (Q2590448)

Ist \(R\) ein Ring über dem Modul \(M\), d. h. ist \(M\) gleich der additiven Gruppe von \(R\), so ist \(R\) einem Teilring des Endomorphismenringes \(\varOmega\) von \(M\) isomorph, falls nur das annullierende Linksideal von \(R\) gleich (0) ist (und umgekehrt). Daraus ergeben sich einige Folgerungen über lineare Algebren, über die direkte Summenzerlegung eines endlichen Moduls und über ``elementare'' Moduln, für die \(M\) und \(\varOmega\) isomorph sind. So ist z. B. der Modul der rationalen Zahlen elementar, ebenso die unendliche zyklische Gruppe, und ein endlicher Modul nur, wenn er zyklisch ist.