1 votos

Sea $G,K$ sean grupos con $H\le G$ . No siempre es posible extender un homomorfismo $\sigma:H\to K$ a $G$

Esto es Ejercicio 4.2 de Roman, "Fundamentos de la teoría de grupos: Un enfoque avanzado" . Según esta búsqueda MSE y esta búsqueda Approach0 es nuevo en MSE.

La pregunta:

Sea $G$ y $K$ sean grupos con $H\le G$ . Demostrar que no siempre es posible extender un homomorfismo $\sigma:H\to K$ a $G$ .

Pensamientos:

Esto parece, prima facie como un trabajo para los casos extremos, como $K$ (y por tanto $H$ ) siendo trivial, aunque no he encontrado nada; la solución parece más escurridiza que eso.

Mi segunda idea vino en forma de suponer $G$ y $K$ son finitos, entonces empleando algún truco -todavía no sé cuál- con los órdenes de los grupos implicados, como el Teorema de Lagrange para el subgrupo $H$ en $K$ con el objetivo de conseguir $\lvert \sigma'(G)\rvert\nmid \lvert K\rvert$ de alguna manera, para alguna extensión potencial $\sigma':G\to K$ . Esto parece factible al principio pero, después de un tiempo, tengo dudas.


Además, no estoy del todo seguro de si la extensión es de $H$ a $G$ o de $K$ a $G$ (si entiendes lo que quiero decir). La palabra "extensión" sólo se define una vez antes del ejercicio ibid. pero es en un contexto totalmente diferente. Para completar, aquí está esa definición:

Sea $G$ sea un grupo. Nos referimos a los subgrupos $H$ y $K$ de $G$ para lo cual $H\le K$ como extensión .

Por favor, ayuda :)

2voto

Thorgott Puntos 23

La división por $2$ mapa $2\mathbb{Z}\rightarrow\mathbb{Z},\,k\mapsto k/2$ es un homomorfismo de grupo de buena fe, pero no puede extenderse a un homomorfismo de grupo $\mathbb{Z}\rightarrow\mathbb{Z}$ para dicha extensión $\tilde{f}$ tendría que satisfacer $$1=f(2)=\tilde{f}(2)=2\tilde{f}(1),$$ pero no existe tal número entero $\tilde{f}(1)$ existe.

1voto

Daniel Apsley Puntos 16

El ejemplo del otro comentarista era mejor, pero aquí tienes uno usando grupos simples. Supongamos que $G$ es un grupo simple no cíclico y sea $n$ sea el orden de $\sigma \in G$ y tomar el isomorfismo natural $f: \langle \sigma \rangle \to \mathbb{Z}/n\mathbb{Z}$ . Entonces, si $f$ extendido a un homomorfismo $F: G \to \mathbb{Z}/n\mathbb{Z}$ sería un isomorfismo ya que su núcleo tendría que ser trivial por la simplicidad de $G$ contradiciendo el hecho de que $G$ no era cíclico.

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X