Lehmer's Theorem (Q7361896)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
AFP entry Lehmer
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Lehmer's Theorem |
AFP entry Lehmer |
Statements
22 July 2013
0 references
Simon Wimmer
0 references
Lars Noschinski
0 references
Lehmer's Theorem (English)
0 references
In 1927, Lehmer presented criterions for primality, based on the converse of Fermat's litte theorem. This work formalizes the second criterion from Lehmer's paper, a necessary and sufficient condition for primality. As a side product we formalize some properties of Euler's phi-function, the notion of the order of an element of a group, and the cyclicity of the multiplicative group of a finite field.
0 references
