On the numbers \(2^n 1\). (Q1553086)

Die nothwendige und ausreichende Bedingung dafür, dass \(q=2^n-1\) eine Primzahl ist, wird durch die Congruenz \[ \left( \frac{a-b\sqrt{-1}}{a+b\sqrt{-1}} \right)^{\frac{q+1}2} \equiv-1\, (\text{mod}. q) \] ausgedrückt, worin \(a^2+b^2=p\), und \(p\) eine Primzahl von der Form \(4h+1\) bedeutet, für welche \(q\) quadratischer Nichtrest ist. Hieraus folgt noch ein zweites Kriterium, welches dem von E. Lucas in den C. R. LXXXIII. p. 1286 angegebenen ähnlich ist.