55
´ Algebra II Pr´ actica (clase 2) Iv´ an Sadofschi Costa Universidad de Buenos Aires 17 de Abril de 2020

Álgebra II Práctica (clase 2)cms.dm.uba.ar/academico/materias/1ercuat2020/algebra_II/Clase2020-04-17.pdfI. Sadofschi Costa ´Algebra II Pr ´actica (clase 2) 2020/04/17. Algunos

  • Upload
    others

  • View
    12

  • Download
    0

Embed Size (px)

Citation preview

Page 1: Álgebra II Práctica (clase 2)cms.dm.uba.ar/academico/materias/1ercuat2020/algebra_II/Clase2020-04-17.pdfI. Sadofschi Costa ´Algebra II Pr ´actica (clase 2) 2020/04/17. Algunos

Algebra II Practica (clase 2)

Ivan Sadofschi Costa

Universidad de Buenos Aires

17 de Abril de 2020

Page 2: Álgebra II Práctica (clase 2)cms.dm.uba.ar/academico/materias/1ercuat2020/algebra_II/Clase2020-04-17.pdfI. Sadofschi Costa ´Algebra II Pr ´actica (clase 2) 2020/04/17. Algunos

Prerrequisitos

Para leer estas diapositivas se recomienda haber leıdo el apunte teoricohasta la Seccion 1.4 (inclusive).

I. Sadofschi Costa Algebra II Practica (clase 2) 2020/04/17

Page 3: Álgebra II Práctica (clase 2)cms.dm.uba.ar/academico/materias/1ercuat2020/algebra_II/Clase2020-04-17.pdfI. Sadofschi Costa ´Algebra II Pr ´actica (clase 2) 2020/04/17. Algunos

El grupo opuesto

Dado un grupo (G , ∗) podemos considerar el grupo opuesto Gop cuyoselementos son los elementos de G y cuya operacion ∗op esta definida porg ∗op h = h ∗ g .

El ejercicio 6 de la Practica 1 nos pide probar que Gop es un grupo.Ahora, antes de continuar leyendo, es un buen momento para resolver esteejercicio!

ProposicionSea G un grupo. Entonces G y Gop son isomorfos.

En efecto i : G → Gop

dado por g 7→ g−1 es un isomorfismo.

Antes de ver la demostracion de esta proposicion es buena idea haceralgunos comentarios generales.

I. Sadofschi Costa Algebra II Practica (clase 2) 2020/04/17

Page 4: Álgebra II Práctica (clase 2)cms.dm.uba.ar/academico/materias/1ercuat2020/algebra_II/Clase2020-04-17.pdfI. Sadofschi Costa ´Algebra II Pr ´actica (clase 2) 2020/04/17. Algunos

El grupo opuesto

Dado un grupo (G , ∗) podemos considerar el grupo opuesto Gop cuyoselementos son los elementos de G y cuya operacion ∗op esta definida porg ∗op h = h ∗ g .

El ejercicio 6 de la Practica 1 nos pide probar que Gop es un grupo.

Ahora, antes de continuar leyendo, es un buen momento para resolver esteejercicio!

ProposicionSea G un grupo. Entonces G y Gop son isomorfos.

En efecto i : G → Gop

dado por g 7→ g−1 es un isomorfismo.

Antes de ver la demostracion de esta proposicion es buena idea haceralgunos comentarios generales.

I. Sadofschi Costa Algebra II Practica (clase 2) 2020/04/17

Page 5: Álgebra II Práctica (clase 2)cms.dm.uba.ar/academico/materias/1ercuat2020/algebra_II/Clase2020-04-17.pdfI. Sadofschi Costa ´Algebra II Pr ´actica (clase 2) 2020/04/17. Algunos

El grupo opuesto

Dado un grupo (G , ∗) podemos considerar el grupo opuesto Gop cuyoselementos son los elementos de G y cuya operacion ∗op esta definida porg ∗op h = h ∗ g .

El ejercicio 6 de la Practica 1 nos pide probar que Gop es un grupo.Ahora, antes de continuar leyendo, es un buen momento para resolver esteejercicio!

ProposicionSea G un grupo. Entonces G y Gop son isomorfos.

En efecto i : G → Gop

dado por g 7→ g−1 es un isomorfismo.

Antes de ver la demostracion de esta proposicion es buena idea haceralgunos comentarios generales.

I. Sadofschi Costa Algebra II Practica (clase 2) 2020/04/17

Page 6: Álgebra II Práctica (clase 2)cms.dm.uba.ar/academico/materias/1ercuat2020/algebra_II/Clase2020-04-17.pdfI. Sadofschi Costa ´Algebra II Pr ´actica (clase 2) 2020/04/17. Algunos

El grupo opuesto

Dado un grupo (G , ∗) podemos considerar el grupo opuesto Gop cuyoselementos son los elementos de G y cuya operacion ∗op esta definida porg ∗op h = h ∗ g .

El ejercicio 6 de la Practica 1 nos pide probar que Gop es un grupo.Ahora, antes de continuar leyendo, es un buen momento para resolver esteejercicio!

ProposicionSea G un grupo. Entonces G y Gop son isomorfos.

En efecto i : G → Gop

dado por g 7→ g−1 es un isomorfismo.

Antes de ver la demostracion de esta proposicion es buena idea haceralgunos comentarios generales.

I. Sadofschi Costa Algebra II Practica (clase 2) 2020/04/17

Page 7: Álgebra II Práctica (clase 2)cms.dm.uba.ar/academico/materias/1ercuat2020/algebra_II/Clase2020-04-17.pdfI. Sadofschi Costa ´Algebra II Pr ´actica (clase 2) 2020/04/17. Algunos

El grupo opuesto

Dado un grupo (G , ∗) podemos considerar el grupo opuesto Gop cuyoselementos son los elementos de G y cuya operacion ∗op esta definida porg ∗op h = h ∗ g .

El ejercicio 6 de la Practica 1 nos pide probar que Gop es un grupo.Ahora, antes de continuar leyendo, es un buen momento para resolver esteejercicio!

ProposicionSea G un grupo. Entonces G y Gop son isomorfos. En efecto i : G → Gop

dado por g 7→ g−1 es un isomorfismo.

Antes de ver la demostracion de esta proposicion es buena idea haceralgunos comentarios generales.

I. Sadofschi Costa Algebra II Practica (clase 2) 2020/04/17

Page 8: Álgebra II Práctica (clase 2)cms.dm.uba.ar/academico/materias/1ercuat2020/algebra_II/Clase2020-04-17.pdfI. Sadofschi Costa ´Algebra II Pr ´actica (clase 2) 2020/04/17. Algunos

El grupo opuesto

Dado un grupo (G , ∗) podemos considerar el grupo opuesto Gop cuyoselementos son los elementos de G y cuya operacion ∗op esta definida porg ∗op h = h ∗ g .

El ejercicio 6 de la Practica 1 nos pide probar que Gop es un grupo.Ahora, antes de continuar leyendo, es un buen momento para resolver esteejercicio!

ProposicionSea G un grupo. Entonces G y Gop son isomorfos. En efecto i : G → Gop

dado por g 7→ g−1 es un isomorfismo.

