记M_2（F）为实或复数域F上的二阶矩阵代数。对于给定的正整数k≥1,A与B的k-交换子递推地定义为[A,B]k=[[A,B]k-1,B],其中[A,B]0=A,[A,......