Primitive divisors of sequences associated to elliptic curves with complex multiplication

Let P and Q be two points on an elliptic curve defined over a number field K. For α∈End(E), define Bα to be the OK-integral ideal generated by the denominator of x(α(P)+Q). Let O be a subring of End(E), that is a Dedekind domain. We will study the sequence {Bα}α∈O. We will show that, for all but finitely many α∈O, the ideal Bα has a primitive divisor when P is a non-torsion point and there exist two endomorphisms g≠0 and f so that f(P)=g(Q). This is a generalization of previous results on elliptic divisibility sequences.