„Samhverfisgrúpa marghyrninga“: Munur á milli breytinga

Við skilgreinum <math>\alpha_x</math> sem snúning ''n''-hilða marghyrning um <math>2 \frac{\pi x}{n}</math> radíana um miðju, og <math>\beta_x</math> sem speglun um línu sem snúið hefur verið <math>\frac{\pi x}{n}</math> radíana um miðju. Með þessu fær maður eftirfarandi jöfnurjafngildi:

:<math> \alpha_i \alpha_j =\equiv \alpha_{i+j \bmod n} </math>

:<math> \alpha_i \beta_j =\equiv \beta_{j-i+j \bmod n} </math>

:<math> \beta_i \alpha_j =\equiv \beta_{i+-j \bmod n} </math>

:<math> \beta_i \beta_j =\equiv \alpha_{i-j \bmod n} </math>