Ir al contenido

Álgebra Abstracta/Texto Completo

De Wikilibros, la colección de libros de texto de contenido libre.

Plantilla:Versión para Imprimir

Álgebra Abstracta
Primer Curso

Álgebra Abstracta

A. Las Estructuras

[editar]

    1. Introducción

    [editar]

    Capítulo 1 INTRODUCCIÓN

    [editar]

    del Matemáticas Universitarias/Algebra Abstracta/Introducción 

    " Faire d'Algèbre, c'est esentiellement calculier ... "

    Nicolas Bourbaki.

    ¿Qué es el Álgebra Abstracta?

    [editar]

    El Álgebra Abstracta, como indica su nombre, surge como una abstracción de propiedades algebraicas comunes a diferentes sistemas numéricos y a otros objetos de estudio matemático. La preocupación principal es acerca de las propiedades de las operaciones, independientemente (abstracción) de la naturaleza de los operandos. La suma de los números naturales, así como aquella de los Enteros, de los Reales, o de funciones, o de matrices etc. es asociativa. Lo que interesa aquí es estudiar las consecuencias de suponer que la suma en un conjunto cualquiera (de números o no) sea asociativa.

    Hay tres fuentes clásicas para el Álgebra Abstracta: la teoría de las ecuaciones polinómicas, la teoría de los números enteros y la Geometría. Cada una de esas áreas se desarrolló inicialmente de manera independiente de las otras. Con el pasar del tiempo, se observaron muchas semejanzas entre los resultados obtenidos, con lo que se inició la abstracción de dichos resultados. Tal desarrollo se produce desde fines del siglo XVIII hasta el inicio del siglo XX, cuando las nociones adquirieron una forma semejante a lo que expondremos en este texto.

    Los trabajos de abstracción contribuyeron a identificar la noción de estructura algebraica como central al estudio del Álgebra. Una estructura algebraica es, básicamente, un conjunto provisto de una o más operaciones que poseen algunas propiedades especiales. La ventaja del enfoque abstracto es que permite al estudiar una estructura, estudiar propiedades de los variados ejemplos de tales estructuras (a veces infinitos ejemplos). En segundo lugar, podemos ver de manera más transparente las relaciones y consecuencias de las propiedades de las operaciones.

    Como libro texto para un primer curso, suponemos que los lectores son novatos en la materia, lo que no excluye que pueda ser de provecho para lectores con mayor experiencia en el campo. Por lo anterior, hemos enfatizado en ejemplos y colocado una gran cantidad de ejercicios---que son parte integral del texto. Hemos colocado también comentarios que expanden los contenidos o apuntan a referencias tanto a los orígenes como a las aplicaciones.

    ¿Por qué darle énfasis a las estructuras? Una primera respuesta es comodidad. Antes de su introducción en el álgebra, la situación parecía relativamente simple, estudiar álgebra era aprender a realizar las operaciones algebraicas con los números. Sin embargo, con la aparición de nuevos objetos matemáticos: funciones, vectores, matrices, permutaciones, etc. aparecieron, también, operaciones con ellos. Una alternativa para el estudio era crear una secuencia de cursos más o menos en el siguiente orden: el álgebra de los reales, el álgebra de los complejos, el álgebra de los polinomios, el álgebra de los vectores bidimensionales, el álgebra de los vectores tridimensionales, el álgebra de las matrices, el álgebra de los enteros--modulo, el álgebra de los cuaterniones, el álgebra de los tensores, etc. La invención de nuevos objetos y de sus operaciones, hacían del álgebra un campo en continua expansión y, adonde, era difícil seguirle el rastro a todos los nuevos objetos. Frente a dicha explosión de objetos, se inventó una clasificación que reducía esas álgebras a unas pocas estructuras que servirían para unificar los estudios. Las estructuras básicas con una operación son: semigrupos, monoides y grupos, con dos o más operaciones: anillos, dominios, cuerpos, espacios vectoriales, módulos y álgebras. Estas estructuras, con algunas subestructuras, permiten organizar los estudios por las propiedades básicas comunes, en lugar de mirar a la naturaleza de los elemento .

    Por ejemplo, la estructura de cuerpo presupone un conjunto donde están definidas las cuatro operaciones aritméticas poseyendo las propiedades usuales. Ejemplos inmediatos de esa estructura son: los Racionales, los Reales y los Complejos, así como los Enteros módulo un número primo. En este curso, veremos algunos cuerpos adicionales (hay infinitos ejemplos).

    Organización del libro

    [editar]

    El libro está organizado en cuatro partes. La primera parte, que incluye esta introducción, presenta las generalidades acerca de las operaciones y de los tipos de estructuras algebraicas básicas más importantes.

    La segunda parte esta dedicada a la estructura de grupo (un conjunto con una operación con una serie de propiedades). Esta estructura es fundamental tanto para las matemáticas como para muchas otras áreas del conocimiento: física, química, programación, etc. Los ejemplos básicos de grupo que veremos son: los grupos cíclicos (provenientes de la teoría de números), los grupos simétricos (provenientes de la teoría de ecuaciones), y los grupos provenientes de la geometría (grupos diedrales).

    La tercera parte está dedicada a las estructuras de anillo y cuerpo, que son abstracciones de las propiedades algebraicas de los Enteros y de los Racionales respectivamente.

    Los ejemplos básicos de anillos son los Enteros (usuales y algebraicos), los polinomios con coeficientes en un cuerpo. Los cuerpos más importantes serán los numéricos (Racionales, Reales, Complejos) y algunos cuerpos finitos.

    Finalmente, la cuarta parte son apéndices que contienen resúmenes de las definiciones y propiedades referentes a las funciones, las relaciones, los sistemas numéricos. En estos apéndices, resumimos nociones y resultados que debería conocer un lector de este texto.

    Los lectores atentos podrán darse cuenta que, a veces, hay repeticiones de material. Algunas de esas repeticiones son intencionales, a fin de permitir leer capítulos en forma más independientes.

    En el texto, en varias ocasiones, mencionamos a las personas que han tenido un rol en el desarrollo de los temas tratados. Esperamos que el lector lea acerca de ellos. El primer sitio adonde buscar lo anterior es el siguiente enlace de la Universidad de San Andrés de Escocia

    Aunque, a veces, no lo pueda parecer, éste es un texto elemental. Hay varios textos más avanzados o equivalentes que aparecen en la bibliografía. Otra fuente de consulta son las bibliotecas en línea.

    Sugerencias para el estudio

    [editar]

    Cada disciplina o area de estudio tiene una manera especial de adquirir conocimientos respecto a la misma. En Álgebra Abstracta, se trata de una teoría de las operaciones, lo que implica que la validez de los resultados se tienen que deducir de las propiedades básicas (axiomas). Los lectores deben adquirir el hábito (si no lo tienen con anterioridad) de preguntar por la validez de los enunciados. La intuición que tenemos de manipulaciones de expresiones algebraicas anteriores es, sin duda, muy útil; pero que puede ser perturbadora. Muchos de los resultado conocidos, son válidos en ciertas situaciones, pero no en todas; por ejemplo. hay importantes multiplicaciones que no son conmutativas. Como consecuencia de lo anterior, una relación algebraica tan simple como , no siempre es válida. Precisamente, los análisis de Álgebra Abstracta nos permitirán identificar que es necesario suponer para que la relación anterior sea válida.

    • Las definiciones son importantes. Es necesario memorizarlas, reconocer instancias adonde se aplica la definición y distinguirlas de aquellas adonde no se aplican. La memorización debe ser con entendimiento y cada lectora o lector puede redactarlas a su conveniencia, siempre y cuando no cambien el significado.
    • Los enunciados validos pueden clasificarse como axiomas, proposiciones, corolarios y teoremas. Los axiomas son enunciados que aceptamos de partida como válidos. Usualmente en el texto están contenidos en las definiciones. Por ejemplo, cuando estudiamos grupos, suponemos que la operación es asociativa. Al contrario las proposiciones, corolarios y teoremas son enunciados que deben probarse usando los axiomas u otros enunciados probados anteriormente. Las diferencias entre esos enunciados es énfasis: corolarios son consecuencias inmediatas de una proposición, teoremas son proposiciones con resultados muy importantes (es decir que tienen muchas aplicaciones).
    • En cada proposición (o corolario o teorema) es importante identificar claramente las hipótesis (los supuestos) y la tesis (la conclusión). Antes de leer la demostración, resulta valioso intentar pensar en alguno de los ejemplos principales y ver que significa el teorema para esos ejemplos. Igualmente, tratar de buscar una demostración. Algunas proposiciones tienen pruebas relativamente triviales y pueden probarse sin mucho esfuerzo. Aún para aquellas con mayor dificultad, vale la pena intentar la prueba, para poder apreciar mejor la ingeniosidad de la prueba, o ver claramente los puntos principales de la demostración. Al revés de las definiciones, las demostraciones no necesitan ser memorizadas tal cual se presentan. Más importante son los "trucos" usados, que pueden ser usados en otras demostraciones o ejercicios. Después de aplicar los resultados, vale la pena preguntar si no habría otra manera de hacer lo mismo.
    • Los ejemplos se presentan para ilustrar propiedades y resultados de proposiciones y, a veces, para motivar o introducir un nuevo concepto. En el último caso, el ejemplo (o ejemplos) será seguido de una definición. Tratar de dar una definición antes de leer aquellas dada en el texto. Hay ejemplos que se repiten a través del libro, por lo que se debe trabajar con ellos.
    • Las demostraciones constituyen, de cierta manera, el meollo del estudio, ya que las demostraciones nos permiten formar una red lógica de conceptos y resultados, que posibilitarán el entendimiento del material. Demostrar es, simplemente, explicar porque creemos que cierta afirmación es válida, la única restricción es que las explicaciones deben ser enunciados previamente conocidos como válidos. Inicialmente, en el texto, hay demostraciones de muchas de las proposiciones, especialmente explicando la razón de cada paso. Posteriormente, tales justificaciones quedarán al cuidado del lector o lectora. Cuando una demostración sea muy extensa o compleja, recomendamos que la lectora o lector trate de dividirla en partes, y examine cuidadosamente lo hecho.

    Algunos convenios

    [editar]

    Usamos los convenios siguientes de notación y nomenclatura para los principales sistemas numéricos.

    El conjunto de los números naturales.
    El conjunto de los naturales positivos.
    El conjunto de los enteros.
    El conjunto de los racionales.
    El conjunto de los reales.
    El conjunto de complejos.
    El conjunto de los enteros módulo

    En el texto, nos referiremos al conjunto de los números naturales, , como los Naturales; igualmente para los otros conjuntos numéricos.


    Las notaciones y nomenclatura acerca de funciones se hallan en el apéndice Las Funciones, mientras que lo referente a relaciones se halla en el apéndice Las Relaciones.


    Preparado por Rehernan (discusión) 21:57 8 jul 2025 (UTC)

    2. Las Operaciones

    [editar]

    CAPÍTULO 2 LAS OPERACIONES

    [editar]

    Introducción

    [editar]

    En este capítulo, iniciaremos nuestros estudios del Álgebra con las abstracciones de las operaciones usuales. Analizaremos, es decir, consideraremos en forma aislada cada una de las propiedades usuales, para ver claramente las consecuencias de las suposiciones de cada una de esas propiedades. Igualmente, para elementos o subconjuntos destacables.

    Cuando estudiamos a los números enteros, nos encontramos con las operaciones de suma, resta y multiplicación. Dichas operaciones poseen varias propiedades interesantes. Hay, además, números y subconjuntos destacados respecto a esas operaciones. Igualmente, tenemos operaciones en los Racionales, Reales y Complejos.

    Presentaremos nociones que son abstracciones de esas operaciones y de sus propiedades. Al analizar las propiedades de las operaciones y de elementos destacados como el 0, respecto a la suma, o el 1, respecto a la multiplicación, podremos ver las consecuencias lógicas de la existencia de esas propiedades y elementos.

    Definiciones y Ejemplos

    [editar]

    La noción general de operación que veremos es una simple abstracción de las operaciones usuales en los conjuntos numéricos. Consideremos las operaciones de suma, resta y multiplicación. ¿Qué tienen en común esas operaciones? Las tres operaciones mencionadas hacen esencialmente lo siguiente: asocian a un par ordenado de números, otro número.

    La diferencia entre esas operaciones reside en el valor asociado. Por ejemplo, al par (5, 3), la suma asocia el 8, mientras que resta asocia el 2 y la multiplicación el 15. Esa observación es la base para la definición abstracta de operación que daremos a continuación.

    Definición. (Operación) Una operación en un conjunto es una función

    Es decir, una operación en un conjunto es la asignación a cada par ordenado de elementos de E, de un único elemento de E. Cuando es una operación, es costumbre denotar el valor de la función en la pareja (x, y) como , en lugar de , como es lo usual para las funciones.

    Simbolizamos a las operaciones por símbolos tales como , etc. Usamos para indicar una operación cualquiera. Muchas veces, por simplicidad, escribiremos ab o en lugar de a * b.

    Ejemplo 1.1.

    En el conjunto de los Enteros, , tenemos tres operaciones: la suma, la resta y la multiplicación. En el conjunto de los (números) Racionales y los Reales tenemos también operaciones de suma, resta y multiplicación.

    Ejemplo 1.2.

    Sigue de la definición dada de operación que la resta NO es una operación en el conjunto de los números naturales, ya que no siempre es posible asignar un número natural a la resta de dos números naturales. Por ejemplo, 3 - 5 no es un número natural. Aunque lo anterior es diferente a lo usado cotidianamente, la diferencia permite hacer un trabajo lógicamente más simple

    Como no hay división por cero en los Reales, la división tampoco es, de acuerdo a la definición dada una operación en dicho conjunto.

    Ejemplo 1.3.

    Sea un conjunto no vacío y consideremos el conjunto formado por todas las funciones de ese conjunto en los Reales. Para esas funciones se definen una suma, resta y multiplicación de la siguiente manera.

    Este ejemplo aparece en cursos elementales con la restricción de que se supone que X es un subconjunto de los Reales.

    Ejemplo 1.4.

    Sea un conjunto no vacío y sea el conjunto formado por todas las funciones de en si mismo. La composición de funciones es una operación en .

    Ejemplo 1.5.

    Sea un conjunto no vacío y sea , el conjunto formado por todos los subconjuntos de . La (re)unión e intersección de subconjuntos son operaciones en .

    Definición. (Magma) Llamamos magma a un conjunto E provisto de una operación.


    Cuando queramos identificar al conjunto y a la operación, describiremos al magma como un pareja formada por el conjunto y la operación, . Por ejemplo, los Enteros con la suma () y los Enteros con la multiplicación (), son ejemplos diferentes de magmas.

    Propiedades Especiales

    [editar]

    Las propiedades familiares de asociatividad, conmutatividad y distributividad de las operaciones numéricas se pueden definir para un operación cualquiera. Sin embargo, notemos de partida, que no siempre las operaciones tienen esas propiedades.

    Definición. (Tipos de Operaciones) Decimos que una operación * en un conjunto es:

    1. Asociativa, si, para todo en , se cumple que:
    2. Conmutativa, si, para todo en , se cumple que:
    3. Distributiva respecto a otra operación , si, para todo a, b y c en , se cumple que:

    Ejemplo 1.6.

    La suma y la multiplicación usual en los conjuntos numéricos son operaciones asociativas y conmutativas. Además, la multiplicación es distributiva respecto a la suma.


    Significado de la Conmutatividad. Una operación es conmutativa, cuando el orden en que se realiza la operación no afecta al resultado. La resta, en los Enteros, no es conmutativa ya que, por ejemplo, tenemos que y , y .


    Significado de la Asociatividad. La asociatividad nos sirve, cuando está presente, para evaluar el resultado de aplicar la operación a más de dos elementos. En tal situación, debemos agrupar elementos en grupos de a dos para poder evaluar (eso proviene de que nuestras operaciones son binarias, o sea que asocian a dos elementos un tercer elemento). La asociatividad nos dice que podemos agrupar como queramos para la evaluación, sin cambiar el orden de aparición, y el resultado no cambiará.

    La resta no es asociativa, ya que 5 - (3 - 2) = 5 - 1 = 4, mientras que (5 - 3) - 2 = 2 - 2 = 0. Esto nos dice que la expresión 5 - 3 - 2 es ambigua, porque el valor de esa expresión dependerá de como agrupemos los operandos. Al contrario, no es ambigua, ya que y .

    En general, cuando una operación * es asociativa, para evaluar una expresión tal como , lo podremos hacer agrupando como queramos, ya que ambas posibilidades, y , producirán el mismo valor. Por esa razón, cuando la operación es asociativa, podemos eliminar los paréntesis. Ejemplo 1.7.

    Definamos una operación en los Enteros, por . Probaremos que es asociativa y conmutativa.

    Resolución. Sean a, b y c números enteros cualesquiera. Tenemos que

    Por su parte,

    Comparando las dos expansiones, concluimos que Es decir que la operación es asociativa.

    Veamos ahora la conmutatividad. y Luego, , o sea que la operación es conmutativa.


    Ejemplo 1.8.
    Sea el conjunto formado por todos los pares ordenados de números enteros. Definamos una operación en por

    1. Evaluate .
    2. Verificar que is asociativa. Sean , y tres elementos cualesquiera de .


           Lo que prueba la asociatividad.
      
    3. Veamos ahora que es conmutativa.
             Como la suma de enteros es conmutativa, los pares ordenados a la derecha son iguales, lo que prueba la conmutatividad.  
      

    Ejercicios

    [editar]
    1. Dar tres ejemplos de operaciones asociativas.
    2. Dar dos ejemplos de operaciones no asociativas.
    3. Definir la operación en los Enteros por . Evaluar , , . ¿Es asociativa? ¿conmutativa?
    4. Suponer que la operación no es asociativa. Entonces, la expresión tiene dos interpretaciones posibles. ¿Cuántas interpretaciones posibles tiene la expresión ?
    5. Suponer que la operación es asociativa. Verificar que todas las interpretaciones posibles de la expresión (ver el ejercicio anterior) producen el mismo valor.

    Los Elementos Destacados

    [editar]

    Algunos elementos de un magma tienen propiedades especiales respecto a la operación. Veremos, en esta sección, las nociones de elementos neutros, invertibles y cancelables, que son abstracciones de ciertas propiedades numéricas.

    Elementos Neutros

    [editar]

    En muchas situaciones, hallamos elementos de un conjunto que tienen propiedades especiales respecto a una operación. Pensemos, por ejemplo, en el rol del 0 en la suma o en el rol del 1 en la multiplicación.

    ¿Qué tiene en común esos elementos? Simplemente, que cuando se operan con cualquier otro elemento, siempre producen el otro elemento. Es decir, que para todo número se cumple que y que En forma abstracta, llamaremos neutro a un elemento con esa propiedad.

    Definición. (Elemento Neutro) Sea E un magma con operación *. Decimos que un elemento de es un neutro respecto a la operación *, si, para todo se cumple que

    Cuando haya un neutro para una operación, diremos que la operación tiene o admite un neutro.


    Ejemplo 2.1.

    En los conjuntos numéricos, el 0 es un neutro para la suma y el 1 es un neutro para la multiplicación.


    Siempre que tenemos elementos destacados, cabe preguntarse ¿cuántos elementos de ese tipo hay? Los ejemplos del 0 y del 1, nos hacen sospechar que tales elementos son únicos. Lo que probaremos que es válido de forma general, o sea, para una operación cualquiera.

    Supongamos entonces que y fueran ambos neutros para una misma operación . Para obtener una respuesta, calcularemos de dos maneras diferentes a .

    Como es neutro, tenemos que . Pero como es neutro, tenemos que . Luego .

    Hemos así probado, nuestro primer resultado abstracto.

    Proposición 1. (Unicidad de Neutros) Cuando una operación tiene un neutro, dicho neutro es único.


    A menos que se diga lo contrario, será la notación preferida para denotar a un elemento neutro cualquiera.

    Ejemplo.

    Consideremos la operación en los Enteros definida por . Vimos en el ejemplo 1.7 que esta operación era asociativa y conmutativa. Aquí, trataremos de determinar si tiene o no un elemento neutro.

    Supongamos que tuviera elemento neutro, digamos Entonces, para cualquier número entero tendríamos que

    Donde hemos supuesto que Verifiquemos

    Es decir que 0 es efectivamente un neutro para la operación

    Los Elementos Invertibles

    [editar]

    Cuando trabajamos con la suma de los números enteros, tenemos asociado a cada número el número que es un número con la propiedad de que sumado con el original nos da el neutro. Los recíprocos tienen propiedades análogas respecto a la multiplicación de los números reales, ya que multiplicados con el número original producen el neutro multiplicativo 1. Generalizaremos lo anterior en la siguiente definición.

    Definición. (Elemento Invertible) Sea un magma con neutro Decimos que un elemento de es invertible (respecto a la operación), ssi, hay un elemento , al que llamamos un inverso de , y que es tal que


    Observación. El neutro es su propio inverso.

    Sea * una operación en el conjunto con neutro . Como tenemos que el elemento neutro es invertible y que es su
    propio inverso.

    Ejemplo 2.2.

    Consideremos la suma en el conjunto de los números naturales positivos. La operación es asociativa y conmutativa, pero no tiene neutro, ya que el 0 no está en ese conjunto.

    Ejemplo 2.3 (Los Enteros).

    La Suma en los Enteros tiene neutro 0 y cada elemento tiene un inverso respecto a la suma, , ya que

    La Multiplicación tiene neutro 1 y los únicos elementos invertibles son y ---ya que es el neutro y .


    Probaremos, a continuación, que cuando la operación sea asociativa, cada elemento invertible tiene exactamente un inverso.

    Proposición 2. (Unicidad de los Inversos) Cuando la operación es asociativa, cada elemento invertible tiene exactamente un inverso.

      Demostración Sean y inversos de Se tiene entonces que
      Lo que prueba la proposición.


    La proposición tiene la siguiente interesante consecuencia.
    Corolario 2.1. Cuando para cierta operación con neutro, hay un elemento que tiene al menos dos inversos diferentes, la operación no puede ser asociativa.


    Como cada elemento invertible tiene un único inverso, hablaremos de el

    inverso del elemento. Cuando tenga inverso, simbolizaremos

    dicho inverso por

    La proposición anterior tiene los siguientes importantes corolarios
    Corolario 2.2. Sea * una operación asociativa en un conjunto E.

    1. Sea un elemento invertible. Entonces, su inverso también tine inverso, que es el elemento original Es decir,
    2. Sean elementos invertibles, entonces su producto también es invertible y se cumple que

      (Notemos el cambio de orden en el lado derecho) Es decir que el inverso de un producto de dos elementos invertibles es invertible y su inverso es el producto de los inversos de los factores pero con el orden cambiado.

      Demostración. Sean y elementos invertibles.
      1. Como y vemos que es un inverso de Por la unicidad de los inversos, debe ser \textbf{el} inverso de .
      2. Se tiene que

        Por la unicidad de los inversos, tenemos el resultado.


    Interrogante. ¿Por qué fue necesario suponer asociatividad en la proposición anterior?


    Ejemplo 2.4.

    Recordemos la operación definida en los Enteros por Vimos anteriormente que esa operación es asociativa, conmutativa y tiene neutro 0. Nos preguntamos ahora, ¿cuáles elementos tienen inverso respecto a esa operación?

    Resolución. Supongamos que es un número entero con inverso respecto a Entonces,

    Lo que prueba que tendrá inverso, ssi, podemos dividir por en los Enteros. Es decir, ssi, o Por lo que o son los únicos posibles elementos invertibles, y sus inversos serían, respectivamente, 0 y Como es el neutro, sabíamos que tenía inverso y que era él mismo. Verifiquemos el caso de

    Luego, los únicos elementos invertibles respecto a son el neutro y .


    Los Elementos Cancelables

    [editar]

    En los números Enteros, la relación implica que , a pesar de que no hay división por 3 en los enteros. Esa cancelación del 3 se generaliza en la siguiente definición, que habla de cancelación por la izquierda o derecha, ya que las operaciones no son necesariamente conmutativas.

    Definición. (Elementos Cancelables) Sea <E, *> un magma. Decimos que un elemento es cancelable por la izquierda, ssi, para todo x,y en E se cumple que

    Decimos que un elemento a es cancelable por la derecha, ssi, para todo x, y de E, se cumple que

    Decimos simplemente que un elemento es cancelable, cuando lo sea tanto por la derecha como por la izquierda.


    Ejemplo 2.5.

    En los Enteros, con respecto a la multiplicación, todos los elementos no nulos son cancelables.


    Probaremos, a continuación, que cuando un elemento es invertible, ese elemento es cancelable. El recíproco de lo anterior no es cierto como lo muestra el ejemplo de la multiplicación en los Enteros.

    Proposición 3. (Invertibles son cancelables) Cada elemento invertible respecto a una operación asociativa es cancelable.

      Demostración: Sea un elemento invertible con inverso, digamos, Entonces


    Ejemplo 2.6.

    Volvemos a examinar la operación del ejemplo 1.8, para determinar elementos cancelables respecto a esa operación.

    Resolución: Sean , , enteros cualesquiera.

    Lo que implica que cuando

    Es decir que todos los elementos diferentes de son cancelables.


    Convenios de notación

    [editar]

    Podemos simbolizar una operación de muchas maneras diferentes, pero hay algunas maneras que usamos más frecuentemente. Por ejemplo, las sumas se simbolizan usando o algo parecido, . Cuando usemos hablaremos de la notación aditiva. Usaremos preferentemente la notación aditiva cuando la operación sea conmutativa. Por su parte, la multiplicación se denota por o nada y diremos que estamos usando la notación multiplicativa. Cuando queramos insistir en la abstracción, usaremos la notación La siguiente tabla resume los convenios notacionales acerca de esas notaciones.

    Si la operación es + *
    la notación es Aditiva Multiplicativa General
    el neutro es 0 1 e
    el inverso es -a
    opuesto aditivo recíproco inverso

    Observaciones.

    1. (Terminología) Algunos autores llaman leyes de composición a las operaciones, elementos simetrizables a los invertibles.
    2. Nuestra definición de operación es aquella de una operación binaria porque asocia a dos elementos del conjunto un valor. Como esas será, en la práctica, la única forma de operación que usaremos, hemos omitido el apellido. Sin embargo podemos definir operaciones con otra cantidad de argumentos. Véase, por ejemplo, el apéndice sobre la Teoría de Estructuras Algebraicas.
    3. Nuestra definición de operación es aquella de una operación interna. Hay otra clase operaciones llamadas externas en un conjunto E, que son funciones , donde A usualmente tiene también una estructura algebraica. El ejemplo típico de operación externa es el producto de un escalar (número) por una matriz, o de una constante (número) por una función.

    Ejemplo: F(X,X)

    [editar]

    Sea X un conjunto no vacío. Simbolizamos por al conjunto formado por todas las funciones del conjunto X en si mismo. La composición de funciones es una operación en ese conjunto.

    Este es un ejemplo importante, que reaparecerá varias veces en el futuro. Ilustra un conjunto con una operación donde hay elementos cancelables que no son invertibles o que son cancelables por la izquierda, pero no por la derecha, etc.

    • La composición[1] de funciones define una operación asociativa en F(X,X).
    • La función identidad que envía cada elemento de X en si mismo, es un neutro para la composición.

    En F(X,X) tenemos funciones inyectivas, suprayectivas, y biyectivas. Se sabe por resultados generales [1] que:

    • Las funciones inyectivas son cancelables por la izquierda.
    Recordemos que una función es inyectiva, ssi, para todo , ,\\ implica que . Supongamos que son 0funciones tales que y que es inyectiva. Entonces, para todo , en
    .
    Por lo que (toman el mismo valor para cualquier elemento de ).


    • Las funciones suprayectivas son cancelables por la derecha.
    Recordemos que una función es suprayectiva, ssi, para todo en, hay un en tal que . Supongamos que son funciones tales que y que es suprayectiva. Entonces, para todo en hay un en tal que .
    Luego, . Por lo que

    • Las funciones biyectivas, por ser inyectivas y suprayectivas son cancelables por izquierda y derecha. De hecho, son invertibles.

    Ejemplo. Los Enteros Módulo m

    [editar]

    Sea un número entero positivo. Llamamos enteros módulo al conjunto denotado por y que está formado por los enteros, pero sujeto a la condición . Las operaciones de suma, resta y multiplicación son aquellas de los enteros son aquellas de los enteros, pero computadas usando la condición indicada.

    Por ejemplo, cuando , se tiene que , , , etc. Además, se tiene que , ya que .

    Sea un entero cualquiera, dividiendo por se obtiene un cociente y un residuo , , tal que

    Por lo que en . Es decir que en hay solamente tantos elementos como residuos en la división por , o sea .

    Las operaciones de , por ser las operaciones en los enteros, son asociativas, conmutativas, y la multiplicación es distributiva respecto a la suma

    Notemos, que , lo que implica que cada elemento de tiene un opuesto aditivo.

    En , el elemento 2 tiene inverso multiplicativo 3, ya que . Como se verá en ejemplos y ejercicios posteriores, no siempre elementos de tienen recíprocos. Por ejemplo en , , , , , lo que muestra que no tiene inverso multiplicativo.

    Ejercicios

    [editar]
    1. Sea el conjunto de números reales de la forma , donde y son números racionales. Probar que la suma y el producto de dos números de esa forma son de la misma forma. Probar que . tiene un recíproco de la misma forma, cuando y no son ambos nulos.
    2. (Enteros módulo )
      1. En , con la multiplicación. ¿Cuáles elementos tienen recíprocos?
      2. En , con la multiplicación ¿cuáles elementos tienen recíprocos?
    3. Probar que si para un elemento de un magma se cumple que , donde es un neutro. Entonces, es invertible.
    4. Sea un magma asociativo con neutro . Suponer además que y son elementos invertibles del magma. No suponga conmutatividad. Simplificar las siguientes expresiones.
      1. .
    5. Sea un magma asociativo, pero no conmutativo. Sean , y elementos invertibles de . ¿Cuál es el inverso de ?

    Las Partes Cerradas

    [editar]

    Definición. (Cerraduras) Sea E un magma. Decimos que un subconjunto de es:

    • cerrado respecto a la operación cuando el producto de dos elementos de está siempre en .
    • cerrado respecto a tomar neutro, cuando contiene al neutro.
    • cerrado respecto a tomar inversos, cuando para cada , el recíproco de , también está en .

Ejemplo 3.1.

Sea el magma multiplicativo de los Reales y sea el conjunto de los reales positivos, . Los positivos son cerrados respecto a la multiplicación, al neutro y a tomar recíprocos (inversos multiplicativos).



Operación Restringida.

Cuando un conjunto es cerrado respecto a una operación, dicha operación define por restricción una operación en el conjunto cerrado. Aunque, en rigor, la operación restringida es una operación diferente a la operacíón en todo el conjunto, ya que como función se han cambiado su dominio y codominio, es tradicional usar la misma notación para la operación restringida.


Ejemplo 3.2.

Sea S el conjunto formado por todos los números complejos de la forma donde y . Sean y elementos de S.

  1. Probaremos que con respecto a la adición S es cerrado respecto a la operación, al neutro y a los opuestos aditivos.
    1. . Como la suma de enteros es un entero, tenemos que z + w es un elemento de S, lo que prueba la cerradura respecto a la suma,
    2. Como , el neutro es un elemento de S
    3. El opuesto aditivo de Z es , que también es un elemento de S.
  2. Probaremos que S es cerrado respecto a la multiplicación y al neutro multiplicativo1; pero, veremos que no es cerrado respecto a tomar recíprocos.
    1. Como , los productos de elementos en S están en S, o sea que S es cerrado respecto a la multiplicación.
    2. Como , el neutro 1 está en S.
    3. Como , el recíproco de es igual a
      que no está en S.

Proposición 4. Cuando la intersección de dos partes cerradas no es vacia, dicha intersección es una parte cerrada.

    Demostración: Sean y partes cerradas respecto a una operación . Sean , elementos de . Como están en , su producto está en . Análogamente, su producto está en . Luego, el producto está en .


