6 votos

¿Qué propiedades tiene el anillo polinómico $\mathcal{R}[X]$ heredan del anillo $\mathcal{R}$ ?

He aprendido que

  • $\mathcal{R}$ es conmutativo → $\mathcal{R}[X]$ es conmutativo

  • $\mathcal{R}$ no tiene divisores cero → $\mathcal{R}[X]$ no tiene divisores cero

  • $\mathcal{R}$ es unital → $\mathcal{R}[X]$ es unital

  • $\mathcal{R}$ es factorial → $\mathcal{R}[X]$ es factorial

  • $\mathcal{R}$ es Noetheriano → $\mathcal{R}[X]$ es noetheriano

¿Qué otras propiedades de un anillo de polinomios se heredan de su anillo de coeficientes?


Lista de propiedades a partir de los comentarios y respuestas que aparecen a continuación (sin créditos):

  • $\mathcal{R}$ es reducido → $\mathcal{R}[X]$ se reduce

  • $\mathcal{R}$ es Abeliano → $\mathcal{R}[X]$ es abeliana

  • $\mathcal{R}$ es no singular → $\mathcal{R}[X]$ es no singular

  • $\mathcal{R}$ es 2-primal → $\mathcal{R}[X]$ es 2-primal

  • $\mathcal{R}$ es Armendariz → $\mathcal{R}[X]$ es Armendáriz

  • $\mathcal{R}$ tiene característica $n$ → $\mathcal{R}[X]$ tiene la característica $n$

  • $\mathcal{R}$ tiene finito Dimensión de Krull → $\mathcal{R}[X]$ tiene una dimensión de Krull finita

  • $\mathcal{R}$ tiene finito dimensión homológica global → $\mathcal{R}[X]$ tiene una dimensión homológica global finita

0 votos

Pues bien, cualquier afirmación de la forma "existe un elemento tal que..." se heredará.

0 votos

¿Es esto evidente? ¿Es lo mismo para "existe un subring tal que..."?

0 votos

Ah, y un ejemplo "adecuado" que probablemente debería añadirse es "reducido".

2voto

efalcao Puntos 3332

Algunos ejemplos:

"tiene una dimensión Krull finita"

"tiene una dimensión homológica global finita"

"tiene características $n$ ", para cualquier $n$

2voto

rschwieb Puntos 60669

El contenido actual de DaRT dio lugar a esta lista:

Propiedades que pasan a un anillo polinómico de una variable:

anillo no singular, anillo 2-primal, reducido, Armendariz, abeliano, noetheriano derecho.

Propiedades no pasando al anillo polinómico de una variable:

semicomutativo, principal inyectivo derecho, cuasi Frobenius, coherente derecho, booleano, periódico, dominio Goldman, artiniano derecho, dominio/anillo ideal principal derecho, autoinyectivo derecho, simple, regular von Neumann, primitivo derecho, semisimple.

Esto está lejos de estar completo, por supuesto, pero lo estoy añadiendo sobre la marcha.

Creo que probablemente me faltan varios de los bonitos anillos con sabor a geometría algebraica conmutativa de la primera lista, pero no voy a adivinar sin confirmación.

0 votos

¿Qué es un anillo abeliano?

0 votos

0 votos

¿Cómo habría hecho la búsqueda de "propiedades que pasan a un anillo polinómico de una variable" en DaRT? ¿Está predefinido?

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