Почему группы порядка p² абелевы? | #абелевагруппа | #теориягрупп | #dogmathic | #абстрактнаяалгебра

#СобачьяМатематика #теорияГрупп #абстрактнаяГебра #АбелевыГруппы #Лагранж Почему каждая группа порядка p² является абелевой? В теории групп есть правило порядка и коммутативности, которое незаметно подкрадывается. Возьмите любое простое число p, постройте группу ровно из p² элементов, и группа будет вынуждена быть абелевой. Не существует неабелевой группы порядка 4, 9 или 25. Она не может существовать. Большинство людей ожидают, что в малых группах будет что-то неожиданное, и именно на этом уровне неожиданности заканчиваются. Доказательство разделяется на два случая, и первый почти слишком прост. Если группа имеет элемент порядка p², этот элемент порождает всю группу, она циклическая, и каждая циклическая группа является абелевой. Доказано. Второй случай — вот где начинается работа. Предположим, что ни один элемент не имеет порядка p², поэтому каждый нетождественный элемент имеет порядок p. Вы выбираете подгруппу H, порожденную одним элементом, используете теорему Лагранжа, чтобы показать, что она имеет индекс p, и этот индекс обуславливает нормальность H. Затем вы осуществляете сопряжение, прослеживаете степени b через показатели и приходите к выводу, что k должно равняться 1. Это единственное значение — вся игра. Как только k становится равным 1, два выбранных вами элемента коммутируют, а затем аргумент смежных классов распространяет это на каждый элемент группы. Завершающий ход выполняет небольшая теорема Ферма, и приятно наблюдать, как одновременно подтверждаются два факта теории чисел и фиксируют k. В конце вы также получаете классификацию: группа порядка p² — это либо Z mod p², либо Z mod p, перекрещенное с Z mod p. Когда p равно 2, вторая группа — это четырехгруппа Клейна, что напрямую связывает это с предыдущим видео. Попробуйте сами рассмотреть случай p = 3 перед классификацией в конце и посмотрите, сможете ли вы назвать обе группы порядка 9. Темы: абстрактная алгебра, теория групп, абелевы группы, теорема Лагранжа, малая теорема Ферма, нормальные подгруппы, циклические группы, смежные классы, индекс подгруппы, порядок элемента, сопряжение, четырехгруппа Клейна, классификация групп, простой порядок, изоморфизм, факторгруппа Поддержка Dogmathic https://dogmathic-shop.fourthwall.com/ https://ko-fi.com/dogmathic https://dogmathic.com/ matherssen(at)gmail.com    • The Klein Four Group Refuses to Be Cyclic ...      • Fermat's Little Theorem: The Whole Argumen...      • 2-Minute Theorems: Lagrange's Theorem | Gr...      • Prime Order: Cyclic or Death | Group Theor...      • Homomorphisms and the Art of Collapse | Gr...      • Proof In The Partition: Cosets Carve Up A ...      • The Kernel Never Escapes The Conjugation T...      • The Gateway to Group Theory: Groups in Und...      • The Secret Structure Hidden Inside F2[x] m...   Используемые свойства и понятия: Каждая группа порядка p² является абелевой (главной) результат) Теорема Лагранжа (порядок элемента делит порядок группы) Порядок элемента и его возможные значения (1, p, p²) Циклические группы являются абелевыми Построение подгруппы из одного элемента Индекс подгруппы и подсчет смежных классов Нормальные подгруппы по критерию наименьшего простого индекса Сопряжение и соотношение g H g⁻¹ = H Погоня за показателями степени посредством многократного сопряжения Малая теорема Ферма Модульная арифметика (kᵖ ≡ 1 mod p) Группа частных G/H, являющаяся циклической простого порядка Представители смежных классов и запись элементов как aⁱbʲ Классификация с точностью до изоморфизма (Z/p²Z против Z/pZ × Z/pZ) Связь с четырехгруппой Клейна при p = 2 Главы: 0:00 Настройка и четырехгруппа Клейна обратный вызов 1:06 Формулировка теоремы: p — простое число, |G| = p² 2:53 Лагранж и возможные порядки элементов 3:49 Случай 1: элемент порядка p² делает G циклическим 6:02 Случай 2: каждый нетождественный элемент имеет порядок p 7:02 Построение H и доказательство его нормальности 10:26 Сопряжение и поиск показателя k 16:31 Малая теорема Ферма заставляет k = 1 19:24 A и B коммутируют, теперь распространим на всю G 23:50 Произвольные x и y: полное доказательство абелевых групп 27:58 Классификация и связь с четвертой группой Клейна #Dogmathic #GroupTheory #AbstractAlgebra #AbelianGroups #Lagrange