Tablas de Operaciones

[editar]

Cuando el conjunto donde actúa una operación es finito y con relativamente pocos elementos, podemos presentar a la operación como una tabla de la operación, que es un arreglo como el siguiente.

El producto b * c se obtiene en la intersección de la fila que contiene a b con la columna que contiene a c. En esta tabla, b * c = a.

Notemos que la fila y columna de e reproducen la fila y tabla de elementos del conjunto, lo que indica que e es neutro.

Veamos como buscar en la tabla si un elemento tiene inverso, digamos que buscamos el inverso de b. Nos movemos por la fila del b hasta hallar el neutro. Si no hallamos un neutro, eso significa que no hay inverso. En este caso hallamos e (neutro en este caso) en la columna del b, lo que nos dice que b * b = e. Por lo que b-1 = b.

En general, si hallamos x * y = e ( e neutro), antes de concluir sobre inversos, debemos chequear y * x (a menos que haya conmutatividad u otra situación especial, no hay nada que indique que y * x = x* y = e).

Cuando la tabla, como en este caso, es simétrica respecto a la diagonal principal (desde izquierda arriba a derecha abajo), tenemos que la operación es conmutativa.

Ejemplo 4.1. (Las tablas de ).

Sabemos que tiene solamente seis elementos, a saber


Presentamos las tablas de la operaciones como ejemplos de tablas finitas. Queda de asignación verificar la corrección de las mismas.

Mirando a la tabla de suma o por simple computación) vemos que 2 + 4 =0, o sea que -2 = 4. ¿Qué otros elementos tienen opuestos aditivos? En la tabla de multiplicación vemos que 5*5 = 1, o sea que 1/5 =5. ¿Qué otros elementos tiene recíproco?

Finalmente, observemos que {1,5} es un subconjunto cerrado para la multiplicación.


Productos Múltiples, Potencias

[editar]

Los lectores seguramente han visto anteriormente sumatorias de números,

Operaciones Generalizadas. Supongamos que tenemos un magma y una sucesión de elementos de E.

Supongamos que queremos hallar el producto de todos ellos. En el texto, hemos aprovechado la experiencia manipulativa de los lectores para no preocuparnos demasiado de ese asunto. La situación es que, por definición, nuestra operación es binaria por lo que no hay como hallar, sin un convenio previo, el producto de una sucesión con más de dos elementos.

Si tuviéramos tres elementos, digamos a, b y c, podríamos formar producto con los tres de una de las siguientes maneras


Notemos que los paréntesis se usan para agrupar dos a la vez. Cuando la operación es asociativa, ambas expresiones representan al mismo elemento. Pero, si la operación no fuera asociativa, ¿cuál de las dos sería el producto de esos tres elementos?

Cuando hay cuatro elementos, hay muchas más posibilidades de agrupamientos, dos a la vez.

Definiremos una noción análoga a las sumatorias para un producto de una sucesión cualquiera.

Definición. (Producto Generalizado) Sea <E,*> un magma y sea . Llamamos producto de los elementos de la sucesión (en el orden indicado) al elemento de E, denotado por y definido como

Es fácil ver, por inducción, de que efectivamente se ha definido un elemento de E.

Sigue de la definición que

  • ()
  • ()
  • () .
Notemos que la definición no requiere que la operación sea asociativa.
Cuando la operación sea asociativa, se puede probar que podemos reagrupar como queramos los elementos de la sucesión. Por ejemplo,

Cuando la operación sea además conmutativa, el producto multiple es el mismo para cualquier permutación (reordenamiento) de los índices.

Cuando la operación tenga neutro , se acuerda que el producto de una sucesión vacía es igual al elemento neutro.

En notación aditiva, la definición anterior es la usual definición de sumatoria



Asociatividad. Cuando la operación es asociativa, se puede probar que independiente de la manera que agrupemos los elementos de la sucesión--siempre y cuando, mantengamos el orden de aparición---el producto siempre es el mismo.

La demostración consiste en considerar particiones de [1,..,n] que preserven el orden y mostrar que el producto de es igual al

producto de los productos parciales.

Por ejemplo, en el caso si tenemos 1,2|3,4,5|6,7. Entonces

deberíamos probar que , donde Es decir que

La demostración formal procede por inducción sobre n. Los lectores

experimentados con este tipo de demostraciones puede intentarlo por su cuenta. La demostración formal se puede hallar en las referencias bibliográficas [2], [3] o [4].

También en la página Semigrupos, Monoides,... de WikiLibros, donde puede hallarse demostraciones tanto de la asociatividad como de la conmutatividad generalizadas.


Al igual que hay sumatorias de la forma , podemos definir productos multiples de sucesiones de elementos cuyos subíndices sean un subconjunto ordenado finito de . Dejaremos al cuidado de lectores y lectoras tales generalizaciones.


En cursos primeros de matemáticas, se define la potencia natural de un número como el producto de consigo mismo veces, denotado por . Usando la definición de producto multiple definiremos como el producto de factores, todos ellos iguales a .


Definición. (Potencia) Sean una operación en el conjunto , un elemento de , y un natural positivo. Definimos como el producto , cuando . Cuando la operación tiene neutro , se define, además,


Observación. Sigue de la definición que , . Proposición ## (Propiedades de las Potencias)

Sea  una operación asociativa en ,  y  elementos de ,  y  naturales positivos.
  1. .
  2. .
  3. Si , .
  4. Si , .
  5. Si la operación tiene neutro , las relaciones anteriores son válidas para naturales cualesquiera. Además se cumple que , para todo natural.


Demostración Aprovechando la observación anterior, usaremos inducción sobre para las pruebas.

  1. () . Suponiendo que
    .
  2. . Suponiendo que .
    .
  3. . Suponiendo que ,
    .
  4. . Suponiendo que , .
  5. Ejercicio.


Ejercicios del Capítulo

[editar]
  1. Completar los espacios en blanco
    1. Una operación en un conjunto E es una función de _________ en _____.
    2. Un elemento neutro de una operación * de un conjunto E es un elemento e tal que para todo x en E se cumple que ______________ y ______________ .
    3. Un elemento x es un inverso de un elemento y, ssi, __________ y ________.
    4. Un conjunto S es cerrado respecto a una operación, cuando para cada par x, y de elementos de S se cumple que __________________
    5. Cuando el orden de los operandos no altera el resultado (producto) de una operación, la operación es ________________.
    6. Cuando la notación es aditiva, el neutro usualmente se simboliza por __.
    7. Cuando la notación es aditiva, llamamos _____________ ______________ al inverso.
  2. ¿Cuáles de las siguientes especificaciones determinan una operación en el conjunto de los naturales positivos, ? En caso afirmativo, determinar las propiedades de las operaciones y la existencia de neutro y de inversos.
    1. .
    2. máximo común divisor de a y b.
    3. mínimo común divisor de a y b.
    4. .
  3. Construir la tabla de (enteros módulo 2) y respecto a la suma.
  4. Construir la tabla de (enteros módulo 5) respecto a la multiplicación. Mirando la tabla determinar el neutro y los elementos que tienen recíproco.
  5. Cada una de las siguientes tablas es una tabla de un operación asociativa. Examinando la tabla determinar si hay elementos neutros y cuáles elementos tienen inversos.
  6. Escribir en forma precisa el procedimiento para determinar en una tabla de una operación
    1. ¿cuál es el elemento neutro?
    2. ¿cuáles elementos tienen inversos?
  7. ¿Cuáles de los conjuntos siguientes son cerrados respecto a la adición en los Enteros?
    1. El subconjunto formado solamente por el 0, .
    2. Los múltiplos de 9.
    3. Los múltiplos de 23.
    4. Generalizar los ejercicios anteriores.
    5. .
    6. Los Enteros positivos.
    7. Los Primos.
  8. ¿Cuáles de los conjuntos siguientes son cerrados respecto a la multiplicación en los Enteros?
    1. Los números pares.
    2. Los números impares.
    3. Los múltiplos de 5.
    4. Los Enteros positivos.
    5. Los Enteros negativos.
  9. ¿Cuáles de los conjuntos siguientes son cerrados respecto a la adición en los Racionales?
    1. Los Racionales positivos.
    2. Los Racionales negativos.
    3. Los números de la forma , donde m es un entero cualquiera y n es un número natural.
    4. Los números de la forma donde m es un entero positivo y n es natural.
  10. Probar que el conjunto , donde , es cerrado respecto a la multiplicación en los Complejos. Construya la tabla correspondiente a esa operación,
  11. Sea A una parte cerrada respecto a una operación. Explicar por qué cuando operación es asociativa (resp.conmutativa), su restricción a A también lo será.
  12. Sea el conjunto formado por todos los números reales de la forma donde y son racionales. Probar que es cerrado respecto a la multiplicación en los Reales.
  13. Sea X un conjunto y sea el conjunto formado por todos los subconjuntos de X. Investigar si la unión e intersección de subconjuntos son operaciones y sus propiedades.
  14. Sea E un magma. Decimos que dos elementos a y b permutan o conmutan entre si, ssi, ab = ba. probar que si la operación es asociativa y a conmuta con b y c, entonces, a conmuta con b * c.
  15. ¿Cuántas operaciones diferentes se pueden definir en un conjunto con dos elementos?, ¿cuántas son conmutativas?

Notas

[editar]
  1. 1,0 1,1 Ver Apéndice sobre Funciones.
  2. (BB) Bourbaki
  3. (BB) Dubreil
  4. (BB) Jacobson

3. Las Estructuras Algebraicas

[editar]

Introducción

[editar]

Cuando a un conjunto lo proveemos de una o más operaciones, obtenemos una estructura algebraica. En este capítulo, veremos algunas de las estructuras clásicas con una o dos operaciones.

Las estructuras se clasifican por la cantidad de operaciones que aparecen en la estructura, las propiedades de esas operaciones, la existencia de elementos o subconjuntos destacados y las relaciones (de orden u otras) entre los elementos del conjunto base.

Presentaremos diversos tipos de estructuras con ejemplos de cada uno de esos tipos. Resultará importante familiarizarse con esos ejemplos, ya que nos referiremos a la mayoría de ellos en capítulos posteriores.

Estructuras Algebraicas

[editar]

Una Estructura Algebraica o Sistema Algebraico es un lista de la forma <E, p1, p2 , ...> donde E es un conjunto (llamado el conjunto base o portador de la estructura) y p1, p2 , ... son los parámetros de la estructura. Dichos parámetros son usualmente operaciones en E, incluyendo operaciones externas (operaciones tales como la multiplicación por constante de una función, o escalar por matriz). También puede haber relaciones entre los elementos de E.

Las operaciones pueden ser de varios tipos. Además de las operaciones vistas en el capítulo anterior, que son operaciones binarias porque tienen dos operandos, hay operaciones unarias, ternarias, etc.

El Álgebra Abstracta es el estudio de las diferentes estructuras---definiciones, propiedades, relaciones entre ellas, etc--- independiente de la naturaleza de los elementos del conjunto base. Como veremos en el texto, varios conjuntos diferentes sirven de conjunto base de una misma estructura. A medida que avancemos en el texto, discutiremos más detalles acerca de las estructuras. Una discusión más detallada puede hallarse en el apéndice sobre la Teoría de Estructuras Algebraicas.

Estructuras con una Operación

[editar]

Nuestro estudio empezará con estructuras muy simples ya que la lista de parámetros incluye solamente a una operación. Veremos las estructuras de magma, semigrupos, monoides y grupos. [1]

Definición de Magma

[editar]

La estructura algebraica más simple que consideraremos, magma, fue introducida en el capítulo anterior. Recordaremos a continuación su definición.

Definición. (Magma) Llamamos magma a un par <E,*> donde E es un conjunto no vacío y es una operación en el conjunto.


Ejemplos.

  1. Los Enteros con la suma, , o con la multiplicación, .
  2. Los Racionales, los Reales, los Complejos con respecto a la suma y también a la multiplicación.
  3. Los Enteros con la resta.

Sea <E,*> un magma. Cuando no haya ambigüedad acerca de la operación de un magma, podremos hablar simplemente del magma E. Otras veces, podremos hablar del magma E con la operación *.

Definiciones de Semigrupo, Monoide y Grupo

[editar]

