九引理 在數學中九引理是一個對任意阿貝爾範疇例如阿貝爾群範疇與模範疇均成立的抽象結果此引理斷言給定如下的交換圖 若每一直行及下兩橫列正合則最上一個橫列也正合類此若每一直行及上兩橫列正合則最下一個橫列也正合 九引理可透過圖追蹤直接證明或藉著對正合橫列套用蛇引理證明 Linderholm p 曾這麼挖苦九引理 畫個井字別填上圈叉而要用彎曲的箭頭在井字上揮舞些複雜的手勢畫些圈但不是在井字裡而要畫在格線末端扮個鬼臉你已證明了 a 九引理 b 十六引理 c 二十五引理