КВАДРАТИЧНЫЙ ВЫЧЕТ

по модулю то - целое число а, для которого разрешимо сравнение

Если указанное сравнение не разрешимо, то число аназ. квадратичным невычетом по модулю т. Критерий Эйлера: пусть р>2 простое.

Число а, взаимно простое с р, является К. в. по модулю ртогда и только тогда, когда

и является квадратичным невычетом по модулю ртогда и только тогда, когда

Лит.:[1] Виноградов И. М., Основы теории чисел, 8 изд., М., 1972.

С. А. Степанов.