Алгебра phys 1 ноябрь–декабрь — различия между версиями

Материал из SEWiki
Перейти к: навигация, поиск
 
Строка 94: Строка 94:
 
<ul><li>Группа автоморфизмов: <math>\mathrm{Aut}(G)</math>. Пример: <math>\mathrm{Aut}((\mathbb Z/n)^+)\cong(\mathbb Z/n)^\times</math>. Группа внутренних автоморф.-в: <math>\mathrm{Inn}(G)=\{\bigl(x\mapsto g\,x\,g^{-1}\bigr)\!\mid g\in G\}\le\mathrm{Aut}(G)</math>.
 
<ul><li>Группа автоморфизмов: <math>\mathrm{Aut}(G)</math>. Пример: <math>\mathrm{Aut}((\mathbb Z/n)^+)\cong(\mathbb Z/n)^\times</math>. Группа внутренних автоморф.-в: <math>\mathrm{Inn}(G)=\{\bigl(x\mapsto g\,x\,g^{-1}\bigr)\!\mid g\in G\}\le\mathrm{Aut}(G)</math>.
 
<li>Центр группы <math>G</math>: <math>\mathrm Z(G)=\{g\in G\mid\forall\,x\in G\;\bigl(g\,x=x\,g\bigr)\}</math>. Пример: если <math>n\ne2</math>, то <math>\mathrm Z(\mathrm S_n)=\{\mathrm{id}_n\}</math>. Теорема о внутренних автоморфизмах и центре.
 
<li>Центр группы <math>G</math>: <math>\mathrm Z(G)=\{g\in G\mid\forall\,x\in G\;\bigl(g\,x=x\,g\bigr)\}</math>. Пример: если <math>n\ne2</math>, то <math>\mathrm Z(\mathrm S_n)=\{\mathrm{id}_n\}</math>. Теорема о внутренних автоморфизмах и центре.
<p><u>Теорема о внутренних автоморфизмах и центре.</u> <i>Пусть <math>G</math> — группа; тогда отображение <math>\biggl(\!\begin{align}G&\to\mathrm{Aut}(G)\\g&\mapsto\bigl(x\mapsto g\,x\,g^{-1}\bigr)\!\end{align}\!\biggr)</math> — гомоморфизм групп, его ядро<br>есть <math>\,\mathrm Z(G)</math>, его образ есть <math>\,\mathrm{Inn}(G)</math> (и, значит, <math>G/\,\mathrm Z(G)\cong\mathrm{Inn}(G)</math>) и, кроме того, <math>\mathrm{Inn}(G)\trianglelefteq\mathrm{Aut}(G)</math>.</i></p>
+
<p><u>Теорема о внутренних автоморфизмах и центре.</u> <i>Пусть <math>G</math> — группа; тогда отображение <math>\biggl(\!\begin{align}G&\to\mathrm{Aut}(G)\\g&\mapsto\bigl(x\mapsto g\,x\,g^{-1}\bigr)\!\end{align}\!\biggr)</math> — гомоморфизм групп, его ядро<br>есть <math>\,\mathrm Z(G)</math>, его образ есть <math>\,\mathrm{Inn}(G)</math> (и, значит, <math>G/\,\mathrm Z(G)\cong\mathrm{Inn}(G)</math>), и, кроме того, <math>\mathrm{Inn}(G)\trianglelefteq\mathrm{Aut}(G)</math>.</i></p>
 
<li>Коммутатор элементов группы (мультипликативный коммутатор): <math>[g_1,g_2]=g_1\,g_2\,g_1^{-1}g_2^{-1}</math>. Коммутант группы <math>G</math>: <math>[G,G]=\bigl\langle\{[g_1,g_2]\mid g_1,g_2\in G\}\bigr\rangle</math>.
 
<li>Коммутатор элементов группы (мультипликативный коммутатор): <math>[g_1,g_2]=g_1\,g_2\,g_1^{-1}g_2^{-1}</math>. Коммутант группы <math>G</math>: <math>[G,G]=\bigl\langle\{[g_1,g_2]\mid g_1,g_2\in G\}\bigr\rangle</math>.
 
<li>Утверждение: <math>[G,G]\trianglelefteq G</math>. Теорема о коммутанте. Пример: <math>[\mathrm S_n,\mathrm S_n]=\mathrm A_n</math> (доказ.-во только включения <math>\subseteq</math>). Абелианизация группы <math>G</math>: <math>G^\mathtt{ab}\!=G/[G,G]</math>.
 
