Gruppo triangolare
# 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 \left({\frac {1}{l}}+{\frac {1}{m}}+{\frac {1}{n}}\right).$

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

    $\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:

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

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$.

