Omomorfismo: differenze tra le versioni

Contenuto cancellato Contenuto aggiunto
Nessun oggetto della modifica
wlink
Riga 3:
In [[algebra astratta]], un '''omomorfismo''' è un'[[funzione (matematica)|applicazione]] tra due [[struttura algebrica|strutture algebriche]] dello stesso tipo che conserva le operazioni in esse definite. Questo oggetto, calato nel contesto più astratto della [[teoria delle categorie]], prende il nome di [[morfismo]].
 
Ad esempio, considerando [[insieme (insiemistica)|insiemi]] con una singola [[operazione binaria]] (un [[magma (matematica)|magma]]), la funzione <math>\varphi :\ A \ \to \ B</math> è un omomorfismo se vale
 
:<math>\varphi \left( u * v \right) = \varphi \left( u \right) \# \varphi \left( v \right)</math>