分成四类考虑,先是四个指标都相同,由R(ab)cd=0知此种情况的Raaaa都是0
然后是有两个不同指标,同样地Raabb和Rbbaa为0,剩下的和Rabab要么相等要么差个负号
所以这类是Cn2个
接着是有三个不同指标,由R(ab)cd=0和Rab(cd)=0,Rabcc和Rccab都是0,
不同的两个指标必然分别位于前一对指标和后一对指标中,结合交换前一对和后一对指标不变,
非0独立分量只有Rabac,Rbabc,Rcacb三种,每种都是n个里取三个,Cn3,结果就是3Cn3
最后是四个指标都不同,Rabcd是n个中取4个,即Cn4,再考虑每种都有A44=24种排列方式,
由于R(ab)cd=0只有一半独立,即12种,再由Rab(cd)=0又只剩下一半,6种,再由Rabcd=Rcdab只剩下3种
最后由循环恒等式R[abc]d=0,剩下三种只有两种独立,于是为2Cn4种
综上总共就是Cn2+3Cn3+2Cn4种
然后是有两个不同指标,同样地Raabb和Rbbaa为0,剩下的和Rabab要么相等要么差个负号
所以这类是Cn2个
接着是有三个不同指标,由R(ab)cd=0和Rab(cd)=0,Rabcc和Rccab都是0,
不同的两个指标必然分别位于前一对指标和后一对指标中,结合交换前一对和后一对指标不变,
非0独立分量只有Rabac,Rbabc,Rcacb三种,每种都是n个里取三个,Cn3,结果就是3Cn3
最后是四个指标都不同,Rabcd是n个中取4个,即Cn4,再考虑每种都有A44=24种排列方式,
由于R(ab)cd=0只有一半独立,即12种,再由Rab(cd)=0又只剩下一半,6种,再由Rabcd=Rcdab只剩下3种
最后由循环恒等式R[abc]d=0,剩下三种只有两种独立,于是为2Cn4种
综上总共就是Cn2+3Cn3+2Cn4种