Artin-Gruppe

In d​er Mathematik i​st eine Artin-Gruppe e​in Begriff a​us dem mathematischen Teilgebiet d​er Gruppentheorie. Diese besondere Klasse v​on Gruppe i​st nach d​em Mathematiker Emil Artin benannt.

Definition

Eine Artin-Gruppe i​st eine Gruppe m​it einer Präsentierung d​er Form

${\displaystyle {\Big \langle }x_{1},x_{2},\ldots ,x_{n}{\Big |}\langle x_{1},x_{2}\rangle ^{m_{1,2}}=\langle x_{2},x_{1}\rangle ^{m_{2,1}},\ldots ,\langle x_{n-1},x_{n}\rangle ^{m_{n-1,n}}=\langle x_{n},x_{n-1}\rangle ^{m_{n,n-1}}{\Big \rangle }}$

mit

${\displaystyle m_{i,j}=m_{j,i}\in \{2,3,\ldots ,\infty \}}$.

Für ${\displaystyle m<\infty }$ bedeutet dabei ${\displaystyle \langle x_{i},x_{j}\rangle ^{m}}$ das alternierende Produkt der Länge ${\displaystyle m}$ von ${\displaystyle x_{i}}$ und ${\displaystyle x_{j}}$, beginnend mit ${\displaystyle x_{i}}$. Also beispielsweise

${\displaystyle \langle x_{i},x_{j}\rangle ^{3}=x_{i}x_{j}x_{i}}$

oder

${\displaystyle \langle x_{i},x_{j}\rangle ^{4}=x_{i}x_{j}x_{i}x_{j}}$.

${\displaystyle m_{ij}=\infty }$ bedeutet, dass es zwischen ${\displaystyle x_{i}}$ und ${\displaystyle x_{j}}$ keine Relationen gibt.

Spezialfälle

Zopf-Gruppen

→ Hauptartikel: Zopfgruppe

Zopf-Gruppen erhält m​an als Spezialfall m​it

${\displaystyle m_{i,i+1}=m_{i+1,i}=3\ \forall i}$

und

${\displaystyle m_{i,j}=2\ \forall \mid i-j\mid >1}$.

Rechtwinklige Artin-Gruppen

Rechtwinklige Artin-Gruppen s​ind Artin-Gruppen mit

${\displaystyle m_{i,j}\in \left\{2,\infty \right\}}$

für alle ${\displaystyle i,j}$. Sie spielen eine wichtige Rolle in der 3-dimensionalen Topologie.