<li>Утверждение: <math>[G,G]\trianglelefteq G</math>. Теорема о коммутанте. Пример: <math>[\mathrm S_n,\mathrm S_n]=\mathrm A_n</math> (доказ.-во только включения <math>\subseteq</math>). Абелианизация группы <math>G</math>: <math>G^\mathtt{ab}\!=G/[G,G]</math>.

Текущая версия на 23:00, 10 ноября 2018

Подробный план второй половины первого семестра курса алгебры

4   Кольца (часть 2)

4.1  Делимость в коммутативных кольцах
  • Делимость, строгая делимость, ассоциированность в коммутат. кольце : ; ; .
  • Утверждение: пусть — обл. цел.-сти, и ; тогда и . Обозн.-е в обл. цел.-сти.
  • Наибольший относ.-но общий делитель и : ; наименьшее относ.-но общее кратное и : ; и опред.-ны с точностью до .
  • Нормировка и (если они не ) в и : и — в , многочлены и нормированы — в .
  • Главный идеал — идеал вида . Пример неглавн. идеала: в . Область главных идеалов — обл. цел.-сти, в которой все идеалы главные.
  • Теорема о делимости и главных идеалах. Пусть — коммутативное кольцо и ; тогда
    (1) ; ; ; ;
    (2) если идеал главный, то , и, если идеал главный, то ;
    (3) если в кольце все идеалы главные, то и существуют, а также .
  • Неприводимые и простые эл.-ты: и .
  • Теорема о неприводимых и простых элементах. Пусть — коммутативное кольцо; тогда
    (1) если — область целостности, то ;
    (2) если — область главных идеалов, то ;
    (3) для любых следующие утверждения эквивалентны: (у1) и (у2) — область целостности;
    (4) если — область главных идеалов, то для любых следующие утверждения эквивалентны: (у1) , (у2) ,
    (у3) — область целостности и (у4) — поле.
4.2  Евклидовы кольца и факториальные кольца
  • Евклидова норма — такая функция , что относ.-но можно делить с остатком на ненул. эл.-ты и не убывает относ.-но на .
  • Евклидово кольцо — область целостности с евклидовой нормой. Примеры: (); (); , , ().
  • Теорема о евклидовых кольцах. Пусть — евклидово кольцо с евклидовой нормой ; тогда
    (1) для любых и выполнено ;
    (2) в невозможна бесконечная строгая делимость (то есть в не существует такой бесконечной послед.-сти , что );
    (3) если , то для любых выполнено ;
    (4) — область главных идеалов (в частности, кольца и , где — поле, являются областями главных идеалов).
  • Факториальное кольцо — обл. цел.-сти с единств. (с точн.-ю до и перестановок) разложением любого ненул. эл.-та в произвед.-е неприводимых эл.-тов.
  • Примеры: — факториальное кольцо (это основная теорема арифметики); если кольцо факториально, то и факториально (без доказательства).
  • Теорема о факториальности евклидовых колец.
    (1) Пусть — область целостности, в невозможна бесконечная строгая делимость и ; тогда — факториальное кольцо.
    (2) Евклидовы кольца являются факториальными кольцами (в частности, кольца и , где — поле, являются факториальными кольцами).
  • Теорема о факториальных кольцах. Пусть — факториальное кольцо и ; разложим и в произведение неприводимых элементов:
    и , где , , попарно неассоциированы и ; тогда
    (1) и ;
    (2) и .
4.3  Алгоритм Евклида, китайская теорема об остатках, функция Эйлера
  • Соотношение Безу для эл.-тов и евклидова кольца: , где и — коэффициенты Безу. Нахождение в кольце .
  • Алгоритм Евклида в евклидовом кольце: и ; на -м шаге и ; тогда, если , то .
  • Расширенный алгоритм Евклида в евклидовом кольце: ; на -м шаге ; тогда .
  • Китайская теорема об остатках для целых чисел. Пусть , и попарно взаимно просты (то есть
    ); тогда отображение — изоморфизм колец.
  • Китайская теорема об остатках для многочленов. Пусть — поле, , и попарно взаимно просты (то есть
    ); тогда отображение — изоморфизм колец.
  • Функция Эйлера от : . Пример: если и , то . Утверждение: .
  • Теорема о свойствах функции Эйлера.
    (1) Пусть , и ; тогда (это теорема Эйлера).
    (2) Пусть и ; тогда .
    (3) Пусть ; разложим в произведение простых чисел: , где , , попарно различны и
    ; тогда .
