Está en la página 1de 6

HOMOMORFISMO

ὁμός: (homos), Misma. μορφή: (morphe), Forma.

Mapa de conservación de estructuras entre dos estructuras algebraicas


del mismo tipo.

• Grupos
• Semigrupos
• Anillos

Figura N° : Aplicación lineal


(Homomorfismo)
HOMOMORFISMO DE GRUPOS
Función entre grupos que preserva la operación binaria.

Si para dos grupos G y G´ y una aplicación f: G → G´. Se cumple


que:

f: G →G´ es un homorfismo ↔ f(a * b) = f(a) *´ (b)

Ejemplo: Sea (IR,+) y (IR˟, .) f(e ˟).

Figura N° : Operación Binaria


HOMOMORFISMO DE SEMIGRUPOS
Semigrupo

Monoide  Estructura Algebraica Asociativa

elemento
neutro

Ejemplo: Probar que la siguiente función sea homorfismo de


monoide.

Sean (IR³,+) ; (IR²,+) y f: IR³ → IR²


f(x1,x2,x3)=(x1.x3,x2.x3)
Sean (IR³,+) ; (IR²,+) y f: IR³ → IR²
f(x1,x2,x3)=(x1.x3,x2.x3)

f: G →G´ es un homorfismo ↔ f(a * b) = f(a) *´ (b)

Demostración  f(a + b)= f(a) + f(b)

a,b E R³
Tomamos 2 a= (x1,y1,z1)
elementos de R³  b= (x2,y2,z2)

F(a+b) = (x1+x2,y1+y2,z1+z2)

Por definición 

f(a+b) = (x1+x2 , y1+y2 , z1+z2) = ((x1+x2)*(z1+z2),(y1+y2)*(z1+z2)

(1) = x1z1+x2z1+x1z2+x2z2 , y1z1+y2z1+y1z2+y2z2


Sean (IR³,+) ; (IR²,+) y f: IR³ → IR²
f(x1,x2,x3)=(x1.x3,x2.x3)

(1) = x1z1+x2z1+x1z2+x2z2 , y1z1+y2z1+y1z2+y2z2

Por definición  f(a + b)= f(a) + f(b)


(2)

Tomamos 2 f(a)= (x1*z1, y1*z1)


elementos  f(b)= (x2*z2, y2*z2)

(2) F(a) + (b) = (x1*z1+x2*z2,y1*z1+y2*z2)

(1) y (2) son diferentes. f (a+b)≠ f(a)+ f(b)


HOMOMORFISMO DE ANILLOS
si R y S son anillos, entonces un homomorfismo de anillos  es una
función ϕ:R→S ϕ:R→S que satisface :

ϕ(a+b)=ϕ(a)+ϕ(b)
ϕ(ab)=ϕ(a)ϕ(b)
para todo a,b ∈ R.

También podría gustarte