Schanuel's lemma

Last updated August 31, 2024

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:

Let R be a ring with identity. 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\oplus P'$ , where $\phi \colon P\to M$ and $\phi '\colon P'\to M$ :

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

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

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

We may conclude that there is a short exact sequence

0\rightarrow K'\rightarrow X\rightarrow P\rightarrow 0.

Since $P$ is projective this sequence splits, so $X\cong K'\oplus P$ . Similarly, we can write another map $\pi '\colon X\to P'$ , and the same argument as above shows that there is another short exact sequence

0\rightarrow K\rightarrow X\rightarrow P'\rightarrow 0,

and so $X\cong P'\oplus 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.

Related Research Articles

In mathematics, specifically abstract algebra, the isomorphism theorems are theorems that describe the relationship between quotients, homomorphisms, and subobjects. Versions of the theorems exist for groups, rings, vector spaces, modules, Lie algebras, and various other algebraic structures. In universal algebra, the isomorphism theorems can be generalized to the context of algebras and congruences.

An exact sequence is a sequence of morphisms between objects such that the image of one morphism equals the kernel of the next.

In mathematics, group cohomology is a set of mathematical tools used to study groups using cohomology theory, a technique from algebraic topology. Analogous to group representations, group cohomology looks at the group actions of a group G in an associated G-moduleM to elucidate the properties of the group. By treating the G-module as a kind of topological space with elements of $representing n -simplices, topological properties of the space may be computed, such as the set of cohomology groups . The cohomology groups in turn provide insight into the structure of the group G and G -module M themselves. Group cohomology plays a role in the investigation of fixed points of a group action in a module or space and the quotient module or space with respect to a group action. Group cohomology is used in the fields of abstract algebra, homological algebra, algebraic topology and algebraic number theory, as well as in applications to group theory proper. As in algebraic topology, there is a dual theory called group homology . The techniques of group cohomology can also be extended to the case that instead of a G -module, G acts on a nonabelian G -group; in effect, a generalization of a module to non-Abelian coefficients.$

In topology, a covering or covering projection is a map between topological spaces that, intuitively, locally acts like a projection of multiple copies of a space onto itself. In particular, coverings are special types of local homeomorphisms. If $is a covering, is said to be a covering space or cover of, and is said to be the base of the covering, or simply the base . By abuse of terminology, and may sometimes be called covering spaces as well. Since coverings are local homeomorphisms, a covering space is a special kind of étale space.$

In mathematics, a Lie algebroid is a vector bundle $together with a Lie bracket on its space of sections and a vector bundle morphism, satisfying a Leibniz rule. A Lie algebroid can thus be thought of as a "many-object generalisation" of a Lie algebra.$

The notion of a fibration generalizes the notion of a fiber bundle and plays an important role in algebraic topology, a branch of mathematics.

In mathematics, the annihilator of a subset $S$ of a module over a ring is the ideal formed by the elements of the ring that give always zero when multiplied by each element of $S$ .

In mathematics, particularly in algebra, the class of projective modules enlarges the class of free modules over a ring, keeping some of the main properties of free modules. Various equivalent characterizations of these modules appear below.

In algebra, a module homomorphism is a function between modules that preserves the module structures. Explicitly, if M and N are left modules over a ring R, then a function $is called an R - module homomorphism or an R - linear map if for any x, y in M and r in R,$

In algebra, flat modules include free modules, projective modules, and, over a principal ideal domain, torsion-free modules. Formally, a module M over a ring R is flat if taking the tensor product over R with M preserves exact sequences. A module is faithfully flat if taking the tensor product with a sequence produces an exact sequence if and only if the original sequence is exact.

In mathematics, Schur's lemma is an elementary but extremely useful statement in representation theory of groups and algebras. In the group case it says that if M and N are two finite-dimensional irreducible representations of a group G and φ is a linear map from M to N that commutes with the action of the group, then either φ is invertible, or φ = 0. An important special case occurs when M = N, i.e. φ is a self-map; in particular, any element of the center of a group must act as a scalar operator on M. The lemma is named after Issai Schur who used it to prove the Schur orthogonality relations and develop the basics of the representation theory of finite groups. Schur's lemma admits generalisations to Lie groups and Lie algebras, the most common of which are due to Jacques Dixmier and Daniel Quillen.

In algebraic topology, a branch of mathematics, the (singular) homology of a topological space relative to a subspace is a construction in singular homology, for pairs of spaces. The relative homology is useful and important in several ways. Intuitively, it helps determine what part of an absolute homology group comes from which subspace.

In mathematics, in the field of homological algebra, the Grothendieck spectral sequence, introduced by Alexander Grothendieck in his Tôhoku paper, is a spectral sequence that computes the derived functors of the composition of two functors $, from knowledge of the derived functors of and . Many spectral sequences in algebraic geometry are instances of the Grothendieck spectral sequence, for example the Leray spectral sequence.$

In mathematics, a finitely generated algebra is a commutative associative algebra A over a field K where there exists a finite set of elements a₁,...,a_n of A such that every element of A can be expressed as a polynomial in a₁,...,a_n, with coefficients in K.

In the mathematical surgery theory the surgery exact sequence is the main technical tool to calculate the surgery structure set of a compact manifold in dimension $. The surgery structure set of a compact -dimensional manifold is a pointed set which classifies -dimensional manifolds within the homotopy type of .$

Module theory is the branch of mathematics in which modules are studied. This is a glossary of some terms of the subject.

<span class="mw-page-title-main">Complexification (Lie group)</span> Universal construction of a complex Lie group from a real Lie group

In mathematics, the complexification or universal complexification of a real Lie group is given by a continuous homomorphism of the group into a complex Lie group with the universal property that every continuous homomorphism of the original group into another complex Lie group extends compatibly to a complex analytic homomorphism between the complex Lie groups. The complexification, which always exists, is unique up to unique isomorphism. Its Lie algebra is a quotient of the complexification of the Lie algebra of the original group. They are isomorphic if the original group has a quotient by a discrete normal subgroup which is linear.

In mathematics, Lie group–Lie algebra correspondence allows one to correspond a Lie group to a Lie algebra or vice versa, and study the conditions for such a relationship. Lie groups that are isomorphic to each other have Lie algebras that are isomorphic to each other, but the converse is not necessarily true. One obvious counterexample is $and which are non-isomorphic to each other as Lie groups but their Lie algebras are isomorphic to each other. However, for simply connected Lie groups, the Lie group-Lie algebra correspondence is one-to-one.$

In mathematics, the quotient of an abelian category $by a Serre subcategory is the abelian category which, intuitively, is obtained from by ignoring all objects from . There is a canonical exact functor whose kernel is, and is in a certain sense the most general abelian category with this property.$

In mathematics, specifically in representation theory, a semisimple representation is a linear representation of a group or an algebra that is a direct sum of simple representations. It is an example of the general mathematical notion of semisimplicity.

This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.

[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.

[1]

[2]