🔢 mathematics

A constructive proof of Orzech's theorem

Este artículo presenta una demostración constructiva del teorema de Orzech, que establece que cualquier homomorfismo de módulos desde un submódulo de un módulo finitamente generado sobre un anillo conmutativo con unidad hacia el mismo módulo es un isomorfismo, utilizando para ello el teorema de Cayley-Hamilton.

Autores originales: Darij Grinberg

Publicado 2026-04-16

📖 5 min de lectura🧠 Análisis profundo

CC0 1.0

Autores originales: Darij Grinberg

Artículo original dedicado al dominio público bajo CC0 1.0 (http://creativecommons.org/publicdomain/zero/1.0/). ✨ Esta es una explicación generada por IA del artículo a continuación. No ha sido escrita ni avalada por los autores. Para mayor precisión técnica, consulte el artículo original. Leer descargo de responsabilidad completo

La Magia de "Orzech": Cómo demostrar que un empaquetado perfecto no puede tener huecos

Imagina que eres un arquitecto de cajas en un mundo donde las reglas son un poco extrañas (este es el "anillo conmutativo" del que habla el texto). Tienes una caja grande llamada M (un módulo) que está llena de objetos. Esta caja es "finitamente generada", lo que significa que, aunque tenga muchos objetos, todos ellos se pueden construir combinando un número limitado de "bloques de construcción" básicos.

Ahora, tienes una sub-caja más pequeña dentro de la grande, llamada N. Tienes un mecánico llamado f (una función o homomorfismo) que toma objetos de la sub-caja N y los mueve a la caja grande M.

El problema que resuelve este paper es el siguiente:
El mecánico f es saturado. Esto significa que cuando termina su trabajo, la caja grande M está completamente llena. No falta ni un solo objeto; cada lugar de M tiene algo puesto.

La pregunta mágica es: ¿Es posible que el mecánico haya "aplastado" o "mezclado" dos objetos diferentes de la caja pequeña N para crear un solo objeto en M? ¿O, por el contrario, ¿significa que, como M está lleno y N es una parte de M, el mecánico tuvo que haber movido cada objeto de N a un lugar único en M, sin repetir ni perder ninguno?

El Teorema de Orzech (1971) dice: Sí, es un movimiento perfecto. Si la caja de destino está llena y la caja de origen es una parte de ella, entonces el movimiento fue una correspondencia perfecta uno a uno (un isomorfismo). No hubo aplastamientos ni pérdidas.

El problema anterior: La prueba "mágica" y no constructiva

Antes de este paper, la prueba de que esto era cierto (hecha por Morris Orzech) era como un truco de magia. Decía: "Si no fuera un movimiento perfecto, llegaríamos a una contradicción lógica, por lo tanto, debe serlo".
El problema es que esa prueba usaba un tipo de lógica que no te dice cómo encontrar la correspondencia exacta. Es como decir: "Este candado se abrirá, confía en mí", pero sin darte la llave. En matemáticas "constructivas", queremos la llave, queremos ver el mecanismo.

La nueva solución: El Teorema de Cayley-Hamilton (La "Máquina del Tiempo")

El autor, Darij Grinberg, ofrece una prueba constructiva. Usa una herramienta famosa llamada el Teorema de Cayley-Hamilton.

La analogía de la máquina del tiempo:
Imagina que el movimiento del mecánico (f) es como un motor que tiene una "memoria" o un "patrón" oculto. El Teorema de Cayley-Hamilton nos dice que cualquier motor de este tipo tiene una fórmula secreta (un polinomio) que, si la aplicas al motor, hace que se detenga en cero.

Grinberg usa esta fórmula para demostrar algo increíble:

Si intentas mezclar dos objetos (hacer que el movimiento no sea uno a uno), la "fórmula secreta" del motor te obliga a que, eventualmente, el objeto mezclado tenga que ser cero (desaparecer).
Pero como la caja de destino está llena (es suryectiva), no puedes tener objetos que desaparezcan sin dejar rastro.
Por lo tanto, la única opción lógica es que ningún objeto se mezcló. Cada objeto de la caja pequeña fue a un lugar único.

El proceso paso a paso (simplificado)

El escenario: Tienes una caja pequeña N dentro de una grande M. Tu función f llena M usando solo lo que viene de N.
El truco: El autor construye una "caja auxiliar" (un submódulo) que contiene los objetos problemáticos (los que podrían haberse mezclado).
La aplicación de la fórmula: Usa el Teorema de Cayley-Hamilton (la fórmula del motor) sobre esta caja auxiliar. La fórmula dice: "Si aplicas esta operación especial a los objetos, el resultado es cero".
La deducción: Al analizar la fórmula, se da cuenta de que si hubiera habido una mezcla (dos objetos que se convirtieron en uno), la fórmula obligaría a que uno de esos objetos fuera "nada" (cero).
La conclusión: Como la caja de destino está llena, no puede haber "nada" oculto. Por lo tanto, no hubo mezcla. La función es perfecta.

¿Por qué es importante esto?

En el mundo de las matemáticas "constructivas" (que son como las matemáticas de la computación o la ingeniería), no basta con saber que algo existe; necesitas poder construirlo o verlo paso a paso.

La prueba antigua de Orzech era como decir: "Existe una llave, pero no te la voy a mostrar".
Esta nueva prueba es como decir: "Aquí tienes la llave, y aquí te explico cómo forjarla usando el Teorema de Cayley-Hamilton".

En resumen

Este paper toma un teorema antiguo y misterioso sobre cómo se llenan las cajas matemáticas y le da una explicación clara, paso a paso, usando una herramienta clásica de las matrices (Cayley-Hamilton). Demuestra que si una parte de un sistema finito llena todo el sistema, esa parte no puede estar "aplastada"; tiene que ser una copia exacta y perfecta del todo.

Es como si te dijera: "Si logras llenar un balde de agua usando solo una taza pequeña, y el balde no tiene agujeros, entonces la taza no puede estar rota ni goteando; tiene que ser perfecta". Y lo mejor es que el paper te muestra exactamente cómo verificar que la taza no gotea.

A continuación presento un resumen técnico detallado del artículo "A constructive proof of Orzech's theorem" (Una prueba constructiva del teorema de Orzech) de Darij Grinberg, basado en el texto proporcionado.

1. Planteamiento del Problema

El artículo aborda un problema fundamental en la teoría de módulos sobre anillos conmutativos. El Teorema 0.1 (Teorema de Orzech, 1971) establece que si $A$ es un anillo conmutativo con unidad y $M$ es un $A$ -módulo finitamente generado, entonces cualquier homomorfismo de módulos $f: N \to M$ que sea sobreyectivo, donde $N$ es un submódulo de $M$ , debe ser necesariamente un isomorfismo.

Este resultado generaliza el conocido Corolario 0.2 (de Vasconcelos), que afirma que cualquier endomorfismo sobreyectivo de un módulo finitamente generado es un isomorfismo.

El desafío principal: La demostración original de Orzech (con correcciones posteriores) no es constructiva. Se basa en reducir el problema al caso de anillos noetherianos y utiliza propiedades de estos que no son válidas o demostrables dentro de la matemática constructiva (que evita el uso del axioma de elección o la ley del tercero excluido en ciertas formas). El objetivo de Grinberg es proporcionar una prueba que sea válida en el marco de las matemáticas constructivas.

2. Metodología

La estrategia central de Grinberg es el uso del Teorema de Cayley-Hamilton como herramienta principal, evitando reducciones a casos noetherianos. La metodología se desarrolla en los siguientes pasos:

Fundamentos Algebraicos: Se define el polinomio característico $\chi_M$ de una matriz $M$ sobre un anillo conmutativo $A$ como $\det(X \cdot I_n - M)$ . Se invoca el Teorema de Cayley-Hamilton (Teorema 0.3), que establece que $\chi_M(M) = 0$ .
Corolario de Cayley-Hamilton (Corolario 0.4): Se deduce que para cualquier matriz cuadrada $M$ de tamaño $n \times n$ , existe un $(n+1)$ -tupla de coeficientes $(c_0, \dots, c_n)$ tal que $c_0 I + c_1 M + \dots + c_n M^n = 0$ con $c_n = 1$ (es decir, el polinomio es mónico).
Lema de Invariancia (Lema 0.5): Se demuestra un resultado técnico crucial: Si $g: A^n \to A^n$ $g : A^{n} \to A^{n}$ es un mapa lineal y $V$ $V$ es un submódulo de $A^n$ $A^{n}$ tal que $g^{-1}(V) \subseteq V$ $g^{- 1} (V) \subseteq V$ , entonces necesariamente $g(V) \subseteq V$ $g (V) \subseteq V$ .
- Técnica de prueba: Se utiliza inducción sobre el grado del polinomio característico. Se demuestra que ciertas combinaciones lineales de potencias de la matriz $M$ (que representa a $g$ ) preservan el submódulo $V$ , aprovechando la relación de recurrencia dada por el polinomio característico.
Reducción a Generación Finita (Lema 0.6): Se prueba el teorema para el caso donde el submódulo de origen $N$ $N$ es finitamente generado (aunque $M$ $M$ no lo sea necesariamente, aunque en el contexto final ambos lo son).
- Se construye un diagrama conmutativo utilizando una base libre $A^n \to N \to M$ .
- Se define un endomorfismo auxiliar $g$ en $A^n$ tal que $f \circ p \circ g = p$ , donde $p$ es la proyección de $A^n$ a $N$ .
- Se aplica el Lema 0.5 al núcleo de la composición $f \circ p$ para demostrar que el núcleo de $f$ es trivial.
Prueba General (Teorema 0.1): Para el caso general donde $M$ es finitamente generado, se toma un elemento arbitrario $v \in \text{Ker}(f)$ . Se construye un submódulo $N'$ generado por $v$ y preimágenes de los generadores de $M$ . Dado que $N'$ es finitamente generado, se aplica el Lema 0.6 a la restricción $f|_{N'}$ , demostrando que $v$ debe ser cero.

3. Contribuciones Clave

Prueba Constructiva: La contribución más significativa es la eliminación de la dependencia de la propiedad noetheriana y del axioma de elección. La prueba es puramente algebraica y algorítmica en su naturaleza, lo que la hace válida en contextos de matemática constructiva (como la teoría de tipos o lógica intuicionista).
Uso Directo de Cayley-Hamilton: Grinberg demuestra cómo el Teorema de Cayley-Hamilton, a menudo reservado para espacios vectoriales sobre cuerpos, puede aplicarse de manera efectiva sobre anillos conmutativos generales para resolver problemas de inyectividad en módulos.
Generalización Explícita: Se proporciona una demostración directa del teorema general de Orzech, que anteriormente solo se conocía a través de reducciones complejas a casos noetherianos.

4. Resultados Principales

Teorema 0.1 (Demostrado): Si $A$ es un anillo conmutativo con unidad, $M$ un $A$ -módulo finitamente generado, $N \subseteq M$ un submódulo y $f: N \to M$ un homomorfismo sobreyectivo, entonces $f$ es un isomorfismo.
Corolario 0.2 (Demostrado): Como caso particular, cualquier endomorfismo sobreyectivo de un módulo finitamente generado es un isomorfismo.
Lema 0.5 (Demostrado): Establece una propiedad de estabilidad de submódulos bajo preimágenes de endomorfismos lineales, que es el núcleo técnico de la demostración constructiva.

5. Significado e Implicaciones

Validez Constructiva: El trabajo cierra una brecha teórica importante al mostrar que un resultado clásico de álgebra conmutativa no depende de principios no constructivos. Esto es vital para la informática teórica y la verificación formal de pruebas matemáticas.
Nuevas Perspectivas: La demostración sugiere que herramientas de álgebra lineal (como polinomios característicos) tienen una aplicabilidad más profunda en la teoría de módulos sobre anillos generales de lo que se pensaba anteriormente.
Preguntas Abiertas: El autor concluye planteando dos preguntas abiertas relacionadas:
1. ¿Existe una prueba constructiva para la versión multiplicativa del teorema (sobre álgebras finitamente generadas, teorema de Matsumura)?
2. ¿Existe una variante análoga del Teorema de Orzech para álgebras en lugar de módulos?

En resumen, el artículo de Grinberg ofrece una reestructuración elegante y rigurosa de un teorema clásico, reemplazando argumentos de existencia abstracta por construcciones algebraicas explícitas basadas en el Teorema de Cayley-Hamilton.