Homomorfismo

Na el algebra, un **homomorfismo** es un mapa, que ta preserva con el estructura, entre dos maga algebraico estructura del mismo tipo (como dos maga grupo, dos maga anillo o dos maga vectorial espacio). Ta proveni el termino *homomorfismo* del antiguo griego: ὁμός *homós* que ta significa "mismo", y μορφή *morphḗ* que ta significa "forma, figura". Sin embargo, aparentemente introducio el palabra na el matematica por un error de traduccion, del aleman *ähnlich* "similar" (cognao con el ingles *alike*) para ὁμός "mismo". Ya aparece el termino "homomorfismo" tan temprano como 1892, cuando atribuio este al aleman matematico si Felix Klein (1849–1925).

Tambien conocio el maga homomorfismo de maga vectorial espacio como maga lineal aplicacion, y el de suyo estudio es el tema del lineal algebra.

Generalizao el concepto del homomorfismo, bajo el nombre de morfismo, a manada otro estructura que (a) hinde ta tene con un subyacente conjunto, o (b) hinde algebraico. Este generalizacion es el punto de partida del teoria de maga categoria.

Un homomorfismo puede tambien un isomorfismo, un endomorfismo, un automorfismo, etc. (mira mas abajo). Cada uno de ellos definible na un manera generalizable a cualquier clase de maga morfismo.

## Definicion
Un homomorfismo es un mapa entre dos maga algebraico estructura del mismo tipo (es deci, del mismo nombre), que ta preserva con el maga operacion del maga estructura. Ta significa esto con un mapa f: A \to B entre dos maga conjunto A, B, equipao con el mismo estructura de tal manera que, si \cdot es un operacion del estructura (asumio aqui, para el simplicidad, como un binario operacion), entonces
:f(x\cdot y)=f(x)\cdot f(y)
para cada par x, y de maga elemento de A. Na manada situacion ta deci kita que ta preserva f con el operacion, o que compatible f con el operacion.

Formalmente, ta preserva un mapa f: A\to B con un operacion \mu de aridad k, definio na A and B si
:f(\mu_A(a_1, \ldots, a_k)) = \mu_B(f(a_1), \ldots, f(a_k)), 
para todo maga elemento a_1, ..., a_k na A.

Na cuanto al maga operacion que debe preservao por un homomorfismo, ta inclui ellos con maga nulario operacion, es deci, maga constante. Na particular, cuando ta requeri el tipo de estructura con un neutro elemento, hay que mapea con el neutro elemento del primer estructura al correspondiente neutro elemento del segundo estructura.

Por ejemplo:
* Un homomorfismo de maga semigrupo es un mapa entre maga semigrupo que ta preserva con el operacion de semigrupo.
* Un homomorfismo de maga monoide es un mapa entre maga monoide que ta preserva con el operacion del monoide y ta mapea con el neutro elemento del primer monoide al del segundo monoide (el neutro elemento es un nulario operacion).
* Un homomorfismo de maga grupo es un mapa entre maga grupo que ta preserva con el operacion de grupo. Ta implica esto que ta mapea el homomorfismo de maga grupo con el neutro elemento del primer grupo al neutro elemento del segundo grupo, y ta mapea con el simetrico elemento del primer grupo al inverso del imagen de este elemento. Ansina un homomorfismo de maga semigrupo entre dos maga grupo es necesariamente un homomorfismo de maga grupo.
* Un homomorfismo de maga anillo es un mapa entre maga anillo que ta preserva con el adicion de maga anillo, el multiplicacion de maga anillo y el multiplicativo identidad. Na cuanto al preservacion del multiplicativo identidad, ta depende esto del definicion de *anillo* na uso. Si hinde preservao del multiplicativo identidad, ta tene uno con un homomorfismo de maga pseudoanillo.
* Un lineal aplicacion es un homomorfismo de maga vectorial espacio, es deci, un homomorfismo de maga grupo entre maga vectorial espacio que ta preserva con el estructura del abeliano grupo ademas del escalar multiplicacion.
* Un homomorfismo de maga modulo, tambien conocio como un lineal aplicacion entre maga modulo, definio similarmente.
* Un homomorfismo de maga algebra es un mapa que ta preserva con el maga operacion de algebra sobre un cuerpo.

