Saltar al contenido principal
LibreTexts Español

8.3: Introducción a los grupos factoriales

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

    \(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)

    Ahora volvemos a la noción de equipar\(G/H\text{,}\) cuando se cuenta\(H\unlhd G\text{,}\) con una estructura de grupo. Ya hemos visto que la multiplicación del coset izquierdo encendido\(G/H\) está bien definida cuando\(H\unlhd G\) (Teorema\(8.1.1\)); resulta que ante esto, es muy fácil demostrar que\(G/H\) bajo esta operación es un grupo.

    Antes de probar esto, introducimos un cambio en nuestra notación: Iniciamos la convención de usar frecuentemente\(N\text{,}\) en lugar\(H\text{,}\) de denotar un subgrupo de un grupo\(G\) cuando sabemos que ese subgrupo es normal en\(G\text{.}\)

    Teorema\(\PageIndex{1}\)

    Dejar\(G\) ser un grupo con elemento de identidad\(e\text{,}\) y let\(N\: G\text{.}\) Entonces\(G/N\) es un grupo bajo la multiplicación coset izquierda (es decir, bajo la operación\((aN)(bN)=abN\) para todos\(a,b\in G\)), y\(|G/N|=(G:N)\) (en particular, si\(|G|\lt \infty\text{,}\) entonces\(|G/N|=|G|/|N|\)).

    Prueba

    Ya sabemos que desde entonces\(N⊴G\), la multiplicación del coset izquierdo encendido\(G/N\) está bien definida; además, por definición, eso\((aN)(bN)=abN∈G/N\) para cada uno\(aN,bN∈G/N\).

    La asociatividad de esta operación\(G/N\) se desprende de la asociatividad\(G\) de la operación: en efecto, si\(aN, bN, cN∈G/N\), entonces

    \(\begin{array}& ((aN)(bN))(cN)&=(abN)(cN)\\&=(ab)cN\\&=a(bc)N\\&=(aN)(bcN)\\&=(aN)((bN)(cN)). \end{array}\)

    A continuación,\(N=eN∈G/N\) actúa como elemento de identidad ya que para todos\(a∈G\),

    \((aN)(N)=aeN=aN \text{ and } N(aN)=eaN=aN\).

    Por último, vamos\(aN∈G/N\). Después\(a^{−1}N∈G/N\) con\((aN)(a^{−1}N)=aa^{−1}N=N\) y\((a^{−1}N)(aN)=a^{−1}aN=N\).

    Así\(G/N\) es un grupo debajo de la multiplicación del coset izquierdo. Ya que\((G:N)\) es, por definición, la cardinalidad de\(G/N\), ya terminamos.

    Definición: Factor Group

    Cuando\(G\) es un grupo y\(N\unlhd G\text{,}\) el grupo anterior (\(G/N\)debajo de la multiplicación del coset izquierdo) se denomina grupo factor o grupo cociente.

    Ejemplo\(\PageIndex{1}\)

    Let\(G=\mathbb{Z}\) y\(N=3\mathbb{Z}\text{.}\) Entonces\(N\) es normal en\(G\text{,}\) ya que\(G\) es abeliano, por lo que el conjunto\(G/N=\{N,1+N,2+N\}\) es un grupo bajo la multiplicación del coset izquierdo. Señalando que\(N=0+N\text{,}\) es sencillo ver que\(G/N\) (es decir,\(\mathbb{Z}/3\mathbb{Z}\)) tiene la siguiente tabla de grupos:

    \(+\) \(0+N\) \(1+N\) \(2+N\)
    \ (+\)” alcance="fila">\(0+N\) \ (0+N\) ">\(0+N\) \ (1+N\) ">\(1+N\) \ (2+N\) ">\(2+N\)
    \ (+\)” alcance="fila">\(1+N\) \ (0+N\) ">\(1+N\) \ (1+N\) ">\(2+N\) \ (2+N\) ">\(0+N\)
    \ (+\)” alcance="fila">\(2+N\) \ (0+N\) ">\(2+N\) \ (1+N\) ">\(0+N\) \ (2+N\) ">\(1+N\)

    Claramente, si ignoramos todos los\(+N's\) después de los\(0\)'s,\(1\)'s, y\(2'\) en la tabla anterior, y consideramos\(+\) que es la adición mod 3, en lugar de la adición de coset izquierda en\(\mathbb{Z}/3\mathbb{Z}\text{,}\) obtenemos la tabla de grupo para\(\mathbb{Z}_3\text{:}\)

    \(+\) \(0\) \(1\) \(2\)
    \ (+\)” alcance="fila">\(0\) \ (0\) ">\(0\) \ (1\) ">\(1\) \ (2\) ">\(2\)
    \ (+\)” alcance="fila">\(1\) \ (0\) ">\(1\) \ (1\) ">\(2\) \ (2\) ">\(0\)
    \ (+\)” alcance="fila">\(2\) \ (0\) ">\(2\) \ (1\) ">\(0\) \ (2\) ">\(1\)

    Así, vemos que\(\mathbb{Z}/3\mathbb{Z}\) es isomórfico a\(\mathbb{Z}_3\text{.}\)

    ¡Esto no es una coincidencia! De hecho, tenemos lo siguiente:

    Teorema\(\PageIndex{2}\)

    Que\(n,d \in \mathbb{Z}^+\) con la\(d\) división\(n\text{.}\) Entonces tenemos:

    1. \(n\mathbb{Z}\unlhd d\mathbb{Z}\)y\(\langle d\rangle \unlhd \mathbb{Z}_n\text{;}\)
    2. \(d\mathbb{Z}/n\mathbb{Z}\simeq \mathbb{Z}_{n/d}\)(caso especial:\(\mathbb{Z}/n\mathbb{Z} \simeq \mathbb{Z}_n\)); y
    3. \(Z_n/\langle d\rangle \simeq \mathbb{Z}_d\text{.}\)
    Prueba
    1. Dado que dd es un divisor positivo de\(n\),\(n\mathbb{Z}\) y\(\langle d \rangle\) son claramente subgrupos de, respectivamente,\(d\mathbb{Z}\) y\(\mathbb{Z}n\). Además, dado que\(d\mathbb{Z}\) y\(\mathbb{Z}n\) son abelianos, todos sus subgrupos son normales.
    2. Esto se desprende de los hechos que\(d\mathbb{Z}/n\mathbb{Z}= \langle d+n\mathbb{Z} \rangle\), por lo tanto, es cíclico, y eso\(|d\mathbb{Z}/n\mathbb{Z}|=(d\mathbb{Z}:n\mathbb{Z})=n/d\) (ver Ejemplo\(7.3.3\)). (Desempaquetando la declaración que\(d\mathbb{Z}/n\mathbb{Z}= \langle d+n\mathbb{Z} \rangle\): Observe que\(d\mathbb{Z}=\langle d \rangle\), así cada elemento de\(d\mathbb{Z}\) es de la forma\(kd\) para algún entero\(k\). Así, cada elemento de\(d\mathbb{Z}/n\mathbb{Z}\) es de la forma\(kd+n\mathbb{Z}\) para algún entero\(k\). Pero para cada uno\(k∈\mathbb{Z}\), usando la definición de multiplicación del coset izquierdo tenemos eso\(kd+n\mathbb{Z}=k(d+n\mathbb{Z})\). Entonces\(d\mathbb{Z}/n\mathbb{Z}= \langle d+n\mathbb{Z} \rangle\).)
    3. De igual manera\(\mathbb{Z}_n=\langle 1 \rangle, \mathbb{Z}n/ \langle d \rangle=\langle 1+ \langle d \rangle \rangle\), ya que, así es cíclico. Ya que\((\mathbb{Z}_n: \langle d \rangle)=d\) (de nuevo, ver Ejemplo\(7.3.3\)),\(\mathbb{Z}n/ \langle d \rangle\) es isomórfico a\(\mathbb{Z}d\), según se desee.

    Q.E.D.

    Ejemplo\(\PageIndex{2}\)

    Dejar\(N=\langle (123)\rangle \leq S_3\text{.}\) Desde\((S_3:N)=2\text{,}\)\(N\) debe ser normal en\(S_3\text{,}\) lo que\(S_3/N\) es un grupo bajo la multiplicación del coset izquierdo. Ya que\(|S_3/N|=2\text{,}\)\(S_3/N\) debe ser isomomórfico para\(\mathbb{Z}_2\text{.}\)

    En los ejemplos anteriores, pudimos identificar\(G/N\) hasta el isomorfismo con relativa facilidad porque pudimos determinar que\(G/N\) era cíclico. En general, sin embargo, puede ser bastante difícil identificar la estructura grupal de un grupo factorial. Exploramos algunas herramientas poderosas que podemos usar en esta identificación en la siguiente sección, pero primero observamos un par de propiedades de las\(G\) que son “heredadas” por cualquiera de sus grupos factoriales.

    Teorema\(\PageIndex{3}\)

    Dejemos\(G\) ser un grupo y\(N\unlhd G\text{.}\) luego:

    1. Si\(G\) es finito, entonces\(G/N\) es finito.
    2. Si\(G\) es abeliano, entonces\(G/N\) es abeliano; y
    3. Si\(G\) es cíclico, entonces\(G/N\) es cíclico.
    Prueba
    1. Claramente esto sostiene, ya que en este caso\(|G/N|=|G|/|N|\).
    2. El comprobante de esta afirmación se deja como ejercicio para el lector.
    3. Dejar\(G\) ser cíclico. Entonces existe\(a∈G\) con\(G=\langle a \rangle\). Nosotros reclamamos\(G/N=\langle aN \rangle\). Efectivamente:

    \(\langle aN \rangle={(aN)i:i∈\mathbb{Z}}={aiN:i∈\mathbb{Z}}\).

    Pero cada elemento de\(G\) es un poder entero de\(a\), por lo que este conjunto es igual\(\{xN:x∈G\}\), es decir, es igual\(G/N\).

    Nota

    Sin embargo,\(G\) puede ser nonabeliano [no cíclico, no finito] y sin embargo tener un subgrupo normal\(N\) tal que\(G/N\) es abeliano [cíclico, finito]. (Vea los ejemplos a continuación.) Intuitivamente, la idea es que la modificación de un grupo por un subgrupo normal puede introducir abelianness o ciclicidad, o finitud, pero no eliminar una de esas características.

    Ejemplo\(\PageIndex{3}\)

    \(S_3\)es nonabeliano (y por lo tanto por supuesto no cíclico), pero vimos anteriormente que\(N=\langle (123)\rangle\) es un subgrupo normal de\(S_3\) con\(S_3/N \simeq \mathbb{Z}_2\text{,}\) un grupo cíclico (y por lo tanto por supuesto abeliano).

    Ejemplo\(\PageIndex{4}\)

    \(\mathbb{Z}\)es un grupo infinito, pero tiene grupo factorial finito\(\mathbb{Z}/2\mathbb{Z}\text{.}\)

    ¿Qué\(G/N\) aspecto tienen los subgrupos (normales) de un grupo factorial? Bueno, vienen de los subgrupos (normales) de\(G\text{!}\) Tenemos el siguiente teorema, cuya prueba es tediosa pero directa.

    Teorema\(\PageIndex{4}\): Correspondence Theorem

    Dejar\(G\) ser un grupo, y dejar\(K\unlhd G\text{.}\) Entonces los subgrupos de\(G/K\) son exactamente los de la forma\(H/K\text{,}\) donde\(H\leq G\) con\(K\subseteq H\text{.}\) Además, los subgrupos normales de\(G/K\) son exactamente los de la forma\(N/K\text{,}\) donde\(N\unlhd G\) con\(K\subseteq N\text{.}\)

    Terminamos este capítulo señalando que dado cualquier grupo\(G\) y grupo factorial\(G/N\) de\(G\text{,}\) hay un homomorfismo desde\(G\) hasta\(G/N\) que está en adelante. Antes de definir este homomorfismo, proporcionamos algo más de terminología.

    Definición: Epimorfismo y monomorfismo

    \(\phi: G\to G'\)Sea un homomorfismo de grupos. Entonces\(\phi\) se puede llamar epimorfismo si\(\phi\) está sobre, y un monomorfismo si\(\phi\) es uno a uno. (Por supuesto, ya sabemos que un epimorfismo que también es monomorfismo se llama “isomorfismo”).

    Presentamos ahora el siguiente teorema, cuya prueba directa se deja al lector.

    Teorema\(\PageIndex{5}\)

    Dejar\(G\) ser un grupo y dejar\(N\unlhd G\text{.}\) Entonces el mapa\(\Psi: G\to G/N\) definido por\(\Psi(g)=gN\) es un epimorfismo.

    Observe que dado\(N\unlhd G\text{,}\) el núcleo del epimorfismo canónico de\(G\) a\(G/N\) es\(N\text{.}\) Así, juntando este hecho con el hecho de que cada núcleo de un homomorfismo es un subgrupo normal del dominio del homomorfismo, tenemos lo siguiente:

    Teorema\(\PageIndex{6}\)

    Dejar\(G\) ser un grupo y\(N\) un subconjunto de\(G\text{.}\) Entonces\(N\) es un subgrupo normal de\(G\) si y solo si\(N\) es el núcleo de un homomorfismo de\(G\) a algún grupo\(G'\text{.}\)


    This page titled 8.3: Introducción a los grupos factoriales 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.