Apri il menu principale
Nota disambigua.svg Disambiguazione – Se stai cercando la nozione di omeomorfismo in topologia, vedi Omeomorfismo.

In algebra astratta, un omomorfismo è un'applicazione tra due 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 insiemi con una singola operazione binaria (un magma), la funzione è un omomorfismo se vale

per ogni coppia , di elementi di , dove e sono le operazioni binarie di e rispettivamente.

Ogni tipo di struttura algebrica ha i suoi specifici omomorfismi:

DefinizioneModifica

Una definizione rigorosa generale di omomorfismo può essere data nel modo seguente:

Siano   e   due strutture algebriche dello stesso tipo. Una funzione   è un omomorfismo se, per ogni operazione   (su n elementi) delle strutture e per ogni n-upla   di   si ha:

 

dove   e   rappresentano l'operazione   nelle strutture   e   rispettivamente.

ClassificazioneModifica

In algebra astratta:

Se in particolare A e B coincidono:

Notare che dei concetti di monomorfismo e epimorfismo, in teoria delle categorie, vengono date delle definizioni più deboli.

Voci correlateModifica

Controllo di autoritàGND (DE4160602-4
  Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica