text: Если N {\displaystyle N} — простое, порядок мультипликативной группы равен N 2 − 1 {\displaystyle N^{2}-1} , и она имеет подгруппу порядка N + 1 {\displaystyle N+1} , для целей теста ищется порождающее множество этой подгруппы.