Cohen-Macaulayness, unmixedness, the structure of the canonical module and the stability of the Hilbert function of algebraic residual intersections are studied in this paper. Some conjectures about these properties are established for large classes of residual intersections without restricting local number of generators of the ideals involved. A family of approximation complexes for residual intersections is constructed to determine the above properties. Moreover some general properties of the symmetric powers of quotient ideals are determined which were not known even for special ideals with a small number of generators. Acyclicity of a prime case of these complexes is shown to be equivalent to find a common annihilator for higher Koszul homologies. So that, a tight relation between residual intersections and the uniform annihilator of positive Koszul homologies is unveiled that sheds some light on their structure. a residual intersection of X if the number of equations needed to define X ∪ Y as a subscheme of Z is the smallest possible that is s. Precisely, if R is a Noetherian ring, I an ideal of height g and s ≥ g an integer, then • An (algebraic) s-residual intersection of I is a proper ideal J of R such that ht(J) ≥ s and J = (a : R I) for some ideal a ⊂ I generated by s elements. • A geometric s-residual intersection of I is an algebraic s-residual intersection J of I such that ht(I + J) ≥ s + 1.Based on a construction of Laksov for residual intersection, Fulton [Fu, Definition 9.2.2] presents a formulation for residual intersection that, locally, can be expressed as follows: Suppose that X = Spec(R)