Definition
Let R be a ring. For two modules M and N, define to be the set of R-linear maps from M to N modulo the relation that f ~ g if f − g factors through a projective module. The stable module category is defined by setting the objects to be the R-modules, and the morphisms are the equivalence classes .
Given a module M, let P be a projective module with a surjection . Then set to be the kernel of p. Suppose we are given a morphism and a surjection where Q is projective. Then one can lift f to a map which maps into . This gives a well-defined functor from the stable module category to itself.
For certain rings, such as Frobenius algebras, is an equivalence of categories. In this case, the inverse can be defined as follows. Given M, find an injective module I with an inclusion . Then is defined to be the cokernel of i. A case of particular interest is when the ring R is a group algebra.
The functor Ω−1 can even be defined on the module category of a general ring (without factoring out projectives), as the cokernel of the injective envelope. It need not be true in this case that the functor Ω−1 is actually an inverse to Ω. One important property of the stable module category is it allows defining the Ω functor for general rings. When R is perfect (or M is finitely generated and R is semiperfect), then Ω(M) can be defined as the kernel of the projective cover, giving a functor on the module category. However, in general projective covers need not exist, and so passing to the stable module category is necessary.
Read more about this topic: Stable Module Category
Famous quotes containing the word definition:
“... we all know the wag’s definition of a philanthropist: a man whose charity increases directly as the square of the distance.”
—George Eliot [Mary Ann (or Marian)
“Mothers often are too easily intimidated by their children’s negative reactions...When the child cries or is unhappy, the mother reads this as meaning that she is a failure. This is why it is so important for a mother to know...that the process of growing up involves by definition things that her child is not going to like. Her job is not to create a bed of roses, but to help him learn how to pick his way through the thorns.”
—Elaine Heffner (20th century)
“Perhaps the best definition of progress would be the continuing efforts of men and women to narrow the gap between the convenience of the powers that be and the unwritten charter.”
—Nadine Gordimer (b. 1923)