Álgebra Abstracta/Subgrupos

De Wikilibros, la colección de libros de texto de contenido libre.
Ir a la navegación Ir a la búsqueda
← Homomorfismos Subgrupos Grupos Cíclicos →
Álgebra Abstracta


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
GrupoDeKlein.jpg
GrupoS3.jpg

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.
      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.