w∈W(e)2n
に含まれる
ac,bd,ca,db
の部分を枝だと呼ぶことにすると
それを一本刈り取ったものw'は
w'∈W(e)2(n-1)
だが
wの枝のどれを刈り取るかで
w'は異なるのでどうするかな
一番右の枝から刈り込むか
うーんしかし
abdc=a(bd)c
は
bd
から刈り込む他無いが
acac=(ac)(ac)=a(ca)c
なので一番右の枝は
ac?ca?
あと上記のように
abdcとacacとで違いが出るわけだが
それはなぜかな？
acac∈V^2
だから数え上げでは
W(e)=ΣV^n
|W(e)|=Σ|V|^n
なので除外して良いのかも？
しかし
W(e)も数え上げ面倒なのにVは条件付きで数えにくいかも？
むしろ数えやすくなるかも？