User:NqcRz/Notes1

Группа	Задание	Пояснения
Свободная группа на S	$\langle S\mid \varnothing \rangle$	Свободная группа «свободна» в том смысле, что она не ограничивается никакими соотношениями.
Zn — циклическая группа порядка n	$\langle a\mid a^{n}\rangle$
Dn — группа диэдра порядка 2n	$\langle r,s\mid r^{n}=1,s^{2}=1,s^{-1}rs=r^{-1}\rangle$ или $\langle x,y\mid x^{n}=y^{2}=(xy)^{2}=1\rangle$	r обозначает поворот, s — симметрию
D∞ — бесконечная диэдральная группа	$\langle r,s\mid s^{2},(rs)^{2}\rangle$
Группа кватернионов Q8	$\langle -1,i,j,k\mid (-1)^{2}=1,\;i^{2}=j^{2}=k^{2}=ijk=-1\rangle$ или $\langle x,y\mid x^{4}=1,x^{2}=y^{2},y^{-1}xy=x^{-1}\rangle$
Обобщённая группа кватернионов Q4n	$\langle x,y\mid x^{2n}=y^{4}=1,x^{n}=y^{2},y^{-1}xy=x^{-1}\rangle .$
свободная абелева группа на S	$\langle S\mid R\rangle$	R — множество всех коммутаторов элементов S
Симметрическая группа Sn	$\langle \sigma _{1},\sigma _{2},\dots ,\sigma _{n-1}|\sigma _{i}^{2},\sigma _{i}\sigma _{i+1}\sigma _{i}=\sigma _{i+1}\sigma _{i}\sigma _{i+1},\sigma _{i}\sigma _{j}=\sigma _{j}\sigma _{i}\ {\text{if}}\ |i-j|>1\rangle$ или $\langle \sigma _{1},\sigma _{2},\dots ,\sigma _{n-1}|\sigma _{i}^{2},(\sigma _{i}\sigma _{i+1})^{3},\sigma _{i}\sigma _{j}=\sigma _{j}\sigma _{i}\ {\text{if}}\ |i-j|>1\rangle$	σi — транспозиция, меняющая местами i-й элемент с i+1-м.
Группа кос Bn	$\langle \sigma _{1},\sigma _{2},\dots ,\sigma _{n-1}|\sigma _{i}\sigma _{i+1}\sigma _{i}=\sigma _{i+1}\sigma _{i}\sigma _{i+1},\sigma _{i}\sigma _{j}=\sigma _{j}\sigma _{i}\ {\text{if}}\ |i-j|>1\rangle$	Единственное отличие от симметрической группы — исчезновение соотношений $\sigma _{i}^{2}=1$.
Знакопеременная группа An	$\langle s_{3},...,s_{n}|(s_{i})^{3}=1,(s_{i}s_{j})^{2}=1(3\leqslant i\neq j\leqslant n)\rangle$	$s_{i}\to (12i)$
Группа вращений тетраэдра, T ≅ A4	$\langle s,t\mid s^{2},t^{3},(st)^{3}\rangle$
Группа вращений октаэдра, O ≅ S4	$\langle s,t\mid s^{2},t^{3},(st)^{4}\rangle$
Группа вращений икосаэдра, I ≅ A5	$\langle s,t\mid s^{2},t^{3},(st)^{5}\rangle$
Группа Коксетера	$\langle r_{1},r_{2},\ldots ,r_{n}\mid (r_{i}r_{j})^{m_{ij}}=1\rangle$	rn — отражения в гранях многогранника, $m_{ii}=1$ и $m_{ij}\geqslant 2$ при $i\neq j$, $m_{ij}=\infty$ — если грани не образуют двугранного угла в многограннике
Группа треугольника Δ(l,m,n)	$\langle a,b,c\mid a^{2}=b^{2}=c^{2}=(ab)^{l}=(bc)^{n}=(ca)^{m}=1\rangle$	a, b, c — отражения
Z × Z	$\langle x,y\mid xy=yx\rangle$
Z/mZ × Z/nZ	$\langle x,y\mid x^{m},y^{n},xy=yx\rangle$
SL(2, Z)	$\langle a,b\mid aba=bab,(aba)^{4}\rangle$
GL(2, Z)	$\langle a,b,j\mid aba=bab,(aba)^{4},j^{2},(ja)^{2},(jb)^{2}\rangle$
Модулярная группа PSL(2, Z)	$\langle a,b\mid a^{2},b^{3}\rangle$	PSL(2, Z) — свободное произведение Z/2Z и Z/3Z
Группа Титса F4(2)	$\langle a,b\mid a^{2}=b^{3}=(ab)^{13}=[a,b]^{5}=[a,bab]^{4}=(ababababab^{-1})^{6}=1\rangle$	[a, b] — коммутатор