11.4: Ejercicios
- Page ID
- 111052
\( \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}\)Demostrar que\(\det( AB) = \det(A) \det(B)\) para\(A, B \in GL_2( {\mathbb R} )\text{.}\) Esto demuestra que el determinante es un homomorfismo desde\(GL_2( {\mathbb R} )\) hasta\({\mathbb R}^*\text{.}\)
¿Cuáles de los siguientes mapas son homomorfismos? Si el mapa es un homomorfismo, ¿qué es el núcleo?
- \(\phi : {\mathbb R}^\ast \rightarrow GL_2 ( {\mathbb R})\)definido por
\[ \phi( a ) = \begin{pmatrix} 1 & 0 \\ 0 & a \end{pmatrix} \nonumber \]
- \(\phi : {\mathbb R} \rightarrow GL_2 ( {\mathbb R})\)definido por
\[ \phi( a ) = \begin{pmatrix} 1 & 0 \\ a & 1 \end{pmatrix} \nonumber \]
- \(\phi : GL_2 ({\mathbb R}) \rightarrow {\mathbb R}\)definido por
\[ \phi \left( \begin{pmatrix} a & b \\ c & d \end{pmatrix} \right) = a + d \nonumber \]
- \(\phi : GL_2 ( {\mathbb R}) \rightarrow {\mathbb R}^\ast\)definido por
\[ \phi \left( \begin{pmatrix} a & b \\ c & d \end{pmatrix} \right) = ad - bc \nonumber \]
- \(\phi : {\mathbb M}_2( {\mathbb R}) \rightarrow {\mathbb R}\)definido por
\[ \phi \left( \begin{pmatrix} a & b \\ c & d \end{pmatrix} \right) = b\text{,} \nonumber \]
donde\({\mathbb M}_2( {\mathbb R})\) está el grupo aditivo de\(2 \times 2\) matrices con entradas en\({\mathbb R}\text{.}\)
\(A\)Déjese ser una\(m \times n\) matriz. Mostrar que la multiplicación matricial,\(x \mapsto Ax\text{,}\) define un homomorfismo\(\phi : {\mathbb R}^n \rightarrow {\mathbb R}^m\text{.}\)
\(\phi : {\mathbb Z} \rightarrow {\mathbb Z}\)Déjese dar por\(\phi(n) = 7n\text{.}\) Demostrar que\(\phi\) es un homomorfismo grupal. Encuentra el kernel y la imagen de\(\phi\text{.}\)
Describir todos los homomorfismos desde\({\mathbb Z}_{24}\) hasta\({\mathbb Z}_{18}\text{.}\)
Describir todos los homomorfismos desde\({\mathbb Z}\) hasta\({\mathbb Z}_{12}\text{.}\)
En el grupo\({\mathbb Z}_{24}\text{,}\) let\(H = \langle 4 \rangle\) y\(N = \langle 6 \rangle\text{.}\)
- Enumere los elementos en\(HN\) (generalmente escribimos\(H + N\) para estos grupos de aditivos) y\(H \cap N\text{.}\)
- Enumere los cosets al\(HN/N\text{,}\) mostrar los elementos en cada coconjunto.
- Enumere los cosets al\(H/(H \cap N)\text{,}\) mostrar los elementos en cada coconjunto.
- Dar la correspondencia entre\(HN/N\) y\(H/(H \cap N)\) descrita en la prueba del Teorema del Segundo Isomorfismo.
Si\(G\) es un grupo abeliano y\(n \in {\mathbb N}\text{,}\) mostrar que\(\phi : G \rightarrow G\) definido por\(g \mapsto g^n\) es un homomorfismo grupal.
Si\(\phi : G \rightarrow H\) es un homomorfismo grupal y\(G\) es abeliano, demostrar que también\(\phi(G)\) es abeliano.
Si\(\phi : G \rightarrow H\) es un homomorfismo grupal y\(G\) es cíclico, probar que también\(\phi(G)\) es cíclico.
Mostrar que un homomorfismo definido en un grupo cíclico está completamente determinado por su acción sobre el generador del grupo.
Si un grupo\(G\) tiene exactamente un subgrupo\(H\) de orden\(k\text{,}\) demostrar que\(H\) es normal en\(G\text{.}\)
Demostrar o desacreditar:\({\mathbb Q} / {\mathbb Z} \cong {\mathbb Q}\text{.}\)
Dejar\(G\) ser un grupo finito y\(N\) un subgrupo normal de\(G\text{.}\) Si\(H\) es un subgrupo de\(G/N\text{,}\) probar que\(\phi^{-1}(H)\) es un subgrupo en\(G\) orden\(|H| \cdot |N|\text{,}\) donde\(\phi : G \rightarrow G/N\) está el homomorfismo canónico.
Dejar\(G_1\) y\(G_2\) ser grupos, y dejar\(H_1\) y\(H_2\) ser subgrupos normales de\(G_1\) y\(G_2\) respectivamente. Que\(\phi : G_1 \rightarrow G_2\) sea un homomorfismo. Demostrar que\(\phi\) induce un homomorfismo\(\overline{\phi} : (G_1/H_1) \rightarrow (G_2/H_2)\) si\(\phi(H_1) \subset H_2\text{.}\)
Si\(H\) y\(K\) son subgrupos normales de\(G\) y\(H \cap K = \{ e \}\text{,}\) prueban que\(G\) es isomórfico a un subgrupo de\(G/H \times G/K\text{.}\)
Dejar\(\phi : G_1 \rightarrow G_2\) ser un homomorfismo grupal suryectiva. \(H_1\)Sea un subgrupo normal de\(G_1\) y supongamos que\(\phi(H_1) = H_2\text{.}\) Demostrar o desacreditar que\(G_1/H_1 \cong G_2/H_2\text{.}\)
Que\(\phi : G \rightarrow H\) sea un homomorfismo grupal. Demostrar que\(\phi\) es uno a uno si y solo si\(\phi^{-1}(e) = \{ e \}\text{.}\)
Dado un homomorfismo\(\phi :G \rightarrow H\) definir una relación\(\sim\) sobre\(G\) por\(a \sim b\) si\(\phi(a) = \phi(b)\) para\(a, b \in G\text{.}\) Mostrar esta relación es una relación de equivalencia y describir las clases de equivalencia.