A pair of ideals J ⊆ I ⊆ R has been called Aluffi torsion-free if the Aluffi algebra of I/J is isomorphic with the corresponding Rees algebra. We give necessary and sufficient conditions for the Aluffi torsion-free property in terms of the first syzygy module of the form ideal J * in the associated graded ring of I. For two pairs of ideals J 1 , J 2 ⊆ I such that J 1 − J 2 ∈ I 2 , we prove that if one pair is Aluffi torsion-free the other one is so if and only if the first syzygy modules of J 1 and J 2 have the same form ideals. We introduce the notion of strongly Aluffi torsion-free ideals and present some results on these ideals. t 2010 Mathematics Subject Classification. primary 13A30, 13C12, 14C17; secondary 14B05, 13E15. 1 2 A. NASROLLAH NEJAD, Z. SHAHIDI, R. ZAARE-NAHANDIgenerate J * is an essential problem in resolution of singularities. Also the torsionfree Aluffi algebras are crucial in intersection theory of regular and linear embedding ([4], [10]). The outline of this paper is as the follow.In section 1, we give necessary and sufficient conditions for torsion-free Aluffi algebra, involving the standard base (in the sense of Hironaka ([7])) and the first syzygy module of the form ideal in the associated graded ring.Let J ⊆ I be ideals in the ring R. We say that the pair J ⊆ I is Aluffi torsion-free if J ∩ I n = JI n−1 for all n ≥ 1. In section 2, we study the behavior of the Aluffi torsion-free property with respect to contraction and extension. We prove that the sum of two Aluffi torsion-free ideals is Aluffi torsion-free if and only if one of them modulo the other is Aluffi torsion-free. As the main result of this section, we prove that if J 1 , J 2 ⊆ I such that J 1 ≡ J 2 modulo I 2 and J 1 ⊆ I is Aluffi torsion-free then J 2 ⊆ I is Aluffi torsion-free if and only if the first syzygy modules of J 1 and J 2 have the same form ideals in the associated graded module gr I (R m ) where m is the number of generators of J 1 and J 2 (Theorem 2.6). In sequel, we introduce the notion of strongly Aluffi torsion-free ideals. A pair J = (f 1 , . . . , f t ) ⊆ I ⊆ R is called strongly Aluffi torsion-free if J i = (f 1 , . . . , f i ) is Aluffi torsion-free for i = 1, . . . , t. We give an example of Aluffi torsion-free pair of ideals which is not strongly Aluffi torsion-free. In the case that, J ⊆ I is Aluffi torsion-free, we give a criterion for strongly Aluffi torsion-freeness. We close the section with this result: let J 1 , J 2 ⊆ I be ideals in the ring R such that the extension of J 2 and I in the ring R/J 1 is Aluffi torsion-free. If there exists a minimal generating set f 1 , . . . , f t of J 1 such that J 1 ⊆ I is strongly Aluffi torsion-free and extension of the sequence f 1 , . . . , f t in R/J 2 is regular then J 2 ⊆ I is Aluffi torsion-free.In section 3, we focus on the case that J is an ideal in the polynomial ring R = k[x 0 , . . . , x n ] over a field k of characteristic zero and the ideal I stands for the Jacobian ideal of J which describe the singular subscheme of Spec (R/J). We prove that if J is...