Antes de ver la demostracion de esta proposicion es buena idea haceralgunos comentarios generales.

I. Sadofschi Costa Algebra II Practica (clase 2) 2020/04/17

Page 9: Álgebra II Práctica (clase 2)cms.dm.uba.ar/academico/materias/1ercuat2020/algebra_II/Clase2020-04-17.pdfI. Sadofschi Costa ´Algebra II Pr ´actica (clase 2) 2020/04/17. Algunos

Algunos comentariosEn la materia (y en algebra en general) vamos a encontrarnos conejercicios que dicen

“probar que G es un grupo”“probar que f es un morfismo”“probar que el diagrama conmuta”“probar que f se extiende a un morfismo”“probar que ... es una accion por automorfismos”...

Algunas de estas frases todavıa no aparecieron en la materia, no sepreocupen!

A veces frases similares aparecen como afirmaciones en el medio de unademostracion: “Se tiene que f es morfismo y entonces...”.En cualquier caso hay que hacer verificaciones!Para esto es importante tener claro cual es el conjunto de verificacionesque debemos realizar.

I. Sadofschi Costa Algebra II Practica (clase 2) 2020/04/17

Page 10: Álgebra II Práctica (clase 2)cms.dm.uba.ar/academico/materias/1ercuat2020/algebra_II/Clase2020-04-17.pdfI. Sadofschi Costa ´Algebra II Pr ´actica (clase 2) 2020/04/17. Algunos

Algunos comentariosEn la materia (y en algebra en general) vamos a encontrarnos conejercicios que dicen

“probar que G es un grupo”“probar que f es un morfismo”“probar que el diagrama conmuta”“probar que f se extiende a un morfismo”“probar que ... es una accion por automorfismos”...

Algunas de estas frases todavıa no aparecieron en la materia, no sepreocupen!A veces frases similares aparecen como afirmaciones en el medio de unademostracion: “Se tiene que f es morfismo y entonces...”.

En cualquier caso hay que hacer verificaciones!Para esto es importante tener claro cual es el conjunto de verificacionesque debemos realizar.

I. Sadofschi Costa Algebra II Practica (clase 2) 2020/04/17

Page 11: Álgebra II Práctica (clase 2)cms.dm.uba.ar/academico/materias/1ercuat2020/algebra_II/Clase2020-04-17.pdfI. Sadofschi Costa ´Algebra II Pr ´actica (clase 2) 2020/04/17. Algunos

Algunos comentariosEn la materia (y en algebra en general) vamos a encontrarnos conejercicios que dicen

“probar que G es un grupo”“probar que f es un morfismo”“probar que el diagrama conmuta”“probar que f se extiende a un morfismo”“probar que ... es una accion por automorfismos”...

Algunas de estas frases todavıa no aparecieron en la materia, no sepreocupen!A veces frases similares aparecen como afirmaciones en el medio de unademostracion: “Se tiene que f es morfismo y entonces...”.En cualquier caso hay que hacer verificaciones!

Para esto es importante tener claro cual es el conjunto de verificacionesque debemos realizar.

I. Sadofschi Costa Algebra II Practica (clase 2) 2020/04/17

Page 12: Álgebra II Práctica (clase 2)cms.dm.uba.ar/academico/materias/1ercuat2020/algebra_II/Clase2020-04-17.pdfI. Sadofschi Costa ´Algebra II Pr ´actica (clase 2) 2020/04/17. Algunos

Algunos comentariosEn la materia (y en algebra en general) vamos a encontrarnos conejercicios que dicen

“probar que G es un grupo”“probar que f es un morfismo”“probar que el diagrama conmuta”“probar que f se extiende a un morfismo”“probar que ... es una accion por automorfismos”...

Algunas de estas frases todavıa no aparecieron en la materia, no sepreocupen!A veces frases similares aparecen como afirmaciones en el medio de unademostracion: “Se tiene que f es morfismo y entonces...”.En cualquier caso hay que hacer verificaciones!Para esto es importante tener claro cual es el conjunto de verificacionesque debemos realizar.

I. Sadofschi Costa Algebra II Practica (clase 2) 2020/04/17

Page 13: Álgebra II Práctica (clase 2)cms.dm.uba.ar/academico/materias/1ercuat2020/algebra_II/Clase2020-04-17.pdfI. Sadofschi Costa ´Algebra II Pr ´actica (clase 2) 2020/04/17. Algunos

Algunos comentarios (cont.)

En algebra es usual que la definicion de un objeto matematico estepensada para minimizar la cantidad de verificaciones que debemos hacerpara ver que algo cumple la definicion.

Por ejemplo, para chequear que f : G → H es morfismo de grupos hay quechequear que f (g1g2) = f (g1)f (g2) para todos g1, g2 ∈ G . Porque esta esla definicion de morfismo.

Un morfismo de grupos ademas cumple f (1G) = 1H , pero esto es unapropiedad que cumple cualquier morfismo de grupos, no parte de ladefinicion. No hay que verificar esto para ver que f es morfismo!

Siempre hay que tener en claro que cosas son propiedades del objeto y cuales la definicion.

I. Sadofschi Costa Algebra II Practica (clase 2) 2020/04/17

Page 14: Álgebra II Práctica (clase 2)cms.dm.uba.ar/academico/materias/1ercuat2020/algebra_II/Clase2020-04-17.pdfI. Sadofschi Costa ´Algebra II Pr ´actica (clase 2) 2020/04/17. Algunos

Algunos comentarios (cont.)

En algebra es usual que la definicion de un objeto matematico estepensada para minimizar la cantidad de verificaciones que debemos hacerpara ver que algo cumple la definicion.

Por ejemplo, para chequear que f : G → H es morfismo de grupos hay quechequear que f (g1g2) = f (g1)f (g2) para todos g1, g2 ∈ G . Porque esta esla definicion de morfismo.

Un morfismo de grupos ademas cumple f (1G) = 1H , pero esto es unapropiedad que cumple cualquier morfismo de grupos, no parte de ladefinicion. No hay que verificar esto para ver que f es morfismo!

Siempre hay que tener en claro que cosas son propiedades del objeto y cuales la definicion.

I. Sadofschi Costa Algebra II Practica (clase 2) 2020/04/17

Page 15: Álgebra II Práctica (clase 2)cms.dm.uba.ar/academico/materias/1ercuat2020/algebra_II/Clase2020-04-17.pdfI. Sadofschi Costa ´Algebra II Pr ´actica (clase 2) 2020/04/17. Algunos

Algunos comentarios (cont.)

En algebra es usual que la definicion de un objeto matematico estepensada para minimizar la cantidad de verificaciones que debemos hacerpara ver que algo cumple la definicion.

Por ejemplo, para chequear que f : G → H es morfismo de grupos hay quechequear que f (g1g2) = f (g1)f (g2) para todos g1, g2 ∈ G . Porque esta esla definicion de morfismo.

Un morfismo de grupos ademas cumple f (1G) = 1H , pero esto es unapropiedad que cumple cualquier morfismo de grupos, no parte de ladefinicion. No hay que verificar esto para ver que f es morfismo!

