Лекция 1. Базовые алгебраические структуры
От отображений и бинарных операций к группам, кольцам, полям и F_p: инъекция/сюръекция/биекция, перестановки и S₃, кольцо и делители нуля, 10 аксиом поля, Z_n и таблица умножения F₅, мини-тренажёр.
Лекция строит язык, на котором дальше формулируется линейная алгебра. Векторное пространство — это множество с операциями, которые обязаны выполнять набор аксиом, поэтому заранее нужно понимать: что такое отображение и почему операция — это тоже отображение; что значит «операция замкнута»; что такое группа, кольцо и поле; почему скаляры берутся именно из поля.
Не запоминайте определения как списки слов. Для каждой структуры держите в голове вопрос: какие операции разрешены и какие правила они обязаны выполнять?
Множества и отображения
Этот блок пересекается с вступительной лекцией матана; здесь — только то, что нужно для перестановок и операций.
Определение 1. Декартово произведение множеств и — множество всех упорядоченных пар:
Например, для и : . Декартово произведение нужно для определения бинарной операции — она получает на вход пару.
Определение 2. Отображение (функция) ставит каждому в соответствие ровно один элемент . — область определения, — кодомен.
Определение 3. Пусть .
- Образ элемента — это .
- Образ подмножества : .
- Полный прообраз подмножества : .
Запись для прообраза множества имеет смысл для любого , даже когда не биекция. Обратная функция существует только у биекции.
Инъекция, сюръекция, биекция
Определение 4. Отображение называется:
- инъективным, если разные элементы не склеиваются: (эквивалентно: );
- сюръективным, если каждый элемент кодомена достигается: , то есть ;
- биективным, если оно одновременно инъективно и сюръективно.
Примеры.
- , — инъекция (из следует ), но не сюръекция: у числа нет прообраза.
- , — сюръекция (для берём ), но не инъекция: .
- , — биекция: для каждого есть единственный .
Одна и та же формула как отображение не сюръективна, а как отображение — сюръективна.
Композиция и обратное отображение
Определение 5. Если и , то композиция
Правое отображение выполняется первым.
Определение 6. Если — биекция, то существует обратное отображение , для которого
где — тождественное отображение.
— обратное отображение к биекции ; — обратный элемент в группе или поле. Идея общая: объект и его обратный вместе дают «единицу» соответствующей операции.
Бинарная операция
Определение 7. Бинарная операция на множестве — отображение
Такое определение автоматически содержит замкнутость: результат снова лежит в .
Пример. Сложение — бинарная операция на : , результат снова целый.
Контрпример. Формула не задаёт бинарную операцию на : для , получаем .
Когда дана «операция по формуле», первый вопрос — всегда ли результат остаётся в множестве? Только после этого проверяются ассоциативность, нейтральный элемент и обратные.
Группа
Определение 8. Пара называется группой, если — бинарная операция на и выполняются три аксиомы:
- Ассоциативность: для всех .
- Нейтральный элемент: существует такой, что для всех .
- Обратный элемент: для каждого существует такой, что .
Интуитивно: ассоциативность позволяет не думать о скобках в длинном произведении, нейтральный элемент «ничего не делает», обратный элемент отменяет действие.
Главный пример: . Здесь , обратный к — это :
Обозначение зависит от операции: для сложения пишут , для умножения — .
Что не является группой
- : умножение ассоциативно, есть нейтральный элемент , но не у каждого целого есть обратный в — для потребовалось бы .
- : вычитание замкнуто, но не ассоциативно: , а .
Следствия из аксиом группы
Утверждение 1 (единственность нейтрального элемента). Если и оба нейтральные, то .
Утверждение 2 (единственность обратного). Пусть и — оба обратные к . Тогда
Утверждение 3 (закон сокращения). В группе из следует .
Доказательство. Домножим слева на : . По ассоциативности , то есть и .
Именно это сокращение используется дальше в доказательствах свойств кольца.
Абелева группа
Определение 9. Группа называется абелевой (коммутативной), если дополнительно для всех .
— абелева группа. Группа перестановок при неабелева (пример ниже).
Это совершенно разные свойства: — про скобки, — про порядок элементов.
Перестановки и симметрическая группа
Определение 10. Перестановка конечного множества — биективное отображение . Для множество всех перестановок обозначается .
Биекция нужна, чтобы «переупорядочить» элементы без потерь и повторов: у каждого элемента ровно один образ и ровно один прообраз. Перестановку записывают двумя строками:
Утверждение 4. — группа.
Доказательство. Композиция двух биекций — снова биекция, поэтому — бинарная операция. Ассоциативность следует из ассоциативности композиции функций, нейтральный элемент — , обратный к — обратная биекция .
Пример: S₃ неабелева
Пусть
Считаем : сначала применяется , затем .
Поэтому
Получили , значит — не абелева группа.
Перестановка просто меняет местами и , поэтому применение её дважды возвращает всё обратно: , то есть .
В сначала выполняется , потом . Это один из самых частых источников ошибок.
Кольцо
В разных учебниках разные соглашения: одни требуют единицу уже в определении кольца, другие выделяют «кольцо с единицей» отдельно. На лекции используется второй вариант.
Определение 11. Кольцо — множество с двумя бинарными операциями, для которых:
- — абелева группа;
- умножение ассоциативно: ;
- выполняются обе дистрибутивности:
Из того, что — абелева группа, автоматически существуют ноль (такой, что ) и противоположный элемент (такой, что ).
Определение 12. Кольцо называется коммутативным, если для всех .
Определение 13. Кольцо называется кольцом с единицей, если существует такое, что для всех . Для нетривиального кольца предполагают .
Примеры.
- — коммутативное кольцо с единицей.
- Матрицы над образуют кольцо . При в общем случае , так что это кольцо некоммутативно.
Домашнее задание: умножение на ноль
Правило «при умножении на ноль получается ноль» не входит в аксиомы кольца — оно из них выводится.
Утверждение 5. В любом кольце для всех .
Доказательство
Поскольку , имеем . По дистрибутивности
Прибавим к обеим частям противоположный элемент и получим .
Второе равенство аналогично: , после сокращения .
Использованы только дистрибутивность и сокращение по сложению, которое следует из групповых аксиом для .
Делители нуля и область целостности
Определение 14. В коммутативном кольце ненулевой элемент называется делителем нуля, если существует такое, что .
Пример. В кольце вычетов элементы и ненулевые, но . Значит, и — делители нуля.
Определение 15. Область целостности (целостное кольцо) — коммутативное кольцо с единицей , в котором нет делителей нуля.
— область целостности, — нет.
Утверждение 6 (сокращение в области целостности). Если и , то .
Доказательство. . Делителей нуля нет и , поэтому .
Поле
Определение 16. Поле — коммутативное кольцо с единицей , в котором каждый ненулевой элемент обратим:
Классические примеры: , , . А — не поле: у нет обратного целого.
Домашнее задание: все 10 аксиом поля
В соглашении лекции замкнутость уже включена в слова « и — бинарные операции», поэтому отдельной аксиомой не считается.
Список аксиом
Пусть — множество с бинарными операциями и . Для любых :
Сложение
- Ассоциативность: .
- Коммутативность: .
- Существование нуля: .
- Существование противоположного: .
Умножение
- Ассоциативность: .
- Коммутативность: .
- Существование единицы, отличной от нуля: .
- Существование обратного для ненулевых: .
Связь сложения и умножения
- Левая дистрибутивность: .
- Правая дистрибутивность: .
Итого аксиом.
Из коммутативности умножения одна дистрибутивность выводится из другой, а замкнутость иногда считают отдельной аксиомой. Это вопрос подсчёта, а не математической сути; для записи «10» естественен список выше.
Кольца вычетов по модулю n
Два целых числа сравнимы по модулю , если имеют одинаковый остаток при делении на :
Множество классов вычетов можно представлять числами , а операции выполнять с последующим взятием остатка. Например, в :
Теорема 1. является полем тогда и только тогда, когда — простое число.
Доказательство. Пусть простое и . Тогда , и по соотношению Безу существуют такие, что . По модулю получаем , то есть — обратный к в .
Пусть теперь составное, . Тогда в классы и , но . Это делители нуля, а в поле их быть не может.
Конечное поле из p элементов и пример F₅
Для простого пишут : поле из элементов реализуется как остатки с арифметикой по модулю .
Таблица умножения F₅
| 0 | 1 | 2 | 3 | 4 | |
|---|---|---|---|---|---|
| 0 | 0 | 0 | 0 | 0 | 0 |
| 1 | 0 | 1 | 2 | 3 | 4 |
| 2 | 0 | 2 | 4 | 1 | 3 |
| 3 | 0 | 3 | 1 | 4 | 2 |
| 4 | 0 | 4 | 3 | 2 | 1 |
Например, , поэтому и . Также и , поскольку .
В строке любого ненулевого множителя ненулевые элементы просто переставляются, а ноль не появляется — потому что в поле нет делителей нуля.
Для сравнения: почему Z₆ не поле
В выполняется при и , то есть есть делители нуля. Кроме того, у нет обратного: ни одно из чисел при умножении на не даёт остаток .
Иерархия структур
Всю лекцию полезно видеть как лестницу требований: каждая следующая структура добавляет условие к предыдущей.
| Структура | Что требуется |
|---|---|
| Множество | Просто набор элементов |
| Множество с бинарной операцией | Результат операции над любыми двумя элементами снова в множестве |
| Группа | Ассоциативность + нейтральный элемент + обратные |
| Абелева группа | Группа + коммутативность |
| Кольцо | Абелева группа по сложению + ассоциативное умножение + две дистрибутивности |
| Коммутативное кольцо | Кольцо + коммутативность умножения |
| Область целостности | Коммутативное кольцо с + нет делителей нуля |
| Поле | Коммутативное кольцо с + каждый ненулевой элемент обратим |
Утверждение 7. Поле автоматически является областью целостности.
Доказательство. Если и , домножаем на и получаем .
Связь с векторными пространствами
Теперь видно, зачем поле появилось в начале курса.
Определение 17. Векторное пространство над полем — множество с операциями и , такими, что — абелева группа и для всех , :
Например, — векторное пространство над , а — над . Линейную алгебру можно строить и над конечными полями — это важно в кодировании и дискретной математике.
Векторы живут в и складываются друг с другом; скаляры живут в поле и умножают векторы. Поле — не «лишняя абстракция», а источник допустимых коэффициентов в линейных комбинациях.
Частые вопросы
Почему операция — это отображение? Операция должна каждому набору аргументов однозначно назначать результат. У бинарной операции два аргумента, поэтому её область определения — .
Почему у группы не требуют коммутативность? Потому что важные естественные группы некоммутативны: уже показывает, что композиция преобразований зависит от порядка.
Почему в поле обратный требуется только для ? Если бы существовал , то . Но в любом кольце , и получилось бы .
Почему — кольцо, но не поле? Для поля нужно делить на любой ненулевой элемент, оставаясь внутри множества. В у нет обратного: не целое.
Почему — поле? Для любой ненулевой дроби обратная тоже рациональна.
Чем область целостности отличается от поля? В области целостности нет делителей нуля, но обратные могут отсутствовать (). В поле обратный есть у каждого ненулевого элемента — это более сильная структура.
Мини-тренажёр
Сначала решите сами, потом откройте ответ.
- Является ли бинарной операцией на ? А групповой операцией?
- Является ли бинарной операцией на ?
- Классифицируйте , : инъекция, сюръекция, биекция?
- Классифицируйте , .
- Найдите обратную к перестановке .
- Является ли группой? Абелевой?
- Является ли полем?
- Найдите в .
- Есть ли делители нуля в ? Приведите пример.
- Докажите, что в поле из следует или .
Ответы
- Бинарная операция — да (разность целых целая), групповая — нет: вычитание неассоциативно.
- Нет: выражение не определено при .
- Биекция, обратная .
- Ни инъекция (), ни сюръекция на (нет отрицательных значений).
- .
- Да, абелева группа: нейтральный элемент , обратный к равен .
- Да, потому что простое.
- , так как .
- Да: , хотя и .
- Если , умножаем на : .
Шпаргалка
| Понятие | Суть |
|---|---|
| Отображение | , каждому — ровно одно |
| Инъекция | |
| Сюръекция | |
| Биекция | инъекция + сюръекция; только тогда есть |
| Бинарная операция | |
| Группа | ассоциативность + + обратные |
| Абелева группа | группа + |
| Перестановка | биекция ; — группа по композиции |
| Кольцо | абелева группа; умножение ассоциативно; две дистрибутивности |
| Коммутативное кольцо | дополнительно |
| Кольцо с единицей | существует с |
| Делитель нуля | , но для некоторого |
| Область целостности | коммутативное кольцо с без делителей нуля |
| Поле | коммутативное кольцо с , каждый имеет |
| при простом ; арифметика по модулю |
Актуальная версия: https://m3105.ru/notes/lineynaya-algebra/lektsiya-1-bazovye-algebraicheskie-struktury
Проверь себя
16 вопросов по материалу лекции. Результаты хранятся только в вашем браузере.
16 вопросов о бинарных операциях, группах и перестановках, кольцах, делителях нуля, полях и кольцах вычетов.
- 16 вопросов
- Результат виден сразу после каждого ответа
- Порядок вопросов случайный

Комментарии0
Пока никто ничего не написал.
Войдите, чтобы оставить комментарий