设4为有单位且包含一非平凡幂等元的环，M为A双模．称δ：A→M为Lie可导映射（无可加或连续假设），若δ（[A，B]）=[δ（A），B]＋[A，δ（B）]，VA，B∈A．在一定条件下......