4.4  Производная многочлена, интерполяция, рациональные дроби
  • Производная многочлена: . Правило Лейбница. Пусть — кольцо и ; тогда .
  • Корень кратности многочлена : (). Теорема о кратных корнях.

    Теорема о кратных корнях. Пусть — коммутативное кольцо, , и ; тогда
    (1) если — корень кратности не меньше многочлена , то — корень кратности не меньше многочлена ;
    (2) если — область целостности, не делит и — корень кратности многочлена , то — корень кратности многочлена ;
    (3) — кратный корень многочлена (то есть корень кратности не меньше ), если и только если — корень многочленов и .

  • Теорема об интерполяции. Пусть — поле, , и попарно различны; тогда существует единственный
    такой многочлен , что и , и этот многочлен можно найти по следующим формулам:
    (1) , где (это интерполяционная формула Лагранжа);
    (2) , где и (это интерполяционная формула Ньютона).
  • Поле частных: , где и , .
  • Теорема о поле частных. Отождествл.-е и . Примеры: , — поле рационал. дробей.

    Теорема о поле частных. Пусть — область целостности; тогда отображение — инъективный гомоморфизм колец, а также
    для любых и выполнено (и, значит, ).

  • Несократимая запись: (, нормир.). Приведение к несократ. записи. Правильная дробь: (). Выделение правил. дроби.
  • Примарная дробь: (, нормир., , ). Простейшая дробь: (, нормир., , ).
  • Метод неопределенных коэффиц.-тов для разложения правильной дроби в сумму простейших дробей (док.-во корректности см. в п. 3 в § 4 главы 5 в [3]).
4.5  Матрицы, столбцы, строки
  • Множества матриц, столбцов и строк: , и . Сложение матриц и умножение матриц на скаляры.
  • Умножение матриц: . Внешняя ассоциативность умножения. Кольцо , группа .
  • Матрицы специального вида: диагональные, скалярные, верхнетреугольные, нижнетреугольные, треугольные. Блочные и блочно-треугольные матрицы.
  • Столбцы, строки, матрицы с одной единицей и нулями: , , . Утверждение: , , .
  • Строки матрицы : . Столбцы матрицы : . Утверждение: , а также .
  • Операторы умн.-я на матрицу между и : — группа по сложению. Теорема об операторах умножения на матрицу.

    Теорема об операторах умножения на матрицу. Пусть — кольцо и ; тогда
    (1) — изоморфизм групп по сложению и, если , то это отобр.-е — изоморфизм колец;
    (2) если — комм. кольцо, то
    (то есть множество операторов умножения на матрицу между и совпадает с множеством линейных операторов между и ).

  • Транспонирование матрицы : . След квадратн. матрицы : . Линейность и . Теорема о свойствах транспонирования и следа.

    Теорема о свойствах транспонирования и следа. Пусть — коммутативное кольцо и ; тогда
    (1) для любых и выполнено и, если , то ;
    (2) для любых выполнено , а также для любых выполнено .

  • Симметричные и антисимм. матрицы: , .

5   Группы (часть 2)

5.1  Символ Леви-Чивиты и симметрические группы
  • Транспозиции: (). Фундаментальные транспозиции: . Мн.-во инверсий: .
  • Лемма о количестве инверсий. Пусть , , и ; тогда
    (1) ;
    (2) если , то , и, если , то .
  • Теорема о сортировке пузырьком. Пусть , и ; обозначим через числа , упорядоченные
    по неубыванию (то есть и ); тогда
    (1) существуют такие фундаментальные транспозиции , что ;
    (2) для любых из существования таких фундаментальных транспозиций , что ,
    следует, что , а также в том случае, когда числа попарно различны, что .
  • Символ Леви-Чивиты: , если числа попарно различны; иначе . Пример: .
  • Знак перестановки : . Теорема о свойствах знака. Знакопеременная группа: ; ().

    Теорема о свойствах знака. Пусть ; тогда
    (1) отображение — гомоморфизм групп и, если , то это сюръективный гомоморфизм групп;
    (2) для любых и попарно различных чисел выполнено ;
    (3) для любых выполнено , где — количество циклов четной длины в цикловой записи перестановки ;
    (4) для любых и выполнено .

  • Теорема о классах сопряженности в симметрических группах. Пусть и ; тогда перестановки и сопряжены, если и только если
    неупорядоченные наборы длин циклов в цикловой записи перестановок и (то есть цикловые типы перестановок и ) равны.
  • Задание группы образующими и соотношениями: порождена образ.-ми с соотн.-ми инволютивности, локальности и кос (без док.-ва).
