Diferencia entre revisiones de «Álgebra Abstracta/Homomorfismos»
Contenido eliminado Contenido añadido
Sin resumen de edición |
|||
Línea 101:
inyectivo, pero no suprayectivo.
<hr>
== Propiedades de los Homomorfismos ==
La definición dada de homomorfismo arriba, es la definición general
de homomorfismo de estructuras<ref>Véase el apéndice [[../Estructuras Algebraicas|La teoría de las Estructuras Algebraicas.]]</ref>. En el caso de los homomorfismos de grupos, tenemos que la primera condición implica a las otras dos.
<b>Proposición 1. (Caracterización de Homomorfismos de Grupoa)</b>. <i> Sean
<math>G</math> y <math>G'</math> grupos. Una función
<math>f: G \rightarrow G'</math> es un homomorfismo, ssi, para todo x, y de G se cumple que
<math>f(x * y)= f(x) *' f(y).</math>'' </i>
<ul><i>
Demostración: </i>
que
lo que implica que <math>f(e) = e'.</math> Por su parte <math>e'= f(e) = f(x *
x^{-1}) = f(x) *'f(x^{-1})</math>; de donde <math>f(x^{-1})= f(x)^{-1}. </math> :Lo
Línea 127 ⟶ 128:
<hr>
{{Ejmpl|Ejemplo (Determinante de Matrices)}}
La función determinante (de matrices) tiene la siguiente propiedad <center><math>\det(AB) = \det(A) \det(B).</math></center>
<b>GL</b><sub>2</sub><math>(\R)</math> en el grupo multiplicativo de los
Reales. Por la proposición, tenemos que el determinante de la matriz identidad
Línea 275 ⟶ 276:
{{Ejmpl|Dos grupos de orden 4 que no son isomorfos}}
Los grupos cíclicos de orden 4, <b>C<sub>4</sub></b> y <b>K</b> (grupo de Klein), vistos a propósito de las tablas de grupo en el capítulo anterior, no son isomorfos. En efecto, en C<sub>4</sub> hay, por definición de grupo cíclico un elemento de orden 4, mientas que en el grupo de Klein todos los elementos diferentes del neutro tienen orden 2. Por lo tanto, los grupos no pueden ser isomorfos.
<hr>
Línea 291 ⟶ 292:
<math>f(a^k) = f(a^j)</math>. Sin perdida de generalidad, podemos suponer que
<math>j \le k</math>, por lo que tenemos que $0 \le j \le k <n$. Se tiene que
▲<math>f(a^k) = f(a^j) \implies b^k=b^j \implies b^{k-j}=e'</math>> Si <math> k
\neq j</math>, <math>k-j</math> sería un número positivo menor que
<math>n</math>. Lo que es imposible, ya que porque por
el menor entero positivo con la propiedad de que <math>a^n=e'.</math>. Luego
<math>k=j</math>, o sea que <math>f</math> es inyectiva. Lo que concluye la
Línea 301:
==== Isomorfismo de Grupos Simétricos ====
Recordemos que el grupo simétrico, <math>\textsf{S}_X</math>, es el grupo
formado por todas las biyecciones del conjunto <math>X</math> en sí mismo.
Probaremos que cuando dos conjuntos tienen igual cantidad de elementos, sus
Línea 310:
Recordemos que dos conjuntos tienen igual cantidad de elementos (o igual
cardinal) cuando, y solo cuando, hay una biyección de un en el otro. Sean ''X'', ''Y''
conjuntos con el mismo cardinal y sea <math>f:X \longrightarrow
función biyectiva que establece la igualdad de cardinales. Definamos <math>S_f:
S_X \rightarrow S_Y</math> tal que para todo <math>\sigma</math> en
Línea 321:
de una biyección de <i>Y</i> en <i>Y</i>, o sea de un elemento de
<math>S_Y</math>. Veamos, ahora, que <math>S_f</math> es un
homomorfismo.
homomorfismo. <center><math> S_f(\sigma \tau) = f (\sigma \tau) f^{-1} =▼
<center><math>
▲
S_f(\sigma \tau ). </math></center> Claramente, la asignación para cada <math>\eta</math> de <math>S_Y</math> de <math>f^{-1} \eta f</math> de <math>S_X</math> es una función inversa de
<math>S_f</math> por lo que <math>S_f</math> es una biyección, lo que
prueba que se trata de un isomorfismo de grupos.
Línea 330 ⟶ 332:
<b>Proposición 6. (Isomorfismo de Grupos Simétricos)</b> <i> Cuando <math>X</math> y <math>Y</math> son conjuntos con igual cantidad de elementos, sus grupos simétricos son congruentes. <math>S_X \cong S_Y</math>.</i>
<b>Corolario 6.1. </b><i> El grupo simétrico de cualquier conjunto con <math>n</math> elementos es isomorfo a <math>S_n</math> el grupo simétrico de <math>
</i>
Línea 344 ⟶ 346:
contenido en <math>\textsf{S}_G</math>.
{{Ejmpl|Automorfismos de <math>C_n=c_{n,a}</math>}}
Sea <math>f: C_n \longrightarrow C_n</math> un automorfismo de grupos. Entonces como
<li>
(n=5) Es fácil ver por inspección, que los generadores de <math>C_5</math> son <math>a^i</math> para <math>i=1, 2, 3, 4</math>. Luego, hay cuatro automorfismos, definidos tales que <math>f_i (a) = a^i</math> para <math>i=1,2,3,4</math>. Observemos
que <math>f_1(a) = a</math> implica que <math>f_1(a^j) =f_1(a)^j = a^j</math>,
es decir que <math>f_1=id</math>, la función identidad, y, por lo tanto, el neutro
Línea 361 ⟶ 360:
Lo que prueba que <math>\rm{Aut}(C_5) \cong C_4.</math>
<li> (n=6) En <math>C_6</math> hay solo dos generadores,
hay solamente dos automorfismos: <math>id:
<math>\sigma:
\cong C_2.</math> </ul> <hr>
Línea 386 ⟶ 385:
<li> Sea <math>H</math> una imagen homomórfica de <math>G</math>. Probar
<ol type="a">
<li> Si <i>G</i> es abeliano, <i>H</i> también lo es.
|