Saltar al contenido principal
LibreTexts Español

4.2: Subgrupo Pruebas y Celosías

  • Page ID
    115975
  • \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

    \( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)

    ( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)

    \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)

    \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)

    \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)

    \( \newcommand{\Span}{\mathrm{span}}\)

    \( \newcommand{\id}{\mathrm{id}}\)

    \( \newcommand{\Span}{\mathrm{span}}\)

    \( \newcommand{\kernel}{\mathrm{null}\,}\)

    \( \newcommand{\range}{\mathrm{range}\,}\)

    \( \newcommand{\RealPart}{\mathrm{Re}}\)

    \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)

    \( \newcommand{\Argument}{\mathrm{Arg}}\)

    \( \newcommand{\norm}[1]{\| #1 \|}\)

    \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)

    \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)

    \( \newcommand{\vectorA}[1]{\vec{#1}}      % arrow\)

    \( \newcommand{\vectorAt}[1]{\vec{\text{#1}}}      % arrow\)

    \( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vectorC}[1]{\textbf{#1}} \)

    \( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)

    \( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)

    \( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)

    \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

    Usando Lemma\(4.1.1\) y el argumento que lo precede, tenemos lo siguiente.

    Teorema\(\PageIndex{1}\)

    Un subconjunto\(H\) de un grupo\(G\) es un subgrupo de\(G\) si y solo si

    1. \(H\)está cerrado bajo\(G\) operación;
    2. El elemento de identidad de\(G\) está en\(H\text{;}\) y
    3. Para\(a\in H\text{,}\)\(a\) la inversa de cada uno\(G\) está contenida en\(H\text{.}\)

    Ejemplo\(\PageIndex{2}\)

    Generalizando la Parte 1 del teorema anterior, tenemos\(n\mathbb{Z}\leq \mathbb{Z}\) para cada\(n\in \mathbb{Z}^+\text{.}\)

    La prueba de ello se deja como ejercicio para el lector.

    Ejemplo\(\PageIndex{3}\)

    Considere el grupo\(\langle F,+\rangle\text{,}\) donde\(F\) está el conjunto de todas las funciones de\(\mathbb{R}\) a\(\mathbb{R}\) y\(+\) es adición puntual. ¿Cuáles de los siguientes son subgrupos de\(F\text{?}\)

    1. \(H=\{f\in F: f(5)=0\}\text{;}\)

    2. \(K=\{f\in F: f \text{ is continuous} \}\text{;}\)

    3. \(L=\{f\in F: f \text{ is differentiable} \}\text{.}\)

    ¿Alguno de\(H\text{,}\)\(K\text{,}\) y\(L\) subgrupos el uno del otro?

    De hecho, podemos reducir el número de hechos que necesitamos verificar para probar que un subconjunto\(H\subseteq G\) es un subgrupo de\(G\) a solo dos.

    Teorema\(\PageIndex{2}\): Two-Step Subgroup Test

    Dejar\(G\) ser un grupo y\(H\subseteq G\text{.}\) Entonces\(H\) es un subgrupo de\(G\) si

    1. \(H\neq \emptyset\text{;}\)y
    2. Para cada\(a,b\in H\text{,}\)\(ab^{-1}\in H\text{.}\)
    Prueba

    Supongamos que las dos propiedades anteriores se mantienen. Ya que\(H≠∅\), existe\(x∈G\) tal que\(x∈H\). Entonces\(e_G=xx^{−1}\) está adentro\(H\), por la segunda propiedad. A continuación, por cada que\(a∈H\) tenemos\(a^{−1}=e_Ga^{−1}∈H\) (nuevamente por la segunda propiedad). Por último, si\(a,b∈H\) entonces ya lo hemos mostrado\(b^{−1}∈H\); así\(ab=a(b^{−1})^{−1}∈H\), una vez más por la segunda propiedad. Así,\(H≤G\).

    Ejemplo\(\PageIndex{4}\)

    1. Utilice la prueba de subgrupos de dos pasos para demostrar que\(3\mathbb{Z}\) es un subgrupo de\(\mathbb{Z}\text{.}\)
    2. Utilice la prueba de subgrupos de dos pasos para demostrar que\(SL(n,\mathbb{R})\) es un subgrupo de\(GL(n,\mathbb{R})\text{.}\)

    que es sencillo probar el siguiente teorema.

    Teorema\(\PageIndex{3}\)

    Si\(H\) es un subgrupo de un grupo\(G\) y\(K\) es un subconjunto de\(H\text{,}\) entonces\(K\) es un subgrupo de\(H\) si y solo si es un subgrupo de\(G\text{.}\)

    Puede ser útil observar cómo los subgrupos de un grupo se relacionan entre sí. Una forma de hacerlo es considerar las redes de subgrupos (también conocidas como diagramas de subgrupos). Para dibujar una celosía de subgrupo para un grupo\(G\text{,}\) enumeramos todos los subgrupos de\(G\text{,}\) escribir un subgrupo\(K\) debajo de un subgrupo\(H\text{,}\) y conectarlos con una línea, si\(K\) es un subgrupo de\(H\) y no hay un subgrupo apropiado\(L\) de\(H\) que contenga \(K\)como un subgrupo apropiado.

    Ejemplo\(\PageIndex{5}\)

    Considerar el grupo\(\mathbb{Z}_8\text{.}\) Veremos más adelante que los subgrupos de\(\mathbb{Z}_8\) son\(\{0\}\text{,}\)\(\{0,2,4,6\}\text{,}\)\(\{0,4\}\) y\(\mathbb{Z}_8\) en sí mismos. Así lo\(\mathbb{Z}_8\) tiene el siguiente subgrupo de celosía.

    clipboard_e012f3110d10b0803cd2e3a7dc799ed12.png

    Ejemplo\(\PageIndex{6}\)

    Refiriéndose al Ejemplo\(4.2.3\), dibujar la porción de la red del subgrupo para\(F\) que muestre las relaciones entre sí mismo y sus subgrupos propios\(H\text{,}\)\(K\text{,}\) y\(L\text{.}\)

    Ejemplo\(\PageIndex{7}\)

    Indicar las relaciones de subgrupos entre los siguientes grupos:\(\mathbb{Z}\text{,}\)\(12\mathbb{Z}\text{,}\)\(\mathbb{Q}^+\text{,}\)\(\mathbb{R}\text{,}\)\(6\mathbb{Z}\text{,}\)\(\mathbb{R}^+\text{,}\)\(3\mathbb{Z}\text{,}\)\(G=\langle \{\pi^n:n\in \mathbb{Z}\},\cdot\,\rangle\) y\(J=\langle \{6^n:n\in \mathbb{Z}\},\cdot\,\rangle .\)

    Terminamos con un teorema sobre homomorfismos y subgrupos que nos lleva a otro grupo invariante.

    Teorema\(\PageIndex{4}\)

    Dejar\(G\) y\(G'\) ser grupos, dejar\(\phi\) un homomorfismo de\(G\) a\(G'\text{,}\) y dejar que\(H\) un subgrupo de\(G\text{.}\) Entonces\(\phi(H)\) es un subgrupo de\(G'\text{.}\)

    Prueba

    La prueba se deja como ejercicio para el lector.

    Esta es otra forma de, por ejemplo, distinguir entre los grupos\(\mathbb{Z}_4\) y el grupo Klein 4\(\mathbb{Z}_2^2\text{.}\)

    Ejemplo\(\PageIndex{8}\)

    Por inspección,\(\mathbb{Z}_4\) y\(\mathbb{Z}_2^2\) tener, respectivamente, las siguientes celosías de subgrupo.

    clipboard_e1258ca6c0127e756effb6e6f4105cbd5.png

    Dado que\(\mathbb{Z}_4\) contiene exactamente\(3\) subgrupos y\(\mathbb{Z}_2^2\) exactamente\(5\), tenemos que\(\mathbb{Z}_4\not\simeq \mathbb{Z}_2^2\text{.}\)


    This page titled 4.2: Subgrupo Pruebas y Celosías is shared under a GNU Free Documentation License 1.3 license and was authored, remixed, and/or curated by Jessica K. Sklar via source content that was edited to the style and standards of the LibreTexts platform; a detailed edit history is available upon request.