надо про конечную подгруппу доказать... для нее определено понятие примитивного элемента, если она является циклической! определение именно то, что вы увидели в Википедии...

"В теории групп группа G называется циклической, если она может быть порождена одним элементом a, то есть все её элементы являются степенями a" - взято из:

http://ru.wikipedia.org/wiki/Циклическая_группа