Ir al contenido

Homomorfismo

Desde Chavacano de Zamboanga Wikipedia - El Libre Enciclopedia

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

[revisa | revisa codigo]

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 entre dos maga conjunto , , equipao con el mismo estructura de tal manera que, si es un operacion del estructura (asumio aqui, para el simplicidad, como un binario operacion), entonces

para cada par , de maga elemento de .[lower-alpha 1] Na manada situacion ta deci kita que ta preserva con el operacion, o que compatible con el operacion.

Formalmente, ta preserva un mapa con un operacion de aridad , definio na and si

para todo maga elemento na .

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:

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

con

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

y es tambien un homomorfismo de dos maga grupo.

Maga ejemplo

[revisa | revisa codigo]
Un homomorfismo de maga monoide, del monoide (N, +, 0) al monoide (N, ×, 1), definio por . Inyectivo, pero hinde sobreyectivo, tal funcion.

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:

donde r es un real numero, entonces f es un homomorfismo de maga anillo, ya que ta preserva f con el adicion:

ademas del multiplicacion:

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 , del maga complejo numero distinto de cero, al maga real numero distinto de cero, ansina:

Es deci, es el absoluto valor (o modulo) del complejo numero . Entonces es un homomorfismo de maga grupo, ya que ta preserva ele con el multiplicacion:

Nota que hinde extensible f a un homomorfismo de maga anillo (del maga complejo numero al maga real numero), ya que hinde ta preserva ele con el adicion:

Como otro ejemplo, ta mostra el diagrama mas arriba con un homomorfismo de maga monoide, del monoide al monoide . Debio al maga diferente nombre del maga correspondiente operacion, na cuanto al mage propiedad del estructural preservacion satisfecho por , ta equivale ellos a and .

Ta tene un algebra de composicion sobre un cuerpo con un cuadratico forma, llamao un norma, , cosa un homomorfismo de maga grupo del multiplicativo grupo de al multiplicativo grupo de .

Maga especial homomorfismo

[revisa | revisa codigo]

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

Isomorfismo

[revisa | revisa codigo]

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

es un (homo)morfismo, ta tene ele con un inverso si hay un homomorfismo

tal que

Si ta tene and con maga subyacente conjunto, y ta tene con un inversg , entonces biyectivo . De hecho, inyectivo , ya que ta implica con , y sobreyectivo , ya que, para cualquier na , hay , y es el imagen de un elemento de .

Na cambio, si es a biyectivo homomorfismo entre maga algebraico estructura, es el mapa tal que es el distinto elemento of tal que . Ta tene uno con y solo hay que demostra que g es un homomorfismo. Si es un binario operacion del estructura, para cada par , de maga elemento de , ta tene uno con

ansina que compatible con Debio a que similar el prueba para cualquiera aridad, ta demostra esto que 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

[revisa | revisa codigo]

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

[revisa | revisa codigo]

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 es el grupo de maga automorfismo de un vectorial espacio de dimension sobre un cuerpo .

Monomorfismo

[revisa | revisa codigo]

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 , de maga morfismo de cualquier otro objeto a , entonces ta implica con .

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 es un partio monomorfismo si ta existi un homomorfismo tal que 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.

Prueba del equivalencia del dos maga definicion de maga monomorfismo

Cancelativo izquierda un inyectivo homomorfismo: Si entonces hay para cada na , el comun fuente de y . Si inyectivo , entonces , ansina que . 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 . Para un variedad de maga algebraico estructura un libre objeto na es un par consistiendo na un algebraico estructura de este variedad y un elemento de que ta satisface con el siguiente universal propiedad: para cada estructura del variedad, y cada elemento de , hay un distinto homomorfismo tal que .Por ejemplo, para maga conjunto, el libre objeto na es simplemente ; para el maga semigrupo, el libre objeto na es que, como un semigrupo, isomorfo al aditivo semigrupo del maga positivo entero; para el maga monoids, el libre objeto na es que, como un monoide, isomorfo al aditivo monoide del hinde negativo entero; para el maga grupo, el libre objeto na es el infinito ciclico grupo que, como un grupo, isomorico al aditivo grupo del maga entero; para el maga anillo, el libre objeto na es el anillo de maga polinomio para el maga vectorial espacios o maga modulo, el libre objeto na es el vectorial espacio o libre modulo que ta tene con como base.

