TEORIA DE NUMEROS (LIC.
EN MATEMATICAS) - (551120A_764)
Paso 3 – Actividad colaborativa Unidad 2
PRESENTADO POR:
YULIANA GUACA
FERNANDO ENRIQUE VASQUEZ
CRISTIAN BOLIVAR PAYAN
YULIETH NATALIA RUIZ
UNIVIERSIDAD NACIONAL ABIERTA Y A DISTANCIA
PROGRAMA DE LICENCIATURA EN MATEMATICAS
2020
PRODUCTOS PARA ENTREGAR POR EL ESTUDIANTE
Individuales:
Cada estudiante de manera individual escoge a partir del segundo problema un ítem, y socializa en
el foro su resultado o respuesta.
Colaborativos:
Unidad 2: Relaciones y Funciones
1. Investigar: ¿qué es un homomorfismo y un isomorfismo? Dé un ejemplo de cada uno.
¿QUÉ ES UN HOMOMORFISMO?
es una función que preserva las operaciones definidas en dichos objetos, existen diferentes tipos
de Homomorfismo
un monomorfismo de grupos es un homomorfismo de grupos inyectivo, aquel en el que no hay
dos
elementos de con la misma imagen:
El núcleo de un monomorfismo sólo contiene al elemento identidad, y a la inversa, cuando el
núcleo sólo contiene al elemento identidad entonces la función es un monomorfismo.
un epimorfismo de grupos es un homomorfismo de grupos sobreyectivo, aquel en el que todo
elemento de φ H es imagen de algún elemento de g . Bajo estas condiciones, la imagen de ℃ φ
es todo H:
un isomorfismo de grupos es un homomorfismo de grupos que es simultáneamente inyectivo y
sobreyectivo, o lo que es lo mismo, biyectivo. cuando esto ocurre, ambos grupos tienen la misma
estructura algebraica (son isomorfos), y sólo se diferencian por los símbolos utilizados para denotar
al conjunto, los elementos y la operación.
un endomorfismo es un homomorfismo de un grupo en sí mismo:
.
un automorfismo es un endomorfismo biyectivo. Nótese que, en un grupo finito, cuando un
endomorfismo es inyectivo entonces es sobreyectivo, y viceversa. El conjunto de todos los
automorfismos de un grupo G, con la composición de funciones como operación, es en sí mismo
un grupo llamado grupo de automorfismos de G (Aut(G)). Como ejemplo, el grupo de
automorfismos de ( Z ,+1 ) sólo contiene dos elementos: la transformación identidad [f(n)=n] y la
multiplicación por -1 [f(n)=-n], por lo que es isomorfo a Z 7 Z
Z /2 Z
EJEMPLO:
https://sites.google.com/site/matematicasavanzadasss/homomorfismos-de-grupo/homomorfismo
¿QUE ES UN ISOMORFISMO?
El término ‘isomorfismo’ quiere decir ‘igual forma’, con ello se busca destacar la idea según la cual
existen similitudes y correspondencias formales entre diversos tipos de sistemas. La palabra
isomórfico se refiere entonces a la construcción de modelos de sistemas similares al modelo
original. El descubrimiento de un isomorfismo entre dos estructuras significa fundamentalmente
que el estudio de cada una puede reducirse al de la otra, lo cual deja ver en claro dos puntos de
vista desiguales sobre cada cuestión y suele ser primordial en su adecuada comprensión. Dos
estructuras matemáticas entre las que existe una relación de isomorfismo se llaman isomorfas. En
álgebra abstracta, isomorfismo es una biyectiva f tal que f y su inverso (que sería f elevado a -1)
sean ambos homomorfismos. Esto significa que dos sistemas tienen una parte de su estructura
general.
En la teoría de la categoría, un isomorfismo (o iso), es una flecha que posee una propiedad
distintiva.
Sea una categoría C y objetos a y b de esta categoría. Una flecha, es isomorfismo se y solamente
se existe,
Isomorfismo de anillos
Sean B y C dos conjuntos con estructura de anillo y sea f una aplicación de B en C, f es un
isomorfismo si cumplen las siguientes condiciones:
1- f es inyectiva (uno a uno).
2- f(x + y) = f(x) + f(y) (para todo x, y)
3- f(x . y) = f(x) . f(y) (para todo x, y)
O sea que la imagen del elemento x + y del conjunto B es idéntica a la imagen del elemento x + la
imagen del elemento y.
Es importante saber que los signos + y . no representan la operaciones suma y producto, sino que
representan a las operaciones que han sido definidas en el conjunto para que tenga estructura de
anillo.
Ejemplo:
Sean B = Z (el conjunto de los enteros) y C = 2Z (el conjunto de los enteros pares)
En B Y C se definirán las operaciones suma y producto tal como las conocemos.
La aplicación f que consiste en multiplicar por 2 no es un isomorfismo de anillo ya que no cumple la
condición 3:
f(2) = 4, f(3) = 6, f(6) = 12
El concepto que está detrás del isomorfismo es puntualizar cuándo dos anillos son
estructuralmente iguales, independientemente de si sus elementos son diferentes.
Comparar un anillo con otro mediante una función que sea compatible con las operaciones que
ellos poseen es una forma útil para estudiar anillos conmutativos. Las funciones que se utilizan
para ellos son los clásicos teoremas de homomorfismo e isomorfismo de la teoría de grupos, los
cuales se cumplen también para anillos.
EJEMPLO
Los grupos Z8 y Z12 no pueden ser isomorfos pues tienen diferentes órdenes; Sin embargo
U(8)≅U(12).
Sabemos que
U(8)={1,3,5,7}
U(12)={1,5,7,11}.
Un isomorfismo ϕ:U(8)→U(12)
está dado por
1↦1
3↦5
5↦7
7↦11.
La función ϕ no es el único isomorfismo posible entre estos dos grupos. Podríamos definir otro
isomorfismo ψ como ψ(1)=1, ψ(3)=11, ψ(5)=5, ψ(7)=7. De hecho, estos dos grupos son isomorfos
a Z2×Z2
2. Sean 𝐴={0,1,2,3} y determine si las relaciones
R_1={(0,0),(0,2),(1,1),(2,1),(2,2),(2,0),(3,3)} es reflexiva
La relación es reflexiva porque se cumple la relación a R a,
R_2={(0,1),(0,2),(0,0),(1,0),(1,1),(2,0)} es simétrica
es simétrica porque existe la relación aRb y bRa
R_3={(0,1),(1,2),(0,2),(2,3),(1,3),(0,3),(3,3)} es transitiva
Es porque se cumple la relación aRb y bRc entonces aRc para todas las parejas de la relación
R_4={(1,3),(0,2),(1,2),(2,1),(2,2),(3,1)} es simétrica
No es simétrica porque no se cumple en todas las parejas la relación aRb y bRa
R_5={(0,0),(0,2),(2,1),(1,2),(2,2),(3,3)} es transitiva
No es transitiva porque en todas las parejas no se cumple la relación aRb, bRc entonces aRc
3. Sean B={0,1,2,3,4} y defina la función 𝒇:𝑩→𝑩 de la siguiente manera: Para cada x que
pertenece a B, 𝑓(𝑥)= x 3+2𝑥+4 𝑚𝑜𝑑 5. Encuentre lo siguiente:
a) f(0)
f(x)= x 3+2𝑥+4 mod 5
f(0)=0^3+2(0)+4=4
0≡4 mod 5⟹0-4 no es divible por 5
b) f(2)
f(x)= x 3+2𝑥+4 mod 5
f(2)=2^3+2(2)+4=8+4+4=16
2≡16 mod 5⟹2-16 no es divible por 5
c) f(4)
f(x)= x 3+2𝑥+4 mod 5
f(4)=4^3+2(4)+4=64+8+4=76
4≡76 mod 5⟹4-76 no es divible por 5
d) f(1)
f(x)= x 3+2𝑥+4 mod 5
f(1)=1^3+2(1)+4=1+2+4=7
1≡7 mod 5⟹1-7 no es divible por 5
e) f(3)
f(x)= x 3+2𝑥+4 mod 5
f(3)=3^3+2(3)+4=27+6+4=37
3≡37 mod 5⟹3-37 no es divible por 5
4. DADA LA RELACIÓN R = {(1,1), (1,2), (2,1), (2,3), (3,3), (3,1)} SOBRE X= {1,2,3}.
a) Escribir la relación en una tabla y dibuje la gráfica
X 1 1 2 2 3 3
Y 1 2 1 3 3 1
b) Encuentre el rango y el dominio
Dominio={ 1, 2 , 3 }
Rango= {1 , 2 ,3 }
c) Encuentre R−1
R−1 ={ ( 1,1 ) , ( 2,1 ) , ( 1,2 ) , ( 3,2 ) , ( 3,3 ) ,(1,3) } ∈ X x P
5. DETERMINE CUÁLES DE LAS SIGUIENTES RELACIONES DE CONGRUENCIA SON
VERDADERAS Y CUÁLES SON FALSAS:
a ≡ b ( mod m ) ↔ a−b=k∗m
a) 17≡2 (𝑚𝑜𝑑 5)
17 ≡2 ( mod 5 ) =verdadera
17−2=15 15 es mùltiplo de 5 porque5 x 3=15
b) −2≡8 (𝑚𝑜𝑑 3)
−2 ≡8 ( mod 3 ) =falsa
(−2 )−8=−10
c) 4≡−5 (𝑚𝑜𝑑 7)
4 ≡−5 ( mod 7 )=falsa
4−5=−1
d) 15≡3 (𝑚𝑜𝑑 2)
15 ≡3 ( mod 2 )=verdadera
15−3=12 12 es mùltiplo de 2 porque 2 x 6=1
e) −6≡22 (𝑚𝑜𝑑 2)
−6 ≡22 ( mod 2 ) =verdadera
(−6 )−22=−28−28 es mùltiplo de 2 porque2 x (−14 )=−28
6. SEA 𝐴={−2,−1,0,1,2}. DEFINA LA FUNCIÓN DADA EN EL DIAGRAMA DE FLECHAS:
a) Escriba el dominio y el condominio de f.
El dominio de una función es el conjunto de todos los posibles valores de salida de la
función.
Rta: Dom(F )=(2,1,0 ,−1 ,−2)
El codominio de una función es el conjunto de todos los posibles valores de llegada de la
función.
Rta: Com(F )=(2,1,0 ,−1 ,−2)
b) Encuentre f (2), f (0), f (-2).
[x, f ( x)/ X ∈W ¿=¿1);(0,1);(-2,2)
c) ¿Cuál es el rango de f?
El codominio de una función es el subconjunto del codominio, formado por las imágenes de
los elementos del dominio
Rta: Ran( F) =(2,1,0 ,−2)
d) ¿Cuál es la imagen inversa de -1, 0 y 1?
f ( X )= y → f −1 ( y )=x por tal motivo f ( w )=[ X ∈W /f ( X ) ∈W ]
−1
f −1 (−1 )=no existe inversa
f −1 ( 0 )=1
f −1 ( 1 ) =0 y 2
e) Represente la función f como un conjunto de pares ordenados.
[x, f ( x)/ X ∈W ¿=¿ 1);(1,0);(0,1);(-1,-2);(-2,2)
7. SEA A= {1, 3, 5, 7, 9}, ESCRIBIR CADA RELACIÓN POR EXTENSIÓN Y DETERMINAR CUÁLES DE
LAS SIGUIENTES RELACIONES SON DE EQUIVALENCIA:
𝑅1={(𝑥,𝑦)|𝑥<𝑦}= NO ES EQUIVALANTE
R 1={ (1,3 ) ; ( 1,5 ) ; ( 1,7 ) ; ( 1,9 ) ; ( 3,5 ) ; ( 3,7 ) ; ( 3,9 ) ;(7,9)}
𝑅2={(𝑥,𝑦)|𝑥 𝑑𝑖𝑣𝑖𝑑𝑒 𝑎 𝑦}=NO ES EQUIVALANTE
R 1={ (1,1 ) ; ( 1,3 ) ; ( 1,5 ) ; ( 1,7 ) ; ( 1,9 ) ; ( 3,3 ) ; (3,9 ) ; ( 5,5 ) ; ( 7,7 ) ; ( 9,1 ) ; ( 9,3 ) ; ( 9,9 ) }
𝑅3={(𝑥,𝑦)|𝑥+𝑦=𝑒𝑠 𝑢𝑛 𝑛ú𝑚𝑒𝑟𝑜 𝑝𝑎𝑟}= SI ES EQUIVALENATE
R 1={ (1,1 ) ; ( 1,3 ) ; ( 1,5 ) ; ( 1,7 ) ; ( 1,9 ) ; ( 3,1 ) ; ( 3,3 ) ; ( 3,5 ) ; ( 3,7 ) ; ( 3,9 ) ; ( 5,1 ) ; ( 5,3 ) ; ( 5,5 ) ; ( 5,7 ) ; ( 5,9 ) :
( 7,1 ) ; (7,3 ) ; ( 7,5 ) ; ( 7,7 ) ; ( 7 , 9 ) ; ( 9,1 ) ; ( 9,3 ) ; ( 9,5 ) ; ( 9,7 ) ; ( 9,9 ) }
𝑅4={(𝑥,𝑦)|𝑥=𝑦}=SI ES EQUIVALANTE
R 1={ (1,1 ) ; ( 5,5 ) ; ( 3,3 ) ; (9,9)}
8. HALLE LAS FUNCIONES COMPUESTAS DADAS SEGÚN EL SIGUIENTE GRÁFICO:
Sea A={a,b,c}, B={1, 2, 3}, C={x, y, z, w}. Se define 𝑓:𝐴→𝐵, 𝑔:𝐵→𝐶.
a) 𝑔∘𝑓 ¿ g ( f ( x ) )=x → f ( x ) → g ( x )=(a , b , c) porque para todo elemento x de A
b) ( g ∘ f )−1=¿ x ←(f )−1 ←( g)−1= (x, y, w) porque para todo elemento x de C
−1
c) ( g )−1=¿ ( g ) ( y )=b ↔ ( g ( x ) ) = y=( x , y , w ) para cualquier y en C
−1
d) ( f )−1=¿ ( f ) ( y ) =x ↔ ( f ( x ) )= y =( 1,2 ) para cualquier y en B
e) ( f )−1∘( g)−1=x ←(g)−1 ←( f )−1 ( x ) = (a, b, c) porque para todo elemento x de A
Referencias
Pérez Raposo, A. (2010). Lógica, conjuntos, relaciones y funciones. Recuperado de
http://www.pesmm.org.mx/Serie%20Textos_archivos/T12.pdf
https://matematica.laguia2000.com/general/isomorfismo
http://teoria-general-sistemas-tgs1.blogspot.com/2014/04/homomorfismo.html
https://es.wikipedia.org/wiki/Homomorfismo
