Skip to main content
Search type Search syntax
Tags [tag]
Exact "words here"
Author user:1234
user:me (yours)
Score score:3 (3+)
score:0 (none)
Answers answers:3 (3+)
answers:0 (none)
isaccepted:yes
hasaccepted:no
inquestion:1234
Views views:250
Code code:"if (foo != bar)"
Sections title:apples
body:"apples oranges"
URL url:"*.example.com"
Saves in:saves
Status closed:yes
duplicate:no
migrated:no
wiki:no
Types is:question
is:answer
Exclude -[tag]
-apples
For more details on advanced search visit our help page
Results tagged with
Search options not deleted user 75

For questions on modules over rings.

6 votes

If the tensor product of two $kG$-modules is projeсtive, does either of them have to be proj...

In that case, we can understand modules in terms of the support variety $V={\rm Proj} H^{2*}(G,k)$, the projective variety associated to the (even-dimensional) cohomology ring of $G$. … Thus unless $V$ is just a single point, it is possible to have non-projective modules whose tensor product is projective. …
Eric Wofsey's user avatar
  • 31.2k
11 votes

is the category of coherent sheaves some kind of abelian envelope of the category of vector ...

To see this, note that the category of finitely generated projective modules is self-dual via the functor $Hom(-,R)$, but the inclusion of projective modules into all modules is obviously not usually self-dual … (for instance, since projective modules are not the same as injective modules). …
Eric Wofsey's user avatar
  • 31.2k
11 votes
Accepted

Injective flat module

More generally, a similar argument shows that flat modules over any Artinian local ring are free (replace this short exact sequence by the filtration by powers of the maximal ideal), so any such ring that …
Eric Wofsey's user avatar
  • 31.2k