1: \begin{abstract}

2: Linear second order recursive sequences with arbitrary initial conditions

3:   are studied. For sequences with the same parameters a ring and a group

4:   is attached, and isomorphisms and homomorphisms are established

5:   for related parameters.

6:   In the group, called the {\it sequence group},

7:   sequences are identified if they differ by a scalar factor,

8:   but not if they differ by a shift, which  is the case for the

9:   Laxton group.

10: 

11: 

12:   Prime divisors of sequences

13:   are studied with the help of the sequence group $\mod p$, which is always

14:   cyclic of order $p\pm 1$.

15: 

16:   

17:   Even and odd numbered subsequences are given independent status through

18:   the introduction of one rational parameter in place of two integer

19:   parameters. This step brings significant simplifications in the

20:   algebra.

21: 

22: 

23:   All elements of finite order in Laxton groups and sequence

24:   groups are described effectively.

25: 

26:   

27:  A necessary condition is established for  a prime $p$

28:  to be a divisor of a sequence: {\it the norm (determinant) of

29:    the respective

30:     element of the ring must be a quadratic residue $\mod p$}.

31:     This leads to an uppers estimate of the set of  divisors

32:     by a set of  prime density $1/2$. Numerical experiments show that

33:     the actual density is typically close to $0.35$.

34: 

35: 

36:     

37:   A conjecture is formulated that the sets of prime divisors of the

38:   even and odd numbered elements are independent for a large family

39:   of parameters.

40: \end{abstract}

41: