{"entities":{"Q2097244":{"pageid":2107987,"ns":120,"title":"Item:Q2097244","lastrevid":54440750,"modified":"2026-01-26T20:03:01Z","type":"item","id":"Q2097244","labels":{"en":{"language":"en","value":"Symmetric cohomology of groups and Poincar\u00e9 duality"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7615768"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2097244$AC968CEC-BDC1-4DE4-9521-AB3DE6ED1EB9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f73e5fea06d81243bd4f8a672488b3b8dc639f7b","datavalue":{"value":{"text":"Symmetric cohomology of groups and Poincar\u00e9 duality","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2097244$0B71C796-9982-4386-A469-A4778151FBB1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d63b8bd7ff98bb02762f1695a9d30779fe624fe5","datavalue":{"value":{"entity-type":"item","numeric-id":1643197,"id":"Q1643197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2097244$02658BA3-07A8-4101-8BCC-9B1F0CB654E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a1079fd76949fad4643ef96ebbcda12306405631","datavalue":{"value":{"entity-type":"item","numeric-id":1318036,"id":"Q1318036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2097244$A2B58D41-9BBD-455F-811C-90F6B5EB8877","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"93541bb195a0809b1f249396bcebe99d047e6b6c","datavalue":{"value":{"entity-type":"item","numeric-id":161561,"id":"Q161561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2097244$29266FA4-CE6F-49F8-A05C-FA6C03C62BCE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d427d6e8557b276fa99b93deca64aa11553957f3","datavalue":{"value":{"time":"+2022-11-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2097244$44454FED-6A52-44FF-A876-2FE505D43D76","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4b926b98c55950201336643998000a2102894472","datavalue":{"value":"https://arxiv.org/abs/2111.03888","type":"string"},"datatype":"url"},"type":"statement","id":"Q2097244$58FB6647-E4D5-4761-A257-28FD9A4226D4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5e889f158270c3aafe081eb93956f318634f146e","datavalue":{"value":"The authors investigate properties of the `exterior' (co)homology of finite groups introduced by \\textit{A. V. Zarelua} [MAIK Nauka/In\\-ter\\-pe\\-ri\\-o\\-di\\-ca. 190--218 (1999; Zbl 1013.20047)]. By results of the first author [J. Algebra 509, 397--418 (2018; Zbl 1427.20070)], this is a direct summand of the `symmetric' group (co)homology introduced by \\textit{M. D. Staic} [Arch. Math. 93, No. 3, 205--211 (2009; Zbl 1209.20046)]. Zarelua's theory is constructed using the Koszul complex \\(\\mathrm{Kos}^+_* (G)\\); this is a finite length, (non-projective) resolution in \\(G\\)-modules of \\(\\mathbb{Z}\\), such that \\(\\mathrm{Kos}^+_t (G)\\) is the exterior power \\(\\Lambda^{t+1} (\\mathbb{Z} [G])\\) for \\(t \\in \\mathbb{N}\\). For a \\(G\\)-module \\(M\\), the exterior cohomology \\(H^*_\\lambda (G, M)\\) is the homology of \\(\\hom_G (\\mathrm{Kos}^+_*(G), M)\\) and the exterior homology \\(H^\\lambda_* (G,M)\\) is defined likewise. There are comparison maps \\(H_*(G,M) \\rightarrow H^\\lambda_* (G,M)\\) and \\( H^* _\\lambda (G,M) \\rightarrow H^* (G,M)\\) with the usual group (co)homology and, by construction, the exterior (co)homology vanishes in (co)homological degree greater than the order of the group \\(G\\). There is a related construction, using the cochain complex \\(C^* (G)\\) given by the exterior algebra with differential defined by multiplication by \\(\\mathcal{N}:= \\sum_{g \\in G} g\\). The associated homology \\(H^\\kappa_* (G,M)\\) is defined as the homology of the complex \\(\\hom_G (C^* (G) , M)\\). The authors show that, up to a `twist' and appropriate regrading, \\(C^* (G)\\) is isomorphic to the dual of the augmented Koszul complex \\(\\mathrm{Kos}_*(G)\\). This gives the isomorphism: \\[ H_\\lambda ^{n-k-1} (G,M) \\cong H^\\kappa_k (G, M^{\\mathrm{tw}}), \\] for \\(0 \\leq k \\leq n-2\\), where \\(n\\) is the order of \\(G\\) and \\(M^{\\mathrm{tw}}\\) denotes the twist of \\(M\\). (If \\(G\\) has odd order, then \\(M^{\\mathrm{tw}}=M\\).) The authors exhibit a natural transformation, with domain Tate cohomology, \\[ \\kappa_k : \\hat{H}^{-k} (G, M) \\rightarrow H^\\kappa_k (G,M) \\] for \\(k \\geq 0\\) and show, for example, that this is an isomorphism for \\(k=0\\). Moreover, for \\(k \\geq 1\\), they show that \\(\\kappa_{k+1}\\) factors across the exterior homology \\( H_k^\\lambda (G,M) \\) as \\[ \\hat{H}^{-k-1} (G, M) \\cong H_k (G,M) \\rightarrow H_k^\\lambda (G,M) \\rightarrow H^\\kappa _{k+1} (G,M). \\] The main result of the paper is a Poincar\u00e9 duality statement for exterior (co)homology. The authors first show that, for \\(p\\) an odd prime such that \\(G\\) has no elements of order \\(q\\) for each prime \\(q