On the primitive divisors of the recurrent sequence u_(n+1)=(4cos~2(2π/7)-1)u_n-u_(n-1) with applications to group theory

Consider the sequence of algebraic integers un given by the starting values u0=0,u1=1 and the recurrence u_(n+1)=(4cos~2(2π/7)-1)u_n-u_(n-1).We prove that for any n ■{1,2,3,5,8,12,18,28,30}the n-th term of the sequence has a primitive divisor in Z2 cos(2π/7)].As a consequence we deduce that for any sufficiently large n there exists a prime power q such that the groupcan be generated by a pair x,y with χ~2=y~3=(xy)~7=1 and the order of the commutatorx,y]is exactly n.The latter result answers in affirmative a question of Holt and Plesken.