I asked the following question on Stackexchange and got no reply so I am reposting it here. Let $G$ be a finite group. A $G$-module C is a **class module** if, for all subgroups $H \subset G$:


1) $H^1(H,C)=0$


2) $H^2(H,C)$ is cyclic of order $\#H$


Remark: If $G$ is cyclic then $\mathbb{Z}$ is a class module.


***Question:*** Does every finite group admit a class module? Abelian group? If yes: is there a standard construction of such a C given G?



Existence of class modules for finite groups
The answer is yes. Let $G$ be a finite group. You can realise $G$ as a Galois group $G(L/K)$ of a finite Galois extension $L/K$ of number fields. Let $C\_L$ be the idele class group of $L$. $G$ acts on $L$ and on $C\_L$. 


By p.196 of Tate's article on "global class fields" (in the book Algebraic Number Theory" by Cassels and Frohlich), it follows that $H^2(G,C\_L)$ is cyclic of order $n=card (G)$.


On page 180 of the same article, see Theorem (9.1). Tate proves that $H^1(G,C\_L)=0$. 


The above two results also hold if $H\subset G$ is a subgroup, since $H=Gal (L/L^H)$.


Thus $C=C\_L$ works.


I do not know if there is a standard construction of the module $C$. 


[Added] These results are crucial to the definition of the Weil group of a number field as the inverse limits of certain extensions of $G(L/K)$ by $C\_L$. 


