Omomorfismo

morfismo tra due strutture algebriche dello stesso tipo
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:

Definizione modifica

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.

Classificazione modifica

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 correlate modifica

Collegamenti esterni modifica

Controllo di autoritàLCCN (ENsh85061771 · GND (DE4160602-4 · J9U (ENHE987007565420605171
  Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica