Omomorfismo

Disambiguazione – Se stai cercando la nozione di omeomorfismo in topologia, vedi Omeomorfismo.

Questa voce o sezione sull'argomento matematica non cita le fonti necessarie o quelle presenti sono insufficienti.

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 ${\displaystyle \varphi :\ A\ \to \ B}$ è un omomorfismo se vale

${\displaystyle \varphi \left(u*v\right)=\varphi \left(u\right)\#\varphi \left(v\right)}$

per ogni coppia ${\displaystyle u}$, ${\displaystyle v}$ di elementi di ${\displaystyle A}$, dove ${\displaystyle *\!\ }$ e ${\displaystyle \#}$ sono le operazioni binarie di ${\displaystyle A}$ e ${\displaystyle B}$ rispettivamente.

Ogni tipo di struttura algebrica ha i suoi specifici omomorfismi:

• Omomorfismo di gruppi
• Omomorfismo di anelli
• Applicazione lineare (omomorfismo tra spazi vettoriali)
• Omomorfismo di algebre

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

Siano ${\displaystyle A}$ e ${\displaystyle B}$ due strutture algebriche dello stesso tipo. Una funzione ${\displaystyle \phi :A\to B}$ è un omomorfismo se, per ogni operazione ${\displaystyle f}$ (su n elementi) delle strutture e per ogni n-upla ${\displaystyle x_{1},\dots ,x_{n}}$ di ${\displaystyle A}$ si ha:

${\displaystyle \phi (f_{A}(x_{1},\dots ,x_{n}))=f_{B}(\phi (x_{1}),\dots ,\phi (x_{n}))}$

dove ${\displaystyle f_{A}}$ e ${\displaystyle f_{B}}$ rappresentano l'operazione ${\displaystyle f}$ nelle strutture ${\displaystyle A}$ e ${\displaystyle B}$ rispettivamente.

In algebra astratta:

• Si chiama monomorfismo ogni omomorfismo iniettivo;
• Si chiama epimorfismo ogni omomorfismo suriettivo;
• Si chiama isomorfismo ogni omomorfismo biiettivo.

Se in particolare A e B coincidono:

• Si chiama endomorfismo della struttura A ogni omomorfismo di A in sé stesso;
• Si chiama automorfismo della struttura A ogni isomorfismo di A in sé stesso.

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

• Morfismo
• Algebra astratta
• Struttura algebrica
• Quasi omomorfismo
• Crittografia omomorfica

• omomorfismo, su Treccani.it – Enciclopedie on line, Istituto dell'Enciclopedia Italiana.
• omomorfismo, in Dizionario delle scienze fisiche, Istituto dell'Enciclopedia Italiana, 1996.
• omomorfismo, in Enciclopedia della Matematica, Istituto dell'Enciclopedia Italiana, 2013.
• (EN) homomorphism, su Enciclopedia Britannica, Encyclopædia Britannica, Inc.
• (EN) Eric W. Weisstein, Omomorfismo, su MathWorld, Wolfram Research.
• (EN) Homomorphism, su Encyclopaedia of Mathematics, Springer e European Mathematical Society.

Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica