Группы, косоды и фактор-отображения
Введено| English | Значение |
|---|---|
| coset/ˈkɒset/ | класс вычетов |
| normal subgroup/ˈnɔːml ˈsʌbɡruːp/ | нормальная подгруппа |
Решение перед ответом
- Двенадцать часовых позиций можно сгруппировать в три класса, не теряя правила сложения часов. Какие позиции должны стать эквивалентными?
- Ваша цель: Проверить групповую структуру и вычислить порядки элементов и индексы подгрупп.
Прочитайте соотношение
- Перед вычислением порядка проверьте замкнутость, ассоциативность, наличие единичного элемента и обратного элемента для каждого элемента относительно указанной операции. Подмножество может унаследовать ассоциативность, но потерять замкнутость или опустить единичный элемент. В конечной группе порядок элемента — это наименьшая положительная степень, дающая единичный элемент. В аддитивной группе Z/nZ это наименьшее положительное кратное, дающее ноль; порядок остатка a равен n/gcd(a,n). Теорема Лагранжа гласит, что порядки подгрупп делят порядок группы. Обратное утверждение не является общей теоремой существования, и порядок группы не равен порядку каждого элемента.
- Используйте ядра и образы для идентификации фактор-групп.
What is the order of 8 in the additive group Z/20Z?
Difficulty 1/5 · 100 coins + a small bonus on first completion today
The least positive k with 8k divisible by 20 is 5; equivalently 20/gcd(8,20)=5.
Используйте определяющее правило
- Левый класс вычета gH — это сдвиг подгруппы H. Классы вычета имеют одинаковый размер и разбивают группу, поэтому индекс равен |G|/|H| в конечной группе. В аддитивной группе записывается g+H. Принадлежность одному и тому же классу вычета означает, что их разность лежит в H. Класс вычета обычно не является подгруппой, так как может не содержать единичный элемент.
- Различайте нормальные подгруппы и произвольные подгруппы.
A homomorphism from a finite group of order 30 has kernel of order 5. How many elements are in its image?
Difficulty 1/5 · 100 coins + a small bonus on first completion today
Fibres are kernel cosets of size 5, so the image has 30/5=6 elements regardless of the codomain size.
Проверьте условия
- Гомоморфизм сохраняет операцию. Его ядро состоит из элементов, отображаемых в единицу, а образ — из значений, которые действительно достигаются. Каждое ядро является нормальной подгруппой. Первая теорема об изоморфизме устанавливает соответствие G/ker(phi) и im(phi); не заменяйте образ на весь кодомен, если отображение не является сюръективным.
- Классифицируйте перестановочную сопряженность по типу циклов.
Определите phi из Z/12Z в Z/3Z путем приведения остатков по модулю 3. Оно сюръективно и сохраняет сложение. Его ядро H равно {0,3,6,9}, поэтому |H|=4, а индекс составляет 12/4=3. Остальные классы вычета: {1,4,7,10} и {2,5,8,11}. Таким образом, (Z/12Z)/H изоморфно Z/3Z. Элемент 3 в исходной группе имеет порядок 12/gcd(3,12)=4, а не 3.
The permutation (1 2 3)(4 5) has order ____.
Difficulty 1/5 · 100 coins + a small bonus on first completion today
Disjoint cycles require a multiple of both 3 and 2 steps; lcm(3,2)=6.
Применяйте формат задания
- Факторное умножение корректно определено только тогда, когда H является нормальной подгруппой. Все подгруппы абелевой группы являются нормальными. В неабелевой группе проверьте условие gHg^−1=H; подгруппа индекса два является нормальной. Для перестановок применяйте композицию в указанном порядке: справа налево. Длины непересекающихся циклов определяют порядок перестановки через их наименьшее общее кратное. Сопряжение hσh⁻¹ переименовывает элементы в циклах σ, сохраняя их длины; наоборот, перестановки с одинаковыми длинами циклов могут быть связаны переименованием. Таким образом, классы сопряженности в S_n соответствуют разбиениям n, включая фиксированные точки. В S4 типы: 1+1+1+1, 2+1+1, 2+2, 3+1 и 4: пять классов, а не один класс для каждого возможного порядка элемента. Типы 2+1+1 и 2+2 оба имеют порядок два, но не являются сопряженными.
- Классифицируйте перестановочную сопряженность по типу циклов.
В факторгруппе один элемент соответствует одному классу вычета, а не одному элементу её ядра. Гомоморфизм не обязательно является сюръективным на указанный кодомен.
Какой ответ подходит к данному случаю?
Проверять структуру группы, вычислять порядки элементов и индексы подгрупп
Every subgroup of a nonabelian group is normal.
Difficulty 1/5 · 100 coins + a small bonus on first completion today
In S3, conjugating the subgroup {identity,(1 2)} by (1 2 3) gives {identity,(2 3)}, a different subgroup.
Сохраняйте различия
- класс вычета — Сдвиг подгруппы, составляющий одну часть разбиения на классы вычета.
- нормальная подгруппа — Подгруппа, инвариантная относительно сопряжения каждым элементом группы.
- Проверьте структуру группы и вычислите порядки элементов и индексы подгрупп.
- Используйте ядра и образы для идентификации фактор-групп.
- Различайте нормальные подгруппы и произвольные подгруппы.
- Классифицируйте перестановочную сопряженность по типу циклов.
Match each term with its precise meaning in this lesson.
Difficulty 2/5 · 140 coins + a small bonus on first completion today
Keep the distinctions stated in the teaching example.
Put this lesson’s reasoning or event sequence in order.
Difficulty 3/5 · 200 coins + a small bonus on first completion today
The order follows the stated process; check each stage before the next.