Saltar al contenido principal
LibreTexts Español

8.1: Motivación

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

    Mencionamos anteriormente que dado un subgrupo\(H\) de\(G\text{,}\) nos gustaría usar para llegar\(H\) a alguna comprensión de la estructura completa de\(G\)'s. Recordemos que hemos definido\(G/H\) como el conjunto de todos los cosets izquierdos de\(H\) en\(G\text{.}\) Lo que nos gustaría hacer ahora es equipar\(G/H\) con alguna operación bajo la cual\(G/H\) es un grupo! La forma natural de hacerlo sería definir la multiplicación\(G/H\) por

    \ begin {ecuación*} (aH) (bH) =ABh\ texto {para todos} a, b\ en G.\ end {ecuación*}

    Bien, ¡así que hagámoslo! Pero espera: estamos definiendo esta operación haciendo referencia a los representantes del coset, así que será mejor que nos aseguremos de que nuestra operación esté bien definida. Sólo que tristemente resulta que en general esta operación no está bien definida. Por ejemplo:

    Ejemplo\(\PageIndex{1}\)

    Let\(H=\langle (12)\rangle\) in\(S_3\text{,}\) y\(b=(132)\text{.}\) let\(a=(13)\)\(x=aH\) y Let y\(y=bH\) in\(S_3/H\text{.}\) Luego usando la operación anteriormente definida en\(G/H\) tendríamos

    \ comenzar {ecuación*} xy= (aH) (bH) =ABh= (13) (132) H= (23) H.\ final {ecuación*}

    Pero también\(x=(123)H\) y\(y=(23)H\text{,}\) así también tendríamos

    \ comenzar {ecuación*} xy= ((123) H) ((23) H)) = (123) (23) H= (12) H=H\ neq (23) H.\ final {ecuación*}

    Entonces esta operación no está bien definida.

    La pregunta para nosotros ahora se convierte\(H\)\(G\) en: qué condiciones deben contener para poder operar

    \ begin {ecuación*} (aH) (bH) =ABh\ end {ecuación*}

    en\(G/H\) estar bien definido? Resulta que esta operación está bien definida exactamente cuando\(H\) es normal en\(G\text{!}\) Nosotros lo declaramos en el siguiente teorema:

    Teorema\(\PageIndex{1}\)

    Deja\(H\leq G\text{.}\) Entonces la operación

    \ begin {ecuación*} (aH) (bH) =ABh\ end {ecuación*}

    en\(G/H\) is well-defined if and only if \(H \unlhd G\text{.}\)

    Prueba

    Primero, supongamos que la operación descrita está bien definida. Vamos\(a∈G\); queremos mostrar eso\(aH=Ha\).

    Bueno, vamos\(x∈aH\). Entonces

    \((xH)(a^{−1}H)=xa^{−1}H\)

    y, desde\(xH=aH\)

    \((xH)(a^{−1}H)=(aH)(a^{−1}H)=aa^{−1}H=H\).

    Dado que nuestra operación en\(G/H\) está bien definida, esto significa que\(xa^{−1}H=H\), así\(xa^{−1}∈H\); así,\(x∈Ha\). Concluimos que\(aH⊆Ha\). La prueba que\(Ha⊆aH\) es similar. Entonces\(aH=Ha\), y así, ya que\(a∈G\) era arbitrario,\(H\) es normal en\(G\).

    Por el contrario, supongamos\(H⊴G\). Dejar\(a_1,a_2,b_1,b_2∈G\) con\(a_1H=a_2H\) y\(b_1H=b_2H\). Queremos mostrar eso entonces\(a_1b_1H=a_2b_2H\), es decir, eso\((a_2b_2)^{−1}a_1b_1∈H\). Bueno, ya\(a_1H=a_2H\) que tenemos\(a_2^{−1}a_1∈H\). Entonces

    \((a_2b_2)^{−1}a_1b_1=b_2^{−1}(a_2^{−1}a_1)b_1∈b_2^{−1}Hb_1\).

    A continuación\(H⊴G\), ya que\(Hb_1=b_1H\), tenemos, así\(b_2^{−1}Hb_1=b^{−1}_2b_1H\); pero desde\(b_1H=b_2H\), tenemos\(b_2^{−1}b_1∈H\), así\(b^{−1}_2b_1H=H\). Así,\((a_2b_2)^{−1}a_1b_1∈H\), como se desee.

    Es claro que los subgrupos normales serán muy importantes para nosotros en el estudio de las estructuras grupales. Por lo tanto, pasamos algún tiempo mirando los subgrupos normales antes de volver a equipar\(G/H\) con una estructura grupal.


    This page titled 8.1: Motivación 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.