合痕(isotopy)是代数学的基本概念,指两个非结合代数之间的三个可逆线性变换满足的一种特殊的保乘关系。设(A,+,·)和(A′,#,*)都是域F上的非结合代数,f,g,h是(A,+)到(A′,#)的三个线性变换,若对任意x,y∈A恒有f(x·y)=g(x)*h(y),则称(f,g,h)是A到A′的一个合痕。此时称A是A′的(f,g,h)合痕,这个概念首先由阿尔贝特(A.A.Albert)于1942年给出[1]。在合痕中,当改变时,我们认为此合痕,是定义在X上的一个单参数的同胚族。同伦称为一个合痕,如果对于中的任一,是一个同胚。