Примеры групп и общая теория
[13/92%]Пусть — совокупность вещественных матриц с ненулевым определителем. Определим произведение двух элементов из как обычное матричное произведение.
Покажите, что является группой.
Найдите центр группы ; то есть множество всех элементов из таких, что для всех .
Покажите, что множество вещественных ортогональных матриц является подгруппой (матрица ортогональна, если , где обозначает транспонирование ). Приведите пример, показывающий, что не является нормальной подгруппой.
Найдите нетривиальный гомоморфизм из на абелеву группу.
Пусть — множество вещественных матриц с нулями под диагональю и единицами на диагонали.
Докажите, что является группой относительно умножения матриц.
Определите центр .
Для каждого из следующих пунктов либо приведите пример, либо докажите, что такой пример невозможен.
Неабелева группа.
Конечная абелева группа, не являющаяся циклической.
Бесконечная группа с подгруппой индекса 5.
Две конечные группы одинакового порядка, не являющиеся изоморфными.
Группа с подгруппой , не являющейся нормальной.
Неабелева группа без нормальных подгрупп, кроме всей группы и единичного элемента.
Группа с нормальной подгруппой такой, что факторгруппа не изоморфна ни одной подгруппе .
Группа с подгруппой , имеющей индекс 2, но не являющейся нормальной.
Пусть — кольцо с мультипликативной единицей 1. Назовём обратимым элементом, если для некоторого . Пусть обозначает множество обратимых элементов.
Докажите, что — мультипликативная группа.
Пусть — кольцо комплексных чисел , где и — целые числа. Докажите, что изоморфна (аддитивной группе целых чисел по модулю 4).
В треугольной сети в , изображённой ниже, точки и — это соответственно и . Опишите структуру группы всех евклидовых преобразований , оставляющих эту сеть инвариантной.
{#fig-1 width="50%"}
Образует ли множество группу относительно операции ?
Пусть — конечная группа. Классом сопряжённости называется множество вида
для некоторого .
Докажите, что число элементов в классе сопряжённости делит порядок .
Все ли классы сопряжённости имеют одинаковое число элементов?
Если имеет ровно два класса сопряжённости, докажите, что имеет порядок 2.
Пусть — конечная нетривиальная группа со следующим свойством: для любых двух элементов и из , отличных от единицы, существует элемент из такой, что . Докажите, что имеет порядок 2.
Пусть — конечная группа с единицей . Предположим, что для всех , отличных от , существует автоморфизм группы такой, что . Докажите, что абелева.
Для -группы порядка предположим, что центр имеет порядок . Определите число классов сопряжённости .
В коммутативной группе пусть элемент имеет порядок , пусть имеет порядок (), и предположим, что наибольший общий делитель и равен 1. Покажите, что имеет порядок .
Пусть — группа. Для любого подмножества группы определим его централизатор как . Докажите следующее:
Если , то .
.
.
Пусть — группа порядка , где нечётно, с подгруппой порядка , удовлетворяющей для всех из и всех из . Докажите, что коммутативна и что каждый элемент имеет порядок 2.