6.1

Примеры групп и общая теория

[13/92%]
Показать
LaTeX
Задача 6.1.1

Пусть GG — совокупность вещественных матриц 2×22\times 2 с ненулевым определителем. Определим произведение двух элементов из GG как обычное матричное произведение.

?
(1)

Покажите, что GG является группой.

(2)

Найдите центр ZZ группы GG; то есть множество всех элементов zz из GG таких, что az=zaaz = za для всех aGa \in G.

(3)

Покажите, что множество OO вещественных ортогональных матриц является подгруппой GG (матрица ортогональна, если AAt=IAA^{t} = I, где AtA^{t} обозначает транспонирование AA). Приведите пример, показывающий, что OO не является нормальной подгруппой.

(4)

Найдите нетривиальный гомоморфизм из GG на абелеву группу.

Задача 6.1.2

Пусть GG — множество вещественных матриц 3×33 \times 3 с нулями под диагональю и единицами на диагонали.

?
(1)

Докажите, что GG является группой относительно умножения матриц.

(2)

Определите центр GG.

Задача 6.1.3

Для каждого из следующих пунктов либо приведите пример, либо докажите, что такой пример невозможен.

?
(1)

Неабелева группа.

(2)

Конечная абелева группа, не являющаяся циклической.

(3)

Бесконечная группа с подгруппой индекса 5.

(4)

Две конечные группы одинакового порядка, не являющиеся изоморфными.

(5)

Группа GG с подгруппой HH, не являющейся нормальной.

(6)

Неабелева группа без нормальных подгрупп, кроме всей группы и единичного элемента.

(7)

Группа GG с нормальной подгруппой HH такой, что факторгруппа G/HG/H не изоморфна ни одной подгруппе GG.

(8)

Группа GG с подгруппой HH, имеющей индекс 2, но не являющейся нормальной.

Задача 6.1.4

Пусть RR — кольцо с мультипликативной единицей 1. Назовём xRx \in R обратимым элементом, если xy=yx=1xy = yx = 1 для некоторого yRy \in R. Пусть G(R)G(R) обозначает множество обратимых элементов.

?
(1)

Докажите, что G(R)G(R) — мультипликативная группа.

(2)

Пусть RR — кольцо комплексных чисел a+bia+bi, где aa и bb — целые числа. Докажите, что G(R)G(R) изоморфна Z4\mathbb {Z}_{4} (аддитивной группе целых чисел по модулю 4).

Задача 6.1.5

В треугольной сети в R2\mathbb {R}^{2}, изображённой ниже, точки P0,P1,P2P_{0}, P_{1}, P_{2} и P3P_{3} — это соответственно (0,0),(1,0),(0,1)(0,0), (1,0), (0,1) и (1,1)(1,1). Опишите структуру группы всех евклидовых преобразований R2\mathbb {R}^{2}, оставляющих эту сеть инвариантной.

 {#fig-1 width="50%"}

?
Задача 6.1.6

Образует ли множество G={aRa>0,a1}G = \{ a \in \mathbb {R} \mid a > 0, a \neq 1\} группу относительно операции ab=alogba * b = a^{\log b}?

?
Задача 6.1.7

Пусть GG — конечная группа. Классом сопряжённости называется множество вида

C(a)={bab1bG} C(a) = \{ bab^{-1} \mid b \in G\}

для некоторого aGa \in G.

?
(1)

Докажите, что число элементов в классе сопряжённости делит порядок GG.

(2)

Все ли классы сопряжённости имеют одинаковое число элементов?

(3)

Если GG имеет ровно два класса сопряжённости, докажите, что GG имеет порядок 2.

Задача 6.1.8

Пусть GG — конечная нетривиальная группа со следующим свойством: для любых двух элементов aa и bb из GG, отличных от единицы, существует элемент cc из GG такой, что b=c1acb = c^{-1}ac. Докажите, что GG имеет порядок 2.

?
Задача 6.1.9

Пусть GG — конечная группа с единицей ee. Предположим, что для всех a,bGa, b \in G, отличных от ee, существует автоморфизм σ\sigma группы GG такой, что σ(a)=b\sigma (a) = b. Докажите, что GG абелева.

?
Задача 6.1.10

Для pp-группы порядка p4p^{4} предположим, что центр GG имеет порядок p2p^{2}. Определите число классов сопряжённости GG.

?
Задача 6.1.11

В коммутативной группе GG пусть элемент aa имеет порядок rr, пусть bb имеет порядок ss (r,s<r, s < \infty), и предположим, что наибольший общий делитель rr и ss равен 1. Покажите, что abab имеет порядок rsrs.

?
Задача 6.1.12

Пусть GG — группа. Для любого подмножества XX группы GG определим его централизатор C(X)C(X) как {yGxy=yx, для всех xX}\{ y \in G \mid xy = yx, \text{ для всех } x \in X\}. Докажите следующее:

?
(1)

Если XYX \subset Y, то C(Y)C(X)C(Y) \subset C(X).

(2)

XC(C(X))X \subset C(C(X)).

(3)

C(X)=C(C(C(X)))C(X) = C(C(C(X))).

Задача 6.1.13

Пусть DD — группа порядка 2n2n, где nn нечётно, с подгруппой HH порядка nn, удовлетворяющей xhx1=h1xhx^{-1} = h^{-1} для всех hh из HH и всех xx из DHD \setminus H. Докажите, что HH коммутативна и что каждый элемент DHD \setminus H имеет порядок 2.

?