Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

If $G$ is a profinite group, then the category $Mod(G)$ of discrete $G$-modules has sufficiently many injectives (Neukirch, Schmidt, Wingberg: Cohomology of Number Fields, 2.6.5).

Since the cited book says nothing on projectives within this category, I guess $Mod(G)$ doesn't have sufficiently many projectives. Can you give me an example of a discrete $G$-module $M$ such that there is no epimorphism $P \to M$ with $P$ projective ? If there are little projectives, is it even possible to classify them ?

Added: Note that a discrete $G$-module $M$ is an abelian group (with the discrete topology) with a continuous $G$-action $G \times M \to M$ (N-S-W, 1.1.5). For example $\mathbb{Z}$ with trivial $G$-action is a discrete $G$-module.

share|improve this question
1  
It seems that<a href="students.washington.edu/bharath/wiki/lib/exe/…; gives a proof that for any infinite profinite group $G$ there are not enough projectives. I didn't check it. –  Benjamin Steinberg Mar 14 '13 at 15:31
1  
The link should be students.washington.edu/bharath/wiki/lib/exe/… –  Benjamin Steinberg Mar 14 '13 at 15:47
    
Thanks for the link. I read the proof and it looks fine to me. If you post the link as answer, I'll accept it. –  KBuck Mar 15 '13 at 10:44
add comment

2 Answers

Discrete modules over a profinite group $G$ are the same thing as comodules over its group coalgebra $\mathbb Z(G)$. There aren't supposed to be many (or, generally speaking, any) projectives in the abelian category of comodules. One way to see this is to notice that infinite products of discrete $G$-modules aren't exact functors. Infinite products are always exact in an abelian category with enough projectives.

There are enough projectives in the abelian category of $\mathbb Z(G)$-contramodules, though. This is another kind of module category associated with a coalgebra or coring (and, in particular, with a profinite group). So the familiar algebra/discrete group situation of a module category with enough projectives and injectives splits in two halves when one passes to coalgebras/profinite groups---with two different kinds of module categories, one having enough injectives and another enough projectives.

Reference: Eilenberg, Moore. Foundations of relative homological algebra. Memoirs AMS vol.55, 1965.

share|improve this answer
    
Why is a discrete $G$-module the same as a comodule over the coalgebra $\mathbb{Z}G$ ? –  KBuck Mar 13 '13 at 21:58
    
Having a discrete $G$-module $M$ means that to every element of $M$ you have assigned a locally constant function on $G$ with values in $M$. So does having a $\mathbb Z(G)$-comodule $M$. (One still has to check that the associativity and unity equations are the same in these two points of view, of course.) –  Leonid Positselski Mar 14 '13 at 14:24
add comment

Here is the link to the file that Benjamin Steinberg mentions in the comments. I thought I should mention this since the link in the comments is broken. It is a proof that the category Mod(G) does not have enough projectives, when G is an infinite profinite group. I think the proof is fairly elementary. There might be a few details missing though - sorry about that.

share|improve this answer
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.