5.2  Определитель матрицы и группы матриц
  • Определитель квадр. матрицы над коммут. кольцом: . Расстановки ладей и .
  • Примеры: — ориентированная площадь, — ориентиров. объем. Лемма об определителе набора столбцов.

    Лемма об определителе набора столбцов. Пусть — коммутативное кольцо, , и ; тогда
    (1) ;
    (2) если среди столбцов есть равные, то ;
    (3) для любых выполнено .

  • Теорема о свойствах определителя. Пусть — коммутативное кольцо и ; тогда
    (1) — гомоморфизм моноидов по умножению, а также (доказ.-во только );
    (2) для любых и выполнено , а также ;
    (3) для любых выполнено ;
    (4) для любых , , и выполнено .
  • Специальная линейная группа: . Геом. смысл: сохраняет ориент. объем.
  • Аффинная линейная группа: . Геометрический смысл: .
  • Ортогональная группа: . Специальная ортогонал. группа: .
  • Унитарная группа: . Специальная унитарная группа: .
  • Изометрии в : (доказ.-во только ). Теорема о комплексных числах и вещественных матрицах.

    Теорема о комплексных числах и вещественных матрицах. Отображение — изоморфизм колец, и
    , а также отображение — изоморфизм групп.

5.3  Действия групп на множествах
  • Действие группы на множ.-ве — гомоморфизм моноидов . Утверждение: . Обозначение: .
  • Примеры: действует на , группы матриц действуют на , группа действует на (где ) умножением слева и на сопряжением.
  • Теорема Кэли. Точное действие: — инъекция. Динамическая система с дискретнымнепрерывным временем — мн.-во с действием группы .

    Теорема Кэли. Пусть — группа; тогда
    (1) для любых , обозначая через отображение , имеем следующий факт: — биекция (то есть );
    (2) отображение — инъективный гомоморфизм групп.

  • -Множество — множество с действием группы . Гомоморфизмы -множеств: .
  • Орбита точки : (, где ). Множество орбит: — разбиение мн.-ва .
  • Транзитивное действие ( — однородное -мн.-во): . Стабилизатор: . Стабилизаторы платоновых тел в .
  • Свободное действие ( — свободное -мн.-во): . Торсор — однородное свободное -мн.-во: .
  • Теорема о классах смежности по стабилизатору. Неподвижные точки: . Лемма Бернсайда. Пример: .

    Теорема о классах смежности по стабилизатору. Пусть — группа, -множество и ; тогда
    (1) отображение определено корректно, является инъективным гомоморфизмом -множеств и его образ есть ;
    (2) если , то (и, значит, делит ).

    Лемма Бернсайда. Пусть — группа, -множество и ; тогда .

5.4  Автоморфизмы, коммутант, полупрямое произведение групп
  • Группа автоморфизмов: . Пример: . Группа внутренних автоморф.-в: .
  • Центр группы : . Пример: если , то . Теорема о внутренних автоморфизмах и центре.

    Теорема о внутренних автоморфизмах и центре. Пусть — группа; тогда отображение — гомоморфизм групп, его ядро
    есть , его образ есть (и, значит, ), и, кроме того, .

  • Коммутатор элементов группы (мультипликативный коммутатор): . Коммутант группы : .
  • Утверждение: . Теорема о коммутанте. Пример: (доказ.-во только включения ). Абелианизация группы : .

    Теорема о коммутанте. Пусть — группа и ; тогда группа абелева, если и только если (и, значит, абелева).

  • Простая группа: . Примеры: группы (), ( — поле, ), простые (без доказ.-ва).
  • Полупрямое произв.-е относ.-но действия , где : с бинарной операцией .
  • Утверждение: — гомоморфизм групп. Пример: , где .
  • Теорема о полупрямом произведении. Пусть — группа и ; обозначим через отображение ; тогда
    (1) , и ;
    (2) ;
    (3) если , то в пункте (2) условие "" можно заменить на условие "".