Абстрактная алгебра
Модули над кольцами
В 1871 году Дедекинд заметил: идеалы в кольцах ведут себя как векторные пространства, но скаляры - целые числа, а не вещественные. Деление отсутствует. Он назвал это «модулем». Одна идея объединила линейную алгебру, теорию чисел и доказательство теоремы Жордана о нормальной форме.
- Жорданова нормальная форма матриц - частный случай структурной теоремы для F[x]-модулей; понимание модулей даёт единое доказательство
- В топологии: цепные комплексы и гомологии - это модули над Z; модульная теория - язык алгебраической топологии
Предварительные знания
Определение модуля: обобщение векторных пространств
Пусть R - кольцо (с единицей). **Левый R-модуль** - абелева группа (M, +) с операцией умножения на скаляры R × M → M, (r, m) ↦ r·m, удовлетворяющей: 1. r·(m + n) = r·m + r·n 2. (r + s)·m = r·m + s·m 3. (rs)·m = r·(s·m) 4. 1·m = m Если R - поле, то M - векторное пространство. Модули - это векторные пространства «без деления».
**Унифицирующая сила модулей:** Один язык охватывает: - Векторные пространства (R = поле) - Абелевы группы (R = Z) - Идеалы кольца R (как подмодули R-модуля R) - Классическая теорема Жордана о нормальной форме = классификация конечнопорождённых F[x]-модулей - Гомологическая алгебра, теория представлений - всё это модули
**Ключевое отличие от векторных пространств:** В модуле над кольцом r·m = 0 не обязывает r = 0 или m = 0, так как r может быть делителем нуля. Например, в Z/6Z: 2·3 = 0, хотя 2 ≠ 0 и 3 ≠ 0. Это делает теорию модулей богаче и сложнее.
Z/6Z как Z-модуль: чему равно 4 · [3] в Z/6Z?
Подмодули и гомоморфизмы
**Подмодуль** N ≤ M - подгруппа N, замкнутая относительно умножения на скаляры: r·n ∈ N для всех r ∈ R, n ∈ N. **Гомоморфизм** R-модулей φ: M → N - гомоморфизм абелевых групп, сохраняющий умножение на скаляры: φ(r·m) = r·φ(m). Теоремы об изоморфизме работают для модулей так же, как для групп: M/N - факторомодуль, ker(φ) ≤ M, im(φ) ≤ N, M/ker(φ) ≅ im(φ).
**Подмодуль vs идеал.** Идеал I ◁ R - это подмодуль R (как R-модуля над собой). Но не каждый подмодуль является идеалом! Идеал - двусторонний: IR ⊆ I и RI ⊆ I. Левый идеал - только RI ⊆ I. Концепции совпадают только для коммутативных колец.
**Лемма Шура.** Если M и N - простые R-модули (не имеют собственных подмодулей, кроме нулевого и всего модуля), то любой гомоморфизм φ: M → N либо нулевой, либо изоморфизм. Это фундаментальный результат теории представлений: «неприводимые представления взаимно непрозрачны».
Является ли 2Z подмодулем Z как Z-модуля?
Свободные модули: базис и ранг
**Свободный R-модуль** ранга n: M ≅ Rⁿ (прямая сумма n копий R). Элементы - строки (r₁,...,rₙ) с rᵢ ∈ R. Операции покомпонентные. **Базис** модуля M - подмножество B ⊆ M такое, что каждый элемент M однозначно представляется как конечная линейная комбинация элементов B с коэффициентами из R. Важно: не каждый модуль свободен (в отличие от векторных пространств)! Например, Z/nZ не является свободным Z-модулем (элемент 1 порождает всё, но n·1 = 0 - линейная зависимость).
**Структурная теорема для модулей над PID.** Для конечнопорождённого модуля M над PID R: M ≅ Rʳ ⊕ R/(d₁) ⊕ R/(d₂) ⊕ ... ⊕ R/(dₖ) где r ≥ 0, d₁ | d₂ | ... | dₖ (каждый делит следующий). Числа r и dᵢ однозначно определяют M. Специальные случаи: - R = Z: классификация конечных абелевых групп - R = F[x]: нормальная форма Жордана (жорданова нормальная форма - это структурная теорема для F[x]-модулей!)
**Жорданова форма = структурная теорема.** Каждая матрица n×n над алгебраически замкнутым полем F приводится к жордановой нормальной форме. Доказательство: рассматриваем Fⁿ как F[x]-модуль (через матрицу), применяем структурную теорему для PID F[x], получаем блоки Жордана. Одна теорема о модулях объясняет всю теорему о жордановой форме - вот сила обобщений!
У любого модуля есть базис (как у векторного пространства)
Базис есть только у свободных модулей. Например, Z/nZ не имеет базиса как Z-модуль: единственный «кандидат» [1] удовлетворяет n·[1]=0 - линейная зависимость.
Существование обратных элементов в поле гарантирует, что линейные зависимости можно разрешить. В кольце этого нет - поэтому модули богаче (и сложнее) векторных пространств.
Является ли Q свободным Z-модулем?
Ключевые идеи
- R-модуль: абелева группа M с R-линейным действием; обобщение векторного пространства
- Z-модули = абелевы группы; F-модули = векторные пространства
- Подмодуль: подгруппа, замкнутая под умножением на скаляры
- Свободный модуль: M ≅ Rⁿ, имеет базис
- Структурная теорема (PID): M ≅ Rʳ ⊕ R/(d₁) ⊕ ... объединяет классификацию абелевых групп и жорданову форму
Дальнейшие пути
Модули над кольцами - язык гомологической алгебры и теории представлений. Проективные и инъективные модули обобщают свободные модули и ключевы для когомологий.
- Теория колец — Идеалы - это подмодули R над собой; структура идеалов определяет структуру кольца
- Разрешимые группы — Теория представлений конечных групп использует модули: группа G представляется как G-модуль (C[G]-модуль)
Вопросы для размышления
- Классифицируйте все Z-модули порядка 12 (т.е. конечные абелевы группы порядка 12) с помощью структурной теоремы.
- Почему Q не является проективным Z-модулем? (Проективный = прямой слагаемый свободного.) Какое это имеет значение для когомологий?
- Как структурная теорема для F[x]-модулей доказывает существование жордановой нормальной формы? Опишите соответствие.