1 votos

El significado de " $ms$ " donde $m\in \mathbb Z$ y $s\in R$

Estoy tratando de resolver el siguiente ejercicio:

Dejemos que $R$ ser un anillo sin identidad. Sea $T$ sea el conjunto $R \times \mathbb{Z}$ . Definir la adición como $(r,m) + (s,n) = (r+s, m+n)$ y la multiplicación como $(r,m)(s,n) = (rs + ms + nr, mn)$ . Demostrar que $T$ es un anillo con identidad.

La forma en que he tratado de resolver esto es estableciendo primero $(r,m)(s,n) = (r,m)$ . Con $n=1$ esto da $mn = m$ por lo que tenemos $(r,m)(s,1) = (rs+ms+r, m)$ .

A continuación estaba pensando en poner $s = 0_R$ es decir, el elemento cero de $R$ (que existe desde $R$ es un anillo). Lo que me confunde es el significado de, por ejemplo $ms = m0_R$ ya que estamos multiplicando $m\in \mathbb{Z}$ con el elemento $s = 0_R \in R$ . Sabemos que la multiplicación por $0_R$ y un elemento de $R$ da el producto $0_R$ pero ¿qué pasa con la multiplicación de un elemento en $R$ con un elemento en $\mathbb{Z}$ ? Y si este no es el camino a seguir, ¿alguien tiene un consejo sobre cómo resolverlo en su lugar?

2voto

Troposphere Puntos 436

La notación $mr$ en su definición de multiplicación debe entenderse como $$ mr = \begin{cases} \underbrace{r+\cdots+r}_{m\text{ times}} & \text{if }m>0 \\ 0_R & \text{if }m=0 \\ -((-m)r) = \underbrace{(-r)+\cdots+(-r)}_{|m|\text{ times}} & \text{if }m<0 \end{cases}$$

Esta es la "multiplicación escalar" estándar utilizada para convertir cualquier grupo abeliano en un $\mathbb Z$ -(en cuyo caso los axiomas del módulo implican que es el sólo multiplicación que funciona correctamente), y aparentemente su libro lo considera conocido u obvio...

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