Problema Demostrar que no existe ningún homomorfismo $f:\mathbb { Z } / n \mathbb { Z } \rightarrow \mathbb { Z }$
Mi intento: Por contradicción, supongamos que existe como tal. Entonces tenemos $0 = f(0) = f(n \cdot \overline { 1 })=n\cdot f(\overline { 1 })= n$ . Absurdo.
¿Qué te parece mi solución?
2 votos
Adivinando por tu nombre de usuario, supongo que te refieres al homomorfismo de anillos (unitales) . Que siempre debes añadir si no está absolutamente claro por el contexto. Como de lo contrario, le preguntaría aquí: ¿Cómo sabes que $f(\overline{1})=1$ ?
0 votos
Esto es correcto. Dependiendo de la audiencia puede ser necesario especificar que $n \cdot x$ significa $x + x + \ldots + x$ donde el número total de $x$ en la expresión es $x$ pero, francamente, supongo que para la mayoría de los lectores eso es obvio.
0 votos
@TorstenSchoeneberg $f ( \overline { 1 } ) = 1 ?$ por la definición de homomorfismo. ¿Qué quieres decir con mi nombre de usuario?
0 votos
¡Ja! Estaba asumiendo un homomorfismo de grupos abelianos (de ahí la necesidad de aclarar lo de "externo $\mathbb{Z}$ acción) por lo que esta diferencia de interpretación entre Torsten y yo subraya el punto de Torsten de que debe quedar claro cuáles son los objetos
0 votos
@ ¿podría explicar por qué el homomorfismo cero es un homomorfismo? Desde wikipedia (y también mi curso) un homomorfismo necesita $f \left( 1 _ { R } \right) = 1 _ { S }$ es decir, *la unidad (identidad multiplicativa) se conserva$. Pero, ¿cómo es cierto para el homomorfismo cero?
0 votos
En ese caso, tu trabajo está bien: tu pregunta requería más contexto, como se muestra en los comentarios, sin embargo, con el contexto ahora aclarado, está claro que has marcado todas las casillas correctas.
0 votos
También debería añadir: ya que no hay nada más que decir realmente, por favor, añada una respuesta usted mismo, acéptela (o alguna otra respuesta si ha llegado) y cierre la pregunta.
0 votos
@ Muy bien, muchas gracias :)
0 votos
+1, ¡De nada! Hablando de eso hay una respuesta más abajo.