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:.
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.