Точный модуль
Аннулятор модуля
Пусть — ассоциативное кольцо и
— левый модуль1) над
.
Определение 1. Аннулятором модуля2) в
называется множество
.3)
Пример 1. Если — тривиальный
-модуль, тогда
.
Точный модуль
Определение 2. Говорят, что — точный
-модуль4), или что
действует на
точно, если
.
Предложение 1. — двусторонний идеал кольца
. Кроме того,
— точный
-модуль.
Предложение 2. Факторкольцо изоморфно подкольцу кольца эндоморфизмов абелевой группы
.
Следствие 1. Пусть — точный левый
-модуль, тогда
можно рассматривать как подкольцо кольца
.
См. также
Литература
- Херстейн И. «Некоммутативные кольца», Мир, 1972.
1)
или правый
2)
module annihilator
3)
Для правого модуля
аннулятором называется множество
.


4)
faithful module