Puede un algebraico estructura tene con mas de un operacion, y debe un homomorfismo preserva con cada operacion. Ansina si ta preserva un mapa con cuanto operacion lang, hinde un homomorfismo del estructura, sino un homomorfismo del estructura obtenio considerando solo con el maga preservao operacion (na otro maga palabra, un parcial homomorfismo). Por ejemplo, un mapa entre maga monoide que ta preserva con el operacion de monoide pero hinde el neutro elemento, hinde un homomorfismo de maga monoide, sino un homomorfismo de maga semigrupo lang, como definio mas arriba.

Hinde necesario que igual (meramente equivalente) el notacion para el maga operacion na el origen y el destino de un homomorfismo. Por ejemplo, ta forma el maga real numero con un grupo para adicion, y ta forma el maga positivo real numero con un grupo para multiplicacion. Ta satisface el exponencial funcion
:x\mapsto e^x
con
:e^{x+y} = e^xe^y,
ansina que es un homomorfismo entre este dos maga grupo. Ademas es un isomorfismo (mira mas abajo), ya que ta satisface el de suyo inverso funcion, el natural logaritmo, con
:\ln(xy)=\ln(x)+\ln(y), 
y es tambien un homomorfismo de dos maga grupo.

## Maga ejemplo

El maga real numero son un anillo, por tene con el adicion y el multiplicacion. El conjunto de todo el maga matriz 2×2 es un anillo tambien, bajo el matricial adicion y el matricial multiplicacion. Si ta defini kita con un funcion entre este dos maga anillo ansina:
:f(r) = \begin{pmatrix}
   r & 0 \\
   0 & r
\end{pmatrix}
donde  es un real numero, entonces  es un homomorfismo de maga anillo, ya que ta preserva  con el adicion:
:f(r+s) = \begin{pmatrix}
  r+s & 0 \\
   0 & r+s
\end{pmatrix} = \begin{pmatrix}
  r & 0 \\
   0 & r
\end{pmatrix} + \begin{pmatrix}
   s & 0 \\
   0 & s
\end{pmatrix} = f(r) + f(s)
ademas del multiplicacion:
:f(rs) = \begin{pmatrix}
  rs & 0 \\
   0 & rs
\end{pmatrix} = \begin{pmatrix}
   r & 0 \\
   0 & r
\end{pmatrix} \begin{pmatrix}
   s & 0 \\
   0 & s
\end{pmatrix} = f(r)\,f(s).

Para otro ejemplo, ta forma el maga complejo numero (distinto de cero) con un grupo bajo el operacion del multiplicacion, tal como el maga real numero (distinto de cero). (Hay que exclui con cero de ambo maga grupo porque ta carece cero de un multiplicativo inverso, requisito para el maga elemento de un grupo.) Ta defini kita con un funcion f, del maga complejo numero distinto de cero, al maga real numero distinto de cero, ansina:
:f(z) = |z| .
Es deci, f es el absoluto valor (o modulo) del complejo numero z. Entoncesf es un homomorfismo de maga grupo, ya que ta preserva ele con el multiplicacion:
:f(z_1 z_2) = |z_1 z_2| = |z_1| |z_2| = f(z_1) f(z_2).
Nota que hinde extensible  a un homomorfismo de maga anillo (del maga complejo numero al maga real numero), ya que hinde ta preserva ele con el adicion:
:|z_1 + z_2| \ne |z_1| + |z_2|.

