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".
0 votos
Bueno, el "tal que..." necesita no usar ningún "para todos..." para asegurarse de que funciona.
0 votos
¿Es lo mismo para "no existe ningún elemento tal que..."? (ver divisores cero)
0 votos
No necesariamente (ya que los elementos añadidos en el anillo de polinomios podrían satisfacer la condición sin que ningún elemento del anillo lo hiciera).
0 votos
Esta es una versión que se preguntó antes aunque creo que fue en un ámbito más restringido.