本文加深了Hopenwasser和Paulsen关于有向图代数中Lie理想的一个结果,证明了有向图代数A的一个线性子空间是A的Lie理想当且仅当存在A的一个结合理想Y及A的masa D的一个子代数E,使得(Y)~0■■Y+E,其中(Y)~0是Y中迹为零的所有元的集合.