とする。K」=K(80T) だから, 定理3.15 によって
a を共有していて, それ以外では共通点をもたない, すなわ
例3.25 r個の m単体の, ,·, の" (m22) が一つの頂点
Z
q=0, m-1
H(K) =
0
qキ0, m-1
である。
m
の
m
a
m
4
図 3.3
K, = Kr-1U K(d0"),
Kr-1n K(8d") = {a}
であるから,(Kr; Kr-1, K(do"))に関するマイヤー-ビートリ
ス完全系列
→ H(la)) H(K,-)OH(K(2c")) " H(K;)-
をつかえば, rに関する数学的帰納法によって
6