设A是Banach代数,M是Banach A模,从A^n到M的n元线性映射f：A^n→M称为n-上循环是指任给x1,…,xn＋1∈A都有x1f（x1,…,xn＋1）＋（-1）^n＋1f（x1,…,xn......

证明交换von Neumann代数到其单位Banach双模内的每个正则局部n-上循环都是n-上循环．...