Actividad 1 Grupo de permutaciones y grupos cociente

De las bibliografías que puse al final con esto <> y un número

respectivamente son los conceptos tomados y considerados para
cada rubro conceptual de investigación

1 Investigar los siguientes conceptos

Grupo simétrico

<1> Es el conjunto de todas las biyecciones de las permutaciones

de 𝒏 elementos.

<3> Es el conjunto de biyecciones de todas las permutaciones

<5> Es el grupo que está constituido por las distintas

permutaciones de orden 𝒏!

<6> Es el grupo de todas las permutaciones de un conjunto finito

es decir sea el conjunto 𝑨 = {𝟏, 𝟐, … , 𝒏} que tiene 𝒏 elementos.

<a> Denotado por 𝑺𝒏 donde es definido como la familia de todas

las permutaciones de 𝑿 es denotado por 𝑺𝑿 con 𝑿 = {𝟏, 𝟐, 𝟑, … , 𝒏}
considerando que 𝒏 es el número de letras.

<b> Es el conjunto de todas las permutaciones de ℤ𝒏 donde 𝒏

indica el número de grado

Permutaciones

<3> Es una aplicación uno a uno de un conjunto no vacío sobre si

mismo y además son las aplicaciones uno a uno de los conjuntos
no vacíos sobre si mismos.

<4> Son los conjuntos finitos simétricos y biyectivos de orden 𝒏

<5> Son consideradas como sustituciones y es todo aquella

transformación del elemento de un conjunto finito en donde se
obtiene a lo más una vez o al menos una vez como imagen o se
obtiene exactamente una vez como imagen.
<6> Son dos elementos de un conjunto de modo que son
funciones uno a uno y llevan la característica de que este
conjunto va sobre este mismo es decir se efectúa la operación
binaria natural multiplicativo.

<a> De un conjunto 𝑿 es una biyeccion de 𝑿 en 𝑿 y es una

reordenación de los elementos de 𝑿.

<b> De 𝒁𝒏 es una biyeccion de 𝒁𝒏 sobre sí mismo.

<c> Donde se considera a los elementos definidos como 𝑺𝑿

siendo 𝑿 un conjunto no vacío y 𝑺𝑿 = {𝒇: 𝑿 → 𝑿|𝒇 𝒆𝒔 𝒃𝒊𝒚𝒆𝒄𝒕𝒊𝒗𝒂}
donde 𝑺𝑿 es un grupo con la operación composición de funciones
llamado el grupo de permutaciones en 𝑿

Ciclos

<3> Son las permutaciones no triviales.

<6> Son las longitudes de una permutación de un conjunto.

Orbitas

<3> Son las clases de equivalencia

<4> Es considerada como la trayectoria de un elemento bajo la

acción del grupo.

<6> Son los conjuntos de un grupo que define en cada celda de

estas particiones de la relación de equivalencia de este grupo.

<7> Son las clases de equivalencia de un elemento de un

conjunto es decir el elemento 𝒔 en el conjunto 𝑺 𝒔 ∈ 𝑺

Grupo alternante

<1>Es el grupo de las permutaciones pares de 𝒏 elementos.

<3> Es el conjunto de todas las permutaciones pares sobre 𝒏

símbolos.
<4> Es un subgrupo de permutaciones consideradas como el
producto de numero par de transposiciones.

<6> Es un subgrupo que consta de las permutaciones pares

<a> Es el subconjunto de todas las permutaciones 𝑨𝒏 ≤ 𝑺𝒏 es un

subgrupo donde 𝑨𝒏 ≠ ∅ pues < 𝟏 > es par y además es cerrado
bajo la composición es decir (𝒑𝒂𝒓)(𝒑𝒂𝒓) = (𝒑𝒂𝒓)

<b> Es un subgrupo de 𝑺𝒏 definido como

𝑨𝒏 = {𝒈 ∈ 𝑺𝒏 |𝒈 𝒆𝒔 𝒑𝒂𝒓}

Donde 𝒏 indica el número de grado

<c> Sea 𝒏 ≥ 𝟐 con 𝑨𝒏 ≔ {𝝈 ∈ 𝑺𝒏 |𝝈 𝒆𝒔 𝒑𝒂𝒓} entonces 𝑨𝒏 es el único

