5 votos

Demostrar que no existe ningún homomorfismo $f:\mathbb { Z } / n \mathbb { Z }\rightarrow \mathbb { Z }$

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?

6voto

lhf Puntos 83572

Un homomorfismo de anillo $f:\mathbb { Z } / n \mathbb { Z }\rightarrow \mathbb { Z }$ induce un homomorfismo de grupos aditivos $\mathbb { Z } / n \mathbb { Z }\rightarrow \mathbb { Z }$ . Una ligera generalización de su argumento demuestra que este homomorfismo de grupo es el homomorfismo cero y por tanto $f$ es el mapa cero. Que el mapa cero sea un homomorfismo de anillo depende de tus definiciones.

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