Como otro ejemplo, ta mostra el diagrama mas arriba con un homomorfismo f de maga monoide, del monoide (\mathbb{N}, +, 0) al monoide (\mathbb{N}, \times, 1). Debio al maga diferente nombre del maga correspondiente operacion, na cuanto al mage propiedad del estructural preservacion satisfecho por f, ta equivale ellos a f(x+y) = f(x) \times f(y) and f(0) = 1.

Ta tene un algebra de composicion A sobre un cuerpo F con un cuadratico forma, llamao un *norma*, N: A \to F, cosa un homomorfismo de maga grupo del multiplicativo grupo de A al multiplicativo grupo de F.

## Maga especial homomorfismo
Ta tene manada tipo de maga homomorfismo, tambien definio para maga general morfismo.

### Isomorfismo
Un isomorfismo entre maga algebraico estructura del mismo tipo, comunmente definio como un biyectivo homomorfismo.

Na el mas general contexto del teoria de maga categoria, definio un isomorfismo como un morfismo que ta tene con un inverso funcion tambien un morfismo. Na el especifico caso de maga algebraico estructura, equivalente el dos maga definicion, masquen puede diferente para maga hinde algebraico estructura, que ta tene con un subyacente conjunto.

Mas precisamente, si
:f: A\to B
es un (homo)morfismo, ta tene ele con un inverso si hay un homomorfismo
:g: B\to A
tal que
:f\circ g = \operatorname{Id}_B \qquad \text{y} \qquad g\circ f = \operatorname{Id}_A.

Si ta tene A and B con maga subyacente conjunto, y ta tene f: A \to B con un inversg g, entonces biyectivo f. De hecho, inyectivo f, ya que ta implica f(x) = f(y) con x = g(f(x)) = g(f(y)) = y, y sobreyectivo f, ya que, para cualquier x na B, hay x = f(g(x)), y x es el imagen de un elemento de A.

Na cambio, si f: A \to B es a biyectivo homomorfismo entre maga algebraico estructura, g: B \to A es el mapa tal que g(y) es el distinto elemento x of A tal que f(x) = y. Ta tene uno con f \circ g = \operatorname{Id}_B \text{ y } g \circ f = \operatorname{Id}_A, y solo hay que demostra que  es un homomorfismo. Si * es un binario operacion del estructura, para cada par x, y de maga elemento de B, ta tene uno con
:g(x*_B y) = g(f(g(x))*_Bf(g(y))) = g(f(g(x)*_A g(y))) = g(x)*_A g(y),
ansina que compatible g con *. Debio a que similar el prueba para cualquiera aridad, ta demostra esto que g es un homomorfismo.

Hinde ta funciona este prueba para maga hinde algebraico estructura. Por ejemplo, para maga topologico espacio, un morfismo es un continuo mapa, y hinde necesariamente continuo el inverso de un biyectivo continuo mapa. Un isomorfismo de maga topologico espacio, llamao un homeomorfismo o un bicontinuo mapa, es ansina un biyectivo continuo mapa, cuyo inverso tambien continuo.

### Endomorfismo
Un endomorfismo es un homomorfismo cuyo dominio equivalente al codominio, o mas generalmente, un morfismo cuyo origen equivalente al de suyo destino.

Ta forma el maga endomorfismo de un algebraico estructura, o de un objeto de un categoria, con un monoide bajo composicion.

Ta forma el maga endomorfismo de un vectorial espacio o de un modulo con un anillo. En el caso de un vectorial espacio o un libre modulo de finito dimension, ta induci el eleccion de un base con un isomorfismo de maga anillo antre el anillo de maga endomorfismo y el anillo de maga cuadrao matriz del mismo dimension.

### Automorfismo
Un automorfismo es un endomorfismo que tambien es un isomorfismo.

Ta forma el maga automorfismo de un algebraico estructura, o de un objeto de un categoria, con un grupo bajo composicion, llamao el grupo de maga automorfismo del estructura.

