{"entities":{"Q914807":{"pageid":916655,"ns":120,"title":"Item:Q914807","lastrevid":65316390,"modified":"2026-04-12T01:45:09Z","type":"item","id":"Q914807","labels":{"en":{"language":"en","value":"Homological duality for crossed products"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4150438"}},"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":"Q914807$4FAFF85D-CCA8-4436-B1D1-D5F6C089D55F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ffc5a31e6960a528f9aaec4d1bea77b3983fac96","datavalue":{"value":{"text":"Homological duality for crossed products","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q914807$498E02FD-1890-4412-BCFB-3C99BE699CC8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"78760165a732010a8e4bc946cc89b951880b8a79","datavalue":{"value":"0702.16018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q914807$79A74920-E8A1-415A-8AAD-A3DE7415796E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"87c787a083683d77d81d87af9043751f3f7deb4d","datavalue":{"value":"10.1016/0021-8693(90)90216-B","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q914807$D36A6942-120D-439A-9E0B-8E98D6FE98CF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b9e9d6403b98d11c76303ab3a49078306732ed39","datavalue":{"value":{"entity-type":"item","numeric-id":189936,"id":"Q189936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914807$7622F13B-D2A9-4799-8133-8018B5B8A216","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":"Q914807$D8501DF1-0AC6-4116-B0CC-70FAB732F797","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q914807$87AD00E8-194F-4913-8F70-B05BE484707E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0e9a5f1e3683b5e111f0ec5d564c3eef3075aeb1","datavalue":{"value":"Let \\(K^{\\alpha}_ tG\\) be a crossed product of the group G over the field K with K-basis \\(\\{u_{\\sigma}|\\sigma\\in G\\}\\) where \\(\\alpha \\in H^ 2(G,K)\\) and t: \\(G\\to Aut K\\). The crossed product \\(K^{\\alpha}_ tG\\) belongs to the family \\({\\mathcal A}\\) if \\(K_ tG\\) is a crossed product with Poincar\u00e9 duality. \\(K_ tG\\) is said to possess duality of dimension n, if there exists a right \\(K_ tG\\)-module C and an element \\(e\\in Tor_ n^{K_ tG}(C,K)\\) such that the induced homomorphism by cap product  \\[  e\\cap -: Ext^ i_{K_ tG}(K,A)\\to Tor^{K_ tG}_{n-i}(C\\otimes_ KA,K)  \\]  is an isomorphism for each integer i and every left \\(K_ tG\\)-module A. Here K has a \\(K_ tG\\)-module structure given by \\((xu_{\\sigma})y=x\\sigma (y)\\), \\(xu_{\\sigma}\\in K_ tG\\), x,y\\(\\in K\\), \\(\\sigma\\in G\\), where \\(\\sigma\\) (y) is the t(\\(\\sigma\\))-action on y. The crossed product \\(K_ tG\\) has Poincar\u00e9 duality if there exist a homomorphism sgn: \\(G\\to Z_ 2\\), the dualizing module C is isomorphic to K as a K-module and, with the identification \\(C\\equiv K\\), the right action of \\(K_ tG\\) on C is defined by \\(y(xu_{\\sigma})=(sgn \\sigma)\\sigma^{-1}(xy).\\)    Let G be a poly-\\(\\{\\) cyclic or finite\\(\\}\\) group of rank n and gl.dim \\(K_ tG<n\\). The author proves that gl.dim \\(K^{\\alpha}_ tG=n\\) if and only if there exists a \\(K^{\\alpha}_ tG\\)-module M of finite dimension over K. He generalizes this result to crossed products which belong to the family \\({\\mathcal A}\\). The main result is the following Theorem: If \\(K^{\\alpha}_ tG\\in {\\mathcal A}\\) and gl.dim \\(K^{\\alpha}_ tG=n\\) then \\(Tor_ n^{K^{\\alpha}_ tG}(A,B)\\neq 0\\) for \\(K^{\\alpha}_ tG\\)- modules A and B if and only if A and B contain non-trivial \\(K^{\\alpha}_ tG\\)-modules \\(V_ A\\) and \\(V_ B\\), respectively, such that \\(\\dim_ KV_ A=\\dim_ KV_ B<\\infty\\). Moreover, if C denotes the dualizing module, then \\(C\\otimes_ KV_ A\\cong Hom_ K(V_ B,K)\\) as right \\(K^{\\alpha}_ tG\\)-modules.","type":"string"},"datatype":"string"},"type":"statement","id":"Q914807$341A66E6-176B-4112-B771-AD85546AC96F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"829d3e9468c5da752f2ef9535b567c188684ea6d","datavalue":{"value":"16S35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q914807$F79EDEFD-4EA5-4835-8A40-6CC555A5629D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c51c13be2eca7bed2b0ef1efb2c1dbea21a34fcf","datavalue":{"value":"16E10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q914807$5FE2B7BF-E525-4231-BEEE-9C011767376D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"05178b00f3954cc5276390a934207187e030f430","datavalue":{"value":"20C07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q914807$E3607282-D832-4D21-9CFA-16998E0BF82D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3b179eeb5717a161b6a704c0377fd84c9d5cd65c","datavalue":{"value":"4150438","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q914807$FEEDE887-C429-4D30-9A55-D10D4FDD03DC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a6cec1ce739df713228ff0305176e1c6f866a4e","datavalue":{"value":"global dimension","type":"string"},"datatype":"string"},"type":"statement","id":"Q914807$1A6779FC-93C1-4876-9B00-208CEF05D8D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"757e2c05debac29e4a69fccaa0200a9bd93cedda","datavalue":{"value":"crossed product","type":"string"},"datatype":"string"},"type":"statement","id":"Q914807$0FC193D0-25DC-47DF-9754-E10DDD36A03E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22b8533d46067e3944b7002c976bf222418950a6","datavalue":{"value":"Poincar\u00e9 duality","type":"string"},"datatype":"string"},"type":"statement","id":"Q914807$E324FE57-3B61-42AF-BD12-6D51ABD7E0D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe1ff02a6683f1fa355ed0973694194ee821aec6","datavalue":{"value":"cap product","type":"string"},"datatype":"string"},"type":"statement","id":"Q914807$B39A1F67-6D33-4B60-A3DF-8294A48FE3A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a471976c7c855c13a54167e422cb3914a03cb641","datavalue":{"value":"dualizing module","type":"string"},"datatype":"string"},"type":"statement","id":"Q914807$57498859-1FCB-4365-AE0A-2A73955FDD58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1286a1f3dc1efdce5adb49d02fd5b48c05998f67","datavalue":{"value":"right action","type":"string"},"datatype":"string"},"type":"statement","id":"Q914807$B14A236F-8F2E-42D5-AEB3-12D3B015D02D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f73c033743583166af5f699b2e36831cc8550cac","datavalue":{"value":"poly-\\(\\{\\) cyclic or finite\\(\\}\\) group","type":"string"},"datatype":"string"},"type":"statement","id":"Q914807$B849FA05-0FDC-4BEB-A8FD-B1BBE6B01305","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b5f763710096c3af028fc4188777c3d78bfacdbe","datavalue":{"value":{"entity-type":"item","numeric-id":592048,"id":"Q592048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914807$58BE4EF9-BD58-496A-8177-7F6599C3E9D1","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914807$3BB63AF9-1068-4C5B-B420-EBB3957ED047","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bbcba32ff0edab9352b10d3c98597f81d30bc73","datavalue":{"value":{"entity-type":"item","numeric-id":1070316,"id":"Q1070316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914807$7CB46DC4-93D5-4DFD-BEBE-438BA0CB7973","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c1c17f04103033067fd1711b6f3eb1ab3d54371","datavalue":{"value":{"entity-type":"item","numeric-id":1122643,"id":"Q1122643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914807$1D624E26-76A6-4167-88E5-C1D35FCD481B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a71e2b8efd81b93d08584b0bf13fb8f872b1f61","datavalue":{"value":{"entity-type":"item","numeric-id":2265063,"id":"Q2265063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914807$2E795D3C-3B13-4AFB-A0E1-AD8D953E4D76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4afe49e65451b0110388066df13362388132409","datavalue":{"value":{"entity-type":"item","numeric-id":2626209,"id":"Q2626209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914807$979659C2-6743-41D2-981E-B5D3F0B0F352","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8dbeb9b6ee9e6dced1edef64caa17226b7755b82","datavalue":{"value":{"entity-type":"item","numeric-id":3786586,"id":"Q3786586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914807$48D65189-D416-456C-980C-C06D43EDE0AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3492edf29bcb43d08769a7ba313e97036fb9649c","datavalue":{"value":{"entity-type":"item","numeric-id":4145843,"id":"Q4145843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914807$6CC89C0B-A4B3-4505-86DF-F5C2372BBCBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c99f1d7d1762d19070bee94be8b99928317dc1e","datavalue":{"value":{"entity-type":"item","numeric-id":1100288,"id":"Q1100288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914807$312FCF12-2AFF-4E15-83B2-8B49E7DEC8D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7bd22fdd540d1abe95ffee5bca2be550642a19d","datavalue":{"value":{"entity-type":"item","numeric-id":3856855,"id":"Q3856855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914807$3EFBC679-6953-4851-A761-5D2BCD1C3D66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e9476be55e569e0c6704f206339dbf7d8da5c5e","datavalue":{"value":{"entity-type":"item","numeric-id":4126495,"id":"Q4126495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914807$436B575A-0DEE-4DFB-AE0A-314BB0583E6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"778687a8ab92499efc60d1bae31deddfec5218b8","datavalue":{"value":{"entity-type":"item","numeric-id":5920916,"id":"Q5920916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914807$6C148E5E-FBFC-4388-9BCC-9875D0F656B0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78e7bedc66694eb873f4fd2cbf7de2d2e9f1e4d3","datavalue":{"value":{"entity-type":"item","numeric-id":1070316,"id":"Q1070316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41679153583494b9ab0b2bd2911b3423743cc773","datavalue":{"value":{"amount":"+0.8198275566101074","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q914807$EEE37D2B-4B89-4F2C-8103-F4B7A80E9678","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9123a63426673d1dba1df5c2eb5187245fef25f3","datavalue":{"value":{"entity-type":"item","numeric-id":4206888,"id":"Q4206888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c6bb49c55dc64198bbb2e8dc9d617a6acfe7a7f","datavalue":{"value":{"amount":"+0.7868702411651611","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q914807$147C8458-0AD0-4592-8083-48FCA5ADD562","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfc504b7940adab9f424cabd8a2abc1223594443","datavalue":{"value":{"entity-type":"item","numeric-id":4529226,"id":"Q4529226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abfb007b009ff4b243d55fb14e05367f7dc7a48e","datavalue":{"value":{"amount":"+0.7661058306694031","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q914807$D6D51C57-BFFE-4027-9BA0-D814A094E0E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e9cad8ae6b5423ec564004b3cb6e9d7f346e49b","datavalue":{"value":{"entity-type":"item","numeric-id":3832701,"id":"Q3832701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0777f88372c23628a753ec1dc7b827dded848456","datavalue":{"value":{"amount":"+0.7634353041648865","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q914807$F4979957-3692-4224-AE81-962444502E14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5494914d5146563e1ee96f353cca411249c89355","datavalue":{"value":{"entity-type":"item","numeric-id":5299638,"id":"Q5299638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d65e2b699ec26683404223c8b23241f0212430b8","datavalue":{"value":{"amount":"+0.7629756927490234","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q914807$403B8E1F-10E1-4FE7-92EA-2762DE1D71DB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Homological duality for crossed products","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Homological_duality_for_crossed_products"}}}}}