1.6.70 Fields, Groups, Rings

Condition: final order, a \ (p \)-a simple divisor of its order. In the group there is an element of order \ (p \).