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