Лектор: Ширяев Владимир Михайлович, доц., кандидат физ.-мат. наук.
Экзаменационные вопросы по курсу "Прикладная алгебра"
2-й курс, 3-й семестр 1999-2000 учебного года.
Краткое описание курса.
- Кольцо и поле. Область целостности. Отношение делимости и ассоциативности. Группа обратимых элементов. Идеалы. Сумма и пересечение идеалов. Связь между отношением делимости, включением множеств делителей и включением главных идеалов области целостности.
- Идеалы кольца целых чисел. Деление с остатком. Наибольший общий делитель и наименьшее общее кратное в кольце целых чисел. Свойства.
- Взаимно простые числа. Критерий взаимной простоты. Свойства взаимно простых чисел. Алгоритм Евклида. Свойства наименьшего общего кратного.
- Неразложимые и простые элементы в кольце целых чисел. Разложение числа в произведение элементарных делителей.
- Разложение группы на левые и правые смежные классы по подгруппе. Теорема Лагранжа. Нормальный делитель. Факторгруппа по подгруппе.
- Сравнения по идеалу кольца. Факторкольцо по идеалу.
- Сравнения целых чисел по данному модулю. Свойства сравнений.
- Приведённая группа вычетов по данному модулю. Порядок этой группы и функция Эйлера. Теорема Эйлера и теорема Ферма.
- Решение сравнений первой степени.
- Евклидово кольцо. Значения евклидовой нормы на классах ассоциированных элементов. Евклидово кольцо как область главных идеалов.
- Наибольший общий делитель и наименьшее общее кратное в ОГИ. Свойства. Взаимно простые элементы и их свойства. Критерий взаимной простоты. Алгоритм Евклида в евклидовых кольцах.
- Неразложимые и простые элементы в ОГИ. Факторкольцо по идеалу, порождённому неразложимым или простым элементом.
- Факториальность евклидова кольца. Каноническое разложение элемента. Примеры.
- Гомоморфизмы колец. Ядро и образ гомоморфизма. Идеал как ядро гомоморфизма. Изоморфные кольца.
- Образ гомоморфизма и факторкольцо исходного кольца по ядру гомоморфизма. Соответствие между идеалами факторкольца и идеалами исходного кольца.
- I1+I2/I2»I1/I1I2, K/I1/I2/I1 »K/I2.
- Конечная область целостности. Идеалы поля. Факторкольцо по максимальному идеалу. Кольцо вычетов по простому модулю. Факторкольцо кольца многочленов над полем по идеалу, порождённому неприводимым многочленом.
- Прямые произведения колец и прямые суммы идеалов.
- Нильпотенты и идемпотенты в кольцах. Примарные кольца и их идемпотенты. Критерий примарности конечного кольца.
- Критерий примарности факторкольца евклидова кольца, в частности, кольца вычетов и факторкольца кольца многочленов.
- Наибольший собственный идеал в примарном конечном кольце и его нильпотентность.
- Наибольший собственный идеал в примарном факторкольце евклидова кольца и его нильпотентность, j(pk)=?
- Разложение конечного кольца в прямую сумму идеалов, являющихся примарными кольцами.
- Примарное разложение факторкольца евклидова кольца. Китайская теорема об остатках. Формула для вычисления функции Эйлера.
- Решение систем сравнений первой степени.
- Циклические группы. Подгруппы и факторгруппы циклических групп. Порядок произведения элементов взаимно простых порядков.
- Существование первообразного элемента по простому модулю.
- Нахождение первообразного элемента по нечетному примарному модулю и по модулю 2pa.
- Разложение группы G(Z2a) в прямую сумму двух циклических подгрупп.
- Первообразные элементы приведённых групп вычетов.
- Решение сравнений больших степеней и показательных сравнений.
- Гомоморфизм и изоморфизм групп. Ядро гомоморфизма как нормальный делитель. Образ гомоморфизма и факторгруппа по ядру гомоморфизма.
- Прямые произведения групп и прямые суммы подгрупп абелевой группы. Неразложимость примарной циклической группы. Разложение приведённой группы вычетов в прямую сумму примарных циклических подгрупп.
- Модулярная группа и её порядок. Подгруппа параллельных переносов как нормальный делитель. Стабилизатор нуля. Факторгруппа по подгруппе параллельных переносов.
- Действие группы на множестве. Задачи криптологии. RSA криптосистемы.
- Пороговая схема. Распределение ключей по Диффи-Хелмену.
- Модулярные шифры, шифры Виженера, Хилла, Плейфера, Вернама...
- Представление конечнопорождённой абелевой группы в виде факторгруппы Zk. Подгруппы группы Zk. Элементарные преобразования матрицы соотношений.
- Разложение конечнопорождённой абелевой группы в прямую сумму примарных циклических или бесконечных циклических групп.
- Решение систем уравнений над евклидовым кольцом. Система наибольших общих делителей миноров матрицы над евклидовым кольцом. Критерий совместности системы линейных уравнений над евклидовым кольцом.
- Метод Серпинского решения систем уравнений над евклидовым кольцом.
- Метод элементарных преобразований решения систем уравнений над евклидовым кольцом.
- Задачи кодирования информации с целью защиты. Двоичные групповые коды. Формулы вероятности декодирования с k ошибками. Код проверки четности. Код тройного повторения.
- Вес Хемминга, расстояние Хемминга. Кодовые слова. Кодовое расстояние группового кода. Условие обнаружения и исправления ошибок в k позициях.
- Матричные коды. Кодирующая матрица, проверочная матрица, синдромы, лидеры смежных классов. Вероятность правильного исправления ошибок, вероятность необнаружения ошибок.
- Совершенные коды. Коды Хемминга.
Литература.
- Биркгоф Г., Барти Р. "Современная Прикладная Алгебра". Москва, Мир, 1976.
- Лидл Р. Нидеррайтер В. "Конечные Поля". Москва, 1989.
- Виноградов И. М. "Основы Теории Чисел". Москва, Наука, 1981.
- Lidl R. Applied Abstract Algebra, 1985.
- Salomaa A. Public Key Cryptography, 1995.
- Блейгеут Р. "Теория и Практика Кодов". Москва, Мир, 1996.