Свободный модуль

- свободный объект (свободная алгебра) в многообразии модулей над фиксированным кольцом R. Если R - ассоциативное кольцо с единицей, то С. [img: http://localhost:8080/file/041902-124.jpg] где I т и I п - единичные матрицы порядков m и n соответственно. Неоднозначность, однако, имеет место лишь для конечных базисов, если же ранг С. м. бесконечен, то все базисы С. м. равномощны. Кроме того, над кольцами, допускающими гомоморфизм в тело (в частности, над коммутативными кольцами), ранг С. м. определен всегда однозначно. Кольцо R, рассматриваемое как левый модуль над самим собой, является С. м. ранга один. Всякий левый С. м. является прямой суммой С. м. ранга один. Любой модуль Мпредставим как фактормодуль F0/Н 0 нек-рого С. м. F0. Подмодуль Н 0 в свою очередь представим как фактормодуль F1/Н 1 С. м. F1. Продолжая этот процесс, получают точную последовательность: [img: http://localhost:8080/file/041902-125.jpg] к-рая наз. с в о б о д н о й р е з о л ь в е н т о й модуля М. Тела могут быть охарактеризованы как кольца, над к-рыми все модули свободны. Над областью главных идеалов подмодуль С. м. свободен. Близкими к С. м. являются проективные модули и плоские модули.