Manada grupo que ya recibi con un nombre son maga grupo de maga automorfismo de algun algebraico estructura. Por ejemplo, el general lineal grupo \operatorname{GL}_n(k) es el grupo de maga automorfismo de un vectorial espacio de dimension n sobre un cuerpo k.

### Monomorfismo
Para maga algebraico estructura, tipicamente definio el maga monomorfismo como maya inyectivo homomorfismo.

Na el mas general contexto del teoria de maga categoria, definio un monomorfismo como un morfismo **[[cancelativo]] izquierda** morfismo. Ta significa esto que un (homo)morfismo es un monomorfismo si, para cualquier par g, h de maga morfismo de cualquier otro objeto C a A, entonces ta implica f \circ g = f \circ h con g = h.

Equivalente este dos maga definicion de *monomorfismo* para todo maga comun algebraico estructura. Mas precisamente, equivalente ellos para maga cuerpo, para el maga cual cada homomorfismo un monomorfismo, y para maga variedad de universal algebra, es deci, maga algebraico estructura para el que definio el maga operacion y el maga axioma (maga identidad) sin cualquier restriccion (hinde ta forma el maga cuerpo con un variedad, ya que definio el multiplicativo inverso o como un unario operacion o como un propiedad del multiplicacion, que na ambo maga caso, definio para elemento hinde cero lang).

Na particular, equivalente el dos maga definicion de un monomorfismo para maga conjunto, maga magma, maga semigrupo, maga monoide, maga grupo, maga anillo, maga cuerpo, maga vectorial espacio y maga modulo.

Un **[[partio monomorfismo]]** es un homomorfismo que ta tene con un inverso izquierda y, de alla, es ansina mismo un inverso derecha de aquel otro homomorfismo. Es deci, un homomorfismo f\colon A \to B es un partio monomorfismo si ta existi un homomorfismo g\colon B \to A tal que g \circ f = \operatorname{Id}_A. Un partio monomorfismo firmi un monomorfismo, para ambo maga acepcion de *monomorfismo*. Para maga conjunto y maga vectorial espacio, cada monomorfismo un partio monomorfismo, pero hinde verdadero este propiedad para el mayoria del maga comun algebraico estructura.

*Cancelativo izquierda un inyectivo homomorfismo*: Si f\circ g = f\circ h, entonces hay f(g(x))=f(h(x)) para cada x na C, el comun fuente de g y h. Si inyectivo f, entonces g(x) = h(x), ansina que g = h. Ta funciona este prueba, hinde lang para maga algebraico estructura, sino tambien para cualquier categoria cuyo maga objeto maga conjunto, y cuyo maga pana maga mapa entre aquel maga conjunto. Por ejemplo, un inyectivo continuo mapa es un monomorfismo na el categoria de maga topologico espacio.

Para probar que, al contrario, inyectivo un cancelativo izquierda homomorfismo, util considera con un *[[libre objeto]] na <math>x</math>*. Para un variedad de maga algebraico estructura un libre objeto na x es un par consistiendo na un algebraico estructura L de este variedad y un elemento x de L que ta satisface con el siguiente universal propiedad: para cada estructura S del variedad, y cada elemento s de S, hay un distinto homomorfismo f: L\to S tal que f(x) = s.Por ejemplo, para maga conjunto, el libre objeto na x es simplemente \{x\}; para el maga semigrupo, el libre objeto na x es \{x, x^2, \ldots, x^n, \ldots\}, que, como un semigrupo, isomorfo al aditivo semigrupo del maga positivo entero; para el maga monoids, el libre objeto na x es \{1, x, x^2, \ldots, x^n, \ldots\}, que, como un monoide, isomorfo al aditivo monoide del hinde negativo entero; para el maga grupo, el libre objeto na x es el infinito ciclico grupo \{\ldots, x^{-n}, \ldots, x^{-1}, 1, x, x^2, \ldots, x^n, \ldots\}, que, como un grupo, isomorico al aditivo grupo del maga entero; para el maga anillo, el libre objeto na x es el anillo de maga polinomio \mathbb{Z}[x]; para el maga vectorial espacios o maga modulo, el libre objeto na x es el vectorial espacio o libre modulo que ta tene con x como base.