Definición. (Semigrupo, Monoide, Grupos)

  • Un semigrupo es un magma con operación asociativa.
  • Un monoide es un semigrupo con elemento neutro.
  • Un grupo es un monoide cuyos elementos son todos invertibles respecto a la operación.


  • Un magma (resp. semigrupo, monoide, grupo) es conmutativo (o abeliano) cuando la operación es conmutativa.[2]
  • Un magma (resp. semigrupo, monoide, grupo) es finito, cuando el conjunto base lo es.
  • Decimos que un magma (resp. semigrupo, monoide, grupo) es aditivo (resp. multiplicativo) cuando la operación se denote como una suma (resp. multiplicación). Usualmente, cuando la operación es conmutativa se denota aditivamente.

    Ejemplos.

    1. Los Enteros con la resta forman un magma que no es un semigrupo, ya que la resta no es asociativa.
    2. Los Naturales positivos con la suma forman un semigrupo (la suma es asociativa) que no es un monoide, ya que el neutro 0 no está en el conjunto.
    3. Los Naturales con la suma forman un monoide que no es grupo, ya que los opuestos aditivos de los naturales positivos no están en el conjunto.
    4. Los Enteros con la suma forman un grupo abeliano.
    5. Los Racionales, Los Reales y los Complejos, con la suma determinan grupos abelianos.
    6. Los Racionales, los Reales y los Complejos no nulos, con la multiplicación usual, determinan grupos abelianos.

    Observaciones acerca de las estructuras y de la terminología asociada.

    • En rigor, debiéramos decir, por ejemplo, que "tiene o posee una estructura de grupo", o que es una "instancia de la estructura de grupo", pero simplemente decimos es un grupo o hablamos del grupo (aditivo) de los Enteros.
    • En rigor, deberíamos especificar a un monoide como (que tiene) una estructura para indicar la existencia del neutro e. Igualmente, un grupo debiera especificarse como para indicar que hay, además, inversos para cada elemento. Sin embargo, cuando no haya riesgo de confusión mencionamos solamente el conjunto, la operación y el tipo de estructura.
    • (Descendientes, Ascendientes, Subyacentes) Observemos que hemos definido a las estructuras magma, semigrupos, monoides y grupos, como que cada una es un caso especial de la anterior. Decimos que una estructura es descendiente de una segunda estructura, cuando sea un caso especial de la otra. En tal situación, decimos que la segunda estructura es un ascendiente de la primera. Por ejemplo, las estructuras de semigrupos, monoides y grupos son descendientes de la estructura de magma. Cuando una estructura es descendiente de otra, podemos ignorar lo que la hace distinta de la segunda, y decimos que tiene una estructura \textit{subyacente} del tipo de la segunda. Por ejemplo, el grupo , o sea, tiene una estructura subyacente de monoide (nos olvidamos de los opuestos aditivos). También tiene una estructura subyacente de semigrupo, . Cuando una estructura es descendiente de otra, podemos ignorar lo que la hace distinta de la segunda, y decimos que tiene una estructura \textit{subyacente} del tipo de la segunda.
    • (Herencia) La razón de llamar descendientes a las estructuras especiales es para señalar que las propiedades de una estructura son heredadas por sus descendientes.
      En Álgebra Abstracta, se prefiere siempre enunciar y probar los enunciados en la estructura más general posible, para que sirva para todos sus descendientes.

    Sigue de la observaciones anteriores que todas las propiedades de magmas probadas en el capítulo anterior son válidas para semigrupos, monoides y grupos.

    Propiedades de Monoides

    [editar]

    Un monoide puede contener elementos invertibles, aunque no sea un grupo. Por ejemplo, los Enteros no nulos con la multiplicación forman un monoide que no es grupo, ya que los enteros diferentes de 1, -1 no tienen recíprocos. Sin embargo, 1 y -1 tienen inversos que son ellos mismos. Esto implica que el conjunto U = {1,-1} determina con la multiplicación un grupo. La situación es bastante general, como lo muestra la siguiente proposición.

    Proposición 1. (Grupo de invertibles de un Monoide) Sea <M,*> un monoide y sea UM el conjunto formado por todos los elementos de M que son invertibles. Entonces < UM, *> es un grupo.

      Demostración: Como el producto de invertibles es invertible, UM es cerrado respecto a la operación, por lo que la restricción de la operación a UM define allí una operación. El neutro siempre es invertible, por lo que el neutro es un elemento de UM. Finalmente, los inversos de elementos invertibles son invertibles, por lo que cada elemento de UM tiene inverso en UM. Es decir que < UM, *> es efectivamente un grupo.


    Ejemplos.

    • Los Reales con la multiplicación forman un monoide cuyo grupo de invertibles esta determinado por los Reales no nulos. Igualmente, para los Racionales y los Complejos.
    • Las matrices cuadradas con la multiplicación forman un monoide, cuyo grupo de invertibles, está formado por las matrices invertibles.

    Orden de un Elemento

    [editar]

    Definición. (Orden de un Elemento) Sea un monoide (o grupo) con neutro y un elemento de , Cuando haya un número natural positivo tal que , llamaremos orden de al menor entero positivo con esa propiedad. Cuando el conjunto de potencias de un elemento consista de elementos diferentes entre si, diremos que el elemento tiene orden infinito. Notación: .


    Ejemplos.

    1. El número imaginario es tal que . Por lo que su orden es 4.
    2. En un grupo aditivo, los múltiplos son las potencias. Por lo que un elemento a tiene orden finito n, cuando na = 0. En los Enteros, no hay números n positivos tales que , por lo que el orden de 1 es infinito. En los Enteros módulo m, todos los elementos tienen orden finito respecto a la adición.

    Proposición 2. Sea a un elemento de un monomio M con , o sea, tal que hay un entero positivo n tal que Entonces, a es invertible con inverso

      Demostración:


    Ejemplos.

    • En los Enteros Luego, es invertible y su inverso es ,
    • E los Entremos módulo 5, se tiene que . Luego, 2 tiene recíproco allí. Su recíproco es acta]]

    Ejemplos

    [editar]

    El Álgebra Abstracta como su nombre lo indica tiene su origen en la abstracción de propiedades de ejemplos existentes. Esta (relativamente larga sección, quiere mostrar algunos de esos ejemplos). Es importante que los lectores se familiaricen con ellos. Deben procurar, además, identificar las nociones vistas en el capítulo anterior: elementos neutros, invertibles, cancelables, partes cerradas.

    Los Sistemas Numéricos

    [editar]

    Nuestros sistemas numéricos son los Naturales, Enteros, Racionales, Reales y Complejos. A ellos siempre agregaremos los Enteros módulo cierto número.

    Los principales resultados que el lector deberá examinar cuidadosamente para ver la validez de lo afirmado.

    • <X, +> es un grupo abeliano, cuando
      Las relaciones de inclusión entre esos conjuntos producen subestructuras. (cuya definición formal veremos posteriormente). Como se trata de la misma operación, el mismo neutro y los mismos opuestos, decimos que los Enteros son un subgrupo aditivo de los Racionales (y de los Reales y de los Complejos). Igualmente, los Racionales son un subgrupo de los Reales y Racionales. Finalmente Los Reales forman un subgrupo de los Complejos.
    • <X*, > es un grupo abeliano cuando X* indica los elementos no nulos de X.
    • Los Enteros módulo m son un grupo respecto a la adición. Con respecto a la multiplicación, sus elementos no nulos, en general, forman un monoide.

    El Grupo Simétrico

    [editar]

    En el capitulo "Las Operaciones" destacamos al ejemplo formado por todas las funciones de en si mismo. Vimos que dicho conjunto con la composición de funciones tiene una estructura de monoide. Por lo tanto, de acuerdo a la proposición 1, los elementos invertibles de dicho conjunto determinan con la composición un grupo al que llamamos el grupo simétrico de y que denotamos por . Notemos que los elementos invertibles de son las funciones biyectivas de en si mismo. Se puede verifica que cuando el conjunto tiene más de dos elementos, dicho grupo no es conmutativo.

    Cuando es el conjunto formado por los primeros números naturales positivos, denotamos a por y le llamamos grupo de las permutaciones de n símbolos o grupo simétrico de grado n. Una permutación, en este contexto, es una función biyectiva de cualquier conjunto finito en si mismo.

    Grupo de Permutaciones En forma general, llamamos grupo de permutaciones a un grupo G, tal que G es un subconjunto de algún . Históricamente, estos fueron los primeros grupos estudiados.


    Representación matricial de permutaciones. Cuando sea una función de In en si mismo, escribiremos la tabla de valores de la función de la siguiente manera

    Por ejemplo, todas las biyecciones de en si mismo son:

    Las permutaciones están asociadas, usualmente, con reordenamientos. Mirando a la segunda fila, vemos porque llamamos permutaciones a esas funciones. La siguiente tabla muestra los resultados de la composición de esas funciones, es decir la tabla del grupo.


    La tabla de S3.

    Mirando la falta de simetría respecto a la diagonal principal, vemos que la operación no es conmutativa. Claramente, f0 es la identidad (como función) que es el neutro del grupo.

    ¿Cómo obtuvimos los resultados? Simplemente por composición de funciones. Veamos el cómputo de

    Luego, el producto es igual a f1


    ¿Cuántos elementos tiene ?

    Razonando como reordenamiento de In, vemos que debemos ubicar los n elementos de ese conjunto en n posiciones. Tenemos n posibilidades para la primera posición, (n-1) para la segunda, (n-2) para la tercera, etc. Luego,


    Las Matrices 2 x 2

    [editar]

    Denotamos por al conjunto formado por todas las matrices 2 x 2 con entradas o componentes números reales. Hay operaciones de suma y producto de matrices que recordamos a continuación.

    Dichas operaciones tienen las propiedades que indicaremos a continuación. La verificación de la validez de las mismas queda al cuidado de los lectores.

    1. La suma de matrices es asociativa, conmutativa, tiene neutro y cada matriz A tiene opuesto aditivo -A. Lo que nos dice que las matrices con la suma determinan un grupo abeliano.
    2. La multiplicación de matrices es asociativa, pero no conmutativa. Tiene neutro . Por lo que las matrices con la multiplicación determinan un monoide. Las matrices con la multiplicación no determinan un grupo, porque no todas las matrices no nulas tienen inverso. En, efecto se sabe que únicamente las matrices con determinante no nulo son invertibles. Se sabe que si la matriz tiene determinante (ad- bc) no nulo, su inversa es

    Las matrices invertibles determinan un grupo ya que el producto de invertibles es invertible con inversa igual al producto de las inversas de los factores, pero con orden invertido.

    y la inversa de una matriz invertible tiene como inversa a la matriz original.

    Dicho grupo se llama grupo lineal (de dimensión 2) sobre los Reales y se denota por .

    Ejercicios

    [editar]
    1. Verificar la validez de las afirmaciones sobre las propiedades de las operaciones con matrices.
    2. Para cada uno de los siguientes conjuntos de matrices, investigar si son cerrados respecto a la multiplicación, si la identidad pertenece al conjunto y si el inverso de cada elemento en el conjunto pertenece al conjunto
    3. Sea el subconjunto formado por todas las matrices invertibles cuyas entradas son todas números racionales. Probar que dicho conjunto con la multiplicación tiene una estructura de grupo.
    4. Sea el conjunto de matrices de la forma
      Probar que las matrices no nulas de forman un grupo con la multiplicación.

    Los Enteros módulo m

    [editar]

    En esta sección, construiremos de manera formal el conjunto de los Enteros módulo , así como sus operaciones de adición y multiplicación. Esta construcción servirá de modelo más adelante en la construcción de los llamados grupos cocientes.

    Definición. (Congruencia módulo m en los Enteros) Sea m un entero positivo. Decimos que dos enteros x, y son congruentes módulo m, ssi, x - y es un múltiplo de'm

    Notación: o

    Claramente, esa relación es reflexiva y simétrica. Probaremos la transitividad.

    Luego , lo que prueba la transitividad. Nos referiremos a esta relación como la congruencia módulo m.

    Supongamos que tenemos una relación de equivalencia en un conjunto $X$. Llamando clase de equivalencia de un elemento $x$ al subconjunto formado por todos los elementos relacionados con $x$ y que denotamos por $x$, se sabe que dichas clases forman una \text it{partición} del conjunto $X$. Es decir que son disjuntas dos a dos y que su (re)unión es todo $X$. Ver los detalles en el apéndice \ref{chRelaciones}.

    Las clases de equivalencia con respecto a la relación de congruencia se llaman también clases de congruencia. La clase de congruencia módulo de un número está formado por todos aquellos números tales que es un múltiplo de , o sea tales que , para algún .

    Simbolizaremos por al conjunto formado por todas las clases de equivalencia módulo y diremos que sus elementos son los \textit{enteros módulo }. Cada elemento de una clase es un \textit{representante} de la clase. Simbolizaremos por el conjunto formado por todas las clases de equivalencia módulo m y diremos que sus elementos son los Enteros módulo m. Cada elemento de una clase es un representante de la clase.

    Ejemplo (Enteros módulo 2).

    En este caso dos elementos son equivalentes, o lo que es lo mismo definen la misma clase de equivalencia cuando su diferencia es un múltiplo de 2 (o sea un número par). Por lo que la clase del 0, [0] está formado por todos los x tales que x - 0=x es un número par, por lo que la clase del 0 está formada por todos los números enteros pares.

    Por su parte, la clase del 1, está formada por enteros cuya diferencia con 1 sea par, o sea los impares.

    Luego, ,


    Ejemplo (Enteros módulo 5).

    En este caso, dos números son equivalentes cuando su diferencia es un múltiplo de 5. Construyamos las clases de equivalencia. La clase del 0 está formado por todos aquellos números cuya diferencia con 0 es un múltiplo de 5, o sea todos los múltiplos de 5.

    Busquemos ahora la clase de equivalencia del 1. Como , ssi, , ssi, . La clase del [1] estará formada por todos los enteros que son 1 más que un múltiplo de 5.

    Análogamente, obtenemos que

    Notemos que , etc. Es decir que hay solamente cinco clases diferentes.


    Operaciones en .

    Queremos definir operaciones de suma y multiplicación en por

    Es decir que la suma de la clase de x con la clase de y sea la clase de x+y y análogamente para la multiplicación. Hay, sin embargo, un problema con tal definición. La suma (y, lo mismo, el producto) se obtienen sumado (resp. multiplicando) dos representantes, uno de cada clase; por lo que resulta natural preguntar, ¿qué pasaría si escogiéramos otras representantes? La siguiente proposición no asegurará que no importa los representantes que escojamos, siempre obtendremos el mismo resultado.

    Proposición 3. (Compatibilidad con las operaciones) Sean a, b, c, d números enteros tales que y Entonces,}}

    1. .
      Demostración. Tenemos que , para algún . , para algún . Luego, como tenemos que , lo que prueba la parte a. Para la multiplicación, tenemos que:

      Es decir que .


    Corolario. Suponer que y que Entonces,

    y

    El grupo aditivo de los Enteros módulo m

    [editar]

    Veremos que con suma forman un grupo abeliano.

    Necesitamos verificar que la suma es asociativa, conmutativa, con neutro y que cada elemento tiene un opuesto aditivo.

    Sean números enteros.

    Lo que prueba la asociatividad.

    , lo prueba conmutatividad.

    Claramente, , lo que muestra que la clase del 0 es el elemento neutro.

    Finalmente, para cada , tenemos que , lo que prueba que Es decir cada elemento tiene un opuesto. Esto concluye la prueba.


    El monoide multiplicativo de los Enteros módulo m

    [editar]

    Veremos que los Enteros módulo m con la multiplicación forman un monoide. La asociatividad y la conmutatividad se prueban de manera análoga al caso de la suma. Además, , por lo que [1] es un neutro.


    Se puede verificar que cuando m es un número primo, , los elementos no nulos de , forman un grupo abeliano respecto a la multiplicación. Cuando m es compuesto aparecen unas cosas raras en la multiplicación. Por ejemplo, en , la clase del 2 y la clase del 3 son distintas de la clase del 0, ya que ninguno de ellos es un múltiplo de 6, pero . Dos elementos no nulos al multiplicarse producen el elemento nulo.


    Ejercicios

    [editar]
    1. Construir las tablas de operaciones (adición y multiplicación) de Usar la tabla para evaluar las expresiones siguientes.
      a. [7]+ [2] b. [8]*[5] c. -([3]*[6])
      d. 1/[3] e. 1/[5] f. 1/[7]
    2. Hallar los cuadrados y los cubos de todos los elementos de .
    3. Hallar los recíprocos de todos los elementos no nulos de .
    4. Resolver la ecuación en .
    5. Resolver en , el sistema de ecuaciones

    Estructuras algebraicas con dos operaciones

    [editar]

    Las estructuras con dos operaciones, que veremos a continuación, puede que tengan un sabor más familiar. Por ahora, sin embargo, su aparición se debe a que nos proveen de ejemplos de las estructuras con una operación. Las estructuras con dos operaciones se verán detalladamente en capítulos posteriores.

    Definición (Anillos, Cuerpos) Un anillo es un trío tales que

    1. es un grupo abeliano (grupo aditivo del anillo).
    2. es un semigrupo (semigrupo multiplicativo del anillo.
    3. La multiplicación es distributiva respecto a la adición.
      y ,


    Un anillo con identidad es un anillo con un neutro 1 para la multiplicación (llamado identidad del anillo). Un anillo conmutativo con identidad es un anillo con la multiplicación conmutativo y con un neutro 1 (llamado identidad del anillo)

    Un cuerpo es un anillo conmutativo con identidad donde cada elemento no nulo tiene recíproco.

    Los Enteros son un ejemplo de anillo conmutativo con identidad. Los Racionales, Reales y Complejos serán, por ahora, nuestros ejemplos de cuerpos.

    Proposición 4. Cuando p es un número primo, los Enteros módulo p son un cuerpo.

      Demostración: Vimos anteriormente que para cualquier los Enteros módulo m está provisto de operaciones de suma y multiplicación definidas por
      .


      Es fácil ver que con esas operaciones, es un anillo conmutativo con identidad. Probaremos que cuando p es un número primo, los elementos no nulos de . El resultado sigue de la identidad de Bezout para los números enteros que establece que el máximo común divisor de dos números se puede expresar como una combinación lineal de los números [3]. Si es un elemento no nulo de , el número a no pude ser n múltiplo de p, por lo que el máximo común divisor de a y p debe ser 1. Luego, por la identidad de Bezout, hay enteros x, y tales que

      (*


      Pasando a clases de equivalencias, tenemos que

      Lo que muestra que tiene a como recíproco. {{QED}


    Matrices con entradas en un anillo

    [editar]

    Queremos aumentar nuestro caudal de ejemplos, definiendo matrices con entradas en un anillo con identidad o cuerpo cualquiera. Notemos que las definiciones de suma y multiplicación de matrices con entradas reales lo único que requieren de los Reales es que se pueden sumar y multiplicar. Como esto pasa en cualquier anillo, podemos considerar matrices cuyas entradas pertenecen a un anillo cualquiera.

    Sea A un anillo con identidad o un cuerpo. Simbolizaremos por el conjunto de todas las matrices 2 x 2 cuyas entradas son elementos de A. Es un ejercicio largo, pero fácil, probar que <math<M_2(A)</math> con esas propiedades determina un anillo con identidad. El anillo no es conmutativo.

    Se define el determinante de como es usual, esto es . Se verifica que


    Sea K un cuerpo, por simbolizamos al grupo de matrices invertibles con entradas en K. Cuando K sea los enteros módulo p, p primo, es un grupo finito, que se prueba que tiene elementos.

    Ejercicios

    [editar]
    1. Probar que es un anillo conmutativo con identidad.
    2. Probar que cuando m no es un número primo, en hay elementos no nulos tales que
    3. Probar que las matrices 2 x 2 con coeficientes en un anillo conmutativo con identidad determinan un anillo con identidad, pero que no es conmutativo.
    4. Sea . Probar o verificar las siguientes afirmaciones.
      1. Si una de las filas o una de las columnas de la matriz es 0 0 , entonces el determinante es cero.
      2. Si hay un número p tal que c = pa y d = cb entonces el determinante de la matriz es cero.
      3. Si el determinante de A es cero, probar que hay un número p tal que c=pa y d = pb.
    5. Usar el ejercicio anterior para hallar la formula para la cantidad de elementos de , p primo. (Sugerencia. Cualquier par de elementos que no sean ambos nulos sirven para la primera fila. ¿Cuántos pares de elementos hay que no sean ambos nulos? La segunda fila no puede ser un múltiplo de la primera, por lo que hay que tomar un par de elementos que no sea un múltiplo de la primera fila ¿cuántos de esos pares hay?)

    Estructuras con una operación externa

    [editar]

    Presentaremos, como ilustración, algunas estructuras donde aparece una operación externa.

    Definición (Módulo, Espacio vectorial, Álgebra)

    • Sea A un anillo con identidad. Llamamos A--módulo a un grupo abeliano <E,+> provisto de una operación externa


      que es compatible con la estructura de grupo abeliano. Es decir que

      1. .
      2. .
      3. .

      Los elementos del anillo se dice que son los escalares y los de E los vectores. La operación externa se llama multiplicación por escalar y usualmente, cuando no hay riesgo de confusión, se omite el símbolo de la operación.

    • Un Espacio vectorial sobre un cuerpo K, es un K-módulo (o sea los escalares forman un cuerpo).
    • Un Álgebra sobre un anillo (o cuerpo) A es un A-modulo E provisto de una multiplicación tal que es un anillo y se cumple que .

    Los principales ejemplos que posiblemente el lector debe conocer:

    • El álgebra de polinomios, la multiplicación por constantes es la operación externa.
    • El álgebra de matrices, la operación externa es la multiplicación por escalar (por constante).
    • El plano cartesiano es un espacio vectorial sobre > los elementos del plano son pares ordenados de números reales, la suma se hace coordenada a coordenada y la multiplicación por escalar, es multiplicar cada coordenada por el escalar.
    .


    Claramente, las definiciones anteriores se pueden extender a (Espacio vectorial d dimensión n).


    El álgebra de polinomios tiene un capítulo en este texto. Espacios vectoriales, Algebras son materias de un curso de Álgebra Lineal. Módulos generales se estudian en cursos avanzados de Álgebra Lineal o de Álgebra Conmutativa.

    Una introducción a esos temas se puede hallar en Wikipedia:Vector o Espacio Vectorial

    Ejercicios del Capítulo

    [editar]
    1. (Potencias Naturales en un Semigrupo.) Probar que para todo a, elementos de ,y , naturales, se cumple que
      1. Si entonces
    2. (Potencias en un Monoide.) Si tiene un neutro entonces definimos Probar que con estas definiciones, se continúan cumpliendo las propiedades del ejercicio 1.
    3. (Potencias Negativas.) Sea <M,*> un monoide y sea a un elemento invertible de cualquiera de S. Como S es un monoide, an está definido, según los ejercicios anteriores, para todo Cuando a es invertible, podemos además definir potencias con exponentes negativos. Supongamos que a' es el inverso de a y n un número entero positivo. Entonces,


      1. Probar que a elevado a -1 es igual al inverso de a; lo que prueba que la notación a-1 no es ambigua.
      2. Probar que para todo m, n enteros se cumplen las relaciones del ejercicio 1.
    4. Sea S un semigrupo con neutro Sea a un elemento de tal que y 12. es el menor entero positivo con esa propiedad. Probar las siguientes afirmaciones.
      1. Hay elementos y tales que
      2. Si es un múltiplo de 12, entonces
      3. Si el residuo de la división de un entero positivo m por 12 es r, entonces
      4. Expresar como potencias positivas de a.
    5. (Subgrupos del grupo ).
      Sea una rotación por 120 grados, y sea , la reflexión entorno al eje X. Probar las afirmaciones siguientes.
      1. , y .
      2. Sea . H es un conjunto cerrado respecto a la multiplicación de matrices (construir la tabla de operaciones), y que cada elemento de es invertible. Es decir que H es un grupo respecto a la multiplicación de matrices.
      3. Sea . G es un conjunto cerrado respecto a la multiplicación y cada elemento de G tiene inverso en G. Luego G es un grupo respecto a la multiplicación de matrices.

      Comentarios

      [editar]

      La evolución del Álgebra desde el estudio de ecuaciones polinómicas al estudio de las estructuras fue lenta. Primeramente, se estudiaron instancias de forma separada, para posteriormente darse cuenta que eran ejemplos de algo más abstracto.

      La observación de que el Álgebra trata más de las propiedades de las operaciones que de los números en que se opera fue explícitamente observado por la llamada Escuela de Algebristas ingleses, alrededor del 1840.

      Finalmente, en la década de los 40 del siglo XX, Bourbaki (seudónimo de un grupo ilustre de matemáticos) trajo a primer plano del Álgebra la noción que el Álgebra se trataba del estudio de las estructuras.

      Notas

      [editar]
      1. Además, han surgido recientemente otras estructuras con una operación tales como grupoides, lazos, etc.
      2. Abeliano, en honor al matemático noruego N.H. Abel (1802--1829).
      3. Ver apéndice sobre Sistemas Numéricos

      B. Los Grupos

      [editar]

        4. Los grupos

        [editar]

        Introducción

        [editar]

        Los grupos representan, entre las estructuras algebraicas con una operación, aquellas con mayores propiedades algebraicas, ya que en un grupo la operación es asociativa, admite neutro y cada elemento es invertible respecto a la operación.

        Dicha estructura aparecerá frecuentemente en todo nuestro trabajo posterior. Por esa razón, habrá varios capítulos dedicados al tema.

        En los capítulos anteriores, los grupos fueron presentados conjuntamente con los semigrupos y monoides. Por comodidad para el lector, aquí revisaremos la mayoría de los temas referentes a grupos, aunque algunas veces referiremos al lector a los capítulos anteriores.

        Definiciones y Ejemplos

        [editar]

        Definición. (Grupo) Un Grupo es una estructura algebraica tal que:

        (i) G es un conjunto,
        (ii) * es una operación asociativa en G;
        (iii) e es un elemento neutro para la operación *;
        (iv) es una función de en que asigna a cada elemento un elemento que es un inverso de respecto a la operación.


        Cuando no haya riego de confusión acerca de los parámetros [1] de la estructura, podemos hablar del grupo <G,*> o del grupo G con la operación * o, simplemente del grupo G.

        Nomenclatura.

        • Decimos que un grupo es abeliano[2] o conmutativo cuando la operación es conmutativa.
        • Llamamos orden del grupo a la cantidad de elementos del conjunto y lo simbolizamos por
        • Decimos que el grupo G es finito cuando su orden lo sea. En caso contrario, es un grupo infinito.

        Ejemplos de Grupos Numéricos

        [editar]

        Empezaremos nuestros ejemplo con grupos de origen numérico.

        1. Los Enteros con la Adición.
          Se trata del grupo que es infinito y abeliano. Este grupo nos servirá de motivación e ilustración para muchas nociones que veremos más adelante.

          Otros ejemplos numéricos posibles son:

        2. Los grupos aditivos de los Racionales, los Reales y los Complejos.
        3. Los grupos multiplicativos de (Racionales, Reales, Complejos no nulos).
        4. El grupo aditivo de los Enteros módulo m, donde m es un entero cualquiera.
        5. El grupo multiplicativo de los Enteros módulo p, cuando p es un entero primo.
        Todos esos grupos son abelianos. Los dos últimos son finitos.


        Ejemplos de Grupos no conmutativos.

        1. El Grupo Simétrico, Sn. Este grupo está formado por todas las biyecciones del conjunto
          In = {1, 2, ... , n} en si mismo. La operación es la composición de funciones. Cuando n >2, el grupo no es conmutativo.
        2. (Grupo Lineal de dimensión 2), ) El grupo determinado por las matrices 2 x 2 invertibles.
          Para detalles sobre estos dos grupos, mirar en el capítulo Semigrupos, Monoides y Grupos.

        Ejemplos de Grupos definidos por Tablas

        [editar]

        Podemos usar tablas de operaciones para visualizar o definir operaciones en conjuntos donde la cantidad de elementos es pequeña.

        Ejemplo.

        Consideremos el subconjunto de los complejos, donde i2 = -1. Veamos la tabla de multiplicación de ese conjunto.

        Mirando a la tabla, vemos que 1 es un neutro y que cada elemento de U tiene recíproco (o sea inverso multiplicativo) en U. Como la multiplicación es asociativa, tenemos que efectivamente se trata de un grupo. La simetría respecto a la diagonal principal refleja que el grupo es abeliano.

        Notemos que cada elemento de U aparece una sola vez en cada fila y en cada columna del interior de la tabla. Tales arreglos de símbolos se llaman cuadrados latinos. Las tablas anteriores se denominan tablas de Cayley (en honor a Arthur Cayley (1821-1895), quien las introdujo junto con una noción (abstracta) de grupo).

        Grupos definidos por tablas.

        Las tablas siguientes definen operaciones que proveen al conjunto subyacente con una estructura de grupo.

        Un examen de las tablas muestra que las operaciones son conmutativas. En cada caso, mirando a la primera fila y primera columna, (fila y columna de encabezados o datos) vemos que es un neutro para la operación. En cada caso se puede buscar los inversos de cada elemento, ubicando al elemento en la columna de datos, luego nos movemos por la fila donde estaba ese elemento hasta ubicar el neutro. Subiendo hasta la fila de datos, hallamos el inverso.

        • En tenemos que
        • En el grupo de Klein [3] tenemos que cada elemento es su propio inverso.

        Lo único que no se puede apreciar directamente de una tabla es si la operación es asociativa o no. Esto se deberá hacer por un examen exhaustivo de casos (bastante largo y aburrido) o por otro medio. Creyendo que las operaciones indicadas son asociativas (verificar unos tres casos) las tablas anteriores son tablas de grupos.

        El grupo U, visto arriba, y el grupo de Klein son diferentes. La diferencia esencial no es que haya letras diferentes para los elementos, sino en sus propiedades algebraicas. Esto se puede apreciar porque la ecuación tiene dos soluciones en el primero (1*1 = 1 y (-1)*(-1)=1), mientras que tiene cuatro en el segundo. Sin embargo, mirando con cuidado, debería apreciarse que U y son esencialmente el mismo grupo. Esto implica, que a pesar del nombre de sus elementos los grupos y de Klein son diferentes grupos.

        Moraleja: lo importante no es como se denotan o que son los elementos del conjunto del grupo, sino las propiedades de las operaciones del mismo.

        El grupo C2,a es representativo de todos los grupos con 2 elementos. Cualquier grupo con dos elementos tendrá un neutro, al que podemos llamar y un elemento diferente del neutro, que podemos llamar La primera columna y la primera fila de la tabla quedan determinada por las propiedades del neutro. Solamente nos falta ver que pasa con Hay solamente dos posibilidades Observemos que si multiplicando por el inverso de a en ambos lados obtendríamos que a = e, lo que es imposible. Luego, lo que nos dice que


        Propiedades Básicas

        [editar]

        En esta sección, G es un grupo con neutro e y para cada x, x' denota un inverso de x. Algunas propiedades son generales de operaciones, neutros e inversos, pero las repetiremos aquí, tanto por completitud como por lo que la estructura de grupo agrega.

        Propiedades del Neutro

        [editar]
        • El neutro es único.
        Si e y e' son neutros entonces e * e'= e (ya que e' es neutro) y, también, e * e' = e' (ya que e es neutro). Luego, e' = e.

        Recordemos que, por definición, e es un neutro de una operación * en un conjunto E, ssi, para todo a en E se cumple que a*e=a y e*a=a. En un grupo, veremos que basta que un elemento e cumpla con una de las ecuaciones anteriores para un solo elemento, para ser neutro.

        • Si, para algún a en G, se tiene que a * x = a (o que x * a = a) entonces x = e.
        Sea a' un inverso de a. Entonces,

        Análogamente para el otro caso.
        • (Corolario). Si x * x = x entonces x = e.
        Esta aparentemente inocente propiedad puede servir para probar que un elemento de un grupo es el neutro.

        Propiedades de los Inversos

        [editar]
        • Cada elemento tiene un único inverso.
        Suponer que y, y' son inversos de x Entonces,

        Como hay un único inverso, podemos hablar de el inverso de x, al que denotaremos usualmente por

        Por definición, un elemento y es un inverso de x, ssi, x * y = e y y * x = e. Veremos, que en un grupo, con solamente una de esas ecuaciones se tiene que y es el inverso de x.

        • Si a * x = e (o x * a = e) entonces x = a-1.
        a * x = e ==> a-1*(a * x) = a-1* e ==> (a-1 * a)* x = a-1 ==> x = a-1.
        Análogamente el otro caso.
        Luego, para mostrar que b es un inverso de a, basta con verificar que a * b = e (o que b*a = e).
        • El inverso del inverso de un elemento, es el mismo elemento. (a-1)-1=a.
        Como a * a-1 = e, el resultado sigue de lo dicho arriba.
        • El inverso de un producto es igual al producto de los inversos, pero con el orden invertido. (a*b)-1 = b-1*a-1.
        (a*b) * (b-1*a-1)=a*(b*b-1)*a-1 = a*a-1 = e, se tiene el resultado.

        Propiedades Cancelativas

        [editar]

        Proposición 1. (Leyes de Cancelación) Sea G un grupo. Para todo a, b,c en G se cumple que:

        (a) (Cancelación por la izquierda) a*b = a*c ==> b = c.
        (b) (Cancelación por la derecha) b*a = c * a ==> b = c.

        Demostración: Basta en (a) premultiplicar por a-1 o en (b) posmultiplicar por a-1.

        Ecuaciones en un grupo

        [editar]

        Proposición 2. Sea un grupo. Para todo a, b en G se cumple que

        1. La ecuación a * x = b tiene solución única (x = a-1*b).
        2. La ecuación x * a = b tiene solución única (x = b * a-1).

          Demostración:

          Análogamente el otro caso.


        Convenio.

        Para simplificar la escritura y la lectura, de ahora en adelante, a menos que se indique lo contrario, el producto se denotará como la multiplicación usual por "" o, como es costumbre, simplemente estará implícito entre los operandos.

        Propiedades Heredadas

        [editar]

        Sea un grupo. Si ignoramos o nos olvidamos del elemento neutro y de la existencia de inversos, obtenemos una estructura <G,*> de semigrupo, a la que llamamos el semigrupo subyacente del grupo G. Igualmente, si solo nos olvidamos de los inversos, obtenemos un monoide subyacente.

        Como consecuencia de lo anterior, los grupos heredan todas las propiedades de los semigrupos, monoides y, por supuesto, de los magmas.


        Ejercicios

        [editar]
        1. Explicar de manera cuidadosa por qué los Racionales con la suma determinan un grupo y por qué los Racionales no nulos con la multiplicación determinan un grupo.
        2. Probar que en un grupo, un elemento que es inverso por la izquierda de otro elemento, también es inverso por la derecha de ese elemento. Es decir, que es un inverso del elemento. (Un elemento x'es inverso por la izquierda (resp. derecha) de x, ssi, x'* x = e (resp. x * x'= e).
        3. Resolver la ecuación en un grupo abeliano. ¿Cómo cambia la respuesta, si no suponemos conmutatividad?
        4. Sea G un grupo y Z(G) el subconjunto de G formado por todos aquellos elementos que conmutan con todos los elementos del grupo.


          Probar que Z(G) es una parte cerrada de G que contiene al neutro y a los inversos de sus elementos.

        5. Sea G un grupo y elementos del grupo. Probar que:


        6. Sea G un grupo y a un elemento de G. Sea (resp. ) la función de G en si mismo tal que (resp. ). Probar que (multiplicación por la izquierda de a) y (multiplicación por la derecha de a) son biyectivas. ¿Dónde en una tabla de operaciones de un grupo se puede ver los valores de (resp. de )?.
        7. Sea S un semigrupo donde las funciones y definidas como en el ejercicio anterior son biyectivas. Probar que es un grupo. ¿Es realmente necesario suponer que ambas funciones son biyectivas? (ver el próximo ejercicio.)
        8. Sea un semigrupo que tiene un neutro por la izquierda e inversos por la izquierda para todos sus elementos. Es decir que:
          1. hay un elemento tal que para todo en se cumple que y
          2. para cada de hay un tal que

          Probar que es un grupo. (Sug. Probar primero que evaluando adecuadamente )

        9. Construir la tabla de la multiplicación de los enteros no nulos módulo 5 y módulo 6. Verificar que en el primer caso tenemos un grupo, pero no en el segundo caso.(Buscar los recíprocos de cada elemento).
        10. Sea G un grupo y sea a un elemento de G. Probar que el conjunto formado por todas las potencias naturales de a es una parte cerrada de G respecto a la operación.

        Potencias en un Grupo

        [editar]

        Sea G un grupo con neutro e. Sea a un elemento de G. Para todo número natural n, la enésima potencia de a es, intuitivamente, el producto de a consigo mismo n veces. Formalmente, se define la potencia n--ésima recursivamente por:

        Notemos que etc.

        Proposición. (Propiedades de Potencias)
        Sean a, b elementos del grupo y m, n naturales (o cero).

        1. si entonces
        Demostración de (a): (Por inducción sobre n.) Sea m un natural cualquiera
        (n=0)
        Supongamos el resultado válido cuando Entonces,
        El resto se prueba de manera semejante.

        Podemos extender la definición de potencias para exponente nulo o negativo, agregando que

        Es fácil verificar que las propiedades anteriores, también son válidas para exponentes negativos. Por ejemplo, si m es negativo y n positivo, se tiene que

        Notación aditiva

        [editar]

        Cuando la operación se escribe aditivamente, la operación de un elemento consigo mismo n veces, es un múltiplo del elemento.

        Con esa notación, tenemos que las propiedades básica de los múltiplos enteros son:

        (a)
        (b)
        (c) si entonces
        (d)

        Orden de un Elemento

        [editar]

        El orden de un elemento de un monoide fue definido el capítulo Estructuras. Recordemos el orden finito de un elemento es el menor entero positivo tal que Aquí revisaremos la noción aplicada, principalmente, a elementos de un grupo. Sea un elemento de un monoide con neutro la definición de potencia con exponente natural hace sentido en un monoide, ya que no necesitamos de la existencia de inversos para probar las propiedades básicas. Consideremos la sucesión en

        Cuando todos los elementos de la sucesión son diferentes entre sí, decimos que el orden de es infinito y escribimos

        Supongamos, ahora, que en la sucesión apareciera un término que fuera igual a un término anterior. Digamos que con ¿Qué podemos concluir? Simplemente que a partir de el término --ésimo tendremos una porción de la sucesión que se repetirá indefinidamente. Por ejemplo con se tiene la sucesión

        Por ejemplo, en con la mutgiplicación, tenemos que para las potencias naturales de 2, la sucesión (escribimos en lugar de ).

        Recordemos que con la multiplicación no es un grupo. ¿Qué pasa cuándo estamos trabajando con un grupo y se tiene que ? Si multiplicando por el inverso de se tiene que o sea que Es decir, que tenemos un entero positivo tal que De acuerdo a la definición citada de orden, esto significa que tiene orden finito.

        Proposición 3. (Orden de un elemento en un grupo ) Sea un grupo con neutro Entonces, para todo en se cumple que una, y solo una, de las alternativas siguientes:

        1. hay un entero positivo tal que Entonces, decimos que tiene orden finito que es igual al menor entero positivo con esa propiedad.
        2. para todo par de enteros positivos o cero, implica que Decimos que tiene orden infinito.

        Luego, en un grupo cada elemento o tiene orden finito o tiene orden infinito.

        Corolario 3.1. Sea un grupo finito con orden Cada elemento de tiene orden finito y

          Demostración: Consideremos la sucesión finita que tiene términos. Como solamente hay elementos en dos de esos términos deben coincidir. De donde sigue la finitud del orden de y la relación indicada.



        Ejemplos.

        1. En el grupo aditivo de los Enteros módulo 6, tenemos que (recordemos que potencias son los múltiplos)
        2. En el grupo de los Enteros, todos los elementos no nulos tienen orden infinito.
        3. En el grupo multiplicativo de los Complejos, el imaginario tiene orden 4.

        Notemos que cuando entonces para cualquier múltiplo de digamos se cumple que La siguiente proposición, nos da un recíproco de ese resultado.

        Proposición 4. Sea un elemento de un grupo Sea un entero positivo tal que Entonces el orden de es un divisor de

          Demostración: Sea Por definición, es el menor entero positivo con esa propiedad. Dividiendo por , obtenemos un cociente y un residuo tales que
          (*


          Entonces, Como , concluimos que . Es decir, por (*), que es un múltiplo de


        Grupos Cíclicos

        [editar]

        Definición. (Grupo Cíclico) Llamamos grupo cíclico a un grupo cuyos elementos son todos potencias enteras de uno de sus elementos. Dicho elemento se dice que es un generador del grupo.


        Escribiremos , cuando G sea un grupo cíclico con generador a.

        Las potencias de un elemento de un grupo tienen las propiedades usuales de las potencias. Ver los ejercicios. En particular se tiene que

        • Los grupos cíclicos son grupos abelianos.    (aras = ar+s = as+r = asar.)
        • El inverso de ar es a-r.    (ara-r = ar+(-r) = a0 =e.)

        Notemos que cuando la notación es aditiva, en lugar de potencias tenemos múltiplos. Es decir, que en este caso un grupo es cíclico si todos su elementos son múltiplos de uno de ellos.

        Ejemplo. (Los Enteros son un grupo cíclico.) Como para todo número entero m se cumple que vemos todos los enteros son múltiplos del número 1, Es decir que Los Enteros son un grupo cíclico con generador 1. Observemos que -1 también es un generador de por lo que un grupo cíclico puede tener más de un generador.

        Ejemplo (Los Números Pares con la Suma).

        Los números pares son los números enteros que son múltiplos de 2. Denotamos al conjunto de pares por Como la suma de números pares es un número par, la suma define una operación en el conjunto de los pares. La operación es asociativa, con neutro 0 (que es un número par). Cada número par, 2x, tiene como opuesto aditivo a 2(-x) que también es par. Este grupo es cíclico generado por 2,

        Ejemplo. (Múltiplos de un número fijo).

        Este ejemplo generaliza al ejemplo anterior. Consideremos el conjunto formado por todos los múltiplos enteros de un número entero fijo m.

        .

        La suma de mx con my es igual a m(x+y), o sea un múltiplo de m. Tenemos que el neutro 0 (= m*0 ) es un múltiplo de m. El opuesto aditivo de mx es m(-x). Luego, es un grupo cíclico con generador m.

        Como este grupo es un grupo respecto a las mismas operaciones del grupo se dice que es un subgrupo de los Enteros con la suma.


        Ejemplo (Raíces n-ésimas de la unidad).

        Llamamos raíz n-ésima de la unidad a cualquier número complejo tal que Consideremos el caso y sea

        • Recordando la relación de Moivre que establece que tenemos que

          Es decir que es una 12--ésima raíz de la unidad.

        • Usando Moivre, tenemos que
        • Cualquier potencia entera de \theta es también una raíz 12--ésima
        • Hay solamente raíces diferentes de la unidad:

        Sea un entero cualquiera, la división por , nos produce y tales que , con

        Luego Lo que prueba que hay raíces de la unidad:

        Simbolizaremos por al conjunto formado por todas las raíces enésimas de la unidad. es un grupo cíclico con elementos.

        Observemos que es nuestro viejo conocido


        (Existencia de Grupos Cíclicos). El ejemplo de las raíces de la unidad muestra que para todo número entero positivo , hay un grupo cíclico con exactamente elementos,

        Ejercicios

        [editar]
        1. Sean una raíz sexta de la unidad. Sean y Hallar los ordenes de .
        2. (Orden de un producto) Sean elementos de un grupo abeliano <G>. Si y probar que ¿Qué pasaría si no requiriéramos que operación fuera conmutativa?
        3. En las matrices siguientes, supondremos que las entradas están tomadas de Hallar el orden de cada una en el grupo lineal


        Grupos definidos por Generadores

        [editar]

        Un grupo puede definirse mediante generadores sujeto a restricciones (relaciones entre los generadores), lo que se representa como

        que leemos como que "G es el grupo generado por a,b,c, que satisfacen las restricciones r_1(a,b,...), r_2 (a,b,.. ) ..."

        Formalmente, lo anterior significa que el conjunto G consiste de productos formales de expresiones formadas por potencias de los generadores.


        Podemos considerar a los generadores como las letras de un alfabeto. Poniendo esas letras juntas formamos palabras. Una potencia de una letra significa que la letra está repetida tantas veces como el exponente. Cuando el exponente es nulo, se considera que es la palabra vacía (sin letras). La operación es la concatenación de palabras, esto es pegarlas juntas, que es claramente asociativa y tiene como neutro a la palabra vacía (sin letras). El largo de una palabra es la cantidad de letras de la palabra. En los lenguajes de programación, se denomina cadenas a la concatenación de letras (llamadas caracteres en ese contexto).

        Ejemplo (Grupo Cíclico Finito).

        Sea donde n es un natural positivo. Los elementos de Cn,a son palabras consistentes solamente de aes, es decir potencias de a. Por lo que se trata de un grupo cíclico. La restricción consiste en que consideramos que cuando haya n de esas letras, la palabra será (por la restricción) considerada como igual a la palabra vacía. (Podemos decir que si hay n letras aes juntas, las podemos borrar.) Suponemos, además, que el número n es el menor entero positivo con esa propiedad. Lo que implica, de acuerdo a lo visto en el ejemplo de las raíces enésimas de la unidad, que


        Esencialmente, hay un único grupo cíclico de orden n; la única diferencia entre ellos es como simbolizamos la operación y al generador. Cuando el nombre del generador no sea importante, simplemente escribiremos para el grupo cíclico de orden . Mayores detalles para los grupos cíclicos, los veremos en el capítulo [4].


        Ejemplo (Grupos Diedrales).

        Llamamos grupo diedral de orden 2n, al grupo denotado por y definido como


        Notemos que los elementos de son productos de expresiones de la forma con La tercera restricción nos dice que el grupo no es conmutativo, pero indica que podemos rearreglar las letras de modo que las aes estén delante de las bes.

        Supongamos, para concretizar, que n = 3. Entonces. implica que ba = a2b. Por lo que

        • aba = a a2b = b.
        • aababaab = aa(ba)baab = aaa2bbaab =a4b2aab =aaab = b.

        Lueego, los elementos de son los productos de la forma con Es decir que


        o sea que tiene 2n elementos. Además, como


        Cada elementos es invertible. Es decir que es un grupo.

        Los grupos diedrales provienen de las simetrías de un polígono regular de lados. (Congruencias que dejan fijo globalmente al polígono). Mayores detalles en el capítulo sobre Grupos Generados.


      Ejercicios

      [editar]
      1. Verificar que las definición de potencia natural y sus propiedades son válidas para cualquier monoide; y que si tomamos a1=a como punto de partida de la definición de potencias (en lugar de a0), las propiedades son válidas para cualquier semigrupo.
      2. Construir las tablas de para n = 2, 3, 4, 5. En cada caso identificar los inversos de los elementos.
      3. Sea G = C12,a = <a | a12=e>. Probar que G tiene elementos de orden 2, 3, 4 y 6, pero no tiene elemento de orden 5.
      4. Probar las relaciones no probadas de potencias, especialmente con exponentes negativos.
      5. Probar que cuando a conmuta (o permuta) con b (ab=ba) se cumple que:
        1. a conmuta con cualquier potencia natural de b,
        2. a conmuta con el inverso de b.
        3. el inverso de a conmuta con cualquier potencia entera de b.
      6. Sea . no Probar que G es el grupo de Klein.
      7. Hallar los ordenes de todos los elementos del grupo diedral .
      8. Verifica que cuando la operación no es conmutativa, en general no se cumple que
      9. Sea Probar que G es un grupo infinito no abeliano con elementos de orden infinito, cuando

      Producto de Grupos

      [editar]

      Sean <H ,*> y <K, #> grupos. Sea el producto cartesiano de los conjuntos H y K, es decir el conjunto formado por todos los pares ordenados (x,y) tales que x están H, y está en K. Definimos una operación en G, coordenada a coordenada,

      Proposición. (Grupo Producto)
      Sean H, K y G como arriba. Entonces G es un grupo.

      Demostración: Tenemos que


      Lo que prueba la asociatividad.

      Sean eH y eK los neutros de H y K respectivamente. Sea e = (eH, eK). Entonces, De forma similar se prueba que Por lo que e es neutro respecto a la operación.

      Finalmente, Análogamente,


      Definición. (Producto de Grupos) Llamamos producto de los grupos H y K al grupo provisto de la operación por coordenadas.


      Cuando la notación es aditiva, podemos llamar suma al producto. El grupo aditivo .

      Consideremos al grupo aditivo de los Reales. es el producto cartesiano de los Reales consigo mismo. es un grupo abeliano con operación

      (Esta es la suma usual de vectores de dimensión 2 o la suma de los complejos.)

      En general, cuando se toma el producto de un grupo G consigo mismo, el producto se denota por G2. Si se toma el producto de un grupo G consigo mismo n veces, denotamos al producto resultante por Gn; sus elementos son n--uplas de elementos de G.


      Ejercicios

      [editar]
      1. Probar que si H y K son abelianos, entonces también lo es H x K.
      2. Construir la tabla de C2,a x C2,b. Compara la tabla que se obtiene con la tabla del grupo de Klein.
      3. Sean C3,a y C4,b grupos cíclicos de orden 3 y 4, con generadores a y b, respectivamente. Probar que el producto C3,a x C4.b es cíclico con generador (a,b).
      4. Sean C4,a y C2,b grupos cíclicos con generadores a y b respectivamente. Probar que el producto C4,a x C2,b no es cíclico.
      5. Construir las tablas de

      Ejercicios del Capítulo

      [editar]
      1. Sea G un grupo finito. Probar que para cada a en G hay un entero positivo n tal que
      2. En un grupo G, para elementos g y x definir (Conjugado de x por g). Probar que se cumplen las siguientes relaciones.
        1. xg y g = (xy)g.
        2. (xg)-1 = (x-1)g.
        3. (xg)n = (xn)g.
      3. Hallar el orden de todos los elementos del grupo simétrico S3. Ver la definición en el capítulo Las Estructuras.
      4. (Grupos de Transformaciones) Sea X un conjunto no vacío. Un grupo de transformaciones de X es un grupo G tal que sus elementos son elementos del grupo (Funciones biyectivas de X" en si mismo).
        1. Sea x en X y sea el conjunto formado por todas las transformaciones f de G que fijan el punto x, es decir que f(x) = x. Probar que es cerrado respecto a la composición, contiene a la identidad y a los inversos de cada uno de sus elementos, es decir, que se trata de un grupo de transformaciones. Por ejemplo, en el grupo de las congruencias del plano, las rotaciones entorno al origen, son precisamente las congruencias que dejan fijo únicamente al origen.
        2. Dado un subconjunto de X, el conjunto denota a las biyecciones de G que dejan fijo globalmente a Y, Es decir, Probar que es un grupo de transformaciones. En el grupo de las congruencias, la simetría que voltea el plano alrededor del eje X, deja al eje Y fijo globalmente, aunque todos sus puntos, exceptuando al origen, se mueven a un punto distinto. Esta misma simetría deja fijo al eje de X puntualmente, o sea punto a punto.
      5. Sea (el grupo multiplicativo de los invertibles en ). Probar que Concluir que no es un grupo cíclico.
      6. Considerar el grupo Probar que el orden de G es igual a 8 y que, aunque 4 divide a 8 no hay elemento de orden 4 en G. Concluir de lo anterior que G no puede ser cíclico.
      7. Sea G = <a> un grupo cíclico de orden impar. Probar que a aparece en la diagonal principal de la tabla del grupo.
      8. Probar que el grupo multiplicativo no es cíclico.
      9. Sea el conjunto formado por todas los complejos cuyo módulo es igual a 1. Probar que es cerrado respecto a la multiplicación, contiene al 1, y a los inversos de cada uno de sus elementos. Por lo que tiene una estructura de grupo. Mostrar que dicho grupo contiene elementos de orden finito de cualquier orden. (Sug: Considerar las raíces n--ésimas de la unidad.)
      10. Sea Probar que G es finito y cíclico.
      11. ¿Por qué podemos estar seguro que los grupos diedrales no son cíclicos?
      12. Determinar cuáles de los siguientes conjuntos de matrices, respecto a la operación indicada determinan un grupo. Recordar que una matriz diagonal es una matriz cuadrada cuyas únicas entradas no nulas están en la diagonal principal. Una matriz es triangular superior, cuando las entradas debajo de la diagonal principal son nulas. El determinante de una matriz es un número asociado a cada matriz cuadrada y es tal que
        1. donde ( es la matriz identidad, una matriz diagonal con todas la entradas en la diagonal iguales a 1), y
        2. una matriz es invertible, ssi, su determinante es diferente de cero.
        1. Las matrices diagonales con la suma de matrices.
        2. Las matrices diagonales con la ~multiplicación de matrices.
        3. Las matrices diagonales cuyas entradas son todas 1 o con la multiplicación'on.
        4. Las matrices triangulares superiores con la suma.
        5. Las matrices triangulares superiores con la multiplicación.
        6. Las matrices con determinante positivo con la multiplicación.
        7. Las matrices cuyo determinante es 1 o con la multiplicación.
      13. Sea el grupo de las matrices invertibles. Sea el subconjunto de G formado por todas las matrices cuyo determinante es positivo. Probar que es cerrado respecto a la multiplicación de matrices (usar una famosa identidad de determinantes), contiene a la matriz identidad y a los inversos de cada uno de sus elementos. Es decir que se trata de un grupo de transformaciones..
      14. Sea G un grupo y H un conjunto finito de G que es cerrado respecto a la operación. Probar que H es con la misma operación es un grupo.
      15. Sea el conjunto formado por todos los números reales excepto Definir * en por
        1. Probar que es un grupo. .
        2. Hallar la solución o soluciones de la ecuación f the equation en
      16. Sea un grupo finito. Probar que cada elemento de tiene orden finito.
        (Considerar donde ),
      17. Sea T el conjunto de números reales no nulos. Definir
        1. Muestre que * es asociativa.
        2. Probar que * tiene neutro por la izquierda e inversos por la derecha
        3. ¿Es un grupo?
      18. Sea tal que para todo se cumple que Probar que es abeliano. (Sugerencia: considerar )
      19. Probar que si, en un grupo< se cumple que entonces,
      20. Sea un grupo y suponga que Pruebe que también
      21. Sea Probar las siguientes afirmaciones.
        1. Todos los elementos de son de la forma y Concluir que el orden de es 8.
        2. El orden es 2, para cualquier valor de
        3. Determinar todos los subgrupos de Indicar cuántos de ellos son cíclicos.
      22. Sea un grupo de orden par. Probar que si un elemento de aparece en la diagonal principal de la tabla, lo hace una cantidad par de veces.
      23. Sea un grupo de orden con impar. Probar que tiene exactamente un elemento de orden 2, Además que el producto de todos los elementos del grupo es precisamente ese elemento de orden 2.

      Comentarios

      [editar]

      La noción de grupo aparece en matemáticas por tres caminos, aparentemente independientes: la búsqueda de una fórmula para resolver la ecuación de quinto grado, las aritméticas modulares y la geometría.


      Resolución de ecuaciones. Los matemáticos de fines del siglo XVIII e inicios del siglo XIX (Lagrange, Ruffini, Cauchy, Abel, Galois) se preocuparon de expresiones algebraicas relacionando las raíces de las ecuaciones y que permanecían invariantes (no cambiaban de valor) cuando se permutaban dichas raíces. Los trabajos de Abel y las geniales construcciones de Galois [5], asociando grupos a ecuaciones, trajeron los grupos a primer plano. Todo el tiempo, esos grupos eran grupos de permutaciones. Alrededor de la mitad del siglo XIX, Arthur Cayley formuló una definición abstracta de grupo, semejante a la usada actualmente.


      Aritmética modular. Los enteros módulo un entero positivo hacen sus primeras apariciones con Euler. Su estudio fue continuado por Gauss que analizo ejemplos muy generales de lo que llamaríamos hoy día grupos abelianos.

      Geometría Desde los inicios del siglo XIX, los estudios de geometrías proyectivas y no--euclidianas condujo al estudio de las propiedades e invariancia de propiedades con respecto a ciertas transformaciones (preservación de colinealidad, paralelismo, etc.) Tales estudios hicieron aparecer de forma natural grupos en la Geometría. A finales del siglo, Felix Klein definiría a la Geometría como el estudio de los invariantes de un grupo, Erlargen Programm, 1872.


      Otras fuentes. Paralelo al desarrollo de los grupos finitos, que expresaban de forma natural las clasificaciones de las simetrías de estructuras cristalinas (usadas hasta hoy por los químicos), se desarrolló el estudio de grupos infinitos, especialmente grupos de matrices. La teoría de esos grupos ayudó, y también se impulsó, por las aplicaciones a las teorías físicas del siglo XX (relatividad, mecánica cuántica, partículas elementales).


      Las siguientes páginas de Wikipedia pueden agregar más información acerca de la teoría de grupos y sus aplicaciones.

      • Grupos (matemática)
      • Teoría de Grupos
      • Teoría geométrica de grupos

        Notas

        [editar]


        5. Los Homomorfismos de Grupos

        [editar]

        Introducción

        [editar]

        Hemos visto en el capítulo anterior tres grupos de orden 4: C4,a, el grupo de Klein y el grupo de las raíces cuartas de la unidad, U4 = U4(). ¿Son esos grupos distintos? La respuesta sería aparentemente afirmativa, si nos fijáramos solamente en sus elementos. Sin embargo, en Álgebra Abstracta estamos más interesados en las propiedades de las operaciones que de la manera como simbolizamos a los elementos. Observemos que tanto C4,a como U4 son grupos cíclicos con generadores a e i respectivamente y que tenemos el siguiente pareo.

        El pareo hace que el algebra de ambos grupos luzca bastante similar. La manera de comparar dos grupos será la noción de homomorfismo, la cual formalizará la noción de semejanza de dos grupos.

        En este capítulo, veremos como usar funciones especiales (isomorfismos) entre grupos para realizar comparaciones que nos permitan detectar o verificar isomorfías (iguales formascomo las indicadas arriba. De forma más general, estudiaremos homomorfismos que serán funciones que preservan los parámetros de la estructura de grupo.

        Definiciones

        [editar]

        Definición. (Homomorfismo de Grupos) Sean y grupos.
        Un homomorfismo del grupo G en el grupo G' es una función tal que

        1. permuta con las operaciones:
        2. envía neutro en neutro:
        3. envía inversos en inversos:

        Tipos de Homomorfismos
        Un homomorfismo es un:

        • monomorfismo, cuando es inyectiva.
        • supramorfismo, cuando es suprayectiva.
        • isomorfismo, uando es biyectiva.
        • endomorfismo, cuando es un homomorfismo de en sí mismo.
        • automorfismo, cuando es un isomorfismo de en sí mismo.

        Cuando haya un isomorfismo de un grupo G en un grupo G', decimos que los grupos son isomorfos y escribimos .

        Decimos que un grupo H es una imagen homomórfica de un grupo G, cuando haya un supramorfismo de G en H.

        Ejemplo Clásico de Homomorfismo.

        El prototipo de homomorfismo (de hecho es un isomorfismo) es el logaritmo que transporta la estructura multiplicativa de los Reales positivos en la estructura aditiva de los Reales. ya que

        1. ,
        2. , y
        3. .
        Además, se trata de un isomorfismo, ya que el logaritmo es una

        función biyectiva, ya que tiene a la función exponencial como inversa.


        Ejemplo. (Homomorfismo trivial).

        Sean G y H grupos cualesquiera. La función que asigna a cada x de G el elemento neutro de H es un homomorfismo que llamaremos el homomorfismo trivial


        Ejemplo. (Los grupos U4 y C4 son isomorfos).

        Sea f la función que envía en . Como todos los elementos de ambos grupos son potencias de sus generadores

        tenemos que
        Claramente, f es biyectiva, por lo que los grupos son

        isomorfos.


        Endomorfismo aditivo de .

        Sea tal que Es fácil ver que se trata de un endomorfismo de grupos, ya que

        Luego, tenemos un endomorfismo (porque va de un grupo en sí mismo) que es inyectivo, pero no suprayectivo.


        Propiedades de los Homomorfismos

        [editar]

        La definición dada de homomorfismo arriba, es la definición general de homomorfismo de estructuras[6]. En el caso de los homomorfismos de grupos, tenemos que la primera condición implica a las otras dos.

        Proposición 1. (Caracterización de Homomorfismos de Grupoa). Sean y grupos. Una función

        es un homomorfismo, ssi, para todo x, y de G se cumple que

          Demostración: La condición es claramente necesaria. Veamos que es suficiente. Observemos que , lo que implica que Por su parte ; de donde :Lo que prueba la proposición.


        Ejemplo.

        La función que asocia a cada entero su clase de congruencia módulo m es un supramorfismo, ya que es suprayectiva y


        Ejemplo (Determinante de Matrices).

        La función determinante (de matrices) tiene la siguiente propiedad

        Por lo que define un homomorfismo del grupo de matrices invertibles GL2 en el grupo multiplicativo de los Reales. Por la proposición, tenemos que el determinante de la matriz identidad es 1 y el determinante de la inversa de una matriz es el recíproco del determinante de la matriz.


        Ejemplo (Grupo Producto).

        Sean G, H, K grupos tales que . Sea tal que (proyección en la primera coordenada). es un supramorfismo, ya que


        Resultado análogo para la segunda proyección.


        Proposición 2. (Composición de Homomorfismos) La composición de dos homomorfismos es un homomorfismo.

          Demostración: Sean y homomorfismos. Entonces.


        Sea un homomorfismo de grupos y sea x un elemento de . Probaremos que para todo natural, . Si , . Suponiendo el resultado para valores menores de n, tenemos

        Proposición 3. (Homomorfismos y Potencias) Sea un homomorfismo de grupos y sea x un elemento de G. Entonces, para todo entero n se cumple que

          Demostración: La discusión previa al enunciado prueba el resultado para valores no negativos de n. Sea n > 0, entonces


        Corolario 3.1. Sea un homomorfismo de grupos y sea x un elemento de G. Entonces, el orden de f(x) divide al orden de x.

          Demostración: Sea n=o(x). Entonces, xn = e , lo que implica que . Por lo que n es un múltiplo de o(f(x)).


        Ejercicios

        [editar]
        1. ¿Cuáles de las funciones siguientes son homomorfismos de grupos? es el grupo aditivo de los Reales y el grupo multiplicativo de los Reales no nulos.
          1. .
          2. .
          3. .
          4. .
          5. .
        2. Sea . Sea tal que . Probar que es un monomorfismo de grupos. Definir un y enunciar y probar un resultado análogo.

        Isomorfismos de Grupos

        [editar]

        Recordemos que un isomorfismo de grupos es un homomorfismo biyectivo y que significa que los grupos son isomorfos, es decir que hay un isomorfismo de G en G'. Notemos que la relación de isomorfismo entre grupos es reflexiva, simétrica y transitiva.

        • Si un isomorfismo y es la inversa de f como función tenemos que
          para todo x' = f(x), y' = f(y) que g(x'y') = g(f(x)f(y)) = g(f(xy))= xy = g(x') g(y'). Es decir que la función inversa de un isomorfismo es también un isomorfismo.
        • Si tenemos isomorfismos y , entonces su composición es un homomorfismo biyectivo, por lo que es un isomorfismo.

        Al pasar, hemos probado la siguiente proposición.

        Proposición 4. (Propiedades de Isomorfismos)

        1. La función inversa de un isomorfismo es un isomorfismo.
        2. La composición de isomorfismos es un isomorfismo.

        Observaciones. El logaritmo fue el primer ejemplo conocido de un isomorfismo de grupos. Permite transportar problemas de una estructura en la otra. Multiplicar es más difícil que sumar, por lo que para multiplicar dos números, sumamos sus logaritmos y, luego, usando, la inversa (que es la exponencial) obtenemos el resultado de la multiplicación.

        Esto podrá parecer muy complicado al lector acostumbrado a las calculadoras electrónicas, pero cuando estas no existían, los cómputos de productos se realizaban obteniendo valores de logaritmos y de antilogaritmos (la función inversa) desde libros con tablas de valores de dichas funciones.

        La Clasificación de Grupos

        El objetivo central de la teoría de grupos es la clasificación de los mismos. Esto es determinar todos los posibles tipos de grupos no isomorfos entre si.

        Desde el punto de vista de la teoría de grupos, dos grupos isomorfos son esencialmente el mismo grupo, la única diferencia reside en el nombre usado para los elementos del grupo, como lo discutido al inicio del capítulo. Por lo que, a veces, diremos que grupos con una cierta propiedad son únicos, significando que cualquier par de grupos con la propiedad son isomorfos. Esto significa que para probar que dos grupos no son isomorfos basta con verificar que hay una propiedad de uno de ellos que no tiene el otro.

        Por ejemplo, grupos con un solo elemento son todos isomorfos entre si, por lo que decimos que hay un único grupo con un elemento.

        Clasificación de los grupos de orden 2.

        Hay un único grupo de orden 2, excepto por isomorfismos.

        Vimos este resultado, anteriormente, analizando las posibilidades para el producto del elemento diferente del neutro. Aquí, veremos el mismo resultado pero usando isomorfismos. Sean G={e,a} y H = {e',a'} donde los elementos neutros son e y e' respectivamente. Sea g la función de G en H tal que g(e)=e' y g(a) = a'. Entonces,

        Lo que prueba que g es un isomorfismo.


        Los isomorfismos preservan la estructura interna de un grupo. En particular, preservan ordenes de elementos. En efecto, sean un isomorfismo y x un elemento de G, entonces tenemos, por un corolario anterior, que . como y es un homomorfismo, tenemos que . de donde, la igualdad. Aplicaremos esta observación más adelante.

        Dos grupos de orden 4 que no son isomorfos.

        Los grupos cíclicos de orden 4, C4 y K (grupo de Klein), vistos a propósito de las tablas de grupo en el capítulo anterior, no son isomorfos. En efecto, en C4 hay, por definición de grupo cíclico un elemento de orden 4, mientas que en el grupo de Klein todos los elementos diferentes del neutro tienen orden 2. Por lo tanto, los grupos no pueden ser isomorfos.


        Isomorfismo de Grupos Cíclicos

        [editar]

        Nuestra próxima proposición formaliza algo que podíamos haber intuido.

        Proposición 5. (Isomorfismo de Cíclicos) Dos grupos cíclicos de igual orden son isomorfos.

          Demostración: Sean G=C_n,a y H = C_n,b. Definamos f:G en H por f(ak) = bk. Se tiene entonces que
          Lo que prueba que

          f es un homomorfismo. Además, claramente, f es suprayectiva. Supongamos que . Sin perdida de generalidad, podemos suponer que , por lo que tenemos que $0 \le j \le k <n$. Se tiene que . Si , sería un número positivo menor que . Lo que es imposible, ya que porque por las hipótesis es el menor entero positivo con la propiedad de que . Luego , o sea que es inyectiva. Lo que concluye la

          prueba.


        Isomorfismo de Grupos Simétricos

        [editar]

        Recordemos que el grupo simétrico, , es el grupo formado por todas las biyecciones del conjunto en sí mismo. Probaremos que cuando dos conjuntos tienen igual cantidad de elementos, sus grupos simétricos son isomorfos. por lo que el grupo simétrico dependerá solamente de la cardinalidad del conjunto, pero no necesariamente del conjunto específico.

        Recordemos que dos conjuntos tienen igual cantidad de elementos (o igual cardinal) cuando, y solo cuando, hay una biyección de un en el otro. Sean X, Y conjuntos con el mismo cardinal y sea la función biyectiva que establece la igualdad de cardinales. Definamos tal que para todo en , asociamos la función de Y en sí mismo.

        Como es una composición de biyecciones, se trata de una biyección de Y en Y, o sea de un elemento de . Veamos, ahora, que es un

        homomorfismo.
        Claramente, la asignación para cada de de de es una función inversa de

        por lo que es una biyección, lo que prueba que se trata de un isomorfismo de grupos.

        Proposición 6. (Isomorfismo de Grupos Simétricos) Cuando y son conjuntos con igual cantidad de elementos, sus grupos simétricos son congruentes. .

        Corolario 6.1. El grupo simétrico de cualquier conjunto con elementos es isomorfo a el grupo simétrico de .

        El Grupo de Automorfismos de un Grupo

        [editar]

        Recordemos que un automorfismo de un grupo es un isomorfismo del grupo en sí mismo.

        Sea G un grupo, por Aut(G) denotaremos al conjunto formado por todos los automorfismos del grupo. Como la composición de automorfismo es un automorfismo, lo mismo que la identidad y el inverso de un automorfismo, tenemos que Aut(G) con la composición de funciones forman un grupo, contenido en .

        Automorfismos de .

        Sea un automorfismo de grupos. Entonces como es un generador del grupo, su imagen <math<f(a)</math>debe ser un generador del grupo.
        • (n=5) Es fácil ver por inspección, que los generadores de son para . Luego, hay cuatro automorfismos, definidos tales que para . Observemos que implica que , es decir que , la función identidad, y, por lo tanto, el neutro del grupo de automorfismos. Por simple computación, obtenemos la siguiente tabla para


          Lo que prueba que

        • (n=6) En hay solo dos generadores, y <math?a^5</math>.. Por lo que hay solamente dos automorfismos: y . Por lo que

        Ejercicios del Capítulo

        [editar]
        1. Sea P el subconjunto de formado por todos los enteros pares. Probar que la función es un homomorfismo de grupos desde en P ¿Es un isomorfismo?
        2. Sea un homomorfismo de grupos. Probar las siguientes afirmaciones.
          1. Para todo a de G y n entero se cumple que .
          2. Para todo a, b en G, si a conmuta con b en G, lo mismo pasa con sus imágenes en H.
          3. Si a es conjugado con b en G, entonces f(a) es conjugado con f(b) en H.
          4. Si hay un a en G tal que an=e para algún n natural, hay un elemento de H con la misma propiedad.
        3. Sea una imagen homomórfica de . Probar las afirmaciones siguientes.
          1. Si G es abeliano, H también lo es.
          2. Si G es cíclico, H también lo es.
        4. Sea un isomorfismo. Probar que para cada n natural, la cantidad de elementos que satisfacen la ecuación en G, es la misma que los elementos que satisfacen la ecuación en H.
        5. Sea un isomorfismo. Probar que la inversa de , es un isomorfismo.
        6. Probar las siguientes afirmaciones.
          1. La composición de monomorfismos es un monomorfismo.
          2. La composición de supramorfismos es un supramorfismo.
          3. La composición de isomorfismos es un isomorfismo.
        7. ¿Pueden haber dos grupos finitos con diferente orden que sean isomorfos?
        8. Sea (pares ordenados de números racionales que no tienen ambas componentes nulas). Definamos, una nueva operación en G por Sea f la función de G en el grupo multiplicativo de los complejos, tal que , donde . Probar que G es un grupo abeliano y que f es un monomorfismo de grupos.
        9. Sean un producto de grupos . Sean y tales que pr1(h,k) = h y pr2(h,k) = k. Probar que las proyecciones pr1 y pr2 son supramorfismos.
        10. Sean y homomorfismos de grupos. Sea tal que . Probar que es un homomorfismo de grupos.
        11. Sean G, H y K grupos. Probar que
          1. .
          2. .
          3. , donde es el grupo trivial con un elemento.
        12. Sea <G,*> un grupo. Probar que la operación (considerada como función) de en G es un homomorfismo de grupos, ssi, G es abeliano.
        13. Probar que es isomorfo al grupo de Klein (comparar las tablas de operaciones), por lo que no puede ser isomorfo a .
        14. Probar que dos grupos con tres elementos son siempre isomorfos.
        15. (Endomorfismos del grupo aditivo de los Racionales) \quad
          1. Sea tal que f(q) = aq, donde a es un número racional fijo. Probar que f es un endomorfismo del grupo aditivo de los racionales, que es un automorfismo cuando .
          2. Sea un endomorfismo del grupo aditivo de los Raciones. Probar que , donde .
        16. Sea G un grupo de orden par. Probar que siempre G contiene un elemento de orden 2.
        17. Hallar los homomorfismos de en sí mismo. ¿Cuántos de ellos son isomorfismos?
        18. Hallar, si existe, un homomorfismo no trivial entre los grupos. indicados. Si no existe, explicar por qué no existe.
          a. . b.
          c. . d. .
          e. . f. .
          g.

          .

          h.
          i. . j. .


        19. (Homomorfismos de Semigrupos y Monoides) Definir homomorfismos para semigrupos y monoides.


        Notas

        [editar]
        1. Llamamos parámetros de una estructura a todos los componentes diferentes del conjunto base.
        2. En honor a N. H. Abel (1802-1829)
        3. Felix Klein (1802)
        4. Los grupos cíclicos
        5. Louis Evariste Galois (1811-1832)
        6. Véase el apéndice La teoría de las Estructuras Algebraicas.

        6. Los subgrupos

        [editar]

        Introducción

        [editar]

        En un capítulo anterior, vimos grupos que vivían dentro de otro grupo. El grupo de los múltiplos de un número entero está contenido en el grupo de los Enteros. El grupo de las raíces --ésimas de la unidad está contenido en el grupo multiplicativo de los Complejos.

        Algunas veces se dice, de manera muy simple, que un subgrupo es un grupo que vive dentro de otra estructura. Como todas la cosas simples, hay algo de verdad en lo anterior; pero debe manejarse con cuidado. Por ejemplo el conjunto es un subconjunto de los Enteros que es un grupo respecto a la multiplicación, está contenido en los Enteros, pero no está relacionado con el grupo aditivo de los Enteros porque se trata de operaciones distintas.

        En forma general, cuando tenemos una estructura algebraica, un subconjunto del conjunto base de la estructura define una subestructura del mismo tipo cuando es cerrado respecto a los parámetros [1] de la estructura.

        Definiciones

        [editar]

        Definición. (Subgrupo) Sea <G,*,e, x -->x-1>un grupo. Un subconjunto no vacío H de G determina (o define) un subgrupo de G, ssi,

        (i)(Cerrado respecto a la operación.)
        Para todo a, b en G, a,b en H ==> ab en H.
        (ii) (Cerrado respecto al neutro).
        El neutro es un elemento de H.
        (iii)(Cerrado respecto inversos.)
        Para todo a en G, a en H ==> a-1 en H.
        Notación: H < G.

        La definición corresponde a la definición general de subestructura [2]. La riqueza de la estructura de grupo nos permite, sin embargo, reducir las condiciones.

        Proposición 1. (Caracterización de Subgrupos)
        Un subconjunto no vacío H de G define un subgrupo de G, ssi, para todo a, b en G se cumple que a, b en H implica que también está en H. </math>

          Demostración:
          Claramente las condiciones son necesarias. Si y están en , está en (parte (iii) de la definición). Luego está en (parte (i) de la definición).
          Veamos, ahora, que las condiciones son suficientes. Como no es vacío, hay al menos un elemento de en , digamos . Por la condición, tenemos para todo en que:
          • está en ,
          • está en .
          • está en .
          Luego


        Ejemplos de Subgrupos

        [editar]

        Cada grupo es siempre un subgrupo de sí mismo. Igualmente, es un subgrupo de cualquier grupo. Algunas veces, diremos que el subgrupo determinado por el elemento neutro es el subgrupo nulo o subgrupo trivial. Decimos que un subgrupo es propio cuando es diferente de y del subgrupo trivial.

        Subgrupos Aditivos de los Enteros

        [editar]

        Sea m un entero y sea H= mZ</math> el conjunto formado por todos los múltiplos enteros de .

        Claramente, H no es vacío. Sean a = mx, b = nx y múltiplos enteros de m. Entonces, a-b = mx - my = m(x-y). Lo que prueba que a-b es un múltiplo de m. Luego mZ es un subgrupo de los Enteros.

        • Los únicos subgrupos de los Enteros son los mZ.

        Sea H un subgrupo de los Enteros. Si entonces . Supongamos que H contiene un elemento no nulo, digamos c. Como c en H implica (-c) en H, sin perdida de generalidad, podemos suponer que c es positivo. Sea m el menor entero positivo contenido en H y sea z cualquier elemento de H. Por división por m, tenemos que

        Como H es un grupo y z y m están en H, tenemos que también están en H, qm y z. Por lo que r=z-qm también está en H. Si r fuera positivo sería menor que el menor entero positivo en H, lo que es imposible, luego, r=0. En consecuencia, z es un múltiplo de m. Lo que prueba la afirmación.

        Subgrupos Cíclicos

        [editar]

        Proposición 2. (Subgrupo Cíclico) Sea G un grupo y a un elemento de G. Sea . Entonces, H es un subgrupo de G, llamado subgrupo cíclico de G generado por a y denotado por

          Demostración: H es claramente no vacío, ya que contiene a Además, tenemos que Lo que prueba que H < G.


        • Los subgrupos de los Enteros son subgrupos cíclicos.
        • El orden del subgrupo es igual al orden de , .

        Subgrupos del Grupo Simétrico S3

        [editar]

        Sea .

        La relación "ba = a2b" nos dice que la operación no es conmutativa, por lo que S3 no puede ser un grupo cíclico. Sigue directo de la definición que o(a)=3 y o(b) = 2. Como (ab)2 = abab = aa2bb = e y (a2b)2 = a2ba2b =a2abb = e, tenemos que o(ab) = o(a2b)=2. Por su parte, si x = a2, x2 = a y x3 = e, luego o(a2)=3. Tenemos, entonces los siguientes subgrupos cíclicos:

        No hay otros subgrupos aparte de {e} y S3.

        En efecto, sea H un grupo que contiene a . Entonces, el subgrupo generado por a contiene todas las potencias de a. Si contiene algún elemento adicional debe ser de la forma , que multiplicado por a3-i produce b. Como H contiene a los dos generadores del grupo, debe ser igual a todo el grupo.

        Razonando de igual manera, con otras posibilidades, se concluye que los únicos subgrupos posibles, son los subgrupos indicados arriba.

        Diagramas de Subgrupos

        [editar]

        El diagrama de subgrupos es la presentación gráfica de las relaciones de inclusión entre un grupo y sus subgrupos. También se llama en la literatura, diagrama de Hasse. La figura siguiente ilustra el diagrama de subgrupos del grupo de Klein y del grupo simétrico. S3

        Grupo de Klein Grupo Simétrico S3

        Ejercicios

        [editar]
        1. Hallar todos los subgrupos posibles de los grupos C4 y C6. Dibujar los diagrams de subgrupos de esos grupos.
        2. Sea U() el subconjunto formado por todos los complejos cuyo módulo es igual a 1. (Si z = a + bi, su modulo es ). Un( es el grupo de la raíces {i}n{/i}-ésimas de la unidad.
          1. Probar que U() es un subgrupo multiplicativo de los Complejos.
          2. Probar que para todo n, Un() es un subgrupo de U().
          3. Probar que U2() = es un subgrupo de U4().
          4. Probar que U3() es un subgrupo de U6().
          5. ¿Cómo podríamos generalizar los resultados anteriores?
        3. Sea G un grupo y a un elemento de G. Sea H el conjunto formado por todos los g en G que permutan (respecto a la operación) con a, o sea tales que ga = ag. Probar que H es un subgrupo de G.
        4. Sea G un grupo finito. Sean a y b elementos de G. Probar las siguientes relaciones acerca de sus ordenes.
          1. .
          2. .
          3. Si entonces .
          4. Si y entonces .


        5. ¿Cuáles de los conjuntos siguientes determinan subgrupos aditivos de los Complejos?
          1. Los Enteros.
          2. Los Racionales de la forma , , y enteros.
          3. Los números puramente imaginarios. (múltiplos de ).
        6. ¿Cuáles de los conjuntos siguientes determinan subgrupos multiplicativos de los Complejos no nulos?
          1. Los Enteros no nulos.
          2. Los Racionales de la forma , , , y enteros.
          3. Los números puramente imaginarios y no nulos. (múltiplos de ).
        7. ¿Cuáles de los conjuntos de matrices son subgrupo del grupo lineal, ?[3]
          1. Las matrices cuyo determinante es igual a 5.
          2. Las matrices diagonales de .
          3. Las matrices triangulares superiores que no tienen ceros en la diagonal.
          4. Las matrices cuyos determinantes son 1 o .


        8. Para cada uno de los grupos siguientes, producir una lista completa de sus subgrupos.
          1. Los Enteros con la adición.
          2. Los Enteros Pares con la adición.

        Propiedades de los Subgrupos.

        [editar]

        La siguiente proposición afirma que la relación entre subgrupos es transitiva. Proposición 3. (Transitividad de la relación de ser subgrupo) Sean , y subgrupos de un grupo . Si es subgrupo de y es subgrupo de entonces es subgrupo de

          Demostración: Ejercicio.


        Proposición 4. Intersección de Subgrupos La intersección de dos subgrupos es un subgrupo.

          Demostración: Sean K, K' subgrupos de un grupo G y sea H la intersección de K con K'. Como el elemento neutro esta en K y K', dicho elemento está en su parte común H. Luego, H no es vacío. Sean x, y elementos de H. Entonces, x, y pertenecen tanto a K como a K'. Como K (resp. K') es un subgrupo de G, tenemos que esta en K (resp. en K'). Por lo tanto, está en la parte común H. Luego H < G.


        El Centro de un Grupo

        [editar]

        Definición. (Centro de un Grupo) Sea un grupo. Llamamos centro del grupo al subconjunto denotado por y formado por todos los elementos de que conmutan con cualquier otro elemento de .


        Proposición 5. El centro de un grupo es un subgrupo abeliano del grupo.

          Demostración: Como el elemento neutro conmuta con todos los elementos del grupo, el neutro está en Sean , elementos del centro. Entonces, para todo de tenemos que

          por lo que está en . Notemos, además, que

          Es decir que en implica que está en . Por lo tanto,


        El tamaño relativo del centro indica cuan abeliano es un grupo. Claramente, si es abeliano, entonces . Cuando , el único elemento que conmuta con todos los otros es el neutro .


        Ejemplo. (Centro del grupo simétrico S3).

        El grupo S3 está caracterizado por tener dos generadores a, b tales que a3 = b2 = e, bab = a2. Como las potencias de a conmutan entre si, veamos que pasa con b. La tercera condición implica que ba =a2b, es decir que b no conmuta con a. Por su parte, ba2 = baa = a2ba= a2+2 b = ab. Por lo tanto, Z(S3) = {e}.


        Ejemplo (Centro del grupo lineal ).

        Supongamos que fuera un elemento del centro de G. Sea . Entonces, y Si A está en el centro de G, AU = UA, comparando las entradas de cada uno de esos productos, tenemos que

        • (1,1) ==> a = a+c,
        • (1,2) ==> a+b = b + d,
        • (2,1) ==> c = c y
        • (2,2) ==> c+d = d.

        Luego, c = 0, a=d. Tomando y computando AV = VA se concluye que b=0. Por lo que las únicas matrices en el centro del grupo lineal son las matrices escalares, los dos numeros de la diagonal son iguales y no nulos (el determinante no puede ser cero), y los números fuera de la diagonal son nulos. Es fácil probar que esas matrices (matrices escalares) conmutan con todas las otras matrices y por lo tanto forman el centro de G


        Ejercicios

        [editar]
        1. Probar la proposición sobre la transitividad de la relación "ser subgrupo".
        2. Probar la siguiente generalización de teorema de intersección de dos subgrupos.
          Sea una familia de subgrupos de un grupo G. La intersección H de los subgrupos de la familia es también un subgrupo de G</math>.
          1. ¿Cuál es la intersección de todos los subgrupos de un grupo?
          2. ¿Es igual la intersección anterior a la intersección de todos los subgrupos propios?
        3. (Subgrupos de los Enteros) Sabemos que cada subgrupo no nulo de los Enteros es cíclico y tiene un generador positivo. Hallar un generador positivo de cada uno de los siguientes subgrupos de .
          1. .
          2. .
          3. .
          4. ¿Qué podemos decir del subgrupo ?
        4. En , hallar la intersección de los subgrupos cíclicos y .
        5. Hallar el centro del producto . (Sug. La respuesta es fácil.)
        6. Hallar el centro del producto .
        7. Probar que las permutaciones en (permutaciones de ) que fijan al 4 forman un subgrupo isomorfo a . Generalizar el resultado anterior para Sn.

        Los Homomorfismos y los Subgrupos

        [editar]

        En esta sección, veremos como un homomorfismo entre dos grupos relaciona a los subgrupos de uno de ellos con los subgrupos del otro.

        Proposición 6. (Homomorfismos y Subgrupos) Sea un homomorfismo de grupos.

        1. Si H es un subgrupo de G, su imagen, f(H) es un subgrupo de G'.
        2. Si H' es un subgrupo de G', su preimagen (o imagen inversa), es un subgrupo de G.
          Demostración:
          1. La imagen directa de contiene al menos a por lo que no es vacía. Sean elementos de . Por definición de imagen directa, hay elementos y en tales que y Entonces, Como es un subgrupo, está en , de donde está en lo que prueba que es un subgrupo de
          2. Notemos que como cada subgrupo contiene al neutro, no es vacío ya que contiene a , ya que está en Sean , elementos de o sea tales que y están en . Por lo tanto, también está en ; lo que prueba que está en , de donde el resultado.


          Definición. (Núcleo de un homomorfismo)) Llamamos núcleo de un homomorfismo al subgrupo de

          Simbolizamos ese subgrupo por . (ker, del alemán kernel). Con ayuda de la noción de núcleo, podemos caracterizar a los monomorfismos (homomorfismos inyectivos).

          Proposición 7. (Caracterización de Monomorfismo) Un homomorfismo es un monomorfismo (o sea inyectivo), ssi, el núcleo es el subgrupo trivial

            Demostración: () Supongamos que Se tiene entonces que

            Por lo que pertenece al núcleo. Como el núcleo solo contiene al , tenemos que , de donde ; es decir que es inyectiva.

            () Sea .Entonces, lo que implica, ya que es inyectiva, que . Es decir que


          Corolario 7.1. Los isomorfismos tienen núcleos triviales .


          Sigue de las proposiciones anteriores que cuando es un homomorfismo de en entonces es un subgrupo de . Además que el homomorfismo establece una correspondencia biunívoca entre los subgrupos de que contienen al núcleo y los subgrupos de , En particular, cuando se trate de un isomorfismo habrá una correspondencia biyectiva entre ambos conjuntos de subgrupos.

          Teorema de Cayley

          [editar]

          Arthur Cayley, mencionado antes como el creador de la noción abstracta de grupos, probó que todo grupo finito puede presentarse como un subgrupo de permutaciones, más precisamente, es isomorfo a un subgrupo de un grupo de permutaciones. La idea del isomorfismos es asociar con cada elemento del grupo una permutación de los elementos del grupo. Para simplicidad de la nomenclatura, acordamos lo siguiente,

          Definición. Llamamos grupo de permutaciones a cualquier subgrupo de un grupo simétrico Sn.


          Consideremos un grupo finito G y un elemento cualquiera g de G. Sea Lg la función de G en G tal que Lg(x) = gx (es decir la multiplicación de g por la izquierda ).

          Lema. es una permutación del conjunto G.

            Demostración: Si , de donde por la propiedad cancelativa, obtenemos que ; o sea que la función Lg es inyectiva. Probaremos ahora que es suprayectiva. Sea y un elemento cualquiera de G, entonces , lo que prueba que la función es suprayectiva, es decir que se trata de una función biyectiva, o sea de una permutación o elemento de . Mostremos ahora que la correspondencia es un homomorfismo de grupos. En efecto,
            Es decir que Por lo tanto,


            Lo que prueba que la correspondencia es un homomorfismo. La inyectividad de la correspondencia sigue de la propiedad cancelativa. Luego, G es isomorfo a .

            Hemos probado el siguiente teorema.

            Teorema de Cayley Todo grupo finito es isomorfo a un grupo de permutaciones.


            Ejercicios

            [editar]
            1. Sea el supramorfismo canónico que asigna a cada entero x su clase .
              1. Evaluar f(256), f(-256), f(1000).
              2. Sea . Sabemos que f(H) es un subgrupo de Determinarlo.
              3. Sean , los subgrupos de generados por respectivamente. Describir los subgrupos y de los Enteros.
              4. Describir el núcleo de f.
            2. Sea un homomorfismo de grupos tal que . Probar que f es un homomorfismo. Hallar la imagen de f, y el núcleo de f.
            3. Sea un homomorfismo de grupos, donde H es un grupo abeliano. Sea (conmutador de x, y). Probar que z está en el núcleo del homomorfismo.

            Subgrupos Conjugados

            [editar]

            La conjugación (definición a continuación) provee a un grupo no abeliano con una familia no trivial de automorfismos.

            Definición. (Conjugación) Sea un grupo y g un elemento cualquiera de . Llamamos conjugación por a la función de en si mismo, denotada por , tal que

            Decimos que dos elementos , son conjugados entre si (notación: ), cuando hay un tal que .

            Decimos que los subconjuntos y son conjugados, ssi, hay un tal que . En particular, dos subgrupos son conjugados, cuando lo son como subconjuntos.


            Proposición 8. (Conjugación es un Automorfismo) Sea un grupo, es un automorfismo de , o sea un isomorfismo de en si mismo.

              Demostración: Tenemos que , lo que prueba que se trata de un endomorfismo. Notemos, además, que
              Por lo que es una función inyectiva, o sea que se trata de un monomorfismo. Además, como , tenemos que es un supramorfismo. En consecuencia, es un automorfismo del grupo .

            Corolario 8.1. Las conjugaciones determinan un subgrupo del grupo de automorfismo, llamado el grupo de automorfismos interiores.

              Demostración: Observemos que . Es decir que la composición de conjugaciones es una conjugación. Como, claramente , se tiene el resultado.


            Observaciones.

            • Notemos que en un grupo abeliano, la conjugación por cualquier elemento es la función identidad.
            • Notemos (de la demostración anterior) que la función c:G --> Aut(G) tal que c(g) = cg es un homomorfismo de grupos, que puede verificarse es un monomorfismo.
            • (Geometría) Una rotación del plano por un cierto ángulo alrededor del punto P es conjugada de rotación por el mismo ángulo alrededor del origen. El elemento que produce la conjugación es la traslación que envía el origen en el punto P. Este tipo de conjugación es muy importante en la geometría, pues permite transportar situaciones alrededor de un punto P al origen.
            • Notemos que Es decir que cuando es un elemento del centro, todos sus conjugados son igual a él mismo. Luego, para todo , (conjunto de conjugados por de elementos del centro) es igual a .
            • Sea H un subgrupo de un grupo G. Para todo g en G, es un subgrupo que es conjugado a H.

            Clases de Conjugación

            [editar]

            Sean , escribimos para indicar que x es conjugado con y. Es fácil ver que es una relación de equivalencia en G, cuyas clases de equivalencia llamaremos clases de conjugación.

            En un grupo abeliano, las clases de equivalencia consisten de un único elemento.

            Ejemplo (Las Clases de Conjugación de S3).

            Sea . Se verifica, por computación directa, que las clases de conjugación son



            Ejemplo.

            Sea y sea .

            Buscaremos subgrupos de S3 que sean conjugados con H.

            • .

            Como esos son todos los subgrupos de orden 3 se tiene el resultado.


            Subgrupos Geométricos

            [editar]

            <<<EN PREPARACIÖN>>> Sea el plano cartesiano que identificamos con , el conjunto formado por todos los pares ordenados del plano. El plano está provisto de una estructura de producto de grupos, , la suma componente por componente, o sea, tal que


            Además, hay una multiplicación por escalar, que asocia a cada número real (escalar) y a cada par (vector), el vector . En este contexto, usualmente, se dice que los puntos son vectores y los números reales, . Se define el largo del vector como

            .


            y la distancia entre puntos como el largo de la diferencia o sea

            Denotaremos por al grupo formado por todas las biyecciones del plano en si mismo, la operación siendo la composición de funciones. (Es decir, el grupo simétrico del plano). Llamaremos transformaciones (del plano) a los elementos de ese grupo

            • Una congruencia del plano es una transformación que preserva distancia entre puntos. Es decir que es una congruencia, ssi, para todo par de puntos , se cumple que


            • Una traslación por un vector , es una función del plano en si mismo denotada por y tal que .
            • Una rotación alrededor de un punto es una congruencia del plano que deja fijo solamente al punto . Es decir que, implica que .
            • Una reflexión alrededor de una línea es una función del plano en si mismo que envía cada punto en un punto ubicado en la línea perpendicular a y que pasa por de modo que el punto medio entre y esté en la línea .

            Mostraremos que el conjunto de todas las congruencias determina un subgrupo de Biy(, llamado el grupo euclídeo del plano, al que simbolizaremos por .

            Claramente, la identidad es una congruencia, por lo que el conjunto de las congruencias no es vacío.

              Sean congruencias del plano.
            • Lo que prueba que la composición de dos congruencias es una congruencia.
            • Lo que prueba que la inversa de una congruencia es una congruencia.

            Transformaciones Lineales

            [editar]

            Una transformación lineal es una transformación que envía el punto (x,y) en (x', y') donde

            La definición es equivalente a la ecuación matricial,

            La condición implica que la matriz tiene determinante no nulo, o sea que es invertible. La matriz se llama la matriz asociada a la transformación lineal. Cada matriz define por la ecuación anterior una transformación lineal. Por lo que el conjunto de las transformaciones lineales (biyectivas) es precisamente el grupo lineal .

            Una rotación alrededor del origen es una transformación lineal cuya matriz tiene la forma

            donde es el ángulo de la rotación.

            Ejercicios

            [editar]

            Probar las afirmaciones siguientes.

            1. (Propiedades de las Traslaciones)
              1. Las traslaciones son congruencias.
              2. Dados puntos P y Q del plano, hay una única traslación que envía P en Q.
              3. El conjunto formado por todas las traslaciones determina un subgrupo abeliano del grupo euclídeo. (Sug. Evaluar .)
            2. El conjunto de congruencias que fijan el punto P (f(P)=P), , es un subgrupo del grupo de las congruencias.
            3. Sea f una congruencia que fija el origen. Probar que f preserva largos. ()
            4. Sea f una congruencia que fija el origen y sea la traslación que envía el origen en A. Entonces, es una congruencia que fija el origen.
            5. Sean transformaciones lineales con matrices asociadas y . La composición es lineal com matriz asociada igual al producto de las matrices.
            6. (Propiedades de las Rotaciones) Las rotaciones son congruencias. Las rotaciones alrededor del origen determinan un subgrupo de las congruencias.
            7. Sea el conjunto formado por todas las rotaciones alrededor del punto . Probar que ese conjunto determina un grupo contenido en el grupo euclídeo.
            8. Sea una rotación alrededor del origen del plano y sea un punto cualquiera. Entonces, es una rotación alrededor de . La correspondencia define un isomorfismo entre esos grupos de rotaciones.

            Ejercicios del Capítulo

            [editar]
            1. Determinar cuáles de los siguientes enunciados son válidos y cuáles son falsos
              1. En cada subgrupo, la operación es asociativa.
              2. En cada subgrupo, la operación es conmutativa.
              3. Cada grupo es un subgrupo de si mismo.
              4. Todo grupo tiene subgrupos propios.
              5. Los subgrupos cíclicos son siempre subgrupos propios.
              6. es un subgrupo cíclico de .
            2. Probar que en un grupo abeliano G, .
            3. ¿Será valido el resultado del ejercicio anterior, si reemplazamos 2 por un n cualquiera?
            4. Un subconjunto finito cerrado respecto a la operación de un grupo es un subgrupo.
            5. ¿Cierto o falso? Un grupo cuyos subgrupos propios son todos abelianos es abeliano.
            6. Sea , matrices invertibles 2 x 2 con entradas en . Por lo que los posibles valores de los determinantes de esas matrices son [1], [2], [3] y [4]. Se sabe que el orden de G es 480 y se quiere conocer el orden de , las matrices invertibles 2 x 2 cuyo determinante es [1].
              1. Sea . Probar que .
              2. Sea A en G, probar que .

              Usar lo anterior para responder la interrogante.


            7. Sea G un grupo y a un elemento de G. El conjunto es un subgrupo.
            8. (Generalización del ejercicio anterior) Sea G un grupo y S un subconjunto de G. El conjunto es un subgrupo. (Hay una demostración fácil usando el resultado anterior y un teorema del texto.)
            9. Sea G un conjunto y definamos , ssi, . Probar que se trata de una relación de equivalencia.
            10. Para cada uno de los grupos siguientes, producir una lista completa de sus subgrupos.
              1. Los Enteros con la adición.
              2. Los Enteros Pares con la adición.
            11. Sea el conjunto de funciones desde un conjunto no vacío en los Reales. Si y son elementos de , se define suma y producto tales que y
              1. Probar que es un grupo abeliano, mientras que es solamente un monoide abeliano.
              2. Suponer que . Una función es par (resp.impar), ssi, para todo , (resp. ). Probar que las funciones pares (resp, impares) determinan un subgrupo aditivo de
              3. ¿Qué pasa con respecto a la multiplicación?
            12. (Cálculo) Sea el grupo aditivo formado por todas las funciones de en . Sea el subconjunto de formado por las funciones continuas y sea el subconjunto de formado por las funciones derivables. Probar que es subgrupo de <>math>\mathcal C</math>, que a su vez es subgrupo de .
            13. (Semigrupos y Monoides) Definir las nociones de subsemigrupo y submonoide. Enuciar teoremas semejantes a los de subgrupos y probarlos. Aplicar sus definiciones al monoide M cuya tabla de operaciones se indica.
                Sean H = {a,b} y K = {b,c}.
              1. Cuál es el neutro de M?
              2. Verificar que H y K con la operación restringida son monoides.
              3. Su definición de submonoide debe servir para verificar que H es un submonoide de M, pero que K no lo es.

            7. Los Grupos Cíclicos

            [editar]

            Introducción

            [editar]
            Las seis raíces complejas 6-ésimas de la unidad forman un grupo cíclico bajo la multiplicación. z es un elemento de este grupo cíclico o elemento primitivo, pero z2 no lo es, porque las potencias impares de z no son representables como potencias del elemento z2.

            Los grupos cíclicos han aparecido varias veces anteriormente. Tales grupos son muy importantes en la teoría de los grupos, especialmente de los grupos abelianos. Dedicaremos este capítulo a establecer la estructura interna de los grupos cíclicos y algunas propiedades no vistas anteriormente.

            Resumimos, a continuación, nuestro conocimiento de grupos cíclicos

            1. Un grupo (o subgrupo) cíclico consiste de todas las potencias enteras de uno de sus elementos, llamado generador del grupo.
            2. Los grupos cíclicos son abelianos.
            3. Dos grupos cíclicos finitos de igual orden, son isomorfos. Denotamos a un grupo cíclico de orden n por Cn .
            4. Hay grupos cíclicos finitos (Enteros módulo m) e infinitos (los Enteros).
            5. Cada elemento de un grupo cualquiera genera un subgrupo cíclico, denotado por .

            ¿Qué más nos interesaría conocer?
            ¿Cuántos subgrupos tiene el grupo cíclico Hay grupos cíclicos finitos de cualquier orden, ¿pasa lo mismo con los sugrupos de un grupo ciclíco? ¿Cómo es el grupo de automorfimos de un grupo ciclíco?

            Clasificación de los Grupos Cíclicos

            [editar]

            En esta sección produciremos un listado completo de todos los posibles grupos cíclicos.

            Sea G un grupo cíclico, digamos que . Entonces, para cada entero n, an es un elemento de G, por lo que podemos definir una función f desde los Enteros en G por f(m) = am. Claramente, f es suprayectiva y, por las propiedades de las potencias, tenemos que:

            Es decir, que f es un homomorfismo (suprayectivo) de en G. Por los resultados sobre homomorfismos, tendremos que el núcleo de este homomorfismo, o sea el conjunto de todos los enteros n tales que f(n) = an = e, es un subgrupo de . De acuerdo a los resultados de un capítulo anterior, sabemos que los únicos subgrupos aditivos de los Enteros son los (múltiplos enteros de un número positivo o cero m). Por lo que el núcleo de f será uno de esos subgrupos. Tenemos varias posibilidades para ese núcleo, dependiendo de su generador.
            1. . En este caso, . Esto implica que f es inyectiva. Como f es, además, suprayectiva, tendremos que f establece un isomorfismo entre el grupo aditivo y el grupo .
            2. . En este caso, se cumple que para todo n, . En particular con n = 1, tenemos que a = e. Por lo tanto, ,el subgrupo nulo.
            3. donde d es un entero positivo mayor que 1. El número d es el menor entero positivo tal que ad = e. Para cualquier otro entero m tendremos entonces que, m=qd+r, con y, por lo tanto, Es decir que

              un grupo cíclico con d elementos.

            Proposición 1. (Clasificación de los Grupos Cíclicos) Sea . Tenemos tres posibilidades para G.

            1. G es isomorfo al grupo de los Enteros, por lo que es un grupo infinito, o
            2. G es el subgrupo trivial integrado únicamente por el elemento neutro, o
            3. G es isomorfo a .

            Observaciones.

            • Sigue de la proposición que grupos cíclicos de orden infinito son isomorfos.
            • Los Enteros módulo m, la raíces n--ésimas de la unidad caen en la tercera categoría anterior.
            • En el grupo aditivo de los Enteros, cualquier elemento diferente de 0 tiene orden infinito, pero no son necesariamente generadores del grupo.

            Orden de Elementos

            [editar]

            Ejemplo.

            Sea G= . La tabla siguiente presenta los ordenes de cada uno de sus elementos.

            Ejemplo de verificación: o([3]) = 4 ya que 4[3] = [12] = [0] y, 1[3] = [3] [0], 2 [3] = [6] [0] y 3[3] = [9] [0]. Notemos que cualquier elemento cuyo orden sea 12 es un generador del grupo, es decir, es posible que haya más de un generador de un grupo cíclico.


            Proposición 2. (Caracterización del Orden por Divisibilidad) Sea G un grupo y g un elemento de G con orden finito d. Entonces, cuando , se cumple que d es un divisor de n.

              Demostración: Se tiene que n = qd + r con . Si r fuera positivo, como r = n - dq, se tendría que ar = an-dq = an(ad)-q = e, por lo que ar=e; pero como r < d, esto es imposible. Luego, r = 0, por lo que se tiene el resultado.


            Subgrupos de Grupos Cíclicos

            [editar]

            Describiremos, a continuación, las posibilidades para los subgrupos de un grupo cíclico.

            Proposición 3. (Subgrupos de un Grupo Cíclico)

            1. Cada subgrupo de un grupo cíclico es cíclico.
            2. Sea G un grupo cíclico de orden n. Entonces, para cada divisor del orden de G, hay exactamente un subgrupo con ese orden. En forma más precisa, si n=qd y , el subgrupo de orden d es ,
            3. Sea de orden n. El orden de es n/mcd(k,n).
              Demostración:
              1. Sea G un grupo cíclico. Si G es infinito, el resultado sigue del resultado acerca de los subgrupos del grupo . Si G es nulo, el resultado es trivial. Supongamos entonces que y que el orden de a fuera d>1. Es decir, d sería el menor entero positivo tal que ad=e. Sea H un subgrupo no trivial de G, entonces habrá algún ak en H con . Sea s el entero positivo minimal con la propiedad que as \in H. Afirmamos que H = <as>. Sea ap un elemento cualquiera de H, entonces por el algoritmo de la división de Euclides, aplicado a p y s, nos proveerá enteros q y r tales que: . Notemos que
                ,
                lo que muestra que ar es un elemento de H. Por la minimalidad de s, tendremos que r = 0, lo que implica que cada elemento de H es una potencia de as. Es decir que, H = < as es un subconjunto de <as>; como la inclusión inversa es trivial, tendremos que H = <as>, de donde, concluimos que H es cíclico.
              2. Sea G un grupo cíclico de orden n y sea d un divisor de n, digamos que n = qd. Probaremos que <aq> tiene orden d. En efecto, se tiene que (aq)d = aqd = an = e, o sea que d debe ser un múltiplo del orden de aq. Supongamos que k fuera el orden de aq, si k fuera menor que d, se tendría que aqk} = (aq)k = e. Como qk < qd = n, lo anterior es imposible, ya que n es el menor entero positivo p tal que ap=e. Luego, k debe ser igual a d. Probaremos ahora la unicidad, sean d y q como antes y sea H un subgrupo de orden d de G, queremos probar que H= q. Sabemos que H es cíclico y que, por lo tanto, existe un s tal que H = s>; como an = e, se tiene que s es un divisor de n y, por los argumentos anteriores, el orden de a debe ser igual a n/s. Pero ese orden es d = n/q. Luego n/s=n/q, de donde s=q y queda probada la unicidad.
              3. Sea d= mcd(k,n). Entonces k=k1d y n=n1d. Luego,
                Pero, , por lo que . Sigue de la caracterización del orden por divisibilidad que o


            Orden de los Elementos

            [editar]

            ¿Cuáles son los posibles ordenes de los elementos de un grupo cíclico?

            Notemos que el orden de un grupo cíclico coincide con el orden de su generador . Si entonces el orden es infinito, mientras que si , , entonces .

            Ejemplo.

            En el grupo aditivo de los Enteros, cualquier elemento diferente de 0 tiene orden infinito.


            Ejemplo.

            Sea . La tabla siguiente presenta los ordenes de cada elemento.

            Ejemplo de verificación: ya que y, , y . Notemos que cualquier elemento cuyo orden sea 12 es un generador del grupo, es decir, es posible que haya más de un generador de un grupo cíclico.


            Proposición 4. (Caracterización del Orden por Divisibilidad) Sea un elemento con orden finito . Entonces, cuando , se cumple que es un divisor de .

              Demostración: Tenemos, por división, que con . Si fuera positivo, como , se tendría que , por lo que ; pero como , esto es imposible. Luego, , y se tiene el resultado.


            La función de Euler.

            Sea un grupo de orden . Sigue de la parte c) de la proposición anterior que los elementos de orden de son los tales que . Es decir, todos los , que son relativamente primos con . La cantidad de esos elementos se llama la función de Euler de y se denota por .

            Ejemplo.

            Si es primo, . Por lo que los generadores de son todos los elementos, excepto el neutro.


            La tabla siguiente muestra los valores de para valores pequeños de ,

            Homomorfismos y Grupos Cíclicos

            [editar]

            Proposición 5. (Homomorfismos y Cíclicos) Sea G un grupo cíclico y un homomorfismo de grupos. Entonces, la imagen es un subgrupo cíclico.

              Demostración: Sea un generador de . Entonces, para cada de hay un , para algún , tal que . Lo que implica que ; lo que muestra que es cíclico con generador .


            Los Automorfismos de los Enteros Módulo m

            [editar]

            Recordemos que un automorfismo de un grupo es un isomorfismo (homomorfismo biyectivo) del grupo en si mismo. Todos los automorfismo de un grupo determinan, a su vez, un grupo simbolizado por (G). Sea G=, el grupo cíclico con m elementos y sea f: G \flecha G un automorfismo, entonces la imagen de [1] debe ser un generador de G, ya que . Luego, hay posibles selecciones para la imagen de G. Por lo que se tiene que .

            Los Grupos Simétricos

            [editar]

            Recordemos que llamamos grupo simétrico de un conjunto al grupo determinado por todas las biyecciones del conjunto en si mismo, con la composición de funciones como operación. Dos conjuntos con igual cardinal tienen grupos simétricos isomorfos.

            Cuando el conjunto es finito, es tradicional llamar \textbf{permutaciones} a los elementos del grupo simétrico.

            Advertencia. Para simplicidad de la exposición, supondremos que nuestro grupo simétrico de símbolos actúa en . Esto no es realmente una gran restricción, ya que los grupos simétricos de conjuntos con elementos son, siempre, isomorfos entre si. Como la intuición de permutaciones es reordenación, el conjunto donde actúan las permutaciones debe estar ordenado, lo que se traducer en una enumeración como

            y al restringirnos a es como que estuviéramos trabajando cono los índices.


            Recordemos que denotamos por al grupo simétrico de y llamamos permutaciones (de símbolos) a sus elementos. Intuitivamente, una permutación de una cierta cantidad de objetos es un (re)ordenamiento de los mismos.


            Los Ciclos

            [editar]

            Ejemplo A.

            Sea una permutación de .

            Notemos que la (función) es tal que y .

            Centrado


            Es decir que mueve el , y de manera cíclica, mientras que deja fijos a y . Tales permutaciones se llaman \textit{ciclos}, que definiremos de manera general más adelante.


            Ejemplo B.

            Sea una permutación de . En este caso, los puntos que no se mueven son 3 y 7. ¿Qué pasa con aplicaciones sucesivas de a puntos que no quedan fijos?

            En este caso tenemos dos puntos fijos y dos ciclos.

            Centrado


            Sea una permutación de un conjunto finito con elementos. Sea un elemento cualquiera de . Consideremos la sucesión obtenida por aplicaciones sucesivas de a un punto de y a sus imágenes.

            Como es un conjunto finito, los términos de la sucesión

            no pueden ser todos diferentes. Por lo que hay y , con , tales que . Si , entonces , lo que implica que , o sea , lo que es una contradicción ya que . Luego , o sea .

            Introduciremos una terminología que nos ayudará a estudiar los ``ciclos de una permutación.

            Definición. (Ciclos) Sea un conjunto con elementos. Sea una sucesión de elementos diferentes de , . Llamaremos ciclo (de largo ) o k--ciclo a la permutación de que deja fijo a todos los elementos de que no aparecen en la sucesión y tal que

            Es decir que

            Simbolizamos por a ese ciclo.

            Llamamos transposición a un ciclo de largo 2.

            Veremos, más adelante, que cada permutación puede expresarse como un producto de ciclos. Antes, presentaremos algunas nociones que nos ayudarán en el estudio de los ciclos de una permutación.

            • (Puntos fijos de una permutación) Llamamos punto fijo o elemento fijo por (o de) una permutación en a un punto de tal que . Hay ejemplos de permutaciones y de transformaciones que no tienen puntos fijos, mientras que la identidad deja a todos los puntos fijos. En el ejemplo A, los puntos fijos son 3 y 5.
            • (Soporte de una permutación.) Llamamos soporte de la permutación al subconjunto de formado por todos los elementos de que no quedan fijos por .

              En otras palabras, el soporte de una biyección es el complemento (como conjunto) del conjunto de elementos fijos por . Coloquialmente, decimos que la permutación \textit{mueve} a los puntos de su soporte.

              El soporte del permutación del ejemplo B es .


            Observaciones.

            • Un ciclo de largo 1 indica que todos los elemento de quedan fijo por la permutación, o sea que se trata de la identidad.
            • Una permutación puede dar origen a uno o más ciclos.
            • Si , entonces el soporte de es precisamente .
            • Llamamos \textit{permutación cíclica} de al ciclo de . \index{permutación!cíclica}
            • Sea un --ciclo. Se tiene que

              Observemos que .


            Permutaciones disjuntas.

            Decimos que dos permutaciones son disjuntas cuando sus soportes lo sean.


            Observemos que cuando dos permutaciones son disjuntas, los puntos que una mueva, la otra los deja fijos. Esto implica que el producto de las dos biyecciones es independiente del orden del producto.

            Permutaciones disjuntas conmutan.

            Observemos que una biyección y su inversa tienen igual soporte. También si y son disjuntas se tiene que


            Veremos, a continuación, lo anunciado más arriba.

            Proposición 6. Cada permutación de es un ciclo o un producto único de ciclos disjuntos, excepto por el orden y 1--ciclos.

              Demostración: (Por inducción sobre la cantidad de elementos en .) Si , entonces que es un producto de ciclos disjuntos de largo 1. Sea y sea en tal que . Sea el menor entero positivo tal que . Sea el ciclo . Sea en , entonces, razonado con el prueba del inverso, . Por lo que fija cada elemento de . Si no está en , entonces , por lo que . Luego, , ssi, . Esto implica que . Por la hipótesis de inducción, tenemos que debe ser igual a un producto de ciclos disjuntos, , que como fijan deben ser disjuntos de . Luego

              Veamos ahora la unicidad. Supongamos que . Entonces, . Además, implica que . Cada en pertenece por lo tanto a un único , . Por lo que ya que coincide con en . Es decir que los ciclos quedan únicamente determinados por .


            Transitividad de la acción

            [editar]

            Sea un conjunto finito tal que . Dados dos puntos , , sea definida por

            Claramente es una permutación de , cuando . Cuando un grupo de permutaciones, tiene la propiedad de que dado , hay un elemento del grupo que envía un punto en el otro, decimos que el grupo \textit{actúa transitivamente} sobre el conjunto.

            Veremos, a continuación, que actúa transitivamente en el conjunto de sucesiones de --elementos diferentes de , clásicamente llamadas las --permutaciones de un conjunto con elementos.

            Sean y dos sucesiones de elementos diferentes. Sea una sucesión formada por los elementos del complemento de . Sea la sucesión análoga para . Entonces, definimos una función que asigna a cada , el correspondiente . Claramente, tal función es la permutación deseada.

            Ejemplo.

            Sean , y , entonces una permutación satisfaciendo lo indicado arriba es


            Esta construcción será usada más adelante para obtener permutaciones con una asignación parcial de sus valores.

            Ejercicios

            [editar]
            1. Sean , y permutaciones de , con , y . Expresar cada una de esas permutaciones como un producto de permutaciones disjuntas.
            2. Sean , , y permutaciones de . Expresar cada uno de esos ciclos en la forma matricial.
            3. Sean , , y permutaciones de . Realizar las operaciones indicadas.
            4. Suponer que las permutaciones son de . Sea . Hallar , , , , y . Probar, además, que .
            5. Suponer que las permutaciones son de . Sean , y .
              1. Probar que los cuadrados de esas transposiciones son la identidad.
              2. Probar que cada una de esas transposiciones tiene un inverso igual a ellas mismas.
              3. Simplificar .
              4. Simplificar .
              1. Sea una transposición de . Probar que y que .
              2. Sea un 3--ciclo de . Probar que y que .
              3. ¿Cómo se podrían generalizar lo anterior a --ciclos de ? Conjeturar y tratar de probar.
            6. Probar que en , se tiene las siguientes relaciones:
              1. .
              2. .
              3. .

              ¿Qué se puede conjeturar?

            7. Construir la tabla de , el grupo simétrico del conjunto . Comparar la tabla del grupo con la tabla de la multiplicación de .
            8. Verificar la tabla de . Determinar todos los subconjuntos cerrados de . Comparar la tabla de con la tabla de las simetrías de un triángulo equilátero .
            9. Sea un subgrupo de un grupo simétrico y sean . Probar que el conjunto de permutaciones en que fijan , es un subgrupo de denotado por .

            Propiedades de los Ciclos de Permutaciones

            [editar]

            Sea un ciclo de largo en , digamos que

            Mostraremos que cualquier punto que aparece en el ciclo, definen al mismo ciclo. Es decir que un ciclo no tiene una representación única, ya que cualquiera de los siguientes representa el mismo ciclo.

            En efecto, tomemos como punto inicial a , entonces por sucesivas aplicaciones de obtenemos la sucesión

            Como , tenemos que la sucesión anterior es

            Es decir una sucesión de puntos que aparecen en el ciclo que se inicia en . Además, . Si hubiera un tal que , tendríamos que , de donde , lo que no puede ser. Sea el ciclo de largo que se inicia en . Claramente, el soporte de es igual al soporte de . Además, para cada tenemos que . Es decir que .

            Cantidad de -ciclos.


            ¿Cuántos ciclos hay en de largo , ?

            Las posiciones en un --ciclo, pueden llenarse de

            diferentes maneras. Como cada -ciclo puede escribirse de diferentes maneras, tenemos que

            Cantidad de k--ciclos =

            Orden de Ciclos.

            Sea . Los cómputos anteriores muestran que para todo se cumple que . Si no está en , es fijo por luego . Lo anterior prueba la siguiente proposición.

            Proposición 7. Un --ciclo tiene orden como elemento del grupo .

            En la terminología de la teoría de grupos, el subgrupo generado por un --ciclo es un subgrupo cíclico de orden . Como hay ciclos de largo , para todo . , tenemos que contiene subgrupos ciclos de orden . La siguiente proposición sigue directamente de la teoría de grupos cíclicos, pero, daremos también una demostración directa

            Proposición 8. Sea un --ciclo de . Se cumple que

            1. es un ciclo tal que (subíndices computado los índices mayores que módulo ) .
            2. Si entonces es un -ciclo.
            3. Si entonces es un producto de ciclos de largo
              Demostración:
              1. Como , tenemos la parte a).
              2. Cuando , entonces para todo , , los enteros

                son enteros diferentes módulo .

                En efecto, si , se tendría que . Como no divide a , se tiene que .

              3. Cuando , se tiene que . Lo que prueba la afirmación sobre el orden de . El resto sigue de forma inmediata.


            Ejemplo.

            Sea . Entonces,



            Inversa de un ciclo.

            La permutación inversa de un ciclo es un ciclo que hace un recorrido inverso de los puntos del ciclo original.

            Notemos que se tiene

            Observemos también que la inversa de una permutación tiene el mismo orden y soporte que la permutación. Tales resultados siguen en forma inmediata de la proposición anterior aplicada a .

            Conjugado de un Ciclo.


            Lema de Conjugación Sea un ciclo de y sea una permutación cualquiera de . Entonces, el conjugado de por , , es el ciclo de igual largo

              Demostración: Sea . Entonces

              Además,

              Lo que prueba que


            Ejemplo.

            Sea en . Sea . Entonces, .


            Ejemplo.

            Sea un transposición de , . Sea una permutación tal que y . Entonces,\

            Esto muestra que todos los 2--ciclos son conjugados con el ciclo . Como la relación de conjugación es de equivalencia, sigue que dos transposiciones cualesquiera son siempre conjugadas entre si.


            Proposición 9. (Orden de un producto de ciclos disjuntos) Sean y ciclos disjuntos. Entonces, es igual mínimo común múltiplo de y .

              Demostración: Como y son disjuntos, conmutan entre si. Luego, para cualquier se cumple que . Sea . Supongamos que , que y que . Sea . Entonces,

              ya que es un múltiplo de los ordenes de y . Luego .

              Si está en , . Luego, ; lo que implica que . Análogamente ,

              Luego . Lo que prueba que .


            Corolario 9.1. Sea . Entonces el orden de es el mínimo común múltiplo de los ordenes de los factores.

              Demostración: Inducción sobre .


            Ejemplo.

            En la permutación tiene orden 6.


            Ejemplo.

            En hay un elemento de orden 30.

            • El orden de es 30.

            Clases de Conjugación

            [editar]

            Sea una permutación de y sea la descomposición en ciclos disjuntos de incluyendo los 1--ciclos y tal que

            ( es el largo del ciclo ).

            Llamamos tipo de a la sucesión . Notemos que

            Luego, cada tipo de una permutación define una partición de .

            Como cada conjugado de un ciclo tiene igual largo que el ciclo, sigue que los conjugados de una permutación tienen igual tipo que la permutación. Sean y dos permutaciones de igual tipo con las descomposiciones normalizadas como arriba.

            Observemos que el soporte es la reunión disjunta de los soportes de los , . Análogamente para el soporte de . Supongamos que donde . Sea el ciclo correspondiente de . Sea la permutación tal que sobre el soporte de es tal que . Luego, por el lema de conjugación, . Se tiene entonces que

            Proposición 10. Dos permutaciones son conjugadas, ssi, tienen igual tipo. Hay tantas clases de conjugación de como tipos, o sea como particiones de .

            Ejercicios

            [editar]
            1. Expandir como una permutación completa de cinco elementos, cada uno de los siguientes ciclos de .
            2. Probar que en , se tiene las siguientes relaciones:
              1. .
              2. .
              3. .

              ¿Qué se puede conjeturar?


            3. Hallar todos los ciclos de largo 3 en y en .
            4. Probar que y que .
            5. Sea un producto de transposiciones disjuntas. Probar que .
            6. Sea . Probar que donde los subíndices mayores que se computan módulo . Por ejemplo, Usar lo anterior, para computar rápidamente los siguientes cuadrados: , , , . Observar que no siempre el cuadrado de un ciclo produce un ciclo del mismo largo. Inventar un método para calcular cubos de permutaciones rápidamente.
            7. Sean y permutaciones disjuntas de . Probar que
              1. y son permutaciones disjuntas, y que
              2. .
            8. \label{exDCT} Probar que . Es decir que todo ciclo es un producto de transposiciones.
            9. Probar que en , Si y son ciclos disjuntos, entonces .
            10. Sean , , , y . Verificar que
            11. Sea donde es un producto de ciclos disjuntos de . Sea . Probar que y que .
            12. Sea donde es tal que . Sea . Probar que y que .
            13. Hallar la cantidad de 2--ciclos en .
            14. Probar que el soporte de un ciclo es la órbita de cualquiera de los elementos del ciclo por .

            Ejercicios del Capítulo

            [editar]
            1. Para cada grupo indicado, hallar el subgrupo cíclico generado por el elemento indicado
            2. Describir al subgrupo cíclico de generado por las matrices siguientes.


            3. Sea .
              1. ¿Por qué este grupo es cíclico?
              2. Hallar todos los posibles ordenes de elementos de G.
              3. Para cada divisor d de 12, hallar un elemento de G con orden igual a d.
              4. ¿Cuáles son todos los generadores de ?
              5. Hallar los automorfismos de .
            4. Sea G un grupo finito. Sean a y b elementos de G. Probar las siguientes relaciones acerca de sus ordenes.
              1. o(a-1)= o(a).
              2. o(bab-1) = o(a).
              3. Si ab=ba entonces o(ab) = mcm(o(a), o(b)).
              4. Si mcd(o(a),o(b)) = 1 y ab =ba entonces o(ab)=o(a)o(b).
            5. Hallar la cantidad de generadores de para
            6. Probar que el grupo multiplicativo para m=5 y 7 es cíclico, pero que no es cíclico.
            7. Sea de orden Probar que , ssi, .
            8. Sea f: G --> H un homomorfismo de grupos con G = <g> y H = <h>. Probar que o(h) es un divisor de o(g).
            9. Probar que la imagen por un homomorfismo de un grupo cíclico es un grupo cíclico. ¿Cuál es uno de los generadores de este grupo cíclico? ¿Puede pasar que el grupo original sea infinito, pero que su imagen sea un grupo finito?
            10. Sea G un grupo cíclico infinito. Probar que si G es un generador del grupo, hay solamente otro generador, que es el inverso de G. ¿Será cierto que un grupo cíclico con exactamente dos generadores es infinito?
            11. Sea G un grupo cíclico que tiene un único generador. Probar que G tiene solamente dos elementos.
            12. (Producto de Grupos Cíclicos)
              1. Sea H el grupo cíclico de orden 5 generado por a y sea K el grupo cíclico de orden 3 generado por b. Probar que el producto es un grupo cíclico generado por (a,b). Concluir que .
              2. Sea H el grupo cíclico de orden 4 generado por a y sea K el grupo cíclico de orden 2 generado por b. Probar que el producto no es un grupo cíclico.
              3. ¿Cuándo el producto de grupos cíclicos es cíclico?


            13. Sea p un número primo. Probar que f(pn)=pn-1(p-1), donde f es la función de Euler. (Sugerencia. mcd(a,pn=1, ssi, mcd(a,p)=1.)
            14. (La función f de Euler). Probar que para cada entero positivo n se cumple que . (Sugerencia: considerar el grupo cíclico con n elementos y la cantidad de generadores de cada uno de sus subgrupos.)
            15. Probar que Un (raíces enésimas de la unidad) es un grupo cíclico de orden n respecto a la multiplicación de números complejos.
            16. Marcar cada uno de los siguientes enunciados como válido o falso.
              1. Un grupo abeliano es un grupo cíclico.
              2. Un grupo cíclico de orden 30 tiene un subgrupo de orden 12.
              3. Un elemento x de un grupo G tiene orden n, ssi,
              4. Los Racionales positivos con la multiplicación forman un grupo cíclico infinito.
              5. Cada elemento diferente del neutro es un posible generador de un grupo cíclico.
            17. ¿Cuáles grupos cíclicos tiene la propiedad que cualquier elemento diferente del neutro es un generador del grupo?
            18. (Monoides) Un monoide es cíclico cuando todos sus elementos son potencias naturales de un elemento m, y . ¿Cuáles resultados de grupos cíclicos se podrían extender a monoides cíclicos?
            19. (*) Se prueba en el texto que para cada divisor del orden de un grupo cíclico, hay exactamente un subgrupo de ese orden. ¿Caracteriza esta propiedad a los grupos cíclicos? Es decir, si sabemos que un grupo finito tiene para cada uno de los divisores de su orden exactamente un subgrupo de orden dicho divisor, ¿podremos concluir que el grupo es cíclico?

            Comentarios

            [editar]

            Los grupos cíclicos son los bloques para la construcción de grupos abelianos. Se tiene los siguientes resultados:

            • Cada grupo abeliano finito es un producto de grupos cíclicos.
            • Sea G un grupo abeliano de orden . Entonces, hay una sucesión de enteros positivos mayores de 1 tales que cada número de la sucesión es un divisor del próximo y cuyo producto es , tal que G es el producto de los . Además dicha sucesión es única. [4]

            La demostración de esos resultados requiere otros resultados que no están cubiertos en este texto. Sin embargo, resulta interesante sus aplicaciones para la clasificación de grupos abelianos finitos.

            • Grupos abelianos de orden 8. Los divisores positivos de 8 (mayores que 1) son 2, 4, 8. Por lo que tenemos las siguientes sucesiones posibles:(2,2,2), (2,4) y (8). Luego hay tres tipos posibles de grupos abelianos de orden 8.


            • Grupos abelianos de orden 10. Los divisores positivos de 10 (mayores que 1) son 2, 5 y 10. Por lo que la única sucesión posible satisfaciendo las condiciones de divisibilidad es 10. Es decir que hay solamente un grupo abeliano de orden 10, el grupo cíclico de orden 10.
            • Grupos abelianos de orden 20. Los divisores positivos de 20 (mayores que 1) son 2, 4, 5, 10 y 20. Luego, las únicas sucesiones satisfaciendo las condiciones de divisibilidad son 20 y 2, 10. Es decir que los únicos grupos abelianos de orden 20 son el grupo cíclico de orden 20 y el producto

            Lecturas Adicionales

            [editar]

            Véase también

            Notas

            [editar]
            1. Por parámetros u operaciones de una estructura, nos referimos a todos los componentes de la misma diferentes del conjunto base.
            2. Véase el apéndice Teoría de Estructuras Algebraicas.
            3. Si no tiene mucha familiaridad con matrices, poner n=2.
            4. Ver, por ejemplo (BB) Dean pag. 152.


            8. Los Grupos Generados

            [editar]

            Introducción

            [editar]

            En este capítulo, generalizamos la noción de grupo cíclico, para considerar grupos generados por un subconjunto arbitrario. Aprovecharemos el capítulo para explorar más cuidadosamente los grupos diedrales y expandir nuestro conocimiento de los grupos simétricos. Veremos también como extender las operaciones entre elementos de un grupo a subconjuntos del grupo. Aprovecharemos lo anterior para ver un criterio para determinar si un grupo es producto de dos de sus subgrupos.

            Sea un grupo y sea ¿Qué quiere decir que genera a  ? Simplemente que cada elemento de es un producto de potencias enteras de elementos de Por ejemplo, Inclusive, podríamos considerar conjuntos infinitos y formar productos, como arriba, de subconjuntos finitos de La manera matemática de hacer lo anterior será expuesta a continuación.

            Subgrupos Generados por Subconjuntos

            [editar]

            Sean un grupo, un subconjunto no vacío de y un subgrupo de Cuando x, y son elementos de tenemos que tanto como y son elementos de Las relaciones anteriores se extienden a productos cualesquiera.

            Lema 1. Sean un grupo, un subconjunto no vacío de y un subgrupo de Sean elementos de tales que está en o su inverso está en . Entonces, está en

              Demostración: (Inducción sobre .) Si , el resultado es trivial.
              Supongamos el resultado válido para productos de elementos con la propiedad indicada y consideremos ahora un producto de elementos: . Por la hipótesis de inducción, el producto de los primeros elementos es un elemento de Como el producto total es igual a , se concluye que el producto está en El resultado sigue por inducción.


            Lema 2. Sean un grupo, un subconjunto no vacío de Sea el conjunto formado por todos los productos de la forma

            donde cada factor o su inverso están en Entonces, es un subgrupo de que es un subgrupo de cualquier subgrupo que contenga a

            (Convenio. Diremos que un producto con k=0 factores es el elemento neutro del grupo.)

              Demostración: Sean , elementos de Claramente, no es vacío ya que contiene todos los elementos de (productos de largo 1). Igualmente, es fácil ver que es un producto de la forma indicada para estar en . Finalmente, como
              tenemos que es un subgrupo de El resto sigue del lema anterior.


            Definición. (Subgrupo Generado) Sean un grupo y un subconjunto de Decimos que un subgrupo de está generado por cuando . En tal caso, decimos que es un conjunto de generadores de

            • En particular, un grupo es un grupo generado por un subconjunto cuando lo sea como subgrupo de si mismo.
            • Notemos que cuando contiene un solo elemento, es el grupo cíclico generado por ese único elemento.
            • Cuando la notación es aditiva, está formado por todas las sumas cuyos sumandos son elementos de u opuestos aditivos de elementos de
            • Decimos que el grupo está finitamente generado, cuando sea un conjunto finito.
            • De acuerdo al convenio indicado, el subgrupo generado por el conjunto vacío es el subgrupo trivial {e}.

            Ejemplos.

            • Los grupos cíclicos son grupos generados por un elemento.
            • El conjunto de generadores no es único.
              Por ejemplo, el grupo cíclico es generado por pero también por ya que

            La siguiente proposición establece una caracterización de en términos de subgrupos de

            Proposición 1. (Intersección de Subgrupos) Sean un grupo y un subconjunto de Sea la intersección de todos los subgrupos de que contienen a Entonces, .

              Demostración: Realmente lo único que hay que probar es que es un subgrupo de Notemos que no es vacío, ya que el elemento neutro es elemento de cualquier subgrupo y, en particular, de aquellos que contienen a Sean x, y elementos de Entonces, dichos elementos estarán en cualquier subgrupo que contenga a (Lema 1). Para cada uno de esos subgrupos , tendremos que está en por lo que estará en la intersección de esos subgrupos. Lo que prueba que es un subgrupo. Por el lema 2, es un subgrupo de Pero como, es la intersección de todos los subgrupos que contienen a está contenido en Luego, .


            El siguiente ejemplo muestra como usamos lo anterior para asegurar la existencia de un subgrupo, aunque no tengamos una idea precisa de cuales son sus elementos.

            Ejemplo.(Subgrupo de los Conmutadores).

            Sea un grupo. Llamamos conmutador de los elementos al elemento denotado por y definido por .
            Llamamos subgrupo de los conmutadores o grupo derivado de al subgrupo generado por todos los conmutadores de Lo simbolizamos por .


            El grupo Diedral

            [editar]

            Llamamos grupo diedral de orden al grupo denotado por y definido como

            Esto es, tiene dos generadores llamados y , sujetos a las restricciones indicadas.

            Observemos que genera un subgrupo cíclico de orden y un subgrupo cíclico de orden 2. Luego, es el inverso de mientras que es su propio inverso. Al ser generado por los elementos son productos de . Por la observación anterior, esto se reduce a productos de potencias naturales de y .

            donde los son positivos o cero. Observando que la tercera restricción, implica que vemos que cada vez que haya una delante de una , podremos aplicar la relación anterior y la pasa para detrás de Así, que consiste de los productos

            Luego, tiene elementos diferentes.

            Por ejemplo, supongamos que tenemos en ( ) los elementos , y Entonces, tenemos las siguientes simplificaciones.

            De acuerdo a lo anterior, tenemos que,

            Aplicando lo dicho arriba, tenemos la siguiente tabla para


            Generadores del Grupo Lineal

            [editar]

            En cursos básicos (también en curso de ÁLgebra Lineal) se estudia un procedimiento muy eficaz para la resolución de sistemas numéricos de ecuaciones lineales: el procidiemiento de Gauss-Joradan. Dicho procedimiento consiste de manipulaciones de las filas del sistema que permite (cuando hay solución única) diagonalizar el sistema.

            Dichos procedimientos son equivalengtes a multiplicaciones por la izquierda con matrices especiales, llamadas matrices elementales . El procedimiento implica que cualquier matriz invertible, multiplicada de una secuencia de matgrices elementales produce la identidad. Como los inversos de matrices elementales son también elmentales, lo anterior implica que cualquier matriz invertible es igual a un producto de matrices elementales. Es decir que el grupo lineal está generado por las matrices elementales.


            Los Generadores del Grupo Simétrico

            [editar]

            En el capítulo anterior, vimos que cada permutación era un producto de ciclos, lo que el lenguaje de esta capítulo dice que los grupos simétricos son generados por ciclos. Veremos, a continuación, otros posibles conjuntos de generadores. Introduciremos la noción de signo de una permutación que ilustrará la eficiencia de disponer de buenos conjuntos de generadores y que nos servirá para introducir un importante subgrupo de el grupo alternante.

            Descomposición en transposiciones

            [editar]

            Sabemos que cada permutación puede expresarse como producto de ciclos disjuntos. Veremos, a continuación, como expresar un ciclo como producto de transposiciones y, posteriormente, como producto de una familia especial de transposiciones.

            Proposición 2. Cada ciclo de largo es un producto de transposiciones.

              Demostración: Si el resultado es trivial. Supongamos el resultado cierto para todos los ciclos de largo inferior o igual a Sea y sea Entonces, For Also, and Luego, es un ciclo de largo Por inducción,

              Multiplicando en la derecha por obtenemos el resultado.


            Corolario 1.1. El grupo simétrico es generado por sus transposiciones.


            La cantidad de generadores de un grupo simétrico puede reducirse aún más si consideramos una familia especial de transposiciones.

            Definición. (Transposición Simple) Llamamos transposiciones simples de a las transposiciones


            Una noción que está asociada con las transposiciones es la noción de inversión.

            Definición. (Inversión) Sea en Una inversión de es un par tal que Simbolizaremos al conjunto formado por todas las inversiones de por y por a la cantidad de inversiones de


            Ejemplo.

            Sea

            Se tiene las siguientes inversiones: (1,2), (1,3), (1,4), (1,5), (1,6), (2,3), (2,4), (3,4), por lo que


            Ejemplo (Bubble Sort).

            En muchas situaciones, necesitamos ordenar (respecto a algún criterio) una lista desordenada de objetos. En computación, hay un algoritmo llamado ordenamiento por la burbuja (en inglés, bubble sort) que se basa en el resultado anunciado. El algoritmo es fácil de recordar:

            Suponer dada una lista

            1. Recorra la lista, cuando haya una inversión, intercambie los objetos correspondientes.
            2. Si no se hallan inversiones, la lista está ordenada.
            3. Volver al inicio de la lista y efectuar el paso 1.


            Ejemplo.

            Ordenar la lista 632145 en orden ascendente.

            A continuación, indicamos los pasos

            Si pensamos la lista original como una permutación de 123456, tenemos que multiplicando por las transposiciones realizadas, obtendremos la identidad.

            Luego, como las transposiciones son sus propios inversos, tenemos que

            Notemos que aparecieron las transposiciones simples.



            Lema A Sea en ssi, Si entonces hay un tal que

              Demostración: Cuando se tiene que no hay inversiones de donde se tiene el resultado. Supongamos que Si para todo se tiene que implica que Luego, implica que Si para Entonces implica que Por inducción, concluimos que Luego, hay tales que Sea el menor de tales enteros. Entonces, el par es una inversión. Lo que prueba que Si se tiene que  ; por lo que tenemos la segunda afirmación.


            Lema B. Sea una transposición simple y sea en Entonces,

              Demostración: Supongamos que Entonces, Por lo que el par es una inversión de Sea una inversión de y consideremos el par Se debe tener que ya que la única inversión de es que como no es una inversión de no se puede tener que Entonces es una inversión de que no es igual a Por lo tanto, la correspondencia que a cada par de le asocia el par de es una función que probaremos que es biyectiva. En efecto, dicha función tiene inversa dada por por el mismo argumento usado arriba. Luego, Suponer, ahora, que Entonces, Luego, por el resultado anterior. Despejando se obtiene lo anunciado.


            Usaremos los lemas anteriores para probar la siguiente proposición.

            Proposición 3. Sea en Entonces

            1. es un producto de transposiciones simples.
            2. es la menor cantidad de transposiciones simples necesarias para escribir como un producto de transposiciones simples.
              Demostración: Usaremos inducción sobre para probar a). Si se tiene que que se puede considerar como el producto de un conjunto vacío de transposiciones. Cuando no es la identidad, por el lema A, hay un entero tal que Por lo que Por inducción, puede escribirse como el producto de transposiciones simples. Luego, es el producto de transposiciones simples. Lo que prueba la parte a). Para probar la minimalidad de supongamos que es la cantidad menor necesaria de transposiciones. Sigue de lo anterior que Por inducción, sobre probaremos que Si el resultado sigue de la primera parte. Supongamos que Entonces, podremos hallar una transposición elemental tal que Por lo que por inducción y por el lema B, se tendrá que de donde el resultado.


            El Signo de una Permutación

            [editar]

            Sea Para cada en definamos

            Notemos, que difiere de a lo más por el signo. Definamos por

            Por lo tanto,

            Ejemplo ( ).

            Sea Entonces,

            Luego,


            Ejemplo ( ).

            Sea la transposición Probaremos, formalmente que Organizaremos los factores de como en el ejemplo anterior. Primero aquellos donde luego aquellos con etc.

            Sean

            Veamos, el efecto de en y

            Luego, Por lo que, \end{ejemplo}

            Claramente, cada inversión produce un cambio de signo, por lo que De forma más general, cuando es una función cualquiera, tenemos que

            Lema C.

            1. La función signo es un homomorfismo suprayectivo de grupos, cuando
            2. Si entonces Es decir que la función signo es constante en las clases de conjugación de
              Demostración:
              1. Es decir que Lo que prueba el resultado. Como vimos en el ejemplo, cuando lo que prueba la suprayectividad.
              2. Como se tiene el resultado.


            Proposición 4.

            1. Las transposiciones tienen signo
            2. Cuando es un --ciclo, su signo es

              Demostración: Todas las transposiciones son conjugadas de Los --ciclos son productos de transposiciones. <


            Nomenclatura. Diremos que una permutación es par cuando su signo sea igual a 1; en caso contrario diremos que es una permutación impar.


            El Grupo Alternante

            [editar]

            Definición. (Grupo Alternante) Llamamos grupo alternante de grado al núcleo del homomorfismo signo. Es decir al subgrupo de formado por todas las permutaciones pares. Notación:


            Observaciones.

            1. El grupo es un subgrupo de índice 2 en
            2. Como los 3--ciclos son permutaciones pares todos ellos están contenidos en

            La siguiente proposición es un recíproco parcial de la última observación.

            Proposición 5. Cada permutación de es un producto de 3-ciclos, cuando Es decir que los 3--ciclos generan al grupo

              Demostración: Como cada permutación es el producto de una cantidad pares de transposiciones, bastara probar que el producto de dos transposiciones es siempre un 3--ciclo o un producto de 3--ciclos.
              • Transposiciones disjuntas.
              • Transposiciones no disjuntas,


            Ejercicios

            [editar]
            1. Hallar la descomposición en ciclos disjuntos de cada uno de los elementos de Determinar además para cada uno de ellos.
            2. Expresar como producto de ciclos disjuntos a
              .

              Hallar

            3. Verificar las relaciones siguientes.

              Conjeturar un resultado que establezca una relación entre transposiciones y transposiciones simples, probando de esta manera que las transposiciones simples generan al grupo simétrico.

            4. Escribir cada una de las permutaciones siguientes como un producto de transposiciones simples. \smallskip\setcounter{ejt}{0} \begin{tabular}{lp{1.8in}ll} \nejt & &% \nejt & \\ \nejt & &% \nejt & \\ \end{tabular}
            5. Sea igual al producto de cinco transposiciones simples disjuntas. Hallar
            6. Sea y sea Hallar
            7. Probar que el orden de es divisible por 8, pero no hay elemento de orden 8 en ese grupo.
            8. Listar todos los ordenes posibles para los elementos de y hallar elementos de cada uno de ese orden.
            9. Probar que no tiene un elemento de orden 13, pero sí tiene un elemento de orden 60.
            10. Sea un número primo menor que Hallar la cantidad de subgrupos de orden de
            11. Probar las siguientes afirmaciones:
              1. La cantidad de --ciclos en es
              2. La cantidad de --ciclos en es

              Generalizar para --ciclos.

            12. Sea un grupo con generadores tales que
              • , cuando

              Entonces,

            Los Grupos de Simetrías

            [editar]

            En esta sección, veremos algunos grupos que se presentan de forma natural cuando consideramos simetrías de figuras planas. Primeramente, precisaremos la nomenclatura que usa alremos. Nuestro universo es el plano, al que siempre consideraremos como el plano cartesiano .

            Llamamos transformación del plano a cualquier función del plano en si mismo. Las transformaciones biyectivas son los elementos del grupo simétrico del plano. Estamos interesados en una familia de transformaciones especiales: Las congruencias, que son aquellas transformaciones biyectivas que preservan la distancia entre puntos. Es decir, que la distancia entre las imágenes de un par de puntos es igual a la distancia entre los puntos. Es fácil ver que todas las congruencias determinan un grupo de transformaciones del plano, llamado el grupo euclídeo} del plano y que denotaremos como .

            En efecto, si y son congruencias, se tiene que

            • y

            Lo que prueba que efectivamente es un grupo de transformaciones.

            En textos de Geometría se prueba que las traslaciones, rotaciones y reflexiones son congruencias. Además, se verifica que las reflexiones generan el grupo Euclídeo. De hecho que cada congruencia es el producto de a lo más tres reflexiones. Ver [1] o [2]

            Nomenclatura. Para las transformaciones de un conjunto cualquiera, tenemos la siguiente nomenclatura con respecto a su acción.

            Sea una transformación de un conjunto

            • Decimos que un punto de es fijo por o que fija a ssi,
            • Decimos que un subconjunto es fijo puntualmente por o que fija puntualmente a ssi, cada punto de es fijo por
            • Decimos que un subconjunto es fijo (globalmente) por o que fija puntualmente a ssi,

            Una rotación siempre deja a su centro fijo. Una reflexión (del plano) entorno al eje deja fijo puntualmente el eje y globalmente, pero no puntualmente, al eje

            Las Simetrías

            [editar]

            Llamamos figura (plana) a un subconjunto cualquiera del plano. Algunos \newline ejemplos de figuras son las líneas, los cuadrados, las circunferencias, los sectores circulares, etc.

            Decimos que una congruencia es una simetría de una figura </math> F</math> cuando la congruencia fija globalmente a la figura, o sea es tal que

            Las simetrías de una figura forman un grupo, subgrupo del grupo Euclídeo, ya que (como es fácil verificar) la identidad es una simetría (de cualquier figura), la composición de dos simetrías de y la inversa de una simetrías de son simetrías. Usaremos la notación para las simetrías de

            Las Simetrías del Cuadrado

            [editar]

            Supongamos que tenemos un cuadrado hecho de un material rígido, donde por material rígido queremos decir que lo podemos manipular sin que se deforme. Supongamos, además, que:

            • los vértices están identificados como B, y en ambas caras del cuadrado;
            • el cuadrado está sobre una superficie fija y hemos marcado los bordes del cuadrado sobre esa superficie y copiado las etiquetas de los vértices;
            • el cuadrado está sujeto a la superficie por un alfiler colocado en su centro, de manera que pueda rotar libremente alrededor del alfiler.

            Observemos que si rotamos por un cuarto de vuelta, el cuadrado quedará coincidiendo con su imagen en la superficie y que si no fuera por las etiquetas de los vértices, no nos daríamos cuenta del cambio. Esto es lo que quiere decir dejar fija globalmente a la figura. Llamemos a la rotación por un cuarto de vuelta.

            Si volvemos a rotar por nuevamente llevaremos al cuadrado a coincidir con su imagen en la superficie. Simbolizaremos por la doble rotación, por la triple rotación, etc. Notemos que si efectuamos (cuatro cuartos de vuelta), volveremos a la posición original, por lo que si no hubiéramos visto el cambio, diríamos que nada ha pasado, que todo se encuentra idénticamente igual a la posición original. Por esa razón escribiremos que donde significa que las etiquetas en el cuadrado y en la superficie coinciden. Es decir que se trata de la identidad que fija todos los puntos de la figura.

            En lenguaje de la teoría de grupos, tiene orden 4.

            Es fácil ver que todas las posibles rotaciones distintas, que llevan al cuadrado sobre su imagen, son y y que aplicando consecutivamente dos de esas rotaciones, obtenemos una rotación de ese conjunto. Es decir que tenemos una operación en el conjunto de las rotaciones que corresponde a la composición de transformaciones (como funciones).

            Como tenemos que las rotaciones determinan un grupo cíclico.

            ¿Habrá otros movimientos del cuadrado que lo lleven a cubrir su imagen en la superficie?
            La respuesta es afirmativa, pero tendremos que sacar el alfiler que lo sujetaba a la superficie.

            Sea la reflexión entorno a la diagonal Es decir que envía en en y los puntos y quedan fijos. Notemos que Análogamente, tenemos la reflexión entorno a que envía en y en Hay dos reflexiones adicionales ( ) que introduciremos más tarde. La figura muestra las simetrías que son reflexiones del cuadrado, identificadas por su eje. Introduciremos, a continuación, una notación que nos servirá para identificar las simetrías del cuadrado con permutaciones de los vértices.

            Observemos que las simetrías quedan totalmente identificadas cuando damos sus efectos en los vértices. Por ejemplo la rotación es tal que

            Por lo que podemos identificar a las simetrías del cuadrado con permutaciones del conjunto de vértices. Usando esta identificación, tenemos que

            De la misma manera, tenemos que las reflexiones introducidas tendrán como permutaciones a

            Notemos que escribiendo las simetrías anteriores como ciclos, tenemos que

            Usando la identificación resulta fácil computar los efectos de aplicar simetrías en forma consecutiva. Por ejemplo,

            Es decir que se intercambian con y con Geométricamente, esta es la reflexión entorno a la línea que pasa por los puntos medios de los segmentos y Tendremos otra reflexión, entorno a un línea que pasa por los puntos medios de y es decir que

            Computemos

            .

            Observemos que implica que

            Sea el grupo generado por y Como tenemos las relaciones y vemos que coincide con el grupo diedral poniendo y


            Interrogante ¿Habrá otras simetrías del cuadrado?

            Suponer que es una simetría del cuadrado diferente de la identidad.

            Cuando un vértice queda fijo por el vértice opuesto también queda fijo, porque en caso contrario su imagen sería adyacente al vértice fijo y no permanecerían invariantes las distancias entre los vértices. Es decir que es o Este razonamiento prueba también que no hay 3--ciclos que puedan ser simetrías del cuadrado.

            Cuando un conjunto de dos vértices queda globalmente fijo, pero no puntualmente fijo, hay una transposición de los dos vértices. Cuando los vértices son adyacentes, sus opuestos deben intercambiarse ( ). Si los vértices son opuestos, el otro par de vértices puede quedar fijo puntualmente o intercambiarse. Por lo que es una de las siguientes simetrías.

            es decir y

            Si una simetría diferente de la identidad deja fijo globalmente tres vértices, el cuarto vértice quedaría fijo; lo que vimos anteriormente que es imposible.

            Finalmente consideremos el caso donde la simetría no tiene subconjuntos con dos elementos fijo globalmente. Por lo que se representa por un 4--ciclo.

            Entonces, Si entonces ya que en caso contrario no se preservaría distancias. Luego, la imagen de es un vértice adyacente. El mismo razonamiento aplica a los otros vértices, por lo que concluimos que

            o

            Como conclusión final tenemos la siguiente proposición.

            Proposición 6. El grupo diedral contiene a todas las simetrías del cuadrado.

            Representación Matricial de D8

            [editar]

            Supongamos que estamos trabajando en el plano cartesiano Supongamos, además, que nuestro cuadrado tiene como vértices a y

            Sean y

            1. Las matrices y definen transformaciones (biyectivas) del plano, ya que sus determinantes no son nulos.
            2. Sea Entonces,
            3. Sea Entonces,

              Es decir que es una congruencia del plano.

            4. Se tiene que De manera análoga a lo hecho con se verifica que define una congruencia del plano.
            5. Por la parte b) se tiene que

              Por lo tanto, es una simetría del cuadrado.

            6. Es fácil ver que y
            7. Observando los resultados anteriores tenemos que

              por lo que tiene orden 4.

              Por su parte tiene orden 2. Finalmente, tenemos que:

            Es decir que generan un subgrupo de matrices isomorfo a

            Ejercicios

            [editar]
            1. Construir el grupo de simetrías de un triángulo equilátero y verificar que es isomorfo a
            2. Sea un grupo de transformaciones de un conjunto ( o sea , un subgrupo del grupo simétrico de
              1. Las transformaciones que fijan un punto determinan un subgrupo de
              2. Sea las trasformaciones que fijan globalmente un subconjunto de Probar que es un subgrupo de que contiene como subgrupo a las transformaciones que fijan puntualmente.
              3. Sea un punto fijo de Entonces, es un punto fijo de

            3. Sean y Sea el polígono regular con vértices \ldots ubicados en la circunferencia unitaria del plano cartesiano de modo que Probar las siguientes afirmaciones.
              1. y son congruencias del plano.
              2. es una rotación por un ángulo que mide radianes.
              3. es una reflexión entorno al eje
              4. El orden de es y el orden de es 2.
              5. El grupo de matrices generados por y es isomorfo al grupo diedral
            4. (*) Construir el grupo de simetrías del tetraedro regular.
            5. (*) Construir el grupo de simetrías de un cubo.

            Operaciones con Subconjuntos

            [editar]

            Introduciremos una notación que nos ayudará en el enunciado de teoremas y que, también, será útil en consideraciones posteriores.

            Definición. (Operaciones con Subconjuntos) Sea un grupo y sean A, subconjuntos de

            1. Llamamos (conjunto) producto de con al conjunto denotado por y que está formado por todos los productos tales que está en y está en B. Cuando o consistan solamente de un elemento, escribiremos solamente el elemento; por ejemplo, si escribiremos en lugar de Cuando la notación es aditiva, simbolizamos por al conjunto formado por todas las sumas de un elemento de con un elemento de B.
            2. denotará al conjunto formado por los inversos de los elementos de
              Notación Aditiva: (los opuestos aditivos de todos los elementos de
            3. En forma general, denotará el conjunto de las potencias enésimas de elementos de Notación aditiva: (todos los múltiplos de elementos de A.).

            Observaciones. Sea un grupo.

            • Decir que es una parte cerrada de es equivalente a decir que es un subconjunto de
            • Análogamente, decir que es cerrado respecto a inversos, es equivalente a decir que es un subconjunto de
            • Decir que es un subgrupo de es equivalente a decir que no es vacío y que es un subconjunto de
            • Decir que es equivalente a decir que para cada de hay un en tal que

            Ejemplo.

            Sean y ¿Qué es  ? Notemos la notación aditiva usada ya que la operación del grupo es suma.

              Resolución. Como está formado por todos los múltiplos de 2 y por todos los múltiplos de 3, estará formado por todos los enteros que son iguales a la suma de un múltiplo de 2 con un múltiplo de 3. Como Se tiene que

            Advertencia.

            Cuando y son subgrupos de el conjunto no es necesariamente un subgrupo de ya que si son elementos de no necesariamente se tiene que sea igual a un de


            Ejemplo.

            Sea Sean y Entonces, Notemos que, en este ejemplo, y son subgrupos de pero que no lo es (¿por qué no es subgrupo?).

            Sea entonces


            Ejercicios

            [editar]
            1. Sea Hallar los elementos de los conjuntos indicados, cuando
            2. Sea y sean Hallar los conjuntos indicados.
            3. Sean subconjuntos de un grupo cualquiera. Entonces,

    Subgrupo Generado por dos Subgrupos

    [editar]

    En general, cuando y son subgrupos, el producto no es un subgrupo, por lo que el subgrupo que contenga a dos subgrupos debe definirse otra manera.

    Definición. ( ) Sean y subgrupos de un grupo Por denotaremos al subgrupo generado por la (re)unión de y


    Sea Claramente, y están contenidos en por lo que y son subgrupos de Sea cualquier subgrupo de que contenga a y a Entonces, contendrá cualquier producto de elementos de y por lo que contendrá a probando que es el menor subgrupo que contiene a y

    Proposición 6. ( ) Sean subgrupos de Entonces, es el menor subgrupo (respecto a la inclusión) que contiene a ambos subgrupos.}}

    Ejemplo.

    Sea Sean y Entonces,


    Diagrama de Subconjuntos El conjunto de subgrupos es un conjunto parcialmente ordenado por la inclusión. Dados subgrupos se tiene que


    Es decir, que dos elementos tienen siempre un mayor elemento menor o igual que ellos y un menor elemento mayor o igual que ellos. Conjuntos parcialmente ordenados con esa propiedad se llaman Retículos.


    Producto Directo de Subgrupos

    [editar]

    Diremos que un grupo es el producto interno de dos subgrupos y cuando sea isomorfo al product

    Proposición 7. (Producto Interno) Sea un grupo y sean subgrupos de es el producto interno de y ssi, se cumple que:

    1. Si está en y está en
    2. está generado por y
      Demostración: ( ) Supongamos que hay un isomorfismo tal que Observemos que en es un subgrupo de cuya imagen por es Por lo que Análogamente, Observemos que si entonces está en y por lo debe ser igual a de donde Observando que tenemos la parte 2. La tercera parte sigue de que está generado por ( ) Sea tal que La conmutatividad de los elementos de con los elementos de implica que

      Es decir que es un homomorfismo de grupos.

      Si tenemos que es decir que h está en por lo que lo que implica que es inyectiva. Como generan a tenemos que los elementos de son productos de la forma

      Por la conmutatividad de los elementos de con los elementos de tenemos que el producto anterior se puede reescribir con todos los adelante de los es decir de la forma hk con h en y k en K. Lo que muestra que es suprayectiva, probando que es un isomorfismo.


    Ejercicios del Capítulo

    [editar]
    1. Hallar el centro y las clases de conjugación del grupo
    2. Sea el grupo cuya tabla se indica a continuación.

      1. Probar que
      2. Probar que es el grupo de las simetrías del hexágono regular. (Sugerencia: Suponga que los vértices del hexágono son en forma ordenada cíclica y Llamar a la rotación entorno al centro por grados. Llamar a la reflexión entorno a la línea que pasa por Probar que y que Representar y como permutaciones para efectuar las computaciones.)
      3. Hallar cada uno de los subgrupos indicados:
      4. Dibujar el diagrama de subgrupos de
      5. Hallar el centro y las clases de conjugación del grupo.
    3. Probar que Interpretar geométricamente el resultado.
    4. Sea Sean y Determinar los siguientes conjuntos
    5. Consideremos el grupo
      1. Probar que cada número entero puede escribirse como un múltiplo de 5 más un múltiplo de 3. Usar lo anterior, para concluir que
      2. Probar que
      3. ¿Cuándo, para un par de números enteros y se cumple que  ?
    6. Sean y subgrupos de tales que Probar que cada elemento de tiene una única representación como con en y en (Sug. Suponer que ).
    7. Construir la tabla del grupo aditivo Sean math>H= [2],</math> Probar que de las dos maneras siguientes.
      1. Usando el teorema de la sección de productos.
      2. Mostrando que y
    8. Sea Hallar los subgrupos generados por los conjuntos indicados.
    9. Clasificar los enunciados siguientes en válidos o falsos.
      1. Todo grupo puede presentarse como un conjunto de generadores.
      2. Un grupo finitamente generado es finito.
      3. Cuando los generadores de un grupo permutan entre si, entonces el grupo es abeliano.
      4. Un grupo que es producto de otros dos es infinito.


    10. Los generadores de . Verificar que las matrices elementales generan al grupo lineal.
      Las matrices elementales son:

      donde es cualquier número real.

      Hallar los inversos de cada una de las matrices elementales y observar que son también elementales.

      Sea invertible. Por lo tanto, el determinante de , no es nu

      1. Suponer que . Entonces .
        Probar que es una matriz diagonal.
      2. Suponer y .Probar que es una matriz que tiene un cero en la posición (2,1).
      3. Suponer que (por lo que .) Probar que intercambia la primera fila con la segunda.

      Los procedimientos anteriores muestran como podemos por multiplicación por matrices elementales obtener una matriz diagonal a partir de una matriz invertible cualquiera.

      1. Si en la posición (1,1) hay un elemento no nulo, usamos la matriz de intecambio (c) para obtener un elemento no nulo en la posición (1,1) del producto.
      2. Si en la posición (1,1) hay un elemento no nulo, aplicando el paso (b) obtenemos un elemento nulo en la posicion (2,3) del producto.
      3. Finalmente, si el elemento en la posición (1,2) no es nulo, aplicamo el paso (a) para obtener un producto con cero en la posición (1,2).

      Nuestro producto es ahora una matriz diagonal. Observando que

      completamos los productos necesario obtener la identidad.


    Comentarios

    [editar]

    La determinación de los conjuntos generadores de un grupo tienen importancia teórica y práctica. Una rama especializada la teoría combinatoria de grupos, que estudia a los gruposgrupos desde el punto de vista de sus generadores y restricciones.

    Un objeto muy interesante es el grupo libre sobre un conjunto que consiste de todos las palabras posibles con alfabeto . Se prueba que tofo grupo finito se obiene por restricciones de un rupo linreinitente generado.

    Lectura adicïonal Wiipedia:Concepto generador de un grupo.

    Notas

    [editar]


    9. Los Grupos Cocientes

    [editar]
  • [[Matemáticas/Álgebra Abstracta/Grupos/Grupos Cocientes|Los Grupos Cocientes}}

    10. Teoremas de Homomorfismos

    [editar]

    Introducción

    [editar]

    Clasificar familias de grupos significa hallar todos los posibles tipos (no isomorfos) de los grupos de la familia. En este capítulo, veremos la clasificación por orden de grupos finitos.

    Sea un grupo con . Sabemos que:

    • cuando n es un número primo, es cíclico
    • hay un único grupo de orden n, cuando n=1,2,3 y que
    • para cada n, hay al menos un grupo de orden n, el grupo cíclico de ese orden

    Clasificación de los Grupos de Orden 4

    [editar]

    Sea un grupo de orden 4, que no sea cíclico. Como no es cíclico, todos los elementos diferentes del neutro deben tener orden 2. Por lo que tiene tres subgrupos de orden 2, , donde

    Sea .
    • Si z=e, se tiene que ab = e, lo que implica que aab=a, o sea que b= a. Imposible.
    • Si z=a o z=b se concluye, respectivamente que b=e o que a =e. Imposible.
    La única posibilidad es

    que . Por simetría entre a y b, concluimos que, también, ba=c. Por lo tanto, si existe un grupo no cíclico de orden 4, debería ser


    Claramente, este grupo existe, es nuestro viejo conocido:el grupo de Klein.

    Grupos de Orden 4

    Un grupo de orden 4 es isomorfo a:
    1. el grupo cíclico de orden 4, o
    2. el grupo de Klein.

    La Cardinalidad del Producto de dos Subgrupos

    [editar]

    Antes de continuar nuestros estudios de clasificación, probaremos un resultado acerca de la cardinalidad del conjunto producto de dos subgrupos, que nos ayudará en clasificaciones futuras.

    Recordemos que el conjunto producto de dos subgrupos no necesariamente determina un subgrupo. Sean y subgrupos de , ¿cuántos elementos tiene  ? Suponiendo y . tendremos que todos los productos que podemos tomar con primer factor en y segundo en serán . Sin embargo, algunos de esos productos podrían ser iguales entre si. Es decir que podemos afirmar que:

    ¿Cuándo dos de esos

    productos son iguales? Si se tiene que . Llamando a este elemento, tendremos por su representación de la izquierda que está en . mientras que su representación de la derecha nos dice que está en . Por lo que está en . Esto nos indica que debemos velar por los productos de elementos que provienen de la intersección de los dos subgrupos.

    En efecto, supongamos que es un elemento cualquiera de

    y sea un elemento de . Entonces,
    Lo que prueba que para cada en

    . podemos escribir de una manera distinta como producto de un elemento de por . Es decir que en los productos . cada elemento aparecerá repetido al menos veces. El argumento del párrafo anterior muestra que las repeticiones ocurren exactamente cuando el elemento proviene de dicha intersección; por lo que la cantidad de repeticiones es exactamente . Por lo que tenemos la siguiente proposición.

    Proposición 1 (Cardinalidad de un Conjunto Producto de Subgrupos) Sean y subgrupos de . Entonces,

    Clasificación de los grupos de orden 6

    [editar]

    Aplicaremos los resultados anteriores a la clasificación de los grupos de orden 6. Clasificar significa, hallar todos los posibles tipos (no isomorfos) de una familia de grupos, en este caso de los grupos cuyo orden es 6.

    Sea un grupo de orden 6. Como, para cada posible orden tenemos un grupo cíclico de orden 6, nos podemos preguntar ¿aparte del cíclico cuántos (tipos de) grupos diferentes de orden 6 hay? Nosotros conocemos al menos uno adicional, .

    Supongamos que no fuera cíclico. Por el teorema de Lagrange, sabemos que los únicos ordenes posibles para los subgrupos y, por lo tanto, para los elementos son 1, 2, 3 y 6.

    El neutro es el único elemento de orden .

    Si hubiera un elemento con orden 6, el grupo sería cíclico. Lo que nos deja como posibles ordenes para subgrupos 2 y 3, por lo que esos subgrupos necesariamente tienen que ser cíclicos.

    Supongamos que todos los elementos diferentes del neutro tuvieran orden 2. En tal caso, como . sigue que para todo . Además, implicará que , o sea que el grupo sería abeliano. Sean y dos de esos elementos de orden . Entonces, sería un subgrupo de . Por la conmutatividad, consistiría exactamente de los productos de la forma . o sea, . Pero esto es imposible, ya que no puede haber un subgrupo de orden 4 en un grupo de orden 6. Conclusión: no todos los elementos pueden tener orden 2; lo cual implica que debe haber al menos un elemento de orden 3, digamos .

    Como tiene orden 3, el subgrupo también tiene orden 3, lo que implica y son elementos con orden 3. ¿Habrá algún otro subgrupo de orden ? Supongamos que sí y que se tratara de . Como este subgrupo sería distinto de , tendríamos que . Por lo tanto, calculando la cantidad de elementos del producto , tendríamos que

    lo cual es imposible. Por lo

    tanto, hay solamente un subgrupo de orden y todos los elementos restantes, diferentes del neutro, deberán tener orden 2.

    Sea uno de ellos, entonces la clase lateral derecha tendrá tres elementos y, por ser disjunta con , coincide con el complemento de . por lo que contendrá a todos los elementos de orden 2. Se tiene así que

    Para completar la

    estructura de . bastará con conocer el producto de .

    • Si entonces, es el inverso de y tendría su mismo orden, lo que no puede ser.
    • Si entonces . imposible.
    • Si entonces, . imposible.
    • Si . entonces . imposible.
    • Si . el grupo sería abeliano y el elemento tendría orden 6, por lo que el grupo sería cíclico; imposible.
    • Por lo tanto la única posibilidad es que

    Los razonamientos anteriores muestran que la única posibilidad de grupo de orden 6, aparte del cíclico, será entonces . Resumiendo tenemos lo siguiente:

    Grupos de orden 6
    Un grupo con seis elementos es isomorfo a uno de los dos grupos siguientes:
    1. el grupo cíclico de orden 6, o
    2. el grupo . caracterizado como .

    Clasificación de los Grupos Abelianos de orden 8

    [editar]

    Sea un grupo abeliano tal que . Si hay un elemento en cuyo orden sea igual a , se tiene que es un grupo cíclico de orden 8.

    Supongamos que no es cíclico. Entonces, todos los elementos no nulos deben tener ordenes 2 o 4.

    Suponer que de tiene orden y sea el subgrupo generado por . Supongamos que haya otro elemento de orden 4, digamos tal que no está en . Sea . Si , por el teorema de la cardinalidad de productos, tenemos que


    Lo que es imposible, luego . Entonces, o 4. No puede ser 4, porque entonces . Por lo que .

    De donde sigue que o sea que . ¿Qué elementos hay comunes en la intersección? Observemos que , por lo que . Observemos que entonces, es un elemento que no está en , porque implica que estaría en . Se tiene que , por lo que hay un elemento de con orden 2. Sea . Entonces , y o sea que . Sigue entonces, de la proposición acerca del producto de subgrupos normales, que .

    Si fuera de todos los elementos tuvieran orden 2. Escogiendo, uno cualesquiera de ellos, podríamos repetir el argumento anterior. Supongamos que todos los elementos no nulos tuvieran orden 2. Seleccionando tres de ellos, digamos, , y , tendríamos que


    Grupos abelianos de orden 8
    Un grupo abeliano de orden 8 es
    1. un grupo cíclico de orden 8, o
    2. el producto de un grupo cíclico de orden 4 con uno de orden 2, o
    3. el producto de tres grupos cíclicos de orden 2 cada uno.

    Clasificación de los Grupos de orden 9

    [editar]

    Sea un grupo cuyo orden es . Si tiene un elemento de orden 9, es el grupo cíclico de orden 9, . En caso contrario, todos los elementos diferentes del neutro deben tener orden 3. Sean y dos subgrupos diferentes generados por elementos de orden 3. Se tiene que , por lo que . Es decir que . Primeramente, probaremos que es normal en . Es decir que, para todo en se cumple que es un elemento de . El típico elemento de es

    (*


    Observando que vemos que basta verificar que está en .

    Se tiene que

    (**


    para tales que . Queremos probar, que necesariamente . Recordemos, que como los elementos diferentes del neutro son de orden 3, tenemos que . Además, y , ya que, en caso contrario, tendríamos que

    • Si , entonces (**) implica que lo que implica que , lo que no puede ser. Luego, .
    • . Esto dice que . Esto dice que o que , y ambas posibilidades son contradictorias a las elecciones de y .
    • implica que , o sea que .
    • , lo que sabemos que es contradictorio.
    • . Una contradicción.

    Como todos los casos con conducen a contradicción, debemos concluir que . Lo que prueba que es normal en .

    Por la simetría de la situación, tenemos que es, también, normal en . Por la proposición \ref{propInternoNormales}, tenemos que .

    Es decir que cualquier grupo con 9 elementos es el grupo cíclico de 9 elementos, , o el producto de dos grupos cíclicos de orden 3 cada uno. Resumiendo,

    Además, lo anterior implica que no hay grupos no

    conmutativos de orden 9.

    Caracterización de los Grupos Cíclicos Finitos

    [editar]

    Sabemos que cada elemento de un grupo finito tiene un orden que es un divisor del orden del grupo. Introduciremos la noción de exponente de un grupo que nos ayudará en la caracterización de los grupos cíclicos finitos.

    Definición. (Exponente de un Grupo) Sea un grupo finito. Llamamos exponente del grupo al menor entero positivo tal que para todo elemento dell grupo. Lo denotaremos por .


    Por ejemplo, , . Como , tenemos que es un múltiplo de .

    Un grupo cíclico es un grupo tal que . El objetivo de esta sección es mostrar que esa relación caracteriza a los grupos cíclicos.

    Necesitaremos el siguiente lema que provee una caracterización para el exponente.

    Lema. Sea un grupo finito abeliano y sea un elemento cuyo orden es maximal entre los ordenes de los elementos de . Entonces, .

      Demostración: Debemos probar que para todo en . Supongamos que tenemos descomposiciones en factores primos de y dadas por


      donde los 's son primos diferentes entre si y los exponentes 's, 's son mayores o iguales que cero.

      Si , se tendría que habría un , sin perdida de generalidad, podemos suponer que . Sean , , y . Entonces, tenemos que y . Se tiene entonces que el máximo común divisor de y es 1, por lo que . Pero esto contradice la maximalidad de .


    Proposición 2. (Caracterización de Grupos Cíclicos) Sea un grupo finito abeliano. Entonces, es cíclico, ssi, .

      Demostración: Si , entonces . Recíprocamente, supongamos que ; entonces hay un elemento tal que , por lo que es cíclico.


    Ejercicios del Capítulo

    [editar]
    1. Probar que el producto de dos grupos abelianos es un grupo abeliano.
    2. Sea un grupo abeliano tal que donde y son números primos diferentes. Probar que hay elementos , tales que , y que .
    3. Clasificar los grupos de orden 10, 14 y 15.


    11. Clasificación de Grupos

    [editar]

    Introducción

    [editar]

    Clasificar familias de grupos significa, hallar todos los posibles tipos (no isomorfos) de los grupos de la familia. En este capítulo, veremos la clasificación por orden de grupos finitos.

    Sea un grupo con . Sabemos que:

    • cuando n es un número primo, es cíclico
    • hay un único grupo de orden n, cuando n=1,2,3 y que
    • para cada n, hay al menos un grupo de orden n, el grupo cíclico de ese orden

    Clasificación de los Grupos de Orden 4

    [editar]

    Sea un grupo de orden 4, que no sea cíclico. Como no es cíclico, todos los elementos diferentes del neutro deben tener orden 2. Por lo que tiene tres subgrupos de orden 2, , donde

    Sea .
    • Si z=e, se tiene que ab = e, lo que implica que aab=a, o sea que b= a. Imposible.
    • Si z=a o z=b se concluye, respectivamente que b=e o que a =e. Imposible.
    La única posibilidad es

    que . Por simetría entre a y b, concluimos que, también, ba=c. Por lo tanto, si existe un grupo no cíclico de orden 4, debería ser


    Claramente, este grupo existe, es nuestro viejo conocido: el grupo de Klein.

    Grupos de Orden 4

    Un grupo de orden 4 es isomorfo a:
    1. el grupo cíclico de orden 4, o
    2. el grupo de Klein.

    La Cardinalidad del Producto de dos Subgrupos

    [editar]

    Antes de continuar nuestros estudios de clasificación, probaremos un resultado acerca de la cardinalidad del conjunto producto de dos subgrupos, que nos ayudará en clasificaciones futuras.

    Recordemos que el conjunto producto de dos subgrupos no necesariamente determina un subgrupo. Sean y subgrupos de , ¿cuántos elementos tiene  ? Suponiendo y . tendremos que todos los productos que podemos tomar con primer factor en y segundo en serán . Sin embargo, algunos de esos productos podrían ser iguales entre si. Es decir que podemos afirmar que:

    ¿Cuándo dos de esos productos son iguales? Si se tiene que . Llamando a este elemento, tendremos por su representación de la izquierda que está en . mientras que su representación de la derecha nos dice que está en . Por lo que está en . Esto nos indica que debemos velar por los productos de elementos que provienen de la intersección de los dos subgrupos. En efecto, supongamos que es un elemento cualquiera de y sea un elemento de . Entonces,
    Lo que prueba que para cada en . podemos escribir de una manera distinta como producto de un elemento de por . Es decir que en los productos . cada elemento aparecerá repetido al menos veces. El argumento del párrafo anterior muestra que las repeticiones ocurren exactamente cuando el elemento proviene de dicha intersección; por lo que la cantidad de repeticiones es exactamente . Por lo que tenemos la siguiente proposición.

    Proposición 1 (Cardinalidad de un Conjunto Producto de Subgrupos)

    Sean y subgrupos de .

    Entonces,

    Clasificación de los grupos de orden 6

    [editar]

    Aplicaremos los resultados anteriores a la clasificación de los grupos de orden 6. Clasificar significa, hallar todos los posibles tipos (no isomorfos) de una familia de grupos, en este caso de los grupos cuyo orden es 6.

    Sea un grupo de orden 6. Como, para cada posible orden tenemos un grupo cíclico de orden 6, nos podemos preguntar ¿aparte del cíclico cuántos (tipos de) grupos diferentes de orden 6 hay? Nosotros conocemos al menos uno adicional, .

    Supongamos que no fuera cíclico. Por el teorema de Lagrange, sabemos que los únicos ordenes posibles para los subgrupos y, por lo tanto, para los elementos son 1, 2, 3 y 6.

    El neutro es el único elemento de orden .

    Si hubiera un elemento con orden 6, el grupo sería cíclico. Lo que nos deja como posibles ordenes para subgrupos 2 y 3, por lo que esos subgrupos necesariamente tienen que ser cíclicos.

    Supongamos que todos los elementos diferentes del neutro tuvieran orden 2. En tal caso, como . sigue que para todo . Además, implicará que , o sea que el grupo sería abeliano. Sean y dos de esos elementos de orden . Entonces, sería un subgrupo de . Por la conmutatividad, consistiría exactamente de los productos de la forma . o sea, . Pero esto es imposible, ya que no puede haber un subgrupo de orden 4 en un grupo de orden 6. Conclusión: no todos los elementos pueden tener orden 2; lo cual implica que debe haber al menos un elemento de orden 3, digamos .

    Como tiene orden 3, el subgrupo también tiene orden 3, lo que implica y son elementos con orden 3. ¿Habrá algún otro subgrupo de orden ? Supongamos que sí y que se tratara de . Como este subgrupo sería distinto de , tendríamos que . Por lo tanto, calculando la cantidad de elementos del producto , tendríamos que

    lo cual es imposible. Por lo

    tanto, hay solamente un subgrupo de orden y todos los elementos restantes, diferentes del neutro, deberán tener orden 2.

    Sea uno de ellos, entonces la clase lateral derecha tendrá tres elementos y, por ser disjunta con , coincide con el complemento de . por lo que contendrá a todos los elementos de orden 2. Se tiene así que

    Para completar la

    estructura de . bastará con conocer el producto de .

    • Si entonces, es el inverso de y tendría su mismo orden, lo que no puede ser.
    • Si entonces . imposible.
    • Si entonces, . imposible.
    • Si . entonces . imposible.
    • Si . el grupo sería abeliano y el elemento tendría orden 6, por lo que el grupo sería cíclico; imposible.
    • Por lo tanto la única posibilidad es que

    Los razonamientos anteriores muestran que la única posibilidad de grupo de orden 6, aparte del cíclico, será entonces . Resumiendo tenemos lo siguiente:

    Grupos de orden 6
    Un grupo con seis elementos es isomorfo a uno de los dos grupos siguientes:
    1. el grupo cíclico de orden 6, o
    2. el grupo . caracterizado como .

    Clasificación de los Grupos Abelianos de orden 8

    [editar]

    Sea un grupo abeliano tal que . Si hay un elemento en cuyo orden sea igual a , se tiene que es un grupo cíclico de orden 8.

    Supongamos que no es cíclico. Entonces, todos los elementos no nulos deben tener ordenes 2 o 4.

    Suponer que de tiene orden y sea el subgrupo generado por . Supongamos que haya otro elemento de orden 4, digamos tal que no está en . Sea . Si , por el teorema de la cardinalidad de productos, tenemos que


    Lo que es imposible, luego . Entonces, o 4. No puede ser 4, porque entonces . Por lo que .

    De donde sigue que o sea que . ¿Qué elementos hay comunes en la intersección? Observemos que , por lo que . Observemos que entonces, es un elemento que no está en , porque implica que estaría en . Se tiene que , por lo que hay un elemento de con orden 2. Sea . Entonces , y o sea que . Sigue entonces, de la proposición acerca del producto de subgrupos normales, que .

    Si fuera de todos los elementos tuvieran orden 2. Escogiendo, uno cualesquiera de ellos, podríamos repetir el argumento anterior. Supongamos que todos los elementos no nulos tuvieran orden 2. Seleccionando tres de ellos, digamos, , y , tendríamos que


    Grupos abelianos de orden 8
    Un grupo abeliano de orden 8 es
    1. un grupo cíclico de orden 8, o
    2. el producto de un grupo cíclico de orden 4 con uno de orden 2, o
    3. el producto de tres grupos cíclicos de orden 2 cada uno.

    Clasificación de los Grupos de orden 9

    [editar]

    Sea un grupo cuyo orden es . Si tiene un elemento de orden 9, es el grupo cíclico de orden 9, . En caso contrario, todos los elementos diferentes del neutro deben tener orden 3. Sean y dos subgrupos diferentes generados por elementos de orden 3. Se tiene que , por lo que . Es decir que . Primeramente, probaremos que es normal en . Es decir que, para todo en se cumple que es un elemento de . El típico elemento de es

    (*


    Observando que vemos que basta verificar que está en .

    Se tiene que

    (**


    para tales que . Queremos probar, que necesariamente . Recordemos, que como los elementos diferentes del neutro son de orden 3, tenemos que . Además, y , ya que, en caso contrario, tendríamos que

    • Si , entonces (**) implica que lo que implica que , lo que no puede ser. Luego, .
    • . Esto dice que . Esto dice que o que , y ambas posibilidades son contradictorias a las elecciones de y .
    • implica que , o sea que .
    • , lo que sabemos que es contradictorio.
    • . Una contradicción.

    Como todos los casos con conducen a contradicción, debemos concluir que . Lo que prueba que es normal en .

    Por la simetría de la situación, tenemos que es, también, normal en . Por la proposición \ref{propInternoNormales}, tenemos que .

    Es decir que cualquier grupo con 9 elementos es el grupo cíclico de 9 elementos, , o el producto de dos grupos cíclicos de orden 3 cada uno. Resumiendo,

    Además, lo anterior implica que no hay grupos no

    conmutativos de orden 9.

    Caracterización de los Grupos Cíclicos Finitos

    [editar]

    Sabemos que cada elemento de un grupo finito tiene un orden que es un divisor del orden del grupo. Introduciremos la noción de exponente de un grupo que nos ayudará en la caracterización de los grupos cíclicos finitos.

    Definición. (Exponente de un Grupo) Sea un grupo finito. Llamamos exponente del grupo al menor entero positivo tal que para todo elemento dell grupo. Lo denotaremos por .


    Por ejemplo, , . Como , tenemos que es un múltiplo de .

    Un grupo cíclico es un grupo tal que . El objetivo de esta sección es mostrar que esa relación caracteriza a los grupos cíclicos entre los grupos finitos abelianos.

    Necesitaremos el siguiente lema que provee una caracterización para el exponente.

    Lema. Sea un grupo finito abeliano y sea un elemento cuyo orden es maximal entre los ordenes de los elementos de . Entonces, .

      Demostración: Debemos probar que para todo en . Supongamos que tenemos descomposiciones en factores primos de y dadas por


      donde los 's son primos diferentes entre si y los exponentes 's, 's son mayores o iguales que cero.

      Si , se tendría que habría un , sin perdida de generalidad, podemos suponer que . Sean , , y . Entonces, tenemos que y . Se tiene entonces que el máximo común divisor de y es 1, por lo que . Pero esto contradice la maximalidad de .


    Proposición 2. (Caracterización de Grupos Cíclicos) Sea un grupo finito abeliano. Entonces, es cíclico, ssi, .

      Demostración: Si , entonces . Recíprocamente, supongamos que ; entonces hay un elemento tal que , por lo que es cíclico.


    Ejercicios del Capítulo

    [editar]
    1. Probar que el producto de dos grupos abelianos es un grupo abeliano.
    2. Sea un grupo abeliano tal que donde y son números primos diferentes. Probar que hay elementos , tales que , y que .
    3. Clasificar los grupos de orden 10, 14 y 15.


    12. Teoremas de Cardinalidad

    [editar]

    Introducción

    [editar]

    Los teoremas de cardinalidad son aquellos teoremas que establecen relaciones referentes a cantidad de elementos o subgrupos con una cierta propiedad. Con anterioridad, hemos visto dos instancias de este clase de resultados: el teorema de Lagrange y el teorema acerca de la cardinalidad del conjunto producto de dos subgrupos. Los resultados principales que veremos en este capítulo serán la ecuación de clases--una relación acerca de la clases de conjugación, el teorema de Cauchy estableciendo la existencia de elementos de cierto orden y el (primer) teorema de Sylow estableciendo la existencia de subgrupos de cierto orden.

    La Ecuación de Clases

    [editar]

    Vimos, anteriormente, que la relación de conjugación es una relación de equivalencia en un grupo, por lo que particiona al grupo en clases disjuntas de equivalencias, llamadas clases de conjugación del grupo. La clase de conjugación de un elemento , denotada , está formada por todos los elementos conjugados a , es decir que

    donde . Sea un conjunto de representantes de las clases de conjugación, es decir que consiste de un elemento de cada una de las clases de conjugación. Dos elementos diferentes de corresponden a dos clases diferentes. Como la reunión de las clases de conjugación es todo y como las clases son disjuntas, tenemos que la cantidad de elementos de es igual a la suma de los elementos en cada clase, o sea que

    (*


    Nos referiremos a esa relación como la ecuación de las clases de conjugación. del grupo .

    Hay una variación de la ecuación de clases de conjugación que resultará muy útil para futuros resultados, basada en que la cardinalidad de cada clase de equivalencia es igual al índice de un cierto subgrupo. Empezaremos nuestro trabajo introduciendo la noción de centralizador de un elemento.

    Definición. (Centralizador) Sea un grupo y un elemento de . Llamamos centralizador en de al subconjunto de denotado por , o ---cuando queremos mencionar el grupo---y que está definido como


    Observemos que esta en , ssi, , ssi, , ssi, . Es decir que los elementos del centralizador de son aquellos tales que el conjugado por de es igual a . Por lo que es un elemento de su centralizador.

    Proposición 1. El centralizador de un elemento de un grupo es un subgrupo del grupo.

      Demostración: Sea un grupo y el centralizador de en . El elemento neutro, claramente, está en . Sean , elementos de . Tenemos que , lo que muestras que es cerrado respecto a la operación del grupo. Además,

      Lo que concluye la demostración.


    Nos interesa considerar el conjunto cociente (que, en general, no será un grupo, pues no siempre es normal). Sean y tales que está en la coclase , es decir para algún en . Entonces,

    Es decir que dos elementos de la misma coclase respecto a producen el mismo conjugado de .

    Veamos el resultado recíproco. Sean , tales que . Como,

    Por lo que está en , o sea que .

    Por lo que, elementos de diferentes clases de conjugación de corresponden a diferentes coclases respecto a . Es decir que tenemos el siguiente resultado.

    Proposición 2. Sea un grupo y un elemento del grupo. La cantidad de conjugados de es igual a la cantidad de coclases del centralizador de , o sea al índice .

    Corolario 2.1. El cardinal de una clase de conjugación es un divisor del orden del grupo.


    Usaremos el resultado de la proposición para reescribir la ecuación de clases de conjugación vista arriba. Recordemos que cada elemento del centro de un grupo () es el único elemento de su clase de conjugación. Por lo que usando el resultado de la proposición anterior, y reagrupando todos los elementos del centro tendremos que la ecuación de las clases de conjugación del grupo puede presentarse como sigue. (Donde es un conjunto de representantes de las clases de conjugación.)

    Ecuación de Clases}

    Llamamos a esta ecuación, la ecuación de clases del grupo .
    Algunos autores llaman ecuación de clases a lo que arriba hemos denominado ecuación de clases de conjugación.
    Otra demosración de esta ecuación se puede obtener mediante la teoría de G-conjuntos que estudiaremos en el próximo capítulo.


    Proposición 3. Sea un --grupo, es decir un grupo cuyo orden es una potencia de , primo. Entonces, el centro de no es trivial.

      Demostración: Probaremos que .
      Como es un --grupo, tenemos que cualquier elemento o subgrupo de tiene un orden que es una potencia de . Igualmente, el índice de cualquier subgrupo es una potencia de . En particular, para cualquier elemento de tenemos que es una potencia de . Consideremos la ecuación de clases

      Tenemos que divide a y a cada sumando en la sumatoria, por lo tanto, divide el orden de .



    Corolario 3.1. Un grupo cuyo orden es , primo, es un grupo abeliano.

      Demostración: Sabemos por la proposición que , o .
      • Si entonces y . Sigue de la proposición \ref{prop090404} que es abeliano.
      • Si entonces , por lo que es abeliano.


    Teoremas de Cauchy y Sylow

    [editar]

    Anteriormente, afirmamos que no siempre era cierto que para cada divisor del orden de un grupo haya un subgrupo que tenga como orden ese divisor (ver ejemplo más adelante). Sin embargo, por el lado positivo tenemos dos importantes resultados, el teorema de Cauchy [1] y el (primer) teorema de Sylow [2].

    Teorema. (Cauchy) Sea un factor primo del orden de un grupo. Entonces, hay al menos un subgrupo de orden en .

    Teorema. (Primer teorema de Sylow) Sea un factor primo del orden de un grupo y sea , , un divisor del orden del grupo. Entonces, hay al menos un subgrupo de orden en .

    Definición. (--Sylow subgrupo) Sea un grupo y un número primo.

    Llamamos --Sylow subgrupo de al subgrupo de orden . tal que es la máxima potencia de que divide el orden de .


    Notemos que del teorema de Sylow sigue la existencia de un --Sylow subgrupo de cualquier grupo con un divisor del orden de . Cuando , el subgrupo trivial es el --Sylow subgrupo de .

    Como aplicaciones de los teoremas anteriores tendríamos, por ejemplo, las siguientes afirmaciones.

    • Un grupo de orden 6 tiene al menos un grupo de orden 3 y uno de orden 2.
    • Un grupo de orden 12 tiene subgrupos de orden 2, 3 y 4.
    • Un grupo de orden 15 tiene subgrupos de orden 3 y 5.
      (Demostración del teorema de Cauchy)
      (Caso Abeliano.) Sea un grupo abeliano cuyo orden es divisible por el primo . Sabemos por ejemplos anteriores, que el resultado de la proposición es válido cuando . Razonando por inducción, supondremos el resultado válido para grupos de orden inferior a . Sea un elemento del grupo con . Si tenemos que es un elemento con orden . Supongamos, entonces, que y consideremos el subgrupo que tiene orden que es por el teorema de Lagrange un divisor de . Como , no puede ser igual a por lo que es un divisor propio de , y lo mismo pasa con el índice . Luego, . Como , pero , tenemos que . Como , aplicando la hipótesis de inducción, tenemos que hay un elemento de orden en . Sea tal que , entonces implica que es un elemento de , digamos que . Sea , como , tenemos que . Entonces,

      En consecuencia, tenemos que es igual a 1 o a . Si , se tendría que . Como el orden de es , lo anterior,implicaría que , lo que es imposible, luego, el orden de es . Lo que acaba la demostración del caso abeliano.

      (Caso no abeliano.) Sea un grupo no abeliano tal que el orden de es divisible por . Sabemos que el resultado es válido para , el menor grupo no abeliano es . Supongamos el resultado válido para todos los grupos con orden inferior a . Consideremos la ecuación de clases de ,

      Si divide el orden de alguno de los , por inducción, este subgrupo propio de contendrá un elemento de orden , que será un elemento de orden de .

      En caso contrario, como divide al orden de , será un factor de , para todo en . Como divide a , sigue de la ecuación de clases que divide el orden de , Como es abeliano, sigue del caso anterior, que hay un elemento de orden en y, por lo tanto, en .


      (Demostración del teorema de Sylow.) Sea un grupo con orden donde es primo y . La demostración será por inducción sobre el orden del grupo. Sigue de los ejemplos, que el teorema es válido para grupos con ordenes pequeños. Analicemos la ecuación de clase para el grupo

      Supongamos que no divide uno de los índices que aparecen en la ecuación. Entonces, debe dividir el orden de que, por no estar en el centro del grupo, es un subgrupo propio de . Se tiene, entonces, por inducción, que contiene un subgrupo de orden , por lo que contiene un subgrupo de orden .

      En caso contrario, se tiene que divide el orden del centro. Sea cualquier elemento de orden en (que siempre hay por el teorema de Cauchy) y consideremos al grupo cociente , cuyo orden es . Nuevamente, por inducción, tenemos al existencia de un subgrupo de de orden , Sea la preimagen de por el supramorfismo canónico que envía cada elemento de en su coclase respecto a . es un subgrupo de y su orden es .


    Observación. Hablamos de primer teorema de Sylow, porque hay otros que teoremas que establecen entre otras cosas que todos los --Sylow subgrupos (puede haber varios) son conjugados entre sí, que la cantidad de tales subgrupos es un divisor del orden del grupo, que dicha cantidad es congruente con 1 módulo y que cada subgrupo de orden una potencia de está contenido en exactamente un --Sylow subgrupo. Tales resultados son muy útiles para la clasificación de subgrupos finitos. Sin embargo, exceden los propósitos de este texto. Ver los comentarios al final del capítulo.


    Ejemplo

    [editar]

    El ejemplo de esta sección nos servirá para ilustrar que la relación de ser subgrupo normal no es transitiva y que puede haber grupos tales que no hay un subgrupo cuyo orden sea un divisor dado del grupo.

    Rotaciones del tetraedro regular.

    Consideremos al tetraedro regular con vértices llamados 1, 2, 3 y 4. Consideraremos, inicialmente, rotaciones por 120 grados alrededor de un eje que pasa por uno de los vértices y el centro de la cara opuesta, Dichas rotaciones fijan uno de los vértices y permutan los otros tres, por lo que las indicaremos como permutaciones de , es decir permutaciones de .

    Sean

    Sea . Notemos que cada una de las rotaciones anteriores tiene orden 3. Además son distintas entre si, al igual que sus cuadrados (notar que dejan fijo un vértice distinto). Notemos que el conjunto producto de y tiene 9 elementos. Por lo que el orden de será 12 o 24---los únicos divisores de 24 mayores o iguales a 9. Notemos que la permutación de no puede pertenecer a ya que representa una transformación imposible para un tetraedro rígido. Por lo que .

    Notemos que sigue del razonamiento anterior que cualquier par de esas rotaciones genera a todo el grupo. Sean , y . Entonces, todos ellos son elementos de orden 2, ya que

    • .
    • .

    Aplicando el teorema de Sylow a cuyo orden 12 es igual a vemos que debe tener subgrupos de ordenes , y . Subgrupos de orden son obviamente , y . El --Sylow subgrupo de tiene cuatro elementos, por lo que no puede contener ninguna de las rotaciones, por lo que debe ser . Notemos que como cada elemento de es su propio inverso, por lo que es isomorfo al grupo de Klein. Observemos que , por lo que .

    Todos los elementos fuera de tienen orden 3, por lo que los conjugados de elementos de serán elementos de y es por lo tanto normal en . Hay cuatro 3--Sylow subgrupos: , , y . Se puede verificar que ninguno de ellos es normal en .

    Usaremos el grupo para ilustrar dos situaciones interesantes. Sea . Como se tiene que es un subgrupo de y, en consecuencia, de . Como subgrupo de es normal en , ya que es abeliano. Computando un conjugado,

    vemos que no es normal en . Es decir que la relación de ser normal no es transitiva.

    Se tiene que 6 es un divisor del orden de . ¿Hay algún subgrupo de orden 6 en ? Supongamos que fuera un subgrupo de orden 6 de . Entonces, debe contener un elemento de orden 3 y uno de orden 2. Observemos que solamente puede contener uno de los , , y por que un subgrupo conteniendo 2 de ellos es igual a . Análogamente, solamente uno de los elementos de orden 2 están en ese grupo, ya que dos de ellos generan un subgrupo de orden 4. Supongamos que fuera el elemento de orden 2. Si está en , está en y , l que no puede ser. Si está en tenemos que estaría en , pero , lo que es imposible. Si está en , también lo estaría , imposible. Finalmente, si estuviera en , también estaría , lo que, nuevamente, es imposible. Repitiendo lo anterior con y , se ve que es imposible la existencia de un subgrupo con 6 elementos.


    Ejercicios del Capítulo

    [editar]
    1. Sea un grupo abeliano y sean y elementos de tales que el orden de es y el orden de es . Probar que el orden de es igual al mínimo común múltiplo de y . (Probar que si es un múltiplo común de y , entonces ).
    2. Probar que los grupos abelianos de orden 16 son , , , y .
    3. Listar todos los subgrupos de .
    4. Clasificar los grupos abelianos de orden 27.
    5. Sea un grupo abeliano tal que donde y son números primos diferentes. Probar que hay elementos , tales que y y .
    6. Analizar las estructuras posibles para un grupo de orden 8. (Sug: Hay cinco posibles; tres abelianos y dos no abelianas).
    7. Clasificar los grupos de orden 25.
    8. Sea .
      1. Probar que es un grupo de orden 12.
      2. Probar que es isomorfo al grupo de las simetrías del tetraedro.
    9. Sea un grupo cuyo orden es , primo, . Probar, sin usar el teorema de Cauchy, que tiene un elemento de orden . (Sugerencia: probar las siguientes afirmaciones.) \begin{enumerate}
    10. Si es cíclico entonces tiene un elemento de orden .
    11. Si es abeliano entonces contiene un elemento de orden . (Considerar cualquiera de sus subgrupos cíclicos).
    12. Si no es abeliano, probar que su centro tiene un orden divisible por , por lo que contiene un elemento de orden . (Usar la ecuación de clases.)

    Comentarios

    [editar]

    Teoremas de Sylow. Hablamos de primer teorema de Sylow, porque hay

    otros dos teoremas que enunciaremos a continuación. La demostración se puede ver en el Apéndice "Teoremas de Sylow".

    Segundo teorema de Sylow. Sea un grupo. Dos -grupos de Sylow cualesquiera son conjugados. Además, cualquier -subgrupo (subgrupo cuyo orden es una potencia de p) está contenido en un -Sylow subgrupo.

    Tercer teorema de Sylow. Sea un grupo tal que donde es un primo que no divide a . Sea el conjunto de todos los -Sylow subgrupos de . Entonces,

    1. es un divisor de m,
    2. .

    Los teoremas de Sylow están entre los resultados más importantes en la teoría general de grupos finitos. Las demostraciones aparecen en el Apéndice Teoremas de Sylow.

    Muchos otros detalles y demostraciones se pueden hallar en [3]

    Notas

    [editar]

    13. Las Acciones de Grupos

    [editar]

    Introducción

    [editar]

    Las acciones de un grupo cualquiera sobre un cierto conjunto son generalizaciones de dos importantes acciones:

    • la acción del grupo simétrico sobre los elementos de mediante permutación de sus elementos, y
    • la acción del grupo lineal sobre los puntos del espacio -dimensional mediante la multiplicación de una matriz por un vector.

    G-conjuntos

    [editar]

    Definición. (G-Conjunto) Sean un grupo y un conjunto no vacío. Decimos que actúa en cuando hay una función

    tal que, simbolizando a la imagen por de la pareja se cumpla que:

    En tal situación, decimos que: es una acción de sobre o, también, que es un G-conjunto.

    Ejemplos.

    1. Sea un conjunto no vacío. El grupo simétrico actúa de manera natural sobre mediante la acción definida por
    2. La acción de asocia a cada matriz del grupo y punto el punto (multiplicación de matriz por vector).
    3. Cada grupo actúa sobre si mismo mediante la acción definida por la operación del grupo.
      1. (Acción por la izquierda)
      2. (Acción por la derecha)
    4. Sea un grupo. Otra acción de en si mismo mediante es provista por la conjugación. Para cada en recordemos que llamamos conjugación por a la función de en si mismo, tal que

      Es fácil verificar que la función

      define una acción de sobre si mismo. \fin

    5. Sea un grupo y un subgrupo de Entonces actúa en mediante la acción definida por:

    Observación. Asociado a -conjuntos, tenemos la noción de -subconjunto. Un subconjunto de un -conjunto es un -subconjunto, ssi, para todo en en está en . También, decimos que es G-invariante.


    Definición. (G-morfismo) Sean dos -conjuntos. Decimos que una función es un -morfismo, ssi, permuta con la acción. Es decir, ssi,


    • Claramente, la identidad es un -morfismo y la composición de dos -morfismos es un - morfismo.
    • Cuando no haya riesgo de confusión, de ahora en adelante, podremos escribir simplemente en lugar de
    • La terminología de mono, supra, endo, auto se extiende a -morfismos con el significado obvio.

    Como se cumple que se tiene que cada función es invertible. Es decir que podemos definir de manera natural una función

    que asigna a cada en la función en Las suposiciones sobre la acción implican que esa función es un homomorfismo de grupos. De forma recíproca, cuando sea un homomorfismo cualquiera de grupos, podemos definir una acción de en por:

    Es decir que hay una correspondencia, que se puede probar que es biyectiva, entre acciones de sobre y las representaciones (homomorfismos) de en (Representación permutacional del grupo.)

    La última correspondencia nos dice también que si es un -conjunto y hay un homomorfismo de grupos es también un - conjunto, vía la composición de homomorfismos.

    En particular, cuando sea una subgrupo de cada - conjunto tendrá una estructura de -conjunto, vía la inclusión, a la que llamaremos la restricción de la acción de G a H.

    Definición. (Órbita, Grupo de isotropía) Sean un -conjunto y un elemento de

    1. Llamamos órbita de por al subconjunto de formado por todos los elementos de de la forma Notación:
    2. Cuando sólo haya una órbita para la acción del grupo, decimos que el grupo actúa transitivamente, o también que el -conjunto es transitivo.
    3. Decimos que un elemento de fija a cuando
    4. Llamamos grupo de isotropía o estabilizador de al subconjunto de formado por todos los elementos de que fijan a

    Es fácil verificar que es un subgrupo de (de ahí el nombre de grupo). En efecto, no es vacío, ya que contiene al neutro. Si y están en se tiene que:


    Ejemplos.

    1. El grupo actúa en de manera transitiva, ya que dados elementos la transposición toma uno en el otro. Por lo tanto, todos los elementos de pertenecen a la misma orbita.
    2. El grupo simétrico en elementos puede considerarse actuando en , por la acción natural sobre Coincide así con el subgrupo de formado por las permutaciones que dejan a fijo. Es decir, que podemos identificar el grupo simétrico con el (sub)grupo de isotropía de en %
    3. Sea el subgrupo de generado por actúa en fijando y y permutando y Por lo tanto, tendremos tres órbitas: y
    4. La acción (izquierda o derecha) de una grupo en si mismo definida por la operación es una acción transitiva. Es decir que hay una única órbita para la acción que es igual a todo el grupo.
    5. En la acción por conjugación, la órbita de es la clase de conjugación de y el grupo de isotropía de es el centralizador de
    6. El grupo de isotropía de por la acción natural de en consiste de todos los en tales que Es decir de todos los en Es decir, el grupo de isotropía de coincide con Claramente, la acción de es transitiva sobre

    La siguiente proposición es de fácil verificación:

    Proposición 1. Sea un -morfismo. Entonces, el grupo de isotropía de está contenido en el grupo de isotropía de Además, dichos grupos coincidirán, cuando sea inyectiva.


    Sean un -conjunto, elementos de y un elemento en las órbitas de y Entonces, podremos hallar en tales que Por lo que, lo que implica que está en la órbita de y viceversa. Por lo tanto, las órbitas o son iguales o no se intersecan. Es decir, las órbitas de la acción de definen una partición de En otras palabras:

    Proposición 2. Sea un -conjunto. Si definimos la relación por ssi, para algún en se tiene que: es una relación de equivalencia cuyas clases de equivalencia coinciden con las órbitas de en

    Sea un -grupo y sea un elemento de

    Sea definida por Como tendremos que es una -morfismo, cuya imagen es precisamente la órbita de Notemos que es equivalente a afirmar que Es decir, que Esto, a su vez, implica que las clases de equivalencia de coinciden con las clases laterales izquierdas de respecto a En particular, esto nos dice que hay una biyección entre y Tal biyección es un G-morfismo, o sea que como G-conjuntos son isomórficos.

    Sea un subgrupo cualquiera de entonces es de forma natural un -conjunto. Supongamos que hubiera una -morfismo de en tal que Entonces, como el grupo de isotropía de estaría contenido en el grupo de isotropía de tendríamos que sería un subgrupo de En forma recíproca, si es un subgrupo de podemos definir por

    La función estará bien definida, ya que si se tendría que Además y Es decir, es un -morfismo. Es decir, que hemos probado la siguiente proposición.

    Proposición 3. Sea un -conjunto, un subgrupo de y un -mor\-fismo de en tal que ssi, Dicha aplicación es un -isomorfismo cuando Es decir, como -conjuntos son isomorfos y (la órbita de ).

    Corolario 3.1. Sea un grupo finito que actúa en el conjunto finito Entonces,


    Las órbitas de en el -conjunto determinan una partición de Llamaremos conjunto de representantes de las órbitas, a un subconjunto de que contiene exactamente un elemento de cada una de las órbitas.

    Corolario 3.2. (Conteo para -conjuntos) Sea un -conjunto finito. Entonces,

    Donde es un conjunto de representantes de las órbitas.


    Ejercicios

    [editar]
    1. Sea un grupo tal que con primo.
      1. Cada clase de conjugación de tiene como cardinal una potencia de
      2. Considere el conjunto formado por todos los elementos cuya clase de conjugación consiste de un sólo elemento. Probar que dicho conjunto no es vacío.
      3. Usando el hecho que:

        donde los denotan a las distintas clases de conjugación de concluir que hay elementos diferentes del neutro que tienen clases de conjugación consistentes de un único elemento. ¿Cuál es el número mínimo de esos elementos?

    2. El centro de un grupo consiste de todos aquellos elementos que permutan con todos los elementos del grupo.
      1. Probar que el centro de un grupo es un subgrupo del grupo.
      2. Probar que la clase de conjugación de cada elemento del centro consiste únicamente del elemento. Usar esto para probar que el centro es un subgrupo normal de G.
      3. Probar que el centro de un -grupo (un grupo cuyo orden es una potencia de primo) es no trivial.
      1. La intersección de una familia de -conjuntos es un -conjunto, cuando dicha intersección no es vacía.
      2. Sea un -conjunto, un subconjunto no vacío de Probar que hay un -subconjunto de minimal conteniendo a al que simbolizaremos por y llamaremos el -subconjunto generado por
      3. El -subconjunto generado por un conjunto no vacío consiste de todas las órbitas de elementos de
    3. Sea el subgrupo de generado por y Considérese la acción natural izquierda de en ¿Cuáles son las órbitas de cada elemento? ¿Cuáles son sus grupos de isotropía?
    4. Sean dos -conjuntos. Definir una estructura de -conjunto en de modo que las proyecciones sean -morfismos.
    5. Sea un conjunto, el producto cartesiano de copias de Para en definir
      Probar que la definición anterior define una acción de en

    Los Grupos Geométricos

    [editar]

    El apéndice Los Grupos Geométricos contiene definiciones, nociones y teoremas relacionados con la Geometría. En particular, de los grupos asociados a las nociones geométricas.


    En esta sección veremos algunas de las acciones de los grupos geométricos del plano.

    Acción de las Traslaciones

    [editar]

    Sea P un punto (vector plano) cualquiera del plano y C un vector fijo. La traslación por es la transformación biyectiva . Luego, es fijo por , ssi, , ssi, . Notemos que una traslación deja fijo un punto, ssi, es la traslación por el vector nulo, ssi, . Luego, si una traslación fija un punto, fija a todos los puntos.

    Las traslaciones determinan el subgrupo de transformaciones (ver el apéndice citado).

    Notemos que dados puntos y del plano, poniendo , tenemos que . Es decir que para la acción deel grupo de las traslaciones, el plano tiene una única órbita, lo que equivale a afirmar que el grupo de las traslaciones actúa transitivamente en el plano.

    Acción de las Transformaciones Lineales

    [editar]

    El grupo es el grupo de las matrices invertibles 2x2 (equivalentes a las transformaciones lineales invertibles). Cuando , su acción sobre un punto (representado por una matrix columna) es la multiplicación de matrices. Es decir,

    Se verifica (ver apéndice Los Grupos Geométricos) que cuando es un elemento de , envía líneas sobre líneas y preserva el paralelismo (si dos líneas son paralelas, sus imágenes también lo son).

    Las rotaciones alrededor del origen forma un grupo que simbolizaremos aquí por , se verifica que tales rotaciones son lineales con matriz dada por

    donde es el ángulo de la rotación.

    Un cómputo algebraico prueba que si es un rotación alrededor del origen, el único punto fijo por es el origen. Cuando , se tiene que la orbita de es la circunferencia con centro en el origen y radio la distancia de al origen.

    Clasificación de las Congruencias

    [editar]

    Ilustraremos la importancia de la noción de punto fijo, clasificando a las congruencias, es decir haciendo un listado de todas las posibles congruencias del plano.

    Usaremos el siguiente resultado de la Geometría (ver apéndice citado arriba).

    Proposición 4. Los puntos equidistantes a dos puntos dados forman una línea que es perpendicular a la linea que pasa por los puntos y corta a esa línea en el punto medio entre los puntos.
    Llamamos simetral ortogonal de los puntos a la línea de la proposición.
    Notemos que dada una línea la reflexión entorno a esa línea, fija cada punto de la línea, y envía cada punto que no está en la línea en un punto tal que la línea es la simetral ortogonal de y .

    Sea una congruencia del plano.

    • Si tiene tres puntos no colineales fijos entonces ; es decir deja a todos los puntos fijos. Supongamos que , y son los tres puntos fijos. Supongamos que , es decir supongamos que hay un punto tal que . Sea fijo por , o sea . Entonces,
      .

      Lo que dice que equidista de y , por lo que está en la simetral ortogonal de esos puntos. Como esto implica que , y son colineales (están en la misma línea), hemos llegado a una contradicción. Por lo que debe ser la identidad.

    • Si tiene dos puntos fijos, es la identidad o una reflexión entorno a la línea que pasa por esos dos puntos. Sean y los puntos fijos. Supongamos que no es la identidad. Entonces, debe haber un punto que no es colineal con y , tal que . Sea la reflexión en la simetral ortogonal de y . Entonces, razonando, como en el caso anterior, tenemos que y están en , por lo que son fijas por . Tenemos entonces, que
      por lo que es una congruencia que fija tres puntos no colineales. del caso anterior, tenemos que , de donde, , de donde .
    • Si tiene un único punto fijo, entonces es un producto de dos reflexiones cuyos ejes se cortan en el punto fijo. Sea el punto fijo. Entonces, para todo , . Razonando como arriba, pertenece a la simetral ortogonal a y . Sea la reflexión entorno a esa simetral. Entonces,

      Por lo tanto, es una congruencia que deja dos puntos fijos, Por lo que es una reflexión, digamos que . Luego, (multiplicando por en ambos lados, tenemos que %f = \sigma sigma_1 </math>.

    • Si no tiene puntos fijos, es el producto de tres reflexiones. Sea un punto cualquiera y sea la reflexión entorno a la simetral ortogonal de y . Entonces, , lo que prueba que tiene un punto fijo, por lo que es un producto de dos reflexiones, digamos . Procediendo, como arriba, se tiene que .

    Los razonamientos anteriores prueban el siguiente teorema.

    Teorema de Cartan--Dieudonné Cada congruencia del plano es el producto de a lo más tres reflexiones.


    Notemos que los cómputos anteriores muestran que las rotaciones son producto de dos reflexiones cuyos ejes se cortan. Se puede probar que el producto de dos reflexiones cuyos ejes son paralelos es una traslación.

    Ejercicios

    [editar]
    1. Sea un punto del plano. Verificar que las congruencias que fijan al punto forman un grupo de transformaciones
    2. Sea un punto del plano. Probar que las rotaciones alrededor de forman un grupo . Sea y sea una rotación alrededor del origen, o sea un elemento de .
      1. Probar que es una rotación alrededor de .
      2. Probar que y son subgrupos conjugados del grupo de transformaciones del plano.
    3. Una simetría central con centro en un punto es una transformación que envía cada punto en un punto .
      1. Probar que (punto medio entre y su imagen.
      2. Probar que las líneas que pasan por quedan fijas globalmente por .
      3. Probar que y que , es una traslación.
      4. Probar que el producto de una traslación por una simetría central es una simetría central.
      5. Si es el origen, es lineal. Hallar la correspondiente matriz.

    Representación Lineal de Grupos

    [editar]

    Esta sección requiere un conocimiento de nociones básicas de Álgebra Lineal.

    El objetivo de la sección es ver como podemos obtener para cualquier grupo, un grupo de matrices isomorfo. Podemos considerarlo tanto como una generalización o una concretization del teorema de Cayley por grupos de permutaciones, dependiendo de la familiaridad con el Álgebra Lineal. La teoría de las representaciones lineales iniciadas a fines del siglo XIX por Frobenius [4]. ha sido, es y continuará siendo un área activa, ya que permite un muy buen entendimiento de los grupos.

    Sea un espacio vectorial de dimensión . Lo que significa que hay una base de vectores en , es decir un conjunto tal que cada vector de puede escribirse de una única manera como

    Cada transformación lineal de en si mismo, tiene asociada una matriz, cuyas columnas son las coordenadas de las imágenes de los vectores de la base. Las transformaciones lineales biyectivas (isomorfismos lineales) tiene asociadas matrices invertibles, que determinan un grupo, el grupo lineal de ,

    Definición. (Representación Lineal) Sea un espacio vectorial sobre un cuerpo cualquiera . Sea un grupo. Una representación de en es un homomorfismo de grupos

    Tal homomorfismo define una acción de en por

    Cada grupo tiene varias representaciones lineales posibles, qu aunque no siempre e pueden determinar el grupo, usualmente proveen valiosa información sobre el mismo. A nosotros nos interesara una representación en particular: la representación regular, que definiremos a continuación.

    Sea . Asociaremos con el grupo un espacio vectorial sobre un cuerpo (que puede ser los Reales, los Complejos u otro cualquiera) denotado por y formado por todas las expresiones


    Se define una suma y una multiplicación por escalares de modo que es una base de , es decir si y , entonces

    Además, podemos definir una multiplicación en usando la multiplicación del grupo

    donde es la multiplicación del grupo. Esta multiplicación provee a con una estructura de álgebra (anillo con operaciones compatibles con la multiplicación por escalar.

    Para cada en la multiplicación produce una transformación lineal de . Además, es decir que tenemos una representación del grupo por las matrices de la forma . Es fácil verifica que la correspondencia es inyectiva. Esdecir que es isomorfo a un grupo de matrices, subgrupo de del grupo de isomorfismos lineales de .

    La matriz de cada tiene una forma peculiar. En efecto, como su efecto en la base es una multiplicación por la izquierda en es una permutación de . Luego, la matriz

    Como es un elemento de digamos que , la --ésima columna de , correspondiente a las coordenadas de , tiene un 0 en cada posición, excepto en la --ésima fila donde aparece un 1. (En otras palabras, las matrices tienen como columnas permutaciones de las columnas de la matrix identidad.

    Ejemplo.

    Sea