6: Productos Directos de Grupos

Última actualización
Guardar como PDF

Page ID: 118559

$ \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}$

Recordemos que el producto cartesiano$X_1 \times X_2 \times \dots \times X_n$ de$n$ conjuntos$X_1, X_2, \dots, X_n$ es el conjunto de todas las$n$ tuplas ordenadas$(x_1,x_2, \dots, x_n)$ donde$x_i \in X_i$ para todos$i \in \{ 1, 2, \dots, n\}$. La igualdad para$n$ -tuplas se define por\[(x_1,x_2, \dots, x_n)=(y_1,y_2, \dots, y_n) \Longleftrightarrow \mbox{ $x_i = y_i$ for all $i \in \{1,2, \dots, n \}$}.\]

Definición 6.1:

Si$G_1, G_2, \dots, G_n$ es una lista de$n$ grupos hacemos el producto cartesiano$G_1\times G_2 \times \dots \times G_n$ en un grupo definiendo la operación binaria\[(a_1,a_2, \dots, a_n) \cdot (b_1, b_2, \dots, b_n) = (a_1 \cdot b_1, a_2 \cdot b_2, \dots, a_n \cdot b_n).\] Aquí para cada$i \in \{ 1, 2, \dots, n \}$ producto$a_i \cdot b_i$ es el producto de$a_i$ y $b_i$en el grupo$G_i$. Llamamos a este grupo el producto directo de los grupos$G_1, G_2, \dots, G_n$.

Como ejemplo, considere el producto directo$\mathbb{Z}_2 \times \mathbb{Z}_3$ de los dos grupos$\mathbb{Z}_2$ y$\mathbb{Z}_3$. \[\mathbb{Z}_2 \times \mathbb{Z}_3 = \{ (0,0), \ (0,1), \ (0,2), \ (1,0), \ (1,1), \ (1,2) \}.\]Agregamos módulo 2 en la primera coordenada y módulo 3 en la segunda coordenada. Dado que la operación binaria en cada factor es la suma, utilizamos$+$ para la operación en el producto directo. Entonces, por ejemplo, en este grupo\[(1,1) + (1,1) = (1 + 1, 1 + 1) = (0,2).\] La identidad es clara$(0,0)$ y, por ejemplo, la inversa de$(1,1)$ es$(1,2)$. Es claro que se trata de un grupo. De manera más general tenemos el siguiente resultado.

Teorema$\PageIndex{1}$

Si$G_1, G_2, \dots, G_n$ es una lista de$n$ grupos el producto directo$G=G_1\times G_2 \times \dots \times G_n$ como se definió anteriormente es un grupo. Además, si para cada uno$i$,$e_i$ es la identidad de$G_i$ entonces$(e_1,e_2, \dots, e_n)$ es la identidad de G, y si\[\mathbf{a} = (a_1,a_2, \dots, a_n) \in G\] entonces la inversa de$\mathbf{a}$ viene dada por\[\mathbf{a}^{-1} = (a_1^{-1},a_2^{-1}, \dots, a_n^{-1})\] donde$a_i^{-1}$ es la inversa de $a_i$en el grupo$G_i$. $\blacksquare$

Problema 6.1 Demostrar el teorema anterior para el caso especial$n=2$.

Problema 6.2 Encuentra el orden de cada uno de los siguientes grupos. También dar la identidad de cada grupo y la inversa de un solo elemento del grupo distinto de la identidad.

$\mathbb{Z}_2 \times \mathbb{Z}_2$
$\mathbb{Z}_3 \times S_3 \times U_5$
$\mathbb{Z}\times \mathbb{Z}_3 \times \mathbb{Z}_2$
$GL(2,\mathbb{Z}_2) \times \mathbb{Z}_4 \times U_7 \times \mathbb{Z}_2$

Search

Text Color

Text Size

Margin Size

Font Type