##  [Primo Anómalo (Elíptico)](/es/node/62112) 

 Definición

Para una curva elíptica E sobre Q (o un cuerpo de números), una prima p de buena reducción se llama anómala si el número de puntos sobre F_p satisface #E(F_p) ≡ 1 (mod p), equivalente a que la traza de Frobenius a_p cumpla a_p ≡ 0 (mod p), lo que produce un comportamiento aritmético y algorítmico excepcional.

 

 

 

 

 

 





## Principio

Principio

En las primas de buena reducción se estudia la acción de Frobenius en la reducción; las primas anómalas son aquellas en las que la traza de Frobenius se anula módulo p, de modo que el grupo E(F_p) tiene orden congruente con 1 modulo p, con consecuencias para la p-torsión y las propiedades de elevación de puntos.

 

 

 

 

 





## Demostración

Demostración

Si E tiene buena reducción en p y la traza de Frobenius a_p es múltiplo de p (en la práctica a_p ≡ 0 mod p), entonces #E(F_p)=p+1−a_p ≡ 1 (mod p); tales primas pueden darse y son precisamente las primas anómalas que conducen a que E(F_p) contenga un punto de orden p u otros fenómenos de torsión excepcionales.

 

 

 

 

## Aplicación incorrecta

Aplicación incorrecta

Confundir primas anómalas con primas de mala reducción o con primas supersingulares sin comprobar las definiciones; anómala es una condición de congruencia sobre el recuento de puntos en buena reducción y se distingue lógicamente del tipo de reducción o de la supersingularidad en general.

 

 

 

 

 





## Consecuencia

Consecuencia

Las primas anómalas pueden crear debilidades aritméticas y criptográficas: curvas con primas anómalas pueden ser vulnerables a ataques que explotan la presencia de p-torsión sobre F_p; complican las heurísticas de recuento de puntos y afectan argumentos locales de deformación y descenso.

 

 

 

 

## Inversión

Inversión

Prima no anómala: #E(F_p) no es congruente con 1 módulo p (equivalente a que a_p no sea divisible por p), de modo que el comportamiento congruente excepcional en p está ausente y las propiedades locales estándar se mantienen sin esta patología de torsión específica.

 

 

 

 

 





## Límite

Límite

El término tiene sentido solo para primas de buena reducción de la curva elíptica y se refiere a congruencias del recuento de puntos módulo p; excluye primas de mala reducción y debe distinguirse de nociones relacionadas como supersingularidad u ordinariedad, que se definen de forma diferente.

 

 

 

 

 





## Tensión semántica

Tensión semántica

Existe tensión entre primas anómalas y supersingulares: en casos especiales pueden coincidir ciertos criterios, pero anómala es una congruencia sobre el recuento de puntos en buena reducción mientras que supersingular se refiere a la estructura del esquema de p-torsión y a las pendientes de Frobenius; son fenómenos relacionados pero distintos.

 

 

 

 

 





## Síntesis

Síntesis

Una prima anómala para una curva elíptica es una prima de buena reducción en la que la traza de Frobenius se anula módulo p, de modo que #E(F_p) ≡ 1 (mod p); esta congruencia simple encapsula una patología concreta de torsión y algorítmica que debe tratarse separadamente de cuestiones generales sobre el tipo de reducción.