Every \alpha_i is a complex root of P. By the FTOA, there are exactly n such roots, counting multiplicity.
The convention here is to take the sum/product over all pairs of positive integers (k,l) with 0<k<l \leq n.
(This is a fairly common notation for sums and products.)