假定G是一个i.c.c群，H是G的子群，LG和LH分别是G和H的群冯诺依曼代数。设ELH是从LG到LH的条件期望，则LG(-)LH={x∈LG:ELH(x)=0}。因此......