4 votos

Un grupo abelian calificado y un mapa graduado

Tengo una elemental pregunta acerca de una gradual abelian grupo y gradual mapa. Aquí está la situación.

Deje $A$ libre abelian grupo de clasificación $2$ atravesado por $1$$x$. Hagamos $A$ ser gradual abelian grupo mediante la asignación de grado $-1$ $1$y el grado $1$$x$. Definimos una multiplicación mapa de $m: A \otimes A \to A$ como sigue: $m(1\otimes1)=1, m(1\otimes x)=m(x\otimes 1)=x, m(x \otimes x)=0$. A continuación, $m$ es graduado mapa de grado $1$.

Estoy confundido como la gradación de las obras con este mapa de $m$. Desde $m$ tiene el grado $1$, envía un elemento de grado $n$ a un elemento de grado $n+1$, ¿verdad?

Desde $1$ tiene el grado $-1$, el elemento $1\otimes 1$ tiene el grado $-2$, y se asigna a $1 \in A$, que tiene un grado $1$, por lo que está bien.

Desde $x$ tiene el grado $1$ $1 \otimes x$ tiene el grado $0$, y se asigna a $x$ , que tiene un grado $1$. Entonces está bien.

Sabemos $A$ es un producto directo de dos grupos generados por $1$$x$. Así que cada elemento es de grado $-1$ o $1$, ¿no? Es el elemento $0\in A$ grado $0$?

Otra pregunta es sobre el mapa de $m(x \otimes x)=0$. El elemento $x \otimes x$ tiene el grado $2$, pero el elemento $0\in A$ no está de grado $3$ derecho? Entonces, ¿por qué el título del mapa $m$$1$?

Podría alguien aclarar estas?

1voto

Jeff Puntos 804

La calificación se da aquí con respecto a la multiplicativo (!) grupo $\{+1,-1\}$. Desde $1$ es el elemento neutro de este grupo, por "calificada mapa de grado $1$" simplemente nos referimos a un gradual mapa. Esta ya la respuesta a todas sus preguntas:

1) no Hay ningún elemento de grado $0$. El cero pertenece a grados $+1$$-1$, y de hecho es el único elemento.

2) $1 \otimes 1$ $x \otimes x$ tienen un grado $1$, y se asignan a $1$$0$, que tienen tanto de grado $1$. Además, $1 \otimes x$ $x \otimes 1$ tienen un grado $-1$, que se asignan a $x$, que tiene un grado $-1$. Por lo tanto, $m$ es gradual.

Por el camino, uno puede construir $m$ más elegante de la siguiente manera: El anillo de $\mathbb{Z}[x]$ $\mathbb{Z}$- graduado. De ello se desprende que $\mathbb{Z}[x]/(x^2)$ $\mathbb{Z}/2$ - o $\{+1,-1\}$-graduado. Ahora $A$ es isomorfo a su subyacente abelian grupo. Por lo tanto, $A$ se convierte en un gradual conmutativa anillo de tal manera que es isomorfo a $\mathbb{Z}[x]/(x^2)$ como graduado anillo conmutativo.

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