Schanuel's lemma

In mathematics, especially in the area of algebra known as module theory, Schanuel's lemma, named after Stephen Schanuel, allows one to compare how far modules depart from being projective. It is useful in defining the Heller operator in the stable category, and in giving elementary descriptions of dimension shifting.

Statement

Schanuel's lemma is the following statement:

If 0 → K → P → M → 0 and 0 → K' → P ' → M → 0 are short exact sequences of R-modules and P and P ' are projective, then K ⊕ P ' is isomorphic to K ' ⊕ P.

Proof

Define the following submodule of P ⊕ P ', where φ : P → M and φ' : P ' → M:

X=\{(p,q)\in P\oplus P^{\prime }:\phi (p)=\phi ^{\prime }(q)\}.

The map π : X → P, where π is defined as the projection of the first coordinate of X into P, is surjective. Since φ' is surjective, for any p $\in$ P, one may find a q $\in$ P ' such that φ(p) = φ '(q). This gives (p,q) $\in$ X with π (p,q) = p. Now examine the kernel of the map π :

{\begin{aligned}\ker \pi &=\{(0,q):(0,q)\in X\}\\&=\{(0,q):\phi ^{\prime }(q)=0\}\\&\cong \ker \phi ^{\prime }\cong K^{\prime }.\end{aligned}}

We may conclude that there is a short exact sequence

0\rightarrow K^{\prime }\rightarrow X\rightarrow P\rightarrow 0.

Since P is projective this sequence splits, so X ≅ K ' ⊕ P . Similarly, we can write another map π : X → P ', and the same argument as above shows that there is another short exact sequence

0\rightarrow K\rightarrow X\rightarrow P^{\prime }\rightarrow 0,

and so X ≅ P ' ⊕ K. Combining the two equivalences for X gives the desired result.

Long exact sequences

The above argument may also be generalized to long exact sequences.[1]

Origins

Stephen Schanuel discovered the argument in Irving Kaplansky's homological algebra course at the University of Chicago in Autumn of 1958. Kaplansky writes:

Early in the course I formed a one-step projective resolution of a module, and remarked that if the kernel was projective in one resolution it was projective in all. I added that, although the statement was so simple and straightforward, it would be a while before we proved it. Steve Schanuel spoke up and told me and the class that it was quite easy, and thereupon sketched what has come to be known as "Schanuel's lemma." [2]

Notes

Lam, T.Y. (1999). Lectures on Modules and Rings. Springer. ISBN 0-387-98428-3. pgs. 165–167.
Kaplansky, Irving (1972). Fields and Rings. Chicago Lectures in Mathematics (2nd ed.). University Of Chicago Press. pp. 165–168. ISBN 0-226-42451-0. Zbl 1001.16500.

gollark: > The principal component of the Solar System is the Sun, a G2 main-sequence star that contains 99.86% of the system's known mass and dominates it gravitationally.[18] The Sun's four largest orbiting bodies, the giant planets, account for 99% of the remaining mass, with Jupiter and Saturn together comprising more than 90%. The remaining objects of the Solar System (including the four terrestrial planets, the dwarf planets, moons, asteroids, and comets) together comprise less than 0.002% of the Solar System's total mass.[h]

gollark: 99.86% according to Wikipedia.

gollark: Also, unfortunately the majority of stars in the universe are red dwarves.

gollark: The sun has, what, 99.9% of the solar system's mass?

gollark: That would do NOTHING.

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.

[1] Lam, T.Y. (1999). Lectures on Modules and Rings. Springer. ISBN 0-387-98428-3. pgs. 165–167.

[2] Kaplansky, Irving (1972). Fields and Rings. Chicago Lectures in Mathematics (2nd ed.). University Of Chicago Press. pp. 165–168. ISBN 0-226-42451-0. Zbl 1001.16500.