Свободный модуль
Свобо́дный мо́дуль, свободный объект (свободная алгебра) в многообразии модулей над фиксированным кольцом . Если – ассоциативное кольцо с единицей, то свободный модуль – это модуль, обладающий базисом, т. е. линейно независимой системой порождающих. Мощность базиса свободного модуля называется его рангом. Ранг не всегда определён однозначно, т. е. существуют кольца, над которыми свободный модуль может обладать двумя базисами, состоящими из различного числа элементов. Это равносильно существованию над кольцом двух прямоугольных матриц и , для которыхгде и – единичные матрицы порядков и соответственно. Неоднозначность, однако, имеет место лишь для конечных базисов, если же ранг свободного модуля бесконечен, то все базисы свободного модуля равномощны. Кроме того, над кольцами, допускающими гомоморфизм в тело (в частности, над коммутативными кольцами), ранг свободного модуля определён всегда однозначно.
Кольцо , рассматриваемое как левый модуль над самим собой, является свободным модулем ранга один. Всякий левый свободный модуль является прямой суммой свободных модулей ранга один. Любой модуль представим как фактормодуль некоторого свободного модуля . Подмодуль , в свою очередь, представим как фактормодуль свободного модуля . Продолжая этот процесс, получают точную последовательность:которая называется свободной резольвентой модуля . Тела могут быть охарактеризованы как кольца, над которыми все модули свободны. Над областью главных идеалов подмодуль свободного модуля свободен. Близкими к свободному модулю являются проективные модули и плоские модули.