Категория правых модулей

Пусть — ассоциативное кольцо.

Определение 1. Категория правых модулей¹⁾ над кольцом — это категория, объектами которой являются правые -модули, а морфизмами — гомоморфизмы правых -модулей.

Предложение 1. Мономорфизм правых модулей является мономорфизмом в категории правых модулей.

Предложение 2. Эпиморфизм правых модулей является эпиморфизмом в категории правых модулей.

Предложение 3. Изоморфизм правых модулей является изоморфизмом в категории правых модулей.

• Ленг С. «Алгебра», Мир, 1968.