Un primo p que divide el numerador de algún número de Bernoulli B_k (típicamente para k par con 2 ≤ k ≤ p−3), de modo que p no satisface la regularidad de Kummer y complica los grupos de clases de cuerpos ciclotómicos y la aritmética ciclotómica relacionada.

Principio

Kummer definió un primo p como regular si no divide el numerador de ninguna Bernoulli B_{2k} con 2k entre 2 y p−3; un primo irregular viola esto, y tales divisibilidades están relacionadas con la existencia de torsión p no trivial en los grupos de clases de cuerpos ciclotómicos y con obstrucciones en la teoría de Iwasawa ciclotómica.

Demostración

Si p divide el numerador de B_{2k} para algún 2k con 2 ≤ 2k ≤ p−3, entonces p es irregular; esta congruencia aparece al estudiar la estructura de la p-parte del grupo de clases de Q(ζ_p) y surgió en las investigaciones de Kummer sobre clases de ideales y los numeradores de Bernoulli.

Aplicación incorrecta

Confundir primos irregulares con primos que exhiben otras propiedades excepcionales (por ejemplo comportamiento de raíz primitiva o de Wieferich) o asumir que todo primo irregular provoca automáticamente el fallo de conjeturas conocidas: la irregularidad es una condición precisa de divisibilidad de numeradores de Bernoulli con consecuencias aritméticas específicas, no una patología universal.

Consecuencia

Los primos irregulares complican la aritmética de los cuerpos ciclotómicos, pueden provocar torsión p no trivial en los grupos de clases, afectar la validez de ciertos criterios ciclotómicos (como en el enfoque histórico de Kummer al último teorema de Fermat) y desempeñar un papel central en fenómenos de Iwasawa.

Inversión

Primo regular: p no divide ningún numerador de Bernoulli relevante, de modo que los argumentos de tipo Kummer sobre grupos de clases ciclotómicos son más sencillos y faltan ciertas obstrucciones basadas en divisibilidad.

Límite

Se aplica a primos impares en relación con números de Bernoulli y cuerpos ciclotómicos; el 2 normalmente queda excluido de la definición habitual y debe especificarse qué índices de Bernoulli se consideran (el rango clásico 2 ≤ 2k ≤ p−3).

Tensión semántica

Hay tensión entre la condición elemental de divisibilidad sobre numeradores de Bernoulli y manifestaciones más profundas en grupos de clases e invariantes de Iwasawa: la misma divisibilidad puede interpretarse como una congruencia explícita o como señal de una estructura aritmética más sutil.

Síntesis

Un primo irregular es exactamente un primo que divide el numerador de algún número de Bernoulli en el rango clásico de índices; esa divisibilidad simple codifica información no trivial sobre la torsión p en grupos de clases ciclotómicos y abre la puerta a fenómenos más elaborados en la teoría ciclotómica y de Iwasawa.