Siempre hay que tener en claro que cosas son propiedades del objeto y cuales la definicion.

I. Sadofschi Costa Algebra II Practica (clase 2) 2020/04/17

Page 16: Álgebra II Práctica (clase 2)cms.dm.uba.ar/academico/materias/1ercuat2020/algebra_II/Clase2020-04-17.pdfI. Sadofschi Costa ´Algebra II Pr ´actica (clase 2) 2020/04/17. Algunos

Algunos comentarios (cont.)

En algebra es usual que la definicion de un objeto matematico estepensada para minimizar la cantidad de verificaciones que debemos hacerpara ver que algo cumple la definicion.

Por ejemplo, para chequear que f : G → H es morfismo de grupos hay quechequear que f (g1g2) = f (g1)f (g2) para todos g1, g2 ∈ G . Porque esta esla definicion de morfismo.

Un morfismo de grupos ademas cumple f (1G) = 1H , pero esto es unapropiedad que cumple cualquier morfismo de grupos, no parte de ladefinicion. No hay que verificar esto para ver que f es morfismo!

Siempre hay que tener en claro que cosas son propiedades del objeto y cuales la definicion.

I. Sadofschi Costa Algebra II Practica (clase 2) 2020/04/17

Page 17: Álgebra II Práctica (clase 2)cms.dm.uba.ar/academico/materias/1ercuat2020/algebra_II/Clase2020-04-17.pdfI. Sadofschi Costa ´Algebra II Pr ´actica (clase 2) 2020/04/17. Algunos

Algunos comentarios (cont.)

Otra cosa a tener en cuenta. No tendrıa sentido probar que f : G → H esmorfismo si no sabemos de entrada que G y H son grupos. Por ejemplo sidefinimos la operacion ∗op en G y aun no verificamos que Gop es un grupono tendrıa sentido preguntarnos si i : G → Gop es morfismo.

En resumen, siempre es buena idea pensar que cosas hay que verificarantes de mandarse a probar una afirmacion.

Organizarse de esta forma ayuda mucho en algebra (y en matematica engeneral).

I. Sadofschi Costa Algebra II Practica (clase 2) 2020/04/17

Page 18: Álgebra II Práctica (clase 2)cms.dm.uba.ar/academico/materias/1ercuat2020/algebra_II/Clase2020-04-17.pdfI. Sadofschi Costa ´Algebra II Pr ´actica (clase 2) 2020/04/17. Algunos

Algunos comentarios (cont.)

Otra cosa a tener en cuenta. No tendrıa sentido probar que f : G → H esmorfismo si no sabemos de entrada que G y H son grupos. Por ejemplo sidefinimos la operacion ∗op en G y aun no verificamos que Gop es un grupono tendrıa sentido preguntarnos si i : G → Gop es morfismo.

En resumen, siempre es buena idea pensar que cosas hay que verificarantes de mandarse a probar una afirmacion.

Organizarse de esta forma ayuda mucho en algebra (y en matematica engeneral).

I. Sadofschi Costa Algebra II Practica (clase 2) 2020/04/17

Page 19: Álgebra II Práctica (clase 2)cms.dm.uba.ar/academico/materias/1ercuat2020/algebra_II/Clase2020-04-17.pdfI. Sadofschi Costa ´Algebra II Pr ´actica (clase 2) 2020/04/17. Algunos

Algunos comentarios (cont.)

Otra cosa a tener en cuenta. No tendrıa sentido probar que f : G → H esmorfismo si no sabemos de entrada que G y H son grupos. Por ejemplo sidefinimos la operacion ∗op en G y aun no verificamos que Gop es un grupono tendrıa sentido preguntarnos si i : G → Gop es morfismo.

En resumen, siempre es buena idea pensar que cosas hay que verificarantes de mandarse a probar una afirmacion.

Organizarse de esta forma ayuda mucho en algebra (y en matematica engeneral).

I. Sadofschi Costa Algebra II Practica (clase 2) 2020/04/17

Page 20: Álgebra II Práctica (clase 2)cms.dm.uba.ar/academico/materias/1ercuat2020/algebra_II/Clase2020-04-17.pdfI. Sadofschi Costa ´Algebra II Pr ´actica (clase 2) 2020/04/17. Algunos

Demostracion de que G y Gop son isomorfos

ProposicionSea G un grupo. Entonces G y Gop son isomorfos. En efecto i : G → Gop

dado por g 7→ g−1 es un isomorfismo.

Por el Ejercicio 6 de la Practica 1 sabemos que Gop es un grupo. Paraprobar la proposicion debemos verificar que:

i(g1 ∗ g2) = i(g1) ∗op i(g2) para g1, g2 ∈ G .i : G → G es una biyeccion.

Ahora a hacer la cuenta! Tenemos

i(g1 ∗ g2) = (g1 ∗ g2)−1 = g−12 ∗ g−1

1 = i(g2) ∗ i(g1) = i(g1) ∗op i(g2)

para g1, g2 ∈ G .

Ademas i(i(g)) = (g−1)−1 = g y entonces i es biyectiva (es su propiainversa).

I. Sadofschi Costa Algebra II Practica (clase 2) 2020/04/17

Page 21: Álgebra II Práctica (clase 2)cms.dm.uba.ar/academico/materias/1ercuat2020/algebra_II/Clase2020-04-17.pdfI. Sadofschi Costa ´Algebra II Pr ´actica (clase 2) 2020/04/17. Algunos

Demostracion de que G y Gop son isomorfos

ProposicionSea G un grupo. Entonces G y Gop son isomorfos. En efecto i : G → Gop

dado por g 7→ g−1 es un isomorfismo.

Por el Ejercicio 6 de la Practica 1 sabemos que Gop es un grupo. Paraprobar la proposicion debemos verificar que:

i(g1 ∗ g2) = i(g1) ∗op i(g2) para g1, g2 ∈ G .i : G → G es una biyeccion.

Ahora a hacer la cuenta! Tenemos

i(g1 ∗ g2) = (g1 ∗ g2)−1 = g−12 ∗ g−1

1 = i(g2) ∗ i(g1) = i(g1) ∗op i(g2)

para g1, g2 ∈ G .

Ademas i(i(g)) = (g−1)−1 = g y entonces i es biyectiva (es su propiainversa).

I. Sadofschi Costa Algebra II Practica (clase 2) 2020/04/17

Page 22: Álgebra II Práctica (clase 2)cms.dm.uba.ar/academico/materias/1ercuat2020/algebra_II/Clase2020-04-17.pdfI. Sadofschi Costa ´Algebra II Pr ´actica (clase 2) 2020/04/17. Algunos

Demostracion de que G y Gop son isomorfos

ProposicionSea G un grupo. Entonces G y Gop son isomorfos. En efecto i : G → Gop

dado por g 7→ g−1 es un isomorfismo.

Por el Ejercicio 6 de la Practica 1 sabemos que Gop es un grupo. Paraprobar la proposicion debemos verificar que:

i(g1 ∗ g2) = i(g1) ∗op i(g2) para g1, g2 ∈ G .

i : G → G es una biyeccion.Ahora a hacer la cuenta! Tenemos

