Omomorfismo: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
Nessun oggetto della modifica |
|||
Riga 24:
Siano <math>A</math> e <math>B</math> due strutture algebriche dello stesso tipo. Una funzione <math>\phi : A \to B</math> è un omomorfismo se, per ogni operazione <math>f</math> e <math>B</math> (su ''n'' elementi) delle strutture e per ogni ''n''-upla <math>x_1,\dots,x_n</math> di <math>A</math> si ha:
:<math>\phi(f_A(x_1,\dots,x_n)) = f_B(\phi(x_1),\dots,\phi(x_n))</math>
dove <math>f_A</math> e <math>f_B</math> rappresentano l'operazione <math>f</math> nelle strutture <math>A</math> e <math>B</math> rispettivamente.
| |||