1.2

Дополнительные задачи

[8/0%]
LaTeX
Задача 1.103

Пусть A,BA, B -- матрицы 3×33 \times 3 над R\mathbb {R}. Определим композицию

A∙B:=A+B−2AB. A \bullet B := A+B-2AB .

Определяет ли эта композиция группу? Нейтральный элемент -- 030_{3}.

?
Задача 1.104

Рассмотрим множество

G={(a,b)∈R2:−∞<a<∞, 0≤b<2π}. G = \left\{ (a,b) \in \mathbb {R}^{2} : -\infty < a < \infty , \ 0 \leq b < 2\pi \right\} .

Определим композицию (a,b)∙(c,d):=(ac,(b+d) mod 2π)(a,b) \bullet (c,d) := (ac, (b+d) \bmod 2\pi ). Покажите, что эта композиция определяет группу.

?
Задача 1.105

Пусть m∈Zm \in \mathbb {Z}, m≥2m \geq 2, и пусть G(m)G(m) -- группа матриц 2×22 \times 2 с определителем ±1\pm 1 и элементами из кольца Z/mZ\mathbb {Z}/m\mathbb {Z}, т.е.

G(m):={(a11a12a21a22):a11,a12,a21,a22∈Z/mZ, ∣a11a22−a12a21∣=1}. G(m) := \left\{ \begin{pmatrix} a_{11} & a_{12} \\ a_{21} & a_{22} \end{pmatrix} : a_{11},a_{12},a_{21},a_{22} \in \mathbb {Z}/m\mathbb {Z}, \ \left|a_{11}a_{22}-a_{12}a_{21}\right|=1\right\} .

Покажите, что множество G(m)G(m) образует конечную группу относительно умножения матриц.

?
Задача 1.106

Покажите, что существует только одна группа порядка три. Коммутативна ли группа? Изоморфна ли группа некоторой подгруппе группы S3S_{3}?

?
Задача 1.107

Пусть ϕ:G→H\phi : G \rightarrow H -- гомоморфизм между группами GG и HH. Покажите, что ker⁡(ϕ)\ker (\phi ) -- нормальная подгруппа группы GG.

?
Задача 1.108

Пусть α,β,ϕ∈R\alpha , \beta , \phi \in \mathbb {R} и α,β≠0\alpha , \beta \neq 0. Рассмотрим матрицы

A(α,β,ϕ)=(αcos⁡ϕ−βsin⁡ϕβ−1sin⁡ϕα−1cos⁡ϕ). A(\alpha ,\beta ,\phi ) = \begin{pmatrix} \alpha \cos \phi & -\beta \sin \phi \\ \beta ^{-1}\sin \phi & \alpha ^{-1}\cos \phi \end{pmatrix} .

Образуют ли эти матрицы группу относительно умножения матриц?

?
Задача 1.109

Пусть SnS_{n} -- группа всех перестановок nn объектов. Покажите, что каждая конечная группа изоморфна некоторой группе перестановок.

?
Задача 1.110

Пусть GG -- группа. Автоморфизм группы GG -- это изоморфизм, отображающий GG на себя. Покажите, что множество Aut⁡(G)\operatorname {Aut}(G) автоморфизмов группы GG образует группу относительно операции композиции автоморфизмов.

?