i(g1 ∗ g2) = (g1 ∗ g2)−1 = g−12 ∗ g−1

1 = i(g2) ∗ i(g1) = i(g1) ∗op i(g2)

para g1, g2 ∈ G .

Ademas i(i(g)) = (g−1)−1 = g y entonces i es biyectiva (es su propiainversa).

I. Sadofschi Costa Algebra II Practica (clase 2) 2020/04/17

Page 23: Álgebra II Práctica (clase 2)cms.dm.uba.ar/academico/materias/1ercuat2020/algebra_II/Clase2020-04-17.pdfI. Sadofschi Costa ´Algebra II Pr ´actica (clase 2) 2020/04/17. Algunos

Demostracion de que G y Gop son isomorfos

ProposicionSea G un grupo. Entonces G y Gop son isomorfos. En efecto i : G → Gop

dado por g 7→ g−1 es un isomorfismo.

Por el Ejercicio 6 de la Practica 1 sabemos que Gop es un grupo. Paraprobar la proposicion debemos verificar que:

i(g1 ∗ g2) = i(g1) ∗op i(g2) para g1, g2 ∈ G .i : G → G es una biyeccion.

Ahora a hacer la cuenta! Tenemos

i(g1 ∗ g2) = (g1 ∗ g2)−1 = g−12 ∗ g−1

1 = i(g2) ∗ i(g1) = i(g1) ∗op i(g2)

para g1, g2 ∈ G .

Ademas i(i(g)) = (g−1)−1 = g y entonces i es biyectiva (es su propiainversa).

I. Sadofschi Costa Algebra II Practica (clase 2) 2020/04/17

Page 24: Álgebra II Práctica (clase 2)cms.dm.uba.ar/academico/materias/1ercuat2020/algebra_II/Clase2020-04-17.pdfI. Sadofschi Costa ´Algebra II Pr ´actica (clase 2) 2020/04/17. Algunos

Demostracion de que G y Gop son isomorfos

ProposicionSea G un grupo. Entonces G y Gop son isomorfos. En efecto i : G → Gop

dado por g 7→ g−1 es un isomorfismo.

Por el Ejercicio 6 de la Practica 1 sabemos que Gop es un grupo. Paraprobar la proposicion debemos verificar que:

i(g1 ∗ g2) = i(g1) ∗op i(g2) para g1, g2 ∈ G .i : G → G es una biyeccion.

Ahora a hacer la cuenta!

Tenemos

i(g1 ∗ g2) = (g1 ∗ g2)−1 = g−12 ∗ g−1

1 = i(g2) ∗ i(g1) = i(g1) ∗op i(g2)

para g1, g2 ∈ G .

Ademas i(i(g)) = (g−1)−1 = g y entonces i es biyectiva (es su propiainversa).

I. Sadofschi Costa Algebra II Practica (clase 2) 2020/04/17

Page 25: Álgebra II Práctica (clase 2)cms.dm.uba.ar/academico/materias/1ercuat2020/algebra_II/Clase2020-04-17.pdfI. Sadofschi Costa ´Algebra II Pr ´actica (clase 2) 2020/04/17. Algunos

Demostracion de que G y Gop son isomorfos

ProposicionSea G un grupo. Entonces G y Gop son isomorfos. En efecto i : G → Gop

dado por g 7→ g−1 es un isomorfismo.

Por el Ejercicio 6 de la Practica 1 sabemos que Gop es un grupo. Paraprobar la proposicion debemos verificar que:

i(g1 ∗ g2) = i(g1) ∗op i(g2) para g1, g2 ∈ G .i : G → G es una biyeccion.

Ahora a hacer la cuenta! Tenemos

i(g1 ∗ g2) = (g1 ∗ g2)−1 = g−12 ∗ g−1

1 = i(g2) ∗ i(g1) = i(g1) ∗op i(g2)

para g1, g2 ∈ G .

Ademas i(i(g)) = (g−1)−1 = g y entonces i es biyectiva (es su propiainversa).

I. Sadofschi Costa Algebra II Practica (clase 2) 2020/04/17

Page 26: Álgebra II Práctica (clase 2)cms.dm.uba.ar/academico/materias/1ercuat2020/algebra_II/Clase2020-04-17.pdfI. Sadofschi Costa ´Algebra II Pr ´actica (clase 2) 2020/04/17. Algunos

Demostracion de que G y Gop son isomorfos

ProposicionSea G un grupo. Entonces G y Gop son isomorfos. En efecto i : G → Gop

dado por g 7→ g−1 es un isomorfismo.

Por el Ejercicio 6 de la Practica 1 sabemos que Gop es un grupo. Paraprobar la proposicion debemos verificar que:

i(g1 ∗ g2) = i(g1) ∗op i(g2) para g1, g2 ∈ G .i : G → G es una biyeccion.

Ahora a hacer la cuenta! Tenemos

i(g1 ∗ g2) = (g1 ∗ g2)−1 = g−12 ∗ g−1

1 = i(g2) ∗ i(g1) = i(g1) ∗op i(g2)

para g1, g2 ∈ G .

Ademas i(i(g)) = (g−1)−1 = g y entonces i es biyectiva (es su propiainversa).

I. Sadofschi Costa Algebra II Practica (clase 2) 2020/04/17

Page 27: Álgebra II Práctica (clase 2)cms.dm.uba.ar/academico/materias/1ercuat2020/algebra_II/Clase2020-04-17.pdfI. Sadofschi Costa ´Algebra II Pr ´actica (clase 2) 2020/04/17. Algunos

Mas sobre permutaciones

La convencion que vamos a utilizar de ahora en mas para operar conpermutaciones es que se multiplican al reves de como se componen lasfunciones.

Por ejemplo (1 2 3) · (3 5) = (1 2 5 3).

O sea que la convencion que tomamos es que la operacion en el gruposimetrico Sn es ◦op donde ◦ es la composicion de funciones.

Es razonable pensar esto como una convencion porque sabemos que G yGop son isomorfos.

I. Sadofschi Costa Algebra II Practica (clase 2) 2020/04/17

Page 28: Álgebra II Práctica (clase 2)cms.dm.uba.ar/academico/materias/1ercuat2020/algebra_II/Clase2020-04-17.pdfI. Sadofschi Costa ´Algebra II Pr ´actica (clase 2) 2020/04/17. Algunos

Mas sobre permutaciones

La convencion que vamos a utilizar de ahora en mas para operar conpermutaciones es que se multiplican al reves de como se componen lasfunciones.

Por ejemplo (1 2 3) · (3 5) = (1 2 5 3).

O sea que la convencion que tomamos es que la operacion en el gruposimetrico Sn es ◦op donde ◦ es la composicion de funciones.

Es razonable pensar esto como una convencion porque sabemos que G yGop son isomorfos.

I. Sadofschi Costa Algebra II Practica (clase 2) 2020/04/17

Page 29: Álgebra II Práctica (clase 2)cms.dm.uba.ar/academico/materias/1ercuat2020/algebra_II/Clase2020-04-17.pdfI. Sadofschi Costa ´Algebra II Pr ´actica (clase 2) 2020/04/17. Algunos

Mas sobre permutaciones

