# Alternate Definition(s) for (Ir)regular Primes

Are there any definitions for (ir)regular primes which do not use class number divisibility or Bernoulli numbers? For reference, Wikipedia gives both the first definition (their primary one) and the second (i.e., Kummer’s criterion, using Bernoulli numbers).

I'm looking for a third (or more) fundamentally different characterization — bonus points if it can be stated and proven in an elementary (if not necessarily simple) way. Here's a conjectured example: A prime $p$ is irregular if and only if there exists some even integer $2 \le n \le p-3$ such that $$p^2 \mid (1^n + 2^n + \dotsb + (p-1)^n + p^n).$$

• Are you looking for something other than "$p$ is regular if $p$ does not divide the class number of $\mathbb{Q}(\zeta_p)$, where $\zeta_p$ is a $p$-th root of unity"? Mar 30, 2012 at 20:59
• Hi David, Yes, I'm looking for something else -- I’m sorry I wasn’t more clear in my original posting. Wikipedia <en.wikipedia.org/wiki/Regular_prime> gives both your definition (their primary definition) and Kummer’s criterion (with Bernoulli numbers). I was wondering if anyone since Kummer has found a third (or more) equivalent criterion or definition. Thanks! Kieren. Mar 31, 2012 at 0:20
• Are you looking for a connection with some other circle of ideas? The fact that the $p$-part of the class group of the $p$th cyclotomic field is related to values of the Riemann zeta function is already pretty cool. Also, I would define $p$ to be regular as David Speyer, has, and everything else would be a "theorem" not a "definition". Mar 31, 2012 at 0:52
• We can just keep translating into different language. How about "The reduced $K_0$ of the ring of integers of $\mathbb{Q}(\zeta_p)$ is $p$-divisible"? Mar 31, 2012 at 3:02
• It seems to me that, using the summation formula for consecutive powers (Faulhaber's formula), your "conjectured example" is equivalent to the definition of the divisibility of Bernoulli numbers. I would not call this a new definition. Sep 9, 2014 at 13:27

For any $p$ the following are equivalent: (i) $p$ is an irregular prime and (ii) for some $k>1$ there exists a manifold $M$ of dimension $4k$ satisfying the integrality conditions with order $\Sigma_{M^b}$ divisible by $p$.