Saltar al contenido principal
LibreTexts Español

7.3: El índice de un subgrupo y el teorema de Lagrange

  • Page ID
    116030
  • \( \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}}} \)

    Definición: Índice

    Definimos el índice de\(H\) in\(G\),\((G:H)\text{,}\) denotado como la cardinalidad de\(G/H\text{.}\)

    Observación

    Si siempre\(H\leq G\text{,}\) hay tener el mismo número de cosets izquierdos y cosets derechos de\(H\) en\(G\text{.}\) La prueba de esto se deja como ejercicio para el lector.

    (Tenga en cuenta que su prueba debe aplicarse incluso cuando hay infinitamente muchos cosets izquierdo y/o derecho de\(H\) en\(G\text{.}\) Pista: Mostrar hay una bijección entre\(G/H\) y el conjunto de todos los cosets correctos de\(H\) in\(G\text{.}\))

    En los casos en los que\(G/H\) contiene infinitamente muchos elementos, no nos preocuparemos por la cardinalidad específica, y podemos simplemente decir que el índice de\(H\) in\(G\) es infinito, y escribir\((G:H)=\infty\text{.}\) Sin embargo, podemos, por supuesto, distinguir entre índices contablemente infinitos e incontables infinitos.

    Obsérvese que si\(G\) es finito entonces\((G:H)\) debe ser finito; sin embargo, vemos a continuación que si\(G\) es infinito entonces\((G:H)\) podría ser finito o infinito.

    Ejemplo\(\PageIndex{1}\)

    Si\((\mathbb{R}:\mathbb{Z})\) fueran finitos, entonces seríamos capaces de escribir\(\mathbb{R}\) como una unión finita de conjuntos contables, lo que implica que\(\mathbb{R}\) es contable, lo que no lo es. Por lo tanto,\((\mathbb{R}:\mathbb{Z})=\infty\text{.}\)

    Ejemplo\(\PageIndex{2}\)

    Ya que\(\langle i\rangle =\{i,-1,-i,1\}\) es un subgrupo finito de\(C^*\) y\(C^*\) es infinito, debemos tener eso\((C^*:\langle i\rangle )\) es infinito. Sin embargo,\((C^*:C^*)=1\text{.}\)

    Ejemplo\(\PageIndex{3}\)

    Refiriéndose a nuestros ejemplos anteriores, tenemos:

    \ begin {ecuación*} (S_3:\ langle (12)\ rangle) =3,\ end {ecuación*}\ begin {ecuación*} (D_4:\ langle f\ rangle) =4,\ end {ecuación*}\ begin {ecuación*} (\ mathbb {Z} :5\ mathbb {Z}) =5,\ end {ecuación*}\ begin {ecuación*} (4\ mathbb {Z} :12\ mathbb {Z}) =3,\ end {ecuación*}\ begin {ecuación*}\ text {y} (\ mathbb {Z} _ _ {12}:\ langle 4\ rangle ) =4. \ end {ecuación*}

    Observe que en los casos en los que\(G\) es finito,\((G:H)=|G|/|H|\text{.}\) Esto tiene sentido, ya que los cosets izquierdos de\(H\) en\(G\) partición\(G\text{,}\) y cada coconjunto izquierdo tiene cardinalidad\(|H|\text{.}\)

    Dado que los coconjuntos izquierdos de un subgrupo\(H\) de una\(G\) partición de grupo\(G\) y todos tienen la misma cardinalidad, tenemos los siguientes dos teoremas. El primero es conocido como Teorema de Lagrange (llamado así por el matemático francés Joseph-Louis Lagrange).

    Teorema\(\PageIndex{1}\): Lagrange's Theorem

    Si\(G\) es un grupo finito y\(H\leq G\text{,}\) luego se\(|H|\) divide\(|G|\text{.}\)

    Terminamos este capítulo con dos corolarios al Teorema de Lagrange.

    Corolario\(\PageIndex{1}\)

    Dejar\(G\) ser un grupo finito y dejar\(a\in G\text{.}\) Entonces\(a^{|G|}=e_G\text{.}\)

    Prueba

    Vamos\(d=o(a)\). Por el teorema de Lagrange\(|G|\),\(d\) divide, entonces existe\(k∈ \mathbb{Z}\) con\(|G|=dk\). Entonces\(a^{|G|}=a^{dk}=(a^d)^k=(e_G)^k=e_G\).

    Por último, tenemos el siguiente corolario, cuya prueba se deja como ejercicio para el lector.

    Corolario\(\PageIndex{2}\)

    Dejemos\(G\) ser un grupo de primer orden. Entonces\(G\) es cíclico. De ello se deduce que por cada primo\(p\text{,}\) existe un grupo único de orden\(p\text{,}\) hasta el isomorfismo.


    This page titled 7.3: El índice de un subgrupo y el teorema de Lagrange 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.