Gruppo quoziente
Sia G un gruppo e sia R una relazione di equivalenza su G, compatibile

Sia G un gruppo e sia R una relazione di equivalenza su G, compatibile

con il prodotto di G, cioè tale che, se aRa1 e bRb1, allora abRa1b1.
L'insieme delle classi di equivalenza di
R, con il prodotto definito da:

                                             [a] * [b] = [ab]

è un gruppo, detto gruppo quoziente, e denotato con G/R. L'elemento

neutro di G/R è [1], e per ogni [a] in G/R l'inverso di [a] è [a -1].




torna al
glossario