6 votos

Módulo libre tal que $R=R\oplus R$

Me preguntaba si lo siguiente es correcto:

Dejemos que $V=\bigoplus_{i\in\mathbb N}\mathbb Z$ y $R=\text{Hom}_{\ \mathbb Z}(V,V)$ . Mira $R$ como $R$ -módulo. Entonces $R$ está libre de rango $1$ con base $\{\text{id}_{V}\}$ . Ahora define un mapa $\phi$ de la siguiente manera:

Map \phi donde $f_i: V \to \mathbb Z$ para cada $f\in R$ son mapas lineales. Entonces $\phi$ es un isomorfismo de $R$ -módulos.

¿Puedo concluir lo siguiente?

(1) Ya que $\phi$ es un isomorfismo de $R$ -tenemos $R\cong R^2$ .

(2) Debido a (1) tenemos $R^n\cong R^m$ para cualquier $n,m\in\mathbb N$ .

(3) Debido a (2) tenemos que $R$ como $R$ -módulo está libre de rango $k$ para cualquier $k\in\mathbb N$ .

1 votos

Sin sentarme a trabajar en los detalles, mi conjetura es que $\phi$ es un $\mathbb Z$ -lineal pero no un mapa $R$ -mapa lineal.

0voto

Berci Puntos 42654

El problema es, como adivinó Greg Martin, que su $\phi$ es no $R$ -lineal . Dejemos que $1$ denotan $\mathrm{id}_V\in R$ y $f\in R$ arbitrario, entonces $$\phi(f\cdot 1) \ne f\cdot \phi(1)\ .$$

0 votos

Mhm, básicamente estaba tratando de encontrar un isomorfismo explícito para el siguiente ejemplo: img42.imageshack.us/img42/9227/modulesi.jpg de math.lsu.edu/~adkins/m7211/AWchap3.pdf véase la Observación 6.19 (2).

0 votos

Ok. Ya no estoy tan seguro.. ¿Has verificado mi declaración de desigualdad? También podría haber pasado algo por alto ..

0 votos

Parece que esta respuesta muestra que $\phi$ es efectivamente un isomorfismo de $R$ -módulos.

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