La convencion que vamos a utilizar de ahora en mas para operar conpermutaciones es que se multiplican al reves de como se componen lasfunciones.

Por ejemplo (1 2 3) · (3 5) = (1 2 5 3).

O sea que la convencion que tomamos es que la operacion en el gruposimetrico Sn es ◦op donde ◦ es la composicion de funciones.

Es razonable pensar esto como una convencion porque sabemos que G yGop son isomorfos.

I. Sadofschi Costa Algebra II Practica (clase 2) 2020/04/17

Page 30: Álgebra II Práctica (clase 2)cms.dm.uba.ar/academico/materias/1ercuat2020/algebra_II/Clase2020-04-17.pdfI. Sadofschi Costa ´Algebra II Pr ´actica (clase 2) 2020/04/17. Algunos

Mas sobre permutaciones

La convencion que vamos a utilizar de ahora en mas para operar conpermutaciones es que se multiplican al reves de como se componen lasfunciones.

Por ejemplo (1 2 3) · (3 5) = (1 2 5 3).

O sea que la convencion que tomamos es que la operacion en el gruposimetrico Sn es ◦op donde ◦ es la composicion de funciones.

Es razonable pensar esto como una convencion porque sabemos que G yGop son isomorfos.

I. Sadofschi Costa Algebra II Practica (clase 2) 2020/04/17

Page 31: Álgebra II Práctica (clase 2)cms.dm.uba.ar/academico/materias/1ercuat2020/algebra_II/Clase2020-04-17.pdfI. Sadofschi Costa ´Algebra II Pr ´actica (clase 2) 2020/04/17. Algunos

Matrices de permutacion (nuevamente!)Ahora que sabemos algo de morfismos tenemos herramientas para expresarcosas de la clase pasada de forma muy conceptual.

Fijado un n, recordemos que Eij es la matriz de n × n que tiene un 1 en ellugar (i , j) y 0 en las demas entradas.

Viene bien recordar la notacion de la delta de Kronecker