*Si ta existi un libre objeto sobre <math>x</math>, entonces inyectivo cada cancelativo izquierda homomorfismo is injective*: f\colon A \to B es un cancelativo izquierda homomorfismo, y a y b son dos maga elemento de A tal que f(a) = f(b). Por definicion del libre objeto F, ta existi maga homomorfismo g y h de F a A tal que g(x) = a y h(x) = b. Debio a que f(g(x)) = f(h(x)), hay f \circ g = f \circ h,  por el unicidad na el definicion de un universal propiedad. Debio a que cancelativo izquierda f, hay g = h, y ansina a = b. Poreso, inyectivo f.

*Existencia de un libre objeto na <math>x</math> para un [[variedad (universal algebra)|variedad]]* (mira tambien con ): Para construi con un libre objeto sobre x, considera con el conjunto W del maga bien formao formula construio de x y el maga operacion del estructura. Equivalente dos maga bien formao formula si posible muda del uno al otro aplicando con el maga axioma (maga identidad del estructura). Ta defini esto con un relacion de equivalencia, si el maga identidad hinde sujeto a maga condicion, es deci, si ta trabaja uno con un variedad. Entonces bien definio el maga operacion del variedad na el conjunto de maga clase de equivalencia de W para este relacion. Facil demostra que el resultante objeto es un libre objeto on x.

### Epimorfismo
Na el algebra, na manada situacion, definio el maga **epimorfismo** como maga sobreyectivo homomorfismo. Al otro lado, na el teoria de maga categoria, definio el maga epimorfismo como maga **cancelativo izquierda** morfismo. Ta significa esto que un (homo)morfismo f: A \to B es un epimorfismo si, para cualquiera par g, h de maga morfismo de B a cualquier otro objeto C, ta implica el igualdad g \circ f = h \circ f con g = h.

Firmi cancelativo izquierda un sobreyectivo homomorfismo, pero hinde firmi verdadero el converso para maga algebraico estructura. Sin embargo, equivalente el dos maga definicion para *epimorfismo* para maga conjunto, maga vectorial espacio, maga abeliano grupo, maga modulo (mira mas abajo para un prueba) y maga grupo. Puede explica el importancia de este maga estructura na todo el matematica —na especial na el lineal algebra y el homologico algebra—, con el coexistencia de dos maga hinde equivalente definicion.

Na cuanto a maga algebraico estructura para que ta existi maga hinde sobreyectivo epimorfismo, ta inclui ellos con maga semigrupo y maga anillo. El mas basico ejemplo es el inclusion del maga entero na el maga racional numero, que es un homomorfismo del maga anillo y del maga multiplicativo semigrupo. Para ambo maga estructura es un monomorfismo y un hinde sobreyectivo epimorfismo, pero hinde un isomorfismo.

Un amplio generalizacion de este ejemplo es el localizacion de un anillo por un multiplicativo conjunto. Cada localizacion es un epimorfismo de un anillo, por lo general hinde sobreyectivo. Debio a que fundamental el maga localizacion na el conmutativo algebra y el algebraico geometria, puede esto explica porque na este maga area, generalmente preferible el definicion del maga epimorfismo como maga cancelativo derecha homomorfismo.

Un **[[partio epimorfismo]]'' es un homomorfismo que ta tene con un [[inverso derecha]] y, de alla, es ansina mismo un inverso izquierda de aquel otro homomorfismo. Es deci, un homomorfismo <math>f\colon A \to B</math> es un partio epimorfismo si ta existi un homomorfismo <math>g\colon B \to A</math> tal que <math>g \circ f = \operatorname{Id}_A.</math> Un partio epimorfismo firmi un epimorfismo, para ambo maga acepcion de ''epimorfismo''. Para maga conjunto y maga vectorial espacio, cada epimorfismo un partio epimorfismo, pero hinde verdadero este propiedad para el mayoria del maga comun algebraico estructura.

Na resumen, ta tene kita con
:<math>\text {partio epimorfismo} \implies \text{epimorfismo (sobreyectivo)}\implies \text {epimorfismo (cancelativo derecha)};</math>
el ultimo implicacion es un equivalencia para maga conjunto, maga vectorial espacio, maga modulo, maga abeliano grupo y maga grupo, mientras que el primer implicacion es un equivalencia para maga conjunto y maga vectorial espacio.


<math>f\colon A \to B</math> un homomorfismo. Ta desea kita proba que si hinde sobreyectivo ele, hinde cancelativo derecha.

Na el caso de maga conjunto, <math>b</math> es un elemento de <math>B</math> que hinde ta pertenece a <math>f(A)</math>, y ta defini kita con <math>g, h\colon B \to B</math> tal que <math>g</math> es el [[funcion de identidad]], y tal que <math>h(x) = x</math> para cada <math>x \in B,</math> con excepcion de que <math>h(b)</math> es cualquier otro elemento de <math>B</math>. Claramente hinde cancelativo derecha <math>f</math>, ya que <math>g \neq h</math> y <math>g \circ f = h \circ f.</math>

Na el vaso de maga vectorial espacio, maga abeliano grupo y maga modulo, ta confia el prueba na el existenia de maga [[cokernel]] y na el hecho de que el maga [[mapa cero]] maga homomorFismo: <math>C</math> es el cokernel de <math>f</math>, y <math>g\colon B \to C</math> el canonico mapa, tal que <math>g(f(A)) = 0</math>. <math>h\colon B\to C</math> es el mapa cero. Si hinde sobreyectivo <math>f</math>, entonces <math>C \neq 0</math>, ansina que <math>g \neq h</math> (el uno es un mapa cero, mientras el otro hinde). Ansina hinde cancelativo <math>f</math>, ya que <math>g \circ f = h \circ f</math> (ambo maga son el mapa cero de <math>A</math> a <math>C</math>).


== Kernel ==

Ta defini cualquier homomorfismo <math>f: X \to Y</math> con un [[relacion de equivalencia]] <math>\sim</math> na <math>X</math> por <math>a \sim b</math> [[si y solo si]] <math>f(a) = f(b)</math>. El relacion <math>\sim</math> llamao el **kernel** de <math>f</math>. Es un [[relacion de congruencia]] na <math>X</math>. Entonces puede el [[conjunto cociente]] <math>X/{\sim}</math> recibi con un estructura del mismo tipo como <math>X</math>, de natural modo, definiendo con el maga operacion del conjunto cociente por <math>[x] \ast [y] =  [x \ast y]</math>, para cada operacion <math>\ast</math> de <math>X</math>. Na aquel caso el imagen de <math>X</math> na <math>Y</math> bajo el homomorfismo <math>f</math> es necesariamente [[isomorfo]] a <math>X/\!\sim</math>; este hecho uno del [[maga teorema de isomorfismo]].

Cuando el algebraico estructura un [[grupo (matematica)|grupo]] para algun operacion, ta basta el [[clase de equivalencia]] <math>K</math> del [[neutro elemento]] de este operacion para caracteriza con el relacion de equivalencia. Na este caso, el cociente por el relacion de equivalencia denotao por <math>X/K</math> (usualmente leido como "<math>X</math> [[Ideal (teoria de maga anillo)|mod]] <math>K</math>"). Ademas na este caso, <math>K</math>, embes de <math>\sim</math>, cosa llamao el [[kernel (algebra)|kernel]] de <math>f</math>. Naturalmente ta tene algun estructura el maga kernel de maga homomorfismo de algun tipo de algebraico estructura. Este tipo de estructura del maga kernel es el mismo como el considerao estructura, na el caso de maga [[grupo abeliano]], [[maga vectorial espacio]] y el maga [[modulo (matematica)|modulo]], pero diferente y ya recibi con maga especifico nombre na otro maga caso, como [[normal subgrupo]] para maga kernel de maga [[homomorfismo de maga grupo]] y [[ideal (teoria de maga anillo)|ideal]] para maga kernel de maga [[homomorfismo de maga anillo]] (na el caso de hinde conmutativo anillo, el maga kernel el maga [[bilatero ideal]]).

== Maga relacional estructura ==

Na el [[teoria de maga modelo]], puede kita generaliza con el nocion de un algebraico estructura al maga estructura involucrando con maga operacion y maga relacion. ''L'' es un firma que ta consta de maga simbolo de funcion y relacion, y ''A'' y ''B'' dos maga estructura de ''L''. Entonces un **homomorfismo*' de *A* a *B* es un mapeo *h* del dominio de *A* al dominio de *B* tal que
* *h*(*F*<sup>*A*</sup>(*a*<sub>1</sub>,…,*a*<sub>*n*</sub>)) = *F*<sup>*B*</sup>(*h*(*a*<sub>1</sub>),…,*h*(*a*<sub>*n*</sub>)) para cada *n*-ario simbolo de funcion *F* na *L*,
* *R*<sup>*A*</sup>(*a*<sub>1</sub>,…,*a*<sub>*n*</sub>) implies *R*<sup>*B*</sup>(*h*(*a*<sub>1</sub>),…,*h*(*a*<sub>*n*</sub>)) para cada *n*-ario simbolo de relacion *R* na *L*.
Na el especial caso de un binario relacion lang, ta obtene kita con el nocion de un [[homomorfismo de maga grafo]].

== Teoria de maga formal lenguaje ==
Usao tambien el maga homomorfismo na el estudio de maga [[formal lenguaje]] y na manada situacion brevemente denominao como maga *morfismo*. Para maga alfabeto <math>\Sigma_1</math> and <math>\Sigma_2</math>, un funcion <math>h \colon \Sigma_1^* \to \Sigma_2^*</math> tal que <math>h(uv) = h(u) h(v)</math> para todo <math>u,v \in \Sigma_1</math> llamao un *homomorfismo* na <math>\Sigma_1^*</math>. Si <math>h</math> un homomorfismo na <math>\Sigma_1^*</math> y ta denota <math>\varepsilon</math> con el vacio [[cadena de maga caracter]], entonce denominao <math>h</math> como un *homomorfismo libre de* <math>\varepsilon</math> cuando <math>h(x) \neq \varepsilon</math> para todo <math>x \neq \varepsilon</math> na <math>\Sigma_1^*</math>.

Un homomorfismo <math>h \colon \Sigma_1^* \to \Sigma_2^*</math> na <math>\Sigma_1^*</math> que ta satisface con <math>|h(a)| = k</math> para todo <math>a \in \Sigma_1</math> llamao un <math>k</math>*-uniforme* homomorfismo. Si <math>|h(a)| = 1</math> para todo <math>a \in \Sigma_1</math> (es deci, <math>h</math> es 1-uniforme), entonces <math>h</math> llamao tambien un *codificacion* o un *proyeccion''.

Considerable el conjunto \Sigma^* de maga palabra formao del alfabeto \Sigma como el libre monoide generao por \Sigma. Aqui el operacion de monoide es concatenacion y el neutro elemento es el vacio palabra. Desde este perspectiva, un homomorfismo de lenguaje es precisamente un homomorfismo de maga monoide.

## Mira tambien
* Cuasimorfismo
* Difeomorfismo
* Homomorfo cifrao
* Homomorfo secret sharing — un simplistico protocolo de descentralizao votacion
* Morfismo

## Maga nota