Knowledge (XXG)

Nine lemma

Source 📝

50:. It states: if the diagram to the right is a commutative diagram and all columns as well as the two bottom rows are exact, then the top row is exact as well. Likewise, if all columns as well as the two top rows are exact, then the bottom row is exact as well. Similarly, because the diagram is symmetric about its diagonal, rows and columns may be interchanged in the above as well. 20: 72:
board... Do not fill it in with noughts and crosses... Instead, use curved arrows... Wave your hands about in complicated patterns over this board. Make some noughts, but not in the squares; put them at both ends of the horizontal and vertical lines. Make faces. You have now proved:
168: 144: 118: 163: 135: 89: 85: 43: 35: 140: 114: 47: 54: 61:(to the two bottom rows in the first case, and to the two top rows in the second case). 39: 157: 69: 58: 27: 113:(Repr. of 1. ed. 1963. ed.). Berlin : Springer. pp. 365–366. 19: 64:
Linderholm (p. 201) offers a satirical view of the nine lemma:
18: 16:Category theory lemma about commutative diagrams 8: 92:(see Lemmas 3.3, 3.4 in Chapter XII of ). 101: 53:The nine lemma can be proved by direct 84:There are two variants of nine lemma: 7: 34:(or 3×3 lemma) is a statement about 14: 1: 80:(c) the Twenty-five Lemma... 185: 136:Mathematics Made Difficult 109:MacLane, Saunders (1967). 169:Lemmas in category theory 133:Linderholm, Carl (1971). 42:valid in the category of 82: 23: 78:(b) the Sixteen Lemma 66: 57:, or by applying the 22: 90:symmetric nine lemma 36:commutative diagrams 164:Homological algebra 70:noughts-and-crosses 76:(a) the Nine Lemma 24: 176: 150: 125: 124: 106: 86:sharp nine lemma 48:abelian category 184: 183: 179: 178: 177: 175: 174: 173: 154: 153: 147: 132: 129: 128: 121: 108: 107: 103: 98: 79: 77: 55:diagram chasing 40:exact sequences 17: 12: 11: 5: 182: 180: 172: 171: 166: 156: 155: 152: 151: 145: 127: 126: 119: 100: 99: 97: 94: 15: 13: 10: 9: 6: 4: 3: 2: 181: 170: 167: 165: 162: 161: 159: 148: 146:0-7234-0415-1 142: 138: 137: 131: 130: 122: 120:9783540586623 116: 112: 105: 102: 95: 93: 91: 87: 81: 74: 71: 65: 62: 60: 56: 51: 49: 45: 41: 37: 33: 29: 21: 134: 110: 104: 83: 75: 67: 63: 52: 31: 25: 59:snake lemma 28:mathematics 158:Categories 96:References 32:nine lemma 139:. Wolfe. 111:Homology 46:and any 68:Draw a 143:  117:  44:groups 30:, the 141:ISBN 115:ISBN 88:and 38:and 26:In 160:: 149:. 123:.

Index


mathematics
commutative diagrams
exact sequences
groups
abelian category
diagram chasing
snake lemma
noughts-and-crosses
sharp nine lemma
symmetric nine lemma
ISBN
9783540586623
Mathematics Made Difficult
ISBN
0-7234-0415-1
Categories
Homological algebra
Lemmas in category theory

Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.