vanishing theorem

最近、朝飯が vanish する。vanish とは、数学科その他の方々が使う表現で、コホモロジーの消滅定理(cohomology vanishing theorems)を意識しているらしい。尤も、そこ以降がすべてなくなるわけではないが。そこで、もしかしたら、食事から生成される自由群をとり、適切な射をもってくれば完全列になるのではないだろうかと考えた。
だが、朝飯が{0}になっても、どうやら昼食と夕食は同型ではない。だから、食事は完全列でないことが示された。