Definition talk:Projective Module

The definition
This is not the usual definition of projective module. It does not work in abelian categories. The definition should be: projective object in a category of modules.


 * One of the problems we have on is people bringing their own understanding of what things are and what things mean without any reference to published sources, which means it is not possible to corroborate those definitions. When you then get more than one contributor bringing completely different definitions hanging off the same name, there is bound to be a conflict.


 * I can see that is what is going on here.


 * Please, if you wish to contribute to this area, it is requested that you reference every definition to which you contribute against the hard-copy source (or an instance of the small set of accepted internet resources which you will find listed in the Help pages), preferably in the standard format.


 * It is appreciated that this is something of a burden to the casual contributor, but the mathematics here is sufficiently new and abstruse that there are possibly multiple definitions and understandings of numerous concepts. As you can see by investigating the structure of, multiply-defined concepts (specifically, non-equivalent definitions) are typically handled by an "also defined as" section, where the differences between the concepts are brought to light, and (if necessary) a page explaining the differences, and whatever consequences of those differences are. --prime mover (talk) 07:05, 24 July 2021 (UTC)