Let R be a commutative ring with unity, M be an unitary Rmodule and Γ be a simple graph. This research article is an interplay of combinatorial and algebraic properties of M . We show a combinatorial object completely determines an algebraic object and characterize all finite abelian groups. We discuss the correspondence between essential ideals of R, submodules of M and vertices of graphs arising from M . We examine various types of equivalence relations on objects A f (M ), As(M ) and At(M ), where A f (M ) is an object of full-annihilators, As(M ) is an object of semi-annihilators and At(M ) is an object of star-annihilators in M . We study essential ideals corresponding to elements of an object A f (M ) over hereditary and regular rings. Further, we study isomorphism of annihilating graphs arising from M and tensor product M ⊗ R T −1 R, where T = R\C(M ), where C(M ) = {r ∈ R : rm = 0 f or some 0 = m ∈ M }, and show that ann f (Γ(M ⊗ R T −1 R)) ∼ = ann f (Γ(M )) for every R-module M .