ノルム剰余同型定理
数学において、ノルム剰余同型定理 (norm residue isomorphism theorem)またはブロック・加藤予想 (Bloch-Kato conjecture) は、ミルナーのK-理論とガロアコホモロジーを結びつける、長らく予想されていた定理である。ジョン・ミルナー (John Milnor)はこの定理がformula_1の場合に正しいと予想し、これはミルナー予想として知られるようになった。一般の場合はと加藤和也により予想され、ブロック・加藤予想 (Bloch–Kato conjecture) 、もしくは（L-函数の特殊値におけるブロック・加藤の予想と区別するために）モチーフ的ブロック・加藤予想 (motivic Bloch–Kato conjecture) として知られるようになった。ノルム剰余同型定理はウラジミール・ヴォエヴォツキー (Vladimir Voevodsky) により、(Markus Rost)の数々の斬新な結果を用いて証明された。