量子理论中的一个重要问题是子系统之间可能存在纠缠。这种现象的重要性已经在量子信息科学的几个重要成果中得到体现。尽管纠缠的非经典特征已经在很多年以前就意识到了，只是近几年人们才关注它的精确性质的理解和刻画。纯态的可分性已经得到了很好的解决。对于混合态，部分转置判据可以判断2×2或者2×3系统的混合态的可分性。但是这个判据对于高维或者多体系统只是必要条件。 量子纠缠的一个重要性质是在局部幺正变换下是不变的。因此局部幺正变换下的不变量就成了一个需要研究的重要对象。一个不变量的完全集合可以用来确定两个态在局部幺正变换下是否是等价的。虽然这个问题已经得到了广泛的研究，但是只是对于一些简单的情况得到了不变量的完全集合，比如两个量子比特系统[33]。对于一般的两体系统，[34]中给出了满秩一般密度矩阵的不变量的完全集合。对于三体或者更多子系统的态也有一些结果，比如文献[32，20]中，但是在这些系统中，即使对于纯态也没有办法找到所有的不变量。 通过寻找刻画等价性的不变量的完全集合，研究了量子态在局部幺正变换下的等价性。通过构造一些辅助不变量，将[34]中的结果推广到一般两体系统中，从而可完全地解决任意两体系统的量子态的等价性问题。我们还给出了一类非一般三个量子比特态的不变量的完全集合。 然后，我们考虑了量子态的可分性。我们利用[83]中的d-可计算态构造了一类PPT纠缠态。这将有利于研究这种类型量子态的结构。最后我们研究了厄米矩阵的近似张量积分解。给出了两体系统厄米的最小和分解，并利用这个分解讨论了量子态的可分性。