Rings with finitely many zero divisors

Resumen Técnico: Anillos con un número finito de divisores de cero

Título original: Rings with finitely many zero divisors
Autor: Michael Kinyon

1. El Problema

El artículo aborda una pregunta fundamental en la teoría de anillos: ¿qué se puede concluir sobre la estructura y el tamaño de un anillo si conocemos exactamente cuántos divisores de cero posee? Aunque en los cursos introductorios de álgebra abstracta se suele estudiar la distinción entre dominios íntegros (sin divisores de cero) y cuerpos, el autor explora el caso intermedio donde el conjunto de divisores de cero es finito pero no vacío. El problema central es determinar un límite superior para el orden (cardinalidad) del anillo en función del número de sus divisores de cero de dos lados.

2. Metodología

El autor emplea un enfoque elemental, evitando el uso de herramientas avanzadas como la teoría de ideales o cocientes, lo que permite que el resultado sea accesible incluso para estudiantes de cursos introductorios. La metodología se divide en tres etapas:

• Enfoque Combinatorio (Lema 1): Utiliza el principio del palomar y la estructura de los cosets (clases de equivalencia aditivas) para establecer un límite basado en divisores de cero de un solo lado (izquierdos o derechos).
• Reducción de Casos (Teorema Principal): Utiliza la propiedad de cancelabilidad (derivada de la definición de divisor de cero) para demostrar que, si existen divisores de un solo lado que no son de dos lados, el anillo completo puede ser mapeado de forma inyectiva hacia un subanillo con un número controlado de divisores de dos lados.
• Verificación por Exhaución (Proposición): Para el caso de anillos con unidad, utiliza la clasificación de anillos no conmutativos de orden pequeño para demostrar propiedades de conmutatividad.

3. Contribuciones Clave

• Simplificación de Pruebas Existentes: El autor proporciona una demostración mucho más sencilla y directa de resultados previamente establecidos por matemáticos como Ganesan, Koh, Hirano, Corbas y Raghavendran.
• Demostración del Lema de Koh: Presenta una prueba elegante y puramente aritmética del límite $(n+1)^2$ para divisores de un solo lado, utilizando la partición del anillo en conjuntos basados en el producto de elementos.
• Unificación de Conceptos: Conecta la propiedad de ser un divisor de cero con la propiedad de cancelabilidad para extender los límites de los subanillos al anillo original.

4. Resultados Principales

El artículo establece formalmente los siguientes resultados:

• Teorema Principal: Sea $R$ un anillo con exactamente $n > 0$ divisores de cero de dos lados. Entonces, $R$ es finito y su orden está acotado por:
  $$|R| \leq (n + 1)^2$$
  Se señala que este límite es ajustado (sharp), ya que se alcanza en anillos como $\mathbb{Z}_{p^2}$.
• Lema de Koh (reformulado): Si un anillo tiene exactamente $n > 0$ divisores de cero izquierdos (o derechos), su orden es $|R| \leq (n + 1)^2$.
• Proposición de Conmutatividad: Un anillo con unidad que posee exactamente 1 o exactamente 2 divisores de cero de dos lados es necesariamente conmutativo.

5. Significancia

La importancia de este trabajo radica en su capacidad para transformar una propiedad cualitativa (el número de divisores de cero) en una restricción cuantitativa estricta (el tamaño del anillo). Al ofrecer una prueba "elemental", el autor democratiza un resultado que anteriormente requería un conocimiento profundo de la estructura de ideales. Además, el trabajo cierra la brecha entre la teoría de anillos conmutativos y no conmutativos, proporcionando una herramienta útil para clasificar anillos finitos pequeños.