4 votos

El isomorfismo de módulo de $R$ a $R \oplus R$ para cierto anillo $R.

Mi libro de texto dice: Sea $R$ el conjunto de matrices infinitas por infinitas, con filas y columnas finitas con entradas complejas. Demuestra que $R \cong R \oplus R$ como módulos sobre $R$.

Entonces, para $A, B \in R$, intenté $(A, B) \to A + B, (A, B) \to A, (A, B) \to \left( \begin{array}{cc} A & 0 \\ 0 & B \end{array} \right),$ y $(A, B) \to C$ donde las filas de número impar de $C$ son de $A$ y las filas de número par de $C$ son de $B$, pero ninguno de ellos resultó ser un isomorfismo según mis cálculos y estoy bastante seguro de que el tercero ni siquiera está bien definido. ¿Cómo puedo exhibir un isomorfismo entre $R$ y $R \oplus R$?

4voto

Rolf Hoyer Puntos 7474

El método descrito donde entrelazas las filas proporciona una biyección bien definida, porque una columna tiene solo un número finito de entradas diferentes de cero exactamente cuando tiene solo un número finito de entradas impares diferentes de cero y solo un número finito de entradas pares diferentes de cero.

El problema es que esta biyección no respeta la acción de $R$, suponiendo que la acción sea a la izquierda. Esto se soluciona haciendo la misma construcción con columnas impares y pares en lugar de filas.

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