
- •1. Группоид
- •Типы магм
- •2. Полугруппа
- •Примеры
- •4. Кольцо Определение
- •Простейшие свойства
- •Примеры
- •5. Радикал кольца
- •6. Поле
- •7. Алгебра
- •Свойства
- •8. Кольцо многочленов от нескольких переменных Определение
- •9. Симметрический многочлен
- •10. Порядок элемента группы
- •11. Порядок группы
- •12. Смежный класс
- •13. Симметрическая группа
- •Свойства
- •Представление симметрической группы в виде матричной
- •14. Знакопеременная группа
- •15. Циклическая группа
- •16. Факторгруппа
- •17. Нормальная подгруппа
- •18. Центр группы
- •19. Централизатор элемента группы
- •20. Силовская p-подгруппа
- •Необходимые определения
- •Теоремы
- •Следствие
- •21. Сопряжённый элемент группы
- •22. Идеал кольца
- •23. Главный идеал кольца
- •24. Кольцо главных идеалов
- •25. Сумма идеалов
- •26. Факторкольцо
- •27. Характеристика поля
- •28. Представление Определения и концепции
- •Определение
- •29. Модуль
- •30. Примитивный элемент
- •31. Тело
- •32. Алгебраическая система
- •Основные классы алгебраических систем
- •Группоиды, полугруппы, группы
- •Алгебры
- •33. Многообразие
- •35. Дистрибутивная решётка
- •36. Булева алгебра
- •37. Фильтр
- •Определение в рамках теории решёток
- •Фильтры на множествах
- •База фильтра
- •Сравнение фильтров
- •Фильтры в топологических пространствах
- •Примеры
- •38. Ультрафильтр
- •39. Ультрапроизведение
29. Модуль
Мо́дуль над кольцо́м — одно из основных понятий в общей алгебре, являющееся обобщением двух алгебраических понятий — векторного пространства (фактически, векторное пространство — это модуль над полем), и абелевой группы (которая является модулем над кольцом целых чисел ).
Понятие модуля лежит в основе коммутативной алгебры, которая играет важную роль в различных областях математики, таких как
алгебраическая геометрия,
гомологическая алгебра,
теория представлений групп.
Мотивировка
В векторном пространстве множество скаляров образует поле и умножение на скаляр удовлетворяет нескольким аксиомам, таким как дистрибутивность умножения. В модуле же требуется только, чтобы скаляры образовывали кольцо (ассоциативное с единицей), аксиомы же остаются теми же самыми.
Значительная часть теории модулей состоит из попыток обобщить на них известные свойства векторных пространств, иногда для этого приходится ограничиваться модулями над «хорошо ведущими себя» кольцами, такими как области главных идеалов. Однако в целом модули устроены более сложно, чем векторные пространства. Например, не в каждом модуле можно выбрать базис, и даже те, в которых это возможно могут иметь несколько базисов с различным числом элементов (в случае некоммутативного кольца).
Определения
Пусть — кольцо (как правило, считающееся коммутативным c единичным элементом). -модулем называется абелева группа с операцией умножения на элементы кольца
которая удовлетворяет следующим условиям:
1)
2)
3)
4)
Примечание: В случае некоммутативного кольца такие модули часто называются левыми. Правыми модулями называют в этом случае такие объекты, у которых условие 1) заменено следующим:
что
гораздо удобнее формулировать, записывая
элемент кольца при умножении справа от
элемента модуля:
отсюда
и терминология.
В случае коммутативного кольца R определения левого и правого модуля совпадают и их называют просто модулями.
Любое кольцо R можно рассматривать как модуль над собой (в некоммутативном случае оно является также правым модулем над собой).
Примеры
Любая абелева группа — модуль над кольцом целых чисел.
Линейное пространство над полем
является модулем над .
Линейное пространство
— модуль над кольцом всех своих линейных преобразований
Дифференциальные формы на гладком многообразии снабжены естественной структурой модуля над кольцом всех гладких функций на .
Если I — левый идеал кольца R, он будет левым модулем над этим кольцом. Аналогично, правые идеалы будут правыми модулями.
30. Примитивный элемент
Примитивным элементом конечного
поля
называется
всякий первообразный
корень степени
,
то есть всякий генератор мультипликативной
группы этого поля.
Свойства
Если
— примитивный элемент поля , то любой другой примитивный элемент может быть получен как степень
, где k — целое число, взаимно простое с . Поэтому количество различных примитивных элементов в поле равно значению функции Эйлера
.
Минимальный многочлен примитивного элемента поля называется примитивным многочленом над полем
.