subgrupo de 𝑺𝒏 índice 2.

Grupo diedrico

<3> Es un grupo de simetrías de un polígono regular de 𝒏 lados

cuyo orden sea par es decir 𝟐𝒏

<7> Es un grupo no abeliano de orden 𝟐𝒏.

<a> Si 𝝅𝒏 es un polígono regular de 𝒏 lados y vértices 𝒗𝟏 , … , 𝒗𝒏 y

centro 0 entonces su grupo de simetrías es llamado 𝑫𝟐𝒏 de 𝟐𝒏
𝟑𝟔𝟎 °
elementos con 𝒏 rotaciones alrededor de 0 por ( 𝒋) para 𝟎 ≤ 𝒋 ≤
𝒏
𝒏 − 𝟏 y 𝒏 reflexiones en consideración cuando

i) 𝒏 impar reflexiones alrededor de 𝒐𝒗𝒊 con 𝟎 ≤ 𝒊 ≤ 𝒏

ii) 𝒏 par reflexiones alrededor de 𝒐𝒎𝒊 siendo los puntos
medios 𝒎𝒊 con 𝟏 ≤ 𝒊 ≤ 𝒏

Entonces se define como 𝑫𝟐𝒏 =< 𝝆, 𝝈 > donde

𝝆 es con una rotación

𝝈 es con una reflexión

<c>Para cada 𝒏 ∈ ℕ existe un grupo abeliano de orden 𝟐𝒏
construido mediante un polígono regular de 𝒏 lados. Una simetría
de 𝑷𝒏 es una biyeccion 𝑷𝒏 → 𝑷𝒏 que preserva distancias y manda
vértices adyacentes a vértices adyacentes.

Clases de conjugación

<7> Es una clase de equivalencia de un elemento de un grupo que

este forma un conjunto que consiste de los distintos elementos
es decir sea el elemento 𝒂 ∈ 𝑮 donde 𝑮 es considerado como un
grupo tales que la clase de equivalencia se define como 𝑪 por lo
tanto 𝑪(𝒂) = {𝒙 ∈ 𝑮|𝒂~𝒙} donde 𝑮 toma los valores definidos
como 𝒚−𝟏 𝒂𝒚.

<b> Es el número de particiones distintas de 𝒏 es decir 𝒑(𝒏) del

conjunto 𝑺𝒏 del grupo simétrico

<c> Definen una relación de equivalencia respecto a los

conjugados definidos 𝒙, 𝒚 donde se considera un grupo 𝑮 en 𝒙, 𝒚 ∈
𝑮 si existe un 𝒈 ∈ 𝑮 tales que 𝒙 = 𝒈𝒚𝒈−𝟏

Clases laterales

<3> Es el conjunto de dirección considerando hacia la izquierda y

hacia la derecha.

<6> Son las traslaciones de direcciones de la celda de un grupo.

<b> Son ciertos tipos de subconjuntos de direcciones respectivas

a un grupo 𝑮.

Teorema de Lagrange

<3> Considera un grupo finito para el numero de índices de

clases laterales de un conjunto.

<6> Es un grupo de 𝑮 de orden finito 𝒏 y 𝑯 un subgrupo de 𝑮

entonces el orden de 𝑯 divide al orden de 𝑮
<7> Si 𝑮 es un subgrupo finito y 𝑯 es un subgrupo de 𝑮 entonces
el índice de 𝑯 𝒐(𝑯) es un divisor del índice de 𝑮 𝒐(𝑮)

<a> Prueba que el orden de un subgrupo de un grupo finito divide

el orden de 𝑮.

<b> Si 𝑮 es un subgrupo finito y 𝑯 un subgrupo entonces |𝑮/𝑯| =

|𝑮|/|𝑯|

Grupo cociente

<1> Es un grupo de elementos arbitrarios cuyas clases de

productos respectivas son homomorfas respecto al subgrupo
invariante.

<2> Son las clases de equivalencia de un subgrupo invariante es

decir que se puede considerar ciertos elementos nuevos de los
divisores normales.

<5> Es un conjunto cociente de un grupo G por una relación de

equivalencia G/R compatible con la ley de composición de G cuya
imagen es homomorfica

