Sea Z [x] el anillo de polinomios con coeficientes enteros.
Necesito ayuda para demostrar que, dado cualquier número natural m, existe una colección de polinomios m, de manera que el ideal generado por estos no se genera por ninguna colección de polinomios m-1. Es decir, hay ideales de todas las dimensiones en Z [x].
Donde por "dimensión" de un ideal J, me refiero al menor número de elementos necesarios para generar J.