Małe twierdzenie Fermata: Różnice pomiędzy wersjami

Zbiór <math>\{1, \ldots, p-1\}</math> stanowi grupę, nazywaną [[Arytmetyka modularna|multiplikatywną grupęgrupą klas reszt]] <math>\mathbb Z_p^*</math>, która ma rząd <math>p-1</math>. Niech <math>a</math> będzie dowolnym elementem tej grupy. Oznaczmy przez <math>k</math> [[rząd (teoria grup)|rząd]] tego elementu, tzn. najmniejszą liczbę <math>k \in \mathbb N</math> spełniającą <math>a^k = 1</math>. Innymi słowy