Gruppo triangolare

In algebra un gruppo triangolare è un gruppo generato dalle riflessioni lungo i lati di un triangolo con angoli

$\frac{\pi }{l},\frac{\pi }{m},\frac{\pi }{n}.$

Il triangolo è contenuto nel piano euclideo, nel piano iperbolico o nella sfera a seconda che la somma degli angoli interni sia uguale, minore o maggiore di $\pi$. Il gruppo triangolare è anche il gruppo di simmetrie della tassellazione del piano corrispondente.

Un gruppo triangolare è un particolare gruppo di Coxeter.

Definizione

Siano $l,m,n$ tre numeri interi maggiori o uguali a 2. Sia $T$ un triangolo avente angoli interni

$\frac{\pi }{l},\frac{\pi }{m},\frac{\pi }{n}.$

La somma degli angoli interni è

$\pi \cdot (\frac{1}{l}+\frac{1}{m}+\frac{1}{n}).$

In geometria euclidea un tale triangolo esiste soltanto se la somma degli angoli interni è $\pi$, e cioè se

$\frac{1}{l}+\frac{1}{m}+\frac{1}{n}=1.$

Se la somma degli angoli interni è maggiore o minore di $\pi$, un tale triangolo esiste nelle altre due geometrie non euclidee più importanti, e cioè la geometria sferica e la geometria iperbolica. Le figure seguenti mostrano un triangolo sferico (in cui la somma degli angoli interni $\alpha +\beta +\gamma$ è maggiore di $\pi$) e un triangolo iperbolico (in cui è minore di $\pi$):

Triangolo sferico

Triangolo iperbolico

Il gruppo triangolare

$\mathrm{\Delta }(l,m,n)$

è il gruppo di simmetrie del piano (euclideo, sferico o iperbolico) generato dalle tre riflessioni lungo i tre lati del triangolo. Indicando con $a,b,c$ queste riflessioni, il gruppo triangolare ha la seguente presentazione:

$⟨a,b,c|a^2=b^2=c^2=(ab{)}^n=(bc{)}^l=(ca{)}^m=1⟩.$

Le relazioni $a^2=b^2=c^2=1$ sono dovute al fatto che una riflessione ha ordine 2, mentre le relazioni $(ab{)}^n=(bc{)}^l=(ca{)}^m=1$ sono conseguenza del fatto che la composizione $ab$ è una rotazione di angolo $2\pi /n$ attorno al vertice avente angolo $\pi /n$ ed ha quindi ordine $n$.

Voci correlate

• Gruppo di Coxeter

Collegamenti esterni

• Template:Collegamenti esterni