The aim of the present article is to address the problem of entanglement in the case of indistinguishable particles from a perspective based on the algebraic formalism of quantum mechanics, which is the natural formal counterpart of an ontology of properties, devoid of the ontological category of individual. On the basis of this perspective, an algebraic definition of entanglement is adopted, which supplies a unified conception, valid for both the distinguishable and the indistinguishable cases. An additional advantage of this algebraic definition is that it does justice to the relativity of entanglement, a feature that cannot be ignored.
1.-IntroductionEntanglement in many-body systems of so-called "indistinguishable particles" has received a great attention during the last decades due to its applications in quantum information and condensed matter. These works have led to revise the very concept of entanglement in the case of indistinguishability, which poses a specific challenge: according to the traditional definition of entanglement in pure states as non-factorizability, symmetrized and anti-symmetrized states should be entangled (except in some cases involving bosons). But there are good reasons to think that this is not the case: not always non-factorizable states of composite bosonic or fermionic systems should be conceived as legitimate cases of entanglement. This problem has been addressed from different perspectives, such as modifying the general definition of entanglement, removing the "surplus structure" resulting from the need of symmetrize or anti-symmetrize states in the case of indistinguishability, or treating the entanglement of indistinguishable particles in a different manner than in distinguishable particles.Nevertheless, the common feature of those proposals -as well as of the discussions about the SA