*** Welcome to piglix ***

Irregular prime


In number theory, a regular prime is a special kind of prime number, defined by Ernst Kummer in 1850 to prove certain cases of Fermat's Last Theorem. Regular primes may be defined via the divisibility of either class numbers or of Bernoulli numbers.

The first few regular odd primes are:

An odd prime number p is defined to be regular if it does not divide the class number of the p-th cyclotomic field Qp), where ζp is a p-th root of unity, it is listed on OEIS. The prime number 2 is often considered regular as well.

The class number of the cyclotomic field is the number of ideals of the ring of integers Zp) up to isomorphism. Two ideals I,J are considered isomorphic if there is a nonzero u in Qp) so that I=uJ.

Ernst Kummer (Kummer 1850) showed that an equivalent criterion for regularity is that p does not divide the numerator of any of the Bernoulli numbers Bk for k = 2, 4, 6, …, p − 3.

Kummer's proof that this is equivalent to the class number definition is strengthened by the Herbrand–Ribet theorem, which states certain consequences of p dividing one of these Bernoulli numbers.


...
Wikipedia

...