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.
Definición: Multiplicación de Coset Izquierda
Cuando\(H\unlhd G\text{,}\) la operación bien definida\((aH)(bH)=abH\) on\(G/H\) se llama multiplicación de coset izquierdo.
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.