{"entities":{"Q2540309":{"pageid":2551052,"ns":120,"title":"Item:Q2540309","lastrevid":48650329,"modified":"2026-01-05T12:15:35Z","type":"item","id":"Q2540309","labels":{"en":{"language":"en","value":"Cohomology of class field theory and tensor product modules. I"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3315341"}},"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":"Q2540309$5E4D8C87-6760-4F2D-9F86-A92CC4F188B0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1a43c26971300e5c68d6d67b4c59600af212f674","datavalue":{"value":{"text":"Cohomology of class field theory and tensor product modules. I","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2540309$56DF06A1-0B5B-4FC3-8DE1-0E17EA9A0F0F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"24c165afbdcba48be4403ca9e179b0579a8790f4","datavalue":{"value":"0198.07404","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2540309$9193ECEB-0DB6-4C8B-B8BC-7798156A7704","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dd5d1dfd65afd602c2644c9ba29bf0573c512b53","datavalue":{"value":"10.2307/1969962","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2540309$E951ECBD-64C9-41B2-9B26-8E08B87DE3BB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"32c97df6390d21adb1a745f14a70611451fd364e","datavalue":{"value":{"entity-type":"item","numeric-id":769757,"id":"Q769757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2540309$43B6ABCD-C1E1-45A7-821D-060D23A33E7A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"553c7ad508f4615999d4ef926cfdf75d436f510c","datavalue":{"value":{"entity-type":"item","numeric-id":175062,"id":"Q175062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2540309$9BA01F8F-5A43-42C0-ABDF-397903C62F2E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2af0b16080fd5cfe09b2e065f2bbebc1c56cd1bc","datavalue":{"value":{"time":"+1957-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":"Q2540309$D4DACD4F-01B0-415C-8682-9DE411350301","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"18166a208c887bacb4d9b9ff0d83975a773dd871","datavalue":{"value":"Let \\(G\\) be a finite group of order \\(n\\) and \\(A\\) a \\(G\\)-module. \\(A\\) is called cohomologically trivial if \\(H^r(S,A) =0\\) for all subgroups \\(S\\) of \\(G\\) and all dimensions \\(r\\), positive and negative.   Theorem 1: If for each prime number \\(p\\) dividing \\(n\\) there exists an integer \\(r=r_p\\) such that \\(H^r(G_p,A) = H^{r+1}(G_p,A) = 0\\) for a \\(p\\)-Sylow subgroup \\(G_p\\) of \\(G\\), then \\(G\\) is called cohomologically trivial.   Theorem 2: If \\(A\\) is cohomologically trivial and \\(M\\) any \\(G\\)-module, then \\(A\\otimes M\\) is cohomologically trivial, provided either \\(A\\) or \\(M\\) is \\(n\\)-torsion free.   The proofs are a combination of the following ingenious tricks:   (1) \\(A\\) is cohomologically trivial for \\(G\\) if and only if it is so for each Sylow subgroup \\(G_p\\) of \\(G\\) (usual restriction-transfer argument).   (2) If \\(H^r(G, A\\otimes M)\\) is trivial for one fixed \\(r\\), and all torsion-free finitely generated \\(M\\), then \\(A\\) is cohomologically trivial (induced representations and dimension shifting).   (3) Any \\(M\\) as in (2) is a direct summand of an \\(M'\\) which is a submodule of finite index in an \\(M''\\) of trivial cohomology (take \\(M'' =M\\otimes Z(G)\\), \\(M' = M\\otimes Zs + M\\otimes I)\\), where \\(s\\) is the sum of the elements of \\(G\\) and \\(I\\) the augmentation ideal in the group ring \\(Z(G)\\).   (4) If \\(G_p\\) is a \\(p\\)-group then any finite \\(G_p\\)-module \\(N\\) has a composition series in which the factors are isomorphic to \\(Z/pZ\\) (because \\(I\\) is nilpotent in \\((Z/pZ)(G)\\), for example).   (5) If the hypothesis of Theorem 1 is true and \\(A\\) is \\(p\\)-torsion free, then \\(H^r(G_p, A\\otimes (Z/pZ)) =0\\) (consider the exact sequence \\(0\\to A\\to A\\to A/pA\\to 0\\).   (6) Given any \\(G\\)-module \\(A\\) there exists a torsion-free \\(G\\)-module \\(A'\\) such that \\(H^r(S,A)\\approx H^{r+1}(S,A')\\) for all \\(r\\) and \\(S\\) (write \\(A\\) as homomorphic image of a \\(G\\)-free module \\(F\\) and let \\(A'\\) be the kernel).   Theorem 3: If a \\(G\\)-module \\(C\\) and an element \\(\\alpha\\in H^2(G, C)\\) are such that, for each Sylow subgroup \\(G\\), \\(H^1(G_p, C)=0\\), and \\(H^2(G_p, C)\\) is cyclic of order \\((G_p:1)\\) generated by the restriction of \\(\\alpha\\) to \\(G_p\\), then \\(G,C\\) is a class formation; when this is so, then the cup product with the restriction of \\(\\alpha\\) gives isomorphisms \\(H^{n-2}(S,M) \\approx H^n(S,C\\otimes M)\\) for all subgroups \\(S\\) and all dimensions \\(n\\), provided either \\(C\\) or \\(M\\) is torsion free.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2540309$4B485811-515E-4504-B755-A5374CEEF9A4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6c8c38e3821711a95703abcc2630cc0d5683ad9a","datavalue":{"value":"11R34","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2540309$3C7C60C8-D495-476B-B94F-09606298720E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fa5ce256704e22ae9f3767d9b7f6b25420f642b6","datavalue":{"value":"11R37","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2540309$23EBC683-1314-4156-82E2-2155631D8C10","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"890957776b316318e15f8d621afa9efb8f5b528b","datavalue":{"value":"3315341","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2540309$D76EACA8-BA25-40D6-8159-40BD44DACAB6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09ad0d1c8006623907a6ccad122dad445bcbfe66","datavalue":{"value":"cohomology of class field theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2540309$67AB8EEE-45B1-46B3-BA97-6C0DA19A723C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8dca90c3fdc4d6f29922232b199fd7baae0d1bc","datavalue":{"value":"tensor product modules","type":"string"},"datatype":"string"},"type":"statement","id":"Q2540309$11B55FFD-4DEF-4306-A686-21D3A3DF54AE","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"318c6dce6bba89fd9e0099b61c6c95e6eae85670","datavalue":{"value":"Q105634230","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2540309$1DE36D3C-F9FA-45BE-BBC3-9026EBA63F28","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":"Q2540309$3DF2D13B-FAE6-41EE-A2A1-E71EC5239363","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"85278669e6c21ed58c7e004ed9bd44f41deb66ef","datavalue":{"value":"https://doi.org/10.2307/1969962","type":"string"},"datatype":"url"},"type":"statement","id":"Q2540309$A047D814-35AA-47FF-A6F0-07F58E0009CB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"774d7b5b485175f0bf985199ee82d4a7a8c5aa4e","datavalue":{"value":"W2324241788","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2540309$1F23DED1-4EA2-4BB3-97C4-0FEE9C3EE207","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57bb92f039c84425c20b4491abd48a2bd38c0037","datavalue":{"value":{"entity-type":"item","numeric-id":1769169,"id":"Q1769169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"779ea960dfea3565352070be2ca39cb621c34b10","datavalue":{"value":{"amount":"+0.7899603843688965","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":"Q2540309$76EEDC0B-6F8F-414B-AD4B-2B47BCD54140","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d59fbcd2ad0b5062232da107ce47fe48038f025","datavalue":{"value":{"entity-type":"item","numeric-id":5832111,"id":"Q5832111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ed5e993b5fb28c3d30cc6db4a5e925753306179","datavalue":{"value":{"amount":"+0.7670347690582275","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":"Q2540309$6C8F30EC-D12A-4C59-8FF6-8611D3A9492F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f215bfcbb7f98b889fabc6ad96cfec5ddc26d1b","datavalue":{"value":{"entity-type":"item","numeric-id":910862,"id":"Q910862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"070c165473229c59c42b4b0bfdd3faeb2d75ace3","datavalue":{"value":{"amount":"+0.763066291809082","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":"Q2540309$265DD26E-3E23-49A3-9E0C-550C1646B40A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5df5a4f8aefd884e298d1c3a85752ee657f39d35","datavalue":{"value":{"entity-type":"item","numeric-id":1071806,"id":"Q1071806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0aa451df5d3f173564f5dbc08787519a1eb4e318","datavalue":{"value":{"amount":"+0.741873025894165","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":"Q2540309$193CBA56-E26B-41F0-AE63-CF3363BA5C0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"627676e6723d189a227d31d025e8fcc5b2c3de33","datavalue":{"value":{"entity-type":"item","numeric-id":661375,"id":"Q661375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4aff817e12fc400653f2b2030655e9979555e7d9","datavalue":{"value":{"amount":"+0.7417269349098206","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":"Q2540309$EBC5D7D5-31F1-43D0-BFD2-0B1F73A8938A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2540309","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2540309"}}}}}