δx ,y ={

1 si x = y0 en caso contrario.

Dado σ ∈ Sn la matriz de permutacion Pσ esta dada porPσ =

∑ni=1 Ei ,σ(i).

Proposicionϕ : Sn → GL(n,Z), dado por σ 7→ Pσ, es un monomorfismo de grupos.

EjercicioAntes de avanzar intentar probar la proposicion anterior.

I. Sadofschi Costa Algebra II Practica (clase 2) 2020/04/17

Page 32: Álgebra II Práctica (clase 2)cms.dm.uba.ar/academico/materias/1ercuat2020/algebra_II/Clase2020-04-17.pdfI. Sadofschi Costa ´Algebra II Pr ´actica (clase 2) 2020/04/17. Algunos

Matrices de permutacion (nuevamente!)Ahora que sabemos algo de morfismos tenemos herramientas para expresarcosas de la clase pasada de forma muy conceptual.

Fijado un n, recordemos que Eij es la matriz de n × n que tiene un 1 en ellugar (i , j) y 0 en las demas entradas.

Viene bien recordar la notacion de la delta de Kronecker

δx ,y ={

1 si x = y0 en caso contrario.

Dado σ ∈ Sn la matriz de permutacion Pσ esta dada porPσ =

∑ni=1 Ei ,σ(i).

Proposicionϕ : Sn → GL(n,Z), dado por σ 7→ Pσ, es un monomorfismo de grupos.

EjercicioAntes de avanzar intentar probar la proposicion anterior.

I. Sadofschi Costa Algebra II Practica (clase 2) 2020/04/17

Page 33: Álgebra II Práctica (clase 2)cms.dm.uba.ar/academico/materias/1ercuat2020/algebra_II/Clase2020-04-17.pdfI. Sadofschi Costa ´Algebra II Pr ´actica (clase 2) 2020/04/17. Algunos

Matrices de permutacion (nuevamente!)Ahora que sabemos algo de morfismos tenemos herramientas para expresarcosas de la clase pasada de forma muy conceptual.

Fijado un n, recordemos que Eij es la matriz de n × n que tiene un 1 en ellugar (i , j) y 0 en las demas entradas.

Viene bien recordar la notacion de la delta de Kronecker

δx ,y ={

1 si x = y0 en caso contrario.

Dado σ ∈ Sn la matriz de permutacion Pσ esta dada porPσ =

∑ni=1 Ei ,σ(i).

Proposicionϕ : Sn → GL(n,Z), dado por σ 7→ Pσ, es un monomorfismo de grupos.

EjercicioAntes de avanzar intentar probar la proposicion anterior.

I. Sadofschi Costa Algebra II Practica (clase 2) 2020/04/17

Page 34: Álgebra II Práctica (clase 2)cms.dm.uba.ar/academico/materias/1ercuat2020/algebra_II/Clase2020-04-17.pdfI. Sadofschi Costa ´Algebra II Pr ´actica (clase 2) 2020/04/17. Algunos

Matrices de permutacion (nuevamente!)Ahora que sabemos algo de morfismos tenemos herramientas para expresarcosas de la clase pasada de forma muy conceptual.

Fijado un n, recordemos que Eij es la matriz de n × n que tiene un 1 en ellugar (i , j) y 0 en las demas entradas.

Viene bien recordar la notacion de la delta de Kronecker

δx ,y ={

1 si x = y0 en caso contrario.

Dado σ ∈ Sn la matriz de permutacion Pσ esta dada porPσ =

∑ni=1 Ei ,σ(i).

Proposicionϕ : Sn → GL(n,Z), dado por σ 7→ Pσ, es un monomorfismo de grupos.

EjercicioAntes de avanzar intentar probar la proposicion anterior.

I. Sadofschi Costa Algebra II Practica (clase 2) 2020/04/17

Page 35: Álgebra II Práctica (clase 2)cms.dm.uba.ar/academico/materias/1ercuat2020/algebra_II/Clase2020-04-17.pdfI. Sadofschi Costa ´Algebra II Pr ´actica (clase 2) 2020/04/17. Algunos

Matrices de permutacion (nuevamente!)Ahora que sabemos algo de morfismos tenemos herramientas para expresarcosas de la clase pasada de forma muy conceptual.

Fijado un n, recordemos que Eij es la matriz de n × n que tiene un 1 en ellugar (i , j) y 0 en las demas entradas.

Viene bien recordar la notacion de la delta de Kronecker

δx ,y ={

1 si x = y0 en caso contrario.

Dado σ ∈ Sn la matriz de permutacion Pσ esta dada porPσ =

∑ni=1 Ei ,σ(i).

Proposicionϕ : Sn → GL(n,Z), dado por σ 7→ Pσ, es un monomorfismo de grupos.

EjercicioAntes de avanzar intentar probar la proposicion anterior.

I. Sadofschi Costa Algebra II Practica (clase 2) 2020/04/17

Page 36: Álgebra II Práctica (clase 2)cms.dm.uba.ar/academico/materias/1ercuat2020/algebra_II/Clase2020-04-17.pdfI. Sadofschi Costa ´Algebra II Pr ´actica (clase 2) 2020/04/17. Algunos

Matrices de permutacion (nuevamente!)Ahora que sabemos algo de morfismos tenemos herramientas para expresarcosas de la clase pasada de forma muy conceptual.

Fijado un n, recordemos que Eij es la matriz de n × n que tiene un 1 en ellugar (i , j) y 0 en las demas entradas.

Viene bien recordar la notacion de la delta de Kronecker

δx ,y ={

1 si x = y0 en caso contrario.

Dado σ ∈ Sn la matriz de permutacion Pσ esta dada porPσ =

∑ni=1 Ei ,σ(i).

Proposicionϕ : Sn → GL(n,Z), dado por σ 7→ Pσ, es un monomorfismo de grupos.

EjercicioAntes de avanzar intentar probar la proposicion anterior.

I. Sadofschi Costa Algebra II Practica (clase 2) 2020/04/17

Page 37: Álgebra II Práctica (clase 2)cms.dm.uba.ar/academico/materias/1ercuat2020/algebra_II/Clase2020-04-17.pdfI. Sadofschi Costa ´Algebra II Pr ´actica (clase 2) 2020/04/17. Algunos

El signo de una permutacion

Proposicionϕ : Sn → GL(n,Z), dado por σ 7→ Pσ, es un monomorfismo de grupos.

Correstringiendo el morfismo ϕ vemos que el grupo Sn es isomorfo alsubgrupo de GL(n,Z) formado por las matrices de permutacion.

Esto responde una de las cosas que les deje para pensar la clase anterior!

I. Sadofschi Costa Algebra II Practica (clase 2) 2020/04/17

Page 38: Álgebra II Práctica (clase 2)cms.dm.uba.ar/academico/materias/1ercuat2020/algebra_II/Clase2020-04-17.pdfI. Sadofschi Costa ´Algebra II Pr ´actica (clase 2) 2020/04/17. Algunos

El signo de una permutacion

Proposicionϕ : Sn → GL(n,Z), dado por σ 7→ Pσ, es un monomorfismo de grupos.

Correstringiendo el morfismo ϕ vemos que el grupo Sn es isomorfo alsubgrupo de GL(n,Z) formado por las matrices de permutacion.

Esto responde una de las cosas que les deje para pensar la clase anterior!

I. Sadofschi Costa Algebra II Practica (clase 2) 2020/04/17

Page 39: Álgebra II Práctica (clase 2)cms.dm.uba.ar/academico/materias/1ercuat2020/algebra_II/Clase2020-04-17.pdfI. Sadofschi Costa ´Algebra II Pr ´actica (clase 2) 2020/04/17. Algunos

El signo de una permutacion

Proposicionϕ : Sn → GL(n,Z), dado por σ 7→ Pσ, es un monomorfismo de grupos.

Correstringiendo el morfismo ϕ vemos que el grupo Sn es isomorfo alsubgrupo de GL(n,Z) formado por las matrices de permutacion.

Esto responde una de las cosas que les deje para pensar la clase anterior!

I. Sadofschi Costa Algebra II Practica (clase 2) 2020/04/17

Page 40: Álgebra II Práctica (clase 2)cms.dm.uba.ar/academico/materias/1ercuat2020/algebra_II/Clase2020-04-17.pdfI. Sadofschi Costa ´Algebra II Pr ´actica (clase 2) 2020/04/17. Algunos

El signo de una permutacion (cont.)

ProposicionEl determinante det : GL(n,R)→ R× es morfismo de grupos y serestringe a un morfismo det : GL(n,Z)→ G2 = {1,−1} .

La demostracion queda de ejercicio. Si no es inmediato puede quenecesiten repasar un poco algebra lineal.

Ahora podemos definir el signo por sg = det ◦ ϕ. Inmediatamente de ladefinicion tenemos:

CorolarioEl signo sg : Sn → G2 es morfismo de grupos

Con un poquito de teorıa la definicion hace inmediatas varias propiedadesimportantes del signo!

I. Sadofschi Costa Algebra II Practica (clase 2) 2020/04/17

Page 41: Álgebra II Práctica (clase 2)cms.dm.uba.ar/academico/materias/1ercuat2020/algebra_II/Clase2020-04-17.pdfI. Sadofschi Costa ´Algebra II Pr ´actica (clase 2) 2020/04/17. Algunos

El signo de una permutacion (cont.)

ProposicionEl determinante det : GL(n,R)→ R× es morfismo de grupos y serestringe a un morfismo det : GL(n,Z)→ G2 = {1,−1} .

La demostracion queda de ejercicio. Si no es inmediato puede quenecesiten repasar un poco algebra lineal.

Ahora podemos definir el signo por sg = det ◦ ϕ. Inmediatamente de ladefinicion tenemos:

CorolarioEl signo sg : Sn → G2 es morfismo de grupos

Con un poquito de teorıa la definicion hace inmediatas varias propiedadesimportantes del signo!

I. Sadofschi Costa Algebra II Practica (clase 2) 2020/04/17

Page 42: Álgebra II Práctica (clase 2)cms.dm.uba.ar/academico/materias/1ercuat2020/algebra_II/Clase2020-04-17.pdfI. Sadofschi Costa ´Algebra II Pr ´actica (clase 2) 2020/04/17. Algunos

El signo de una permutacion (cont.)

ProposicionEl determinante det : GL(n,R)→ R× es morfismo de grupos y serestringe a un morfismo det : GL(n,Z)→ G2 = {1,−1} .

La demostracion queda de ejercicio. Si no es inmediato puede quenecesiten repasar un poco algebra lineal.

Ahora podemos definir el signo por sg = det ◦ ϕ. Inmediatamente de ladefinicion tenemos:

CorolarioEl signo sg : Sn → G2 es morfismo de grupos

Con un poquito de teorıa la definicion hace inmediatas varias propiedadesimportantes del signo!

I. Sadofschi Costa Algebra II Practica (clase 2) 2020/04/17

Page 43: Álgebra II Práctica (clase 2)cms.dm.uba.ar/academico/materias/1ercuat2020/algebra_II/Clase2020-04-17.pdfI. Sadofschi Costa ´Algebra II Pr ´actica (clase 2) 2020/04/17. Algunos

El signo de una permutacion (cont.)

ProposicionEl determinante det : GL(n,R)→ R× es morfismo de grupos y serestringe a un morfismo det : GL(n,Z)→ G2 = {1,−1} .

La demostracion queda de ejercicio. Si no es inmediato puede quenecesiten repasar un poco algebra lineal.

Ahora podemos definir el signo por sg = det ◦ ϕ. Inmediatamente de ladefinicion tenemos:

CorolarioEl signo sg : Sn → G2 es morfismo de grupos

Con un poquito de teorıa la definicion hace inmediatas varias propiedadesimportantes del signo!

I. Sadofschi Costa Algebra II Practica (clase 2) 2020/04/17

Page 44: Álgebra II Práctica (clase 2)cms.dm.uba.ar/academico/materias/1ercuat2020/algebra_II/Clase2020-04-17.pdfI. Sadofschi Costa ´Algebra II Pr ´actica (clase 2) 2020/04/17. Algunos

El signo de una permutacion (cont.)

ProposicionEl determinante det : GL(n,R)→ R× es morfismo de grupos y serestringe a un morfismo det : GL(n,Z)→ G2 = {1,−1} .

La demostracion queda de ejercicio. Si no es inmediato puede quenecesiten repasar un poco algebra lineal.

Ahora podemos definir el signo por sg = det ◦ ϕ. Inmediatamente de ladefinicion tenemos:

CorolarioEl signo sg : Sn → G2 es morfismo de grupos

Con un poquito de teorıa la definicion hace inmediatas varias propiedadesimportantes del signo!

I. Sadofschi Costa Algebra II Practica (clase 2) 2020/04/17

Page 45: Álgebra II Práctica (clase 2)cms.dm.uba.ar/academico/materias/1ercuat2020/algebra_II/Clase2020-04-17.pdfI. Sadofschi Costa ´Algebra II Pr ´actica (clase 2) 2020/04/17. Algunos

Demostracion de que ϕ es (mono)morfismoNotar que Ei ,jEk,l = δj,kEi ,l . En otras palabras Ei ,jEk,l es igual a Ei ,l sij = k y 0 en caso contrario.

Luego

ϕ(σ)ϕ(τ) = PσPτ =( n∑

i=1Ei ,σ(i)

) n∑j=1

Ej,τ(j)

=∑i ,j

Ei ,σ(i)Ej,τ(j)

=∑i ,jδσ(i),jEi ,τ(j)

=∑

iEi ,τ(σ(i))

= Pτ◦σ

= Pστ= ϕ(στ)

Por lo tanto ϕ es morfismo. Que es inyectivo es claro y que su imagenesta dada por las matrices de permutacion tambien.

I. Sadofschi Costa Algebra II Practica (clase 2) 2020/04/17

Page 46: Álgebra II Práctica (clase 2)cms.dm.uba.ar/academico/materias/1ercuat2020/algebra_II/Clase2020-04-17.pdfI. Sadofschi Costa ´Algebra II Pr ´actica (clase 2) 2020/04/17. Algunos

Demostracion de que ϕ es (mono)morfismoNotar que Ei ,jEk,l = δj,kEi ,l . En otras palabras Ei ,jEk,l es igual a Ei ,l sij = k y 0 en caso contrario. Luego

ϕ(σ)ϕ(τ) = PσPτ =( n∑

i=1Ei ,σ(i)

) n∑j=1

Ej,τ(j)

=∑i ,j

Ei ,σ(i)Ej,τ(j)

=∑i ,jδσ(i),jEi ,τ(j)

=∑

iEi ,τ(σ(i))

= Pτ◦σ

= Pστ= ϕ(στ)

Por lo tanto ϕ es morfismo. Que es inyectivo es claro y que su imagenesta dada por las matrices de permutacion tambien.

I. Sadofschi Costa Algebra II Practica (clase 2) 2020/04/17

Page 47: Álgebra II Práctica (clase 2)cms.dm.uba.ar/academico/materias/1ercuat2020/algebra_II/Clase2020-04-17.pdfI. Sadofschi Costa ´Algebra II Pr ´actica (clase 2) 2020/04/17. Algunos

Demostracion de que ϕ es (mono)morfismoNotar que Ei ,jEk,l = δj,kEi ,l . En otras palabras Ei ,jEk,l es igual a Ei ,l sij = k y 0 en caso contrario. Luego

ϕ(σ)ϕ(τ) = PσPτ =( n∑

i=1Ei ,σ(i)

) n∑j=1

Ej,τ(j)

=∑i ,j

Ei ,σ(i)Ej,τ(j)

=∑i ,jδσ(i),jEi ,τ(j)

=∑

iEi ,τ(σ(i))

= Pτ◦σ

= Pστ= ϕ(στ)

Por lo tanto ϕ es morfismo. Que es inyectivo es claro y que su imagenesta dada por las matrices de permutacion tambien.

I. Sadofschi Costa Algebra II Practica (clase 2) 2020/04/17

Page 48: Álgebra II Práctica (clase 2)cms.dm.uba.ar/academico/materias/1ercuat2020/algebra_II/Clase2020-04-17.pdfI. Sadofschi Costa ´Algebra II Pr ´actica (clase 2) 2020/04/17. Algunos

El grupo alternante An

El grupo alternante en n elementos es An = ker(sg : Sn → G2).

Entoncescasi por definicion tenemos An / Sn.Sabemos que Sn tiene n! elementos. ¿Podemos saber cuantos elementostiene el grupo alternante con las herramientas vistas hasta ahora?Nuevamente, es buen momento para pensarlo!Pista: Como el signo es morfismo, el producto de una permutacion designo 1 y una de signo −1 tiene signo −1; el producto de dospermutaciones de signo −1 tiene signo 1.Demostracion: Elijamos una permutacion τ de signo −1 (esto se puedehacer si n ≥ 2, por ejemplo podemos tomar τ = (1 2)).Multiplicar a izquierda por τ da una funcion

{ permutaciones de signo 1 } → { permutaciones de signo −1 }cuya inversa es multiplicar a izquierda por τ−1 (notar que sg(τ−1) = −1).Entonces estos conjuntos tienen la misma cantidad de elementos y por lotanto |An| = 1

2 |Sn| = n!2 si n ≥ 2.

I. Sadofschi Costa Algebra II Practica (clase 2) 2020/04/17

Page 49: Álgebra II Práctica (clase 2)cms.dm.uba.ar/academico/materias/1ercuat2020/algebra_II/Clase2020-04-17.pdfI. Sadofschi Costa ´Algebra II Pr ´actica (clase 2) 2020/04/17. Algunos

El grupo alternante An

El grupo alternante en n elementos es An = ker(sg : Sn → G2). Entoncescasi por definicion tenemos An / Sn.

Sabemos que Sn tiene n! elementos. ¿Podemos saber cuantos elementostiene el grupo alternante con las herramientas vistas hasta ahora?Nuevamente, es buen momento para pensarlo!Pista: Como el signo es morfismo, el producto de una permutacion designo 1 y una de signo −1 tiene signo −1; el producto de dospermutaciones de signo −1 tiene signo 1.Demostracion: Elijamos una permutacion τ de signo −1 (esto se puedehacer si n ≥ 2, por ejemplo podemos tomar τ = (1 2)).Multiplicar a izquierda por τ da una funcion

{ permutaciones de signo 1 } → { permutaciones de signo −1 }cuya inversa es multiplicar a izquierda por τ−1 (notar que sg(τ−1) = −1).Entonces estos conjuntos tienen la misma cantidad de elementos y por lotanto |An| = 1

2 |Sn| = n!2 si n ≥ 2.

I. Sadofschi Costa Algebra II Practica (clase 2) 2020/04/17

Page 50: Álgebra II Práctica (clase 2)cms.dm.uba.ar/academico/materias/1ercuat2020/algebra_II/Clase2020-04-17.pdfI. Sadofschi Costa ´Algebra II Pr ´actica (clase 2) 2020/04/17. Algunos

El grupo alternante An

El grupo alternante en n elementos es An = ker(sg : Sn → G2). Entoncescasi por definicion tenemos An / Sn.Sabemos que Sn tiene n! elementos. ¿Podemos saber cuantos elementostiene el grupo alternante con las herramientas vistas hasta ahora?Nuevamente, es buen momento para pensarlo!

Pista: Como el signo es morfismo, el producto de una permutacion designo 1 y una de signo −1 tiene signo −1; el producto de dospermutaciones de signo −1 tiene signo 1.Demostracion: Elijamos una permutacion τ de signo −1 (esto se puedehacer si n ≥ 2, por ejemplo podemos tomar τ = (1 2)).Multiplicar a izquierda por τ da una funcion

{ permutaciones de signo 1 } → { permutaciones de signo −1 }cuya inversa es multiplicar a izquierda por τ−1 (notar que sg(τ−1) = −1).Entonces estos conjuntos tienen la misma cantidad de elementos y por lotanto |An| = 1

2 |Sn| = n!2 si n ≥ 2.

I. Sadofschi Costa Algebra II Practica (clase 2) 2020/04/17

Page 51: Álgebra II Práctica (clase 2)cms.dm.uba.ar/academico/materias/1ercuat2020/algebra_II/Clase2020-04-17.pdfI. Sadofschi Costa ´Algebra II Pr ´actica (clase 2) 2020/04/17. Algunos

El grupo alternante An

El grupo alternante en n elementos es An = ker(sg : Sn → G2). Entoncescasi por definicion tenemos An / Sn.Sabemos que Sn tiene n! elementos. ¿Podemos saber cuantos elementostiene el grupo alternante con las herramientas vistas hasta ahora?Nuevamente, es buen momento para pensarlo!Pista: Como el signo es morfismo, el producto de una permutacion designo 1 y una de signo −1 tiene signo −1; el producto de dospermutaciones de signo −1 tiene signo 1.

Demostracion: Elijamos una permutacion τ de signo −1 (esto se puedehacer si n ≥ 2, por ejemplo podemos tomar τ = (1 2)).Multiplicar a izquierda por τ da una funcion

{ permutaciones de signo 1 } → { permutaciones de signo −1 }cuya inversa es multiplicar a izquierda por τ−1 (notar que sg(τ−1) = −1).Entonces estos conjuntos tienen la misma cantidad de elementos y por lotanto |An| = 1

2 |Sn| = n!2 si n ≥ 2.

I. Sadofschi Costa Algebra II Practica (clase 2) 2020/04/17

Page 52: Álgebra II Práctica (clase 2)cms.dm.uba.ar/academico/materias/1ercuat2020/algebra_II/Clase2020-04-17.pdfI. Sadofschi Costa ´Algebra II Pr ´actica (clase 2) 2020/04/17. Algunos

El grupo alternante An

El grupo alternante en n elementos es An = ker(sg : Sn → G2). Entoncescasi por definicion tenemos An / Sn.Sabemos que Sn tiene n! elementos. ¿Podemos saber cuantos elementostiene el grupo alternante con las herramientas vistas hasta ahora?Nuevamente, es buen momento para pensarlo!Pista: Como el signo es morfismo, el producto de una permutacion designo 1 y una de signo −1 tiene signo −1; el producto de dospermutaciones de signo −1 tiene signo 1.Demostracion: Elijamos una permutacion τ de signo −1 (esto se puedehacer si n ≥ 2, por ejemplo podemos tomar τ = (1 2)).

Multiplicar a izquierda por τ da una funcion{ permutaciones de signo 1 } → { permutaciones de signo −1 }

cuya inversa es multiplicar a izquierda por τ−1 (notar que sg(τ−1) = −1).Entonces estos conjuntos tienen la misma cantidad de elementos y por lotanto |An| = 1

2 |Sn| = n!2 si n ≥ 2.

I. Sadofschi Costa Algebra II Practica (clase 2) 2020/04/17

Page 53: Álgebra II Práctica (clase 2)cms.dm.uba.ar/academico/materias/1ercuat2020/algebra_II/Clase2020-04-17.pdfI. Sadofschi Costa ´Algebra II Pr ´actica (clase 2) 2020/04/17. Algunos

El grupo alternante An

El grupo alternante en n elementos es An = ker(sg : Sn → G2). Entoncescasi por definicion tenemos An / Sn.Sabemos que Sn tiene n! elementos. ¿Podemos saber cuantos elementostiene el grupo alternante con las herramientas vistas hasta ahora?Nuevamente, es buen momento para pensarlo!Pista: Como el signo es morfismo, el producto de una permutacion designo 1 y una de signo −1 tiene signo −1; el producto de dospermutaciones de signo −1 tiene signo 1.Demostracion: Elijamos una permutacion τ de signo −1 (esto se puedehacer si n ≥ 2, por ejemplo podemos tomar τ = (1 2)).Multiplicar a izquierda por τ da una funcion

{ permutaciones de signo 1 } → { permutaciones de signo −1 }cuya inversa es multiplicar a izquierda por τ−1 (notar que sg(τ−1) = −1).

Entonces estos conjuntos tienen la misma cantidad de elementos y por lotanto |An| = 1

2 |Sn| = n!2 si n ≥ 2.

I. Sadofschi Costa Algebra II Practica (clase 2) 2020/04/17

Page 54: Álgebra II Práctica (clase 2)cms.dm.uba.ar/academico/materias/1ercuat2020/algebra_II/Clase2020-04-17.pdfI. Sadofschi Costa ´Algebra II Pr ´actica (clase 2) 2020/04/17. Algunos

El grupo alternante An

El grupo alternante en n elementos es An = ker(sg : Sn → G2). Entoncescasi por definicion tenemos An / Sn.Sabemos que Sn tiene n! elementos. ¿Podemos saber cuantos elementostiene el grupo alternante con las herramientas vistas hasta ahora?Nuevamente, es buen momento para pensarlo!Pista: Como el signo es morfismo, el producto de una permutacion designo 1 y una de signo −1 tiene signo −1; el producto de dospermutaciones de signo −1 tiene signo 1.Demostracion: Elijamos una permutacion τ de signo −1 (esto se puedehacer si n ≥ 2, por ejemplo podemos tomar τ = (1 2)).Multiplicar a izquierda por τ da una funcion

{ permutaciones de signo 1 } → { permutaciones de signo −1 }cuya inversa es multiplicar a izquierda por τ−1 (notar que sg(τ−1) = −1).Entonces estos conjuntos tienen la misma cantidad de elementos y por lotanto |An| = 1

2 |Sn| = n!2 si n ≥ 2.

I. Sadofschi Costa Algebra II Practica (clase 2) 2020/04/17

Page 55: Álgebra II Práctica (clase 2)cms.dm.uba.ar/academico/materias/1ercuat2020/algebra_II/Clase2020-04-17.pdfI. Sadofschi Costa ´Algebra II Pr ´actica (clase 2) 2020/04/17. Algunos

¿Que sigue?

Las proximas secciones del apunte Teorico son Coclases y Cocientes.

Las ideas que aparecen en esas secciones generalizan ampliamente elargumento “a mano” que utilizamos para probar que |An| = 1

2 |Sn|.

Esto sera un corolario inmediato de los resultados de esas secciones.

I. Sadofschi Costa Algebra II Practica (clase 2) 2020/04/17