Генерация параметров (p и g ).Для ЭЦП Эль-Гамаля

[Mirrok]

Даже не знаю в какой раздел писать. По описанию метода параметрами являются простое число p и порождающий элемент мультипликативной группы Zp* -- g.
Простое число p можно получить например генерируя случайное и проверяя тестом Миллера-Рабина.
Но как получить число g.
В книге Рябко ФИонова видел что если получить просты числа p и q такие, что p=2q+1 Тогда в качестве
g можно взять любое число для которого справедливы неравенства 1<g<p-1 и g^q mod p!=1.
Но тогда появляется вопрос как получить такие числа?