<7> Es un subgrupo factor de 𝑮 por 𝑵 un subgrupo normal de 𝑮

es decir 𝑮/𝑵

<a>Sea 𝑺(𝑮) el conjunto formado de todos los subconjuntos

diferentes del vacío de un grupo 𝑮

Si 𝒙, 𝒚 ∈ 𝑺(𝑮) definimos que 𝑿𝒀 = {𝒙𝒚: 𝒙 ∈ 𝑿 𝒚 𝒚 ∈ 𝒀}

Para 𝑮 /𝑲 = {𝒈𝑲: 𝒈 ∈ 𝑮} si 𝑲 ⊴ 𝑮 entonces 𝑮/𝑲 es un grupo con

operación (𝒂𝑲)(𝒃𝑲) = 𝒂𝒃𝑲 para toda 𝒂, 𝒃 ∈ 𝑮 se define en el
módulo en 𝑲

<b> Es cuando si 𝒇: 𝑮𝟏 → 𝑮𝟐 es un homomorfismo entre dos

grupos entonces 𝑮𝟏 /𝑲𝒆𝒓(𝒇)

<c> Esta constituido a partir de un grupo y un subgrupo normal.

Grupo Normal

<6>Es considerado como grupo invariante y es un subgrupo 𝑯 de

un grupo abeliano 𝑮 si 𝒈−𝟏 𝑯𝒈 = 𝑯 para todas las 𝒈 ∈ 𝑮 esto
quiere decir que si 𝑯 permanece invariante bajo todo
automorfismo interno de 𝑮.

<7> Es el grupo que no tiene imágenes homomorficas distintas de

las triviales es decir si no tiene subgrupos normales no triviales.

<a> Considerando que si 𝑲 ⊴ 𝑮 donde 𝒌 ∈ 𝑲 y 𝒈 ∈ 𝑮 esto implica

que 𝒈𝒌𝒈−𝟏 ∈ 𝑲 y es el núcleo de un homomorfismo definido como
𝒇: 𝑮 → 𝑯 donde si 𝒙 ∈ 𝑲𝒆𝒓(𝒇) y si 𝒂 ∈ 𝑮 entonces

𝒂𝒙𝒂−𝟏 ∈ 𝑲𝒆𝒓(𝒇).donde 𝑲𝒆𝒓(𝒇) es el kernel de la función

Conmutadores

<3> Son los productos de dos elementos finitos conformados de

los idénticos o de la unidad y de los elementos inversos.

<4> Considerada como el grupo conmutador o primer derivado de

un grupo y es un conjunto de productos finitos de un grupo.

<5> Son dos elementos 𝒙, 𝒚 de un grupo 𝑮 que se definen por el

elemento 𝒙𝒚𝒙−𝟏 𝒚−𝟏

Fuentes de consulta bibliográfica

<1> Alexándrov R.S. Introducción a la teoría de grupos Ed. Mir

URSS Rusia

<2> Pietráschev, Trifonov Teoria de grupos:Aplicación a la

mecánica cuántica Ed Mir URSS Rusia

<3> Wallace D.A.P. Grupos Ed. Limusa

<4> Dubreil Paul Teoría de Grupos Ed Reverte

<5> Dubreil-Jacobson Lecciones de algebra moderna 2da.

Edición Ed. Reverte
<6> Fraleigh Álgebra abstracta, Addison Wesley, México, 1987

<7> Herstein Álgebra Moderna, Ed. Trillas, México, 1970

Fuentes de consulta cibergrafica

<a> Ramírez Mejía Marcos Introducción a la teoría de grupos y

anillos tesis de titulación para licenciatura en Matemáticas de
BUAP en
http://www.fcfm.buap.mx/docencia/docs/tesis/matematicas/Marco
sRamirezMejia.pdf

<b>Carmona Sánchez Irene Juegos y teoría de grupos tesis de

titulación para licenciatura en Matemáticas de BUAP en

http://www.fcfm.buap.mx/docencia/docs/tesis/matematicas/IreneC
armonaSanchez.pdf

<c> Barrera Mora Fernando Introducción a la teoría de grupos Ed.

UAEH en

http://repository.uaeh.edu.mx/bitstream/bitstream/handle/1234567
89/11413/Barrera-2004.pdf?sequence=1