Si ta existi un libre objeto sobre , entonces inyectivo cada cancelativo izquierda homomorfismo is injective: es un cancelativo izquierda homomorfismo, y y son dos maga elemento de tal que . Por definicion del libre objeto , ta existi maga homomorfismo y de a tal que y . Debio a que , hay por el unicidad na el definicion de un universal propiedad. Debio a que cancelativo izquierda , hay , y ansina . Poreso, inyectivo .

Existencia de un libre objeto na para un variedad (mira tambien con Libre objeto § Existencia): Para construi con un libre objeto sobre , considera con el conjunto del maga bien formao formula construio de 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 para este relacion. Facil demostra que el resultante objeto es un libre objeto on .

Epimorfismo

[revisa | revisa codigo]

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 es un epimorfismo si, para cualquiera par , de maga morfismo de a cualquier otro objeto , ta implica el igualdad con .

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 es un partio epimorfismo si ta existi un homomorfismo tal que 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

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.

Equivalencia del dos maga definicion de epimorfismo

un homomorfismo. Ta desea kita proba que si hinde sobreyectivo ele, hinde cancelativo derecha.

Na el caso de maga conjunto, es un elemento de que hinde ta pertenece a , y ta defini kita con tal que es el funcion de identidad, y tal que para cada con excepcion de que es cualquier otro elemento de . Claramente hinde cancelativo derecha , ya que y

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: es el cokernel de , y el canonico mapa, tal que . es el mapa cero. Si hinde sobreyectivo , entonces , ansina que (el uno es un mapa cero, mientras el otro hinde). Ansina hinde cancelativo , ya que (ambo maga son el mapa cero de a ).

Ta defini cualquier homomorfismo con un relacion de equivalencia na por si y solo si . El relacion llamao el kernel de . Es un relacion de congruencia na . Entonces puede el conjunto cociente recibi con un estructura del mismo tipo como , de natural modo, definiendo con el maga operacion del conjunto cociente por , para cada operacion de . Na aquel caso el imagen de na bajo el homomorfismo es necesariamente isomorfo a ; este hecho uno del maga teorema de isomorfismo.

Cuando el algebraico estructura un grupo para algun operacion, ta basta el clase de equivalencia 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 (usualmente leido como " mod "). Ademas na este caso, , embes de , cosa llamao el kernel de . 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, 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 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

[revisa | revisa codigo]

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(FA(a1,…,an)) = FB(h(a1),…,h(an)) para cada n-ario simbolo de funcion F na L,
  • RA(a1,…,an) implies RB(h(a1),…,h(an)) 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

[revisa | revisa codigo]

Usao tambien el maga homomorfismo na el estudio de maga formal lenguaje y na manada situacion brevemente denominao como maga morfismo. Para maga alfabeto and , un funcion tal que para todo llamao un homomorfismo na .[lower-alpha 2] Si un homomorfismo na y ta denota con el vacio cadena de maga caracter, entonce denominao como un homomorfismo libre de cuando para todo na .

Un homomorfismo na que ta satisface con para todo llamao un -uniforme homomorfismo. Si para todo (es deci, es 1-uniforme), entonces llamao tambien un codificacion o un proyeccion.[cita requerida]

Considerable el conjunto de maga palabra formao del alfabeto como el libre monoide generao por . 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.Error en la cita: Etiqueta <ref> no válida; las referencias sin nombre deben tener contenido

Mira tambien

[revisa | revisa codigo]

Maga nota

[revisa | revisa codigo]
  1. Como na manada (pero hinde todo) situacion ta ocurri, aqui usao el mismo simbolo para el operacion de and .
  2. Ta denota el ∗ con el operacion de clausura de si Kleene, mientras que ta denota Σ con el conjunto de maga palabra formao del alfabeto Σ, incluyendo con el vacio palabra. Ta denota el yuxtaposicion de maga termino con concatenacion. Por ejemplo, ta denota h(u) h(v) con el concatenacion de h(u) con h(v).