Roshterian: Difference between revisions
| Line 850: | Line 850: | ||
Let me just show you how to construct the map s, which is the fun of the lemma anyhow, okay? (in the diagram this map corresponds to the long curved arrow.) | Let me just show you how to construct the map s, which is the fun of the lemma anyhow, okay? (in the diagram this map corresponds to the long curved arrow.) | ||
DISC_SO- | DISC_SO-COND-exist-3SG.N.GNO element in kernel-CONST γ, in_order-NMLZ-say element in C, such_that 4SG-carry-3SG.N.GNO γ to 0 in C'. | ||
So you assume you have an element in the kernel of \gamma, that is, an element in C, such that \gamma takes you to 0 in C’. | So you assume you have an element in the kernel of \gamma, that is, an element in C, such that \gamma takes you to 0 in C’. | ||