direct summand
Let be a ring and left (right) -modules. Then is called a direct summand of if there exists a left (right) -submodule such that .
For example, a projective module is a direct summand of a free module over any ring.
Title | direct summand |
---|---|
Canonical name | DirectSummand |
Date of creation | 2013-03-22 14:51:42 |
Last modified on | 2013-03-22 14:51:42 |
Owner | CWoo (3771) |
Last modified by | CWoo (3771) |
Numerical id | 6 |
Author | CWoo (3771) |
Entry type | Definition |
Classification | msc 16D10 |
Related topic | DirectSum |