Omomorfismo
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
modificaUna 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. Va data particolare attenzione al fatto che e rappresentano delle operazioni in un senso ampio del termine. Nello specifico, se una struttura algebrica è dotata di particolari elementi (per esempio unità o zeri), tali elementi devono essere interpretati come funzioni costanti su zero elementi; per cui se, per esempio, e fossero le unità delle rispettive strutture, allora deve valere che .
Classificazione
modificaIn 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.
Voci correlate
modificaCollegamenti esterni
modifica- 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, Homomorphism, su MathWorld, Wolfram Research.
- (EN) Homomorphism, su Encyclopaedia of Mathematics, Springer e European Mathematical Society.
Controllo di autorità | LCCN (EN) sh85061771 · GND (DE) 4160602-4 · J9U (EN, HE) 987007565420605171 |
---|