On the minimal set for counterexamples to the local–global principle

Let p>3p>3 be a prime number and let n   be a positive integer. We prove that the local–global principle for divisibility by pnpn holds for elliptic curves defined over the rationals. For this, we refine our previous criterion for the validity of the principle. We also give an example that shows that the assumptions of our criterion are necessary.