Licenciatura en Matemáticas

Asignatura: Algebra Moderna 1

Unidad 3. Teoremas Principales
Actividad Complementaria
Alumna: Elda Josefina Vázquez Calderón
Grupo: MT-MAMD1-2301-B2-001
Docente: Lic. Miguel Ángel Márquez Hidalgo
 Es una regla o procedimiento matemático que asocia cada elemento de un conjunto, llamado dominio, con un
unico elemento en otro conjunto, llamado condominio.
Función
Si 𝑓 = 𝑋, 𝐺, 𝑌 es una relación funcional y 𝐷𝑜𝑚 𝑓 = 𝑋, se dice que 𝑓 es una función de 𝑋 en 𝑌. 𝑓: 𝑋 → 𝑌

Operación Es una operación matemática que combina dos elementos del mismo conjunto para producir un tercer elemento
Binaria en ese mismo conjunto, es decir, es una función que toma dos argumentos y devuelve un valor
Operaciones
Binarias Conmutativa:: El orden de los operandos no afecta el resultado 𝑎 ∗ 𝑏 = 𝑏 ∗ 𝑎
Unidad 1
Propiedades Asociativa:: El resultado es el mismo independientemente de como se agrupen los operandos: 𝑎 ∗ 𝑏 ∗ 𝑐 = 𝑎 ∗ (𝑏
de las ∗ 𝑐)
operaciones
binarias Elemento Neutro:: Si hay un valor que, al operar con cualquier otro valor, no cambia su resultado.: 𝑎 + 0 = 𝑎
Grupos cíclicos
Unidad 2 Unidad 3. Teoremas Principales
Teorema: Si N es Producto de Homomorfismo
Isomorfismo teoremas: 1.
un subgrupo de subgrupos: El de grupos: Un
Propiedades Sea f: G -> H un
Definición de Definición Propiedades un grupo G, producto de dos homomorfismo
Grupos Cíclicos homomorfismo de grupos.
Grupo de la de la entonces las subgrupos H y K de grupos es
Entonces, el núcleo de f,
Cíclico -Un grupo (o función 𝜑 Funcion 𝜑 siguientes de un grupo G, una función, sea
subgrupo) cíclico Ker(f), es un subgrupo
En teoría de La indicatriz 1. condiciones son denotado por (G, *) y (H, ⋅) dos
normal de G, el conjunto de
grupos, un consiste de todas de Euler si 𝜑 𝑝 = equivalentes: La HK, es el grupos, un
imágenes de f, Im(f), es un
grupo cíclico las potencias (también 𝑝− congruencia conjunto de homomorfismo
subgrupo de H, y existe un
es aquel que enteras de uno de función φ 1 𝑠𝑖 𝑝 es pri derecha, izquierda todos los de grupos es
sus elementos, isomorfismo entre G/Ker(f)
puede ser de Euler) es mo. , módulo N elementos una función f: G
llamado generador y Im(f). 2. Sea G un grupo, y
generado una función 2. si coinciden. Cada obtenidos al -> H que
sean H y N subgrupos de G,
por un solo del grupo. importante 𝜑 𝑝𝑘 = clase izquierda de multiplicar cada satisface la
-Los grupos cíclicos donde N es normal en G.
elemento; es en teoría de 𝑝 − 1 𝑝𝑘−1 𝑠𝑖 𝑝N es una clase elemento de H siguiente
Entonces, el producto HN =
decir, hay un son abelianos. números. Si es primo y k propiedad: Para
derecha de N. por cada {hn | h ∈ H, n ∈ N} es un
elemento a -Dos grupos n es un es todo par de
Definición: “Sea elemento de K. subgrupo de G, H ∩ N es un
del grupo G cíclicos finitos de entero un número elementos g₁, g₂
subgrupo N que Formalmente, subgrupo normal en H, y
(llamado igual orden, son positivo, natural. en G, se cumple
satisface alguna se define como: existe un isomorfismo entre
"generador" isomorfos. entonces 3.- 𝜑 es que f(g₁ * g₂) =
de las condiciones HK = {hk | h ∈ H/(H ∩ N) y (HN)/N. 3. Sea
de G), tal Denotamos a un φ(n) se una función f(g₁) ⋅ f(g₂)
anteriores se H, k ∈ K}, donde G un grupo, y sean H y K
que todo grupo cíclico de define como multiplicativ También cumple
llama subgrupo hk representa el subgrupos normales de G,
elemento de orden n por Cn . el número a: si m las siguientes
normal de G” resultado de donde H está contenido en
G puede ser -Cada elemento de enteros y n son cop propiedades:
Ejemplos : Un multiplicar un K. Entonces, K/H es un
expresado 𝛼 de un grupo positivos rimos, Preservación del
subgrupo de elemento h en H subgrupo normal en G/H, y
como una cualquiera genera menores o entonces elemento
cualquier grupo por un existe un isomorfismo entre
potencia de un subgrupo iguales a n y 𝜑(mn)= neutro.
abeliano es elemento k en (G/H)/(K/H) y G/K
a cíclico, denotado coprimos 𝜑(m) 𝜑(n) Preservación de
normal. K.
por 𝛼 con n inversos
 Referencias
UnADM Matematicas/Algebra Moderna 1/Contenido Nuclear Unidad 1 Operaciones Binarias/Mexico,
D.F. Mexico. Diciembre 2015.

UnADM Matematicas/Algebra Moderna I/Contenido Nuclear Unidad 2/Grupos de Permutaciones y

Grupos de cocientes/Mexico, D.F. Diciembre 2015.

UnADM Matemáticas/Algebra Moderna 1/Contenido nuclear Unidad 3 Teoremas

Principales/Actividad 1 Grupos Normales/México D.F. Diciembre 2015

https://www.youtube.com/watch?v=4yLEW3neP2s

Zaldívar. F. (2006). Introducción a la Teoría de Grupos. Primera edición. México: Sociedad Matemática
Mexicana.

J. M. Rodríguez, Una caracterización de los grupos cíclicos finitos, Aportaciones Matemáticas, SMM,
Serie Comunicaciones 25 (1999) 79–82.

G. Zappa, Fondamenti di Teoria dei Gruppi, volume secondo, Edizioni Cremonese, Roma, 1970.