{"entities":{"Q1877759":{"pageid":1888501,"ns":120,"title":"Item:Q1877759","lastrevid":57594567,"modified":"2026-03-31T13:21:31Z","type":"item","id":"Q1877759","labels":{"en":{"language":"en","value":"The essential ideal in group cohomology does not square to zero."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2092909"}},"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":"Q1877759$88C2B9AA-5571-41AF-BBEF-573B12D645BC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a1e1c4d8d2497d7cde6a886a296ec7661651dc6a","datavalue":{"value":{"text":"The essential ideal in group cohomology does not square to zero.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1877759$FDBA484D-82CD-45B2-A526-DD2605330F8D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3a68806b38416cef48997438cb159ca0456b0b06","datavalue":{"value":"1069.20044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1877759$57128A22-F56C-4694-9FA1-2F1A0357DAC2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"34a2791b3d9645796ba9cdff19dd05bcf40f0161","datavalue":{"value":{"entity-type":"item","numeric-id":168348,"id":"Q168348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1877759$9E275203-3E80-4788-9796-948ACCD513E4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dad9e6929b84d2aa86589bcc6be2d26ada8b5576","datavalue":{"value":{"time":"+2004-08-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1877759$BAD3EA8D-E227-40A9-834B-96A85E3A0FB5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d5d2351db038281a2d436f1f20a2ef6d47a3361d","datavalue":{"value":"https://arxiv.org/abs/math/0302336","type":"string"},"datatype":"url"},"type":"statement","id":"Q1877759$F472733E-FFFC-4177-B037-CF90F95E8525","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a6211aa6ce40d899cd6f5ebcfe31525522974536","datavalue":{"value":"Let \\(G\\) be a finite group and \\(k\\) a field of characteristic \\(p\\). A class \\(x\\) in the cohomology ring \\(H^*(G,k)\\) is called essential if its restriction to every proper subgroup is zero.   The essential classes in \\(H^*(G,k)\\) form an ideal, called the essential ideal \\(\\text{Ess}(G)\\). If the group \\(G\\) is elementary Abelian, then the product of the Bocksteins of all nonzero elements of \\(H^1\\) is a non-nilpotent essential class. But in all remaining cases that could be calculated, the pattern that emerged seemed to be that every product of essential classes was zero. This led to the Essential Conjecture: Let \\(G\\) be a finite \\(p\\)-group which is not elementary Abelian, then \\(\\text{Ess}(G)^2=0\\). \\textit{P. A. Minh} showed [in Bull. Lond. Math. Soc. 32, No. 3, 285-291 (2000; Zbl 1021.20038)] that if \\(x\\) is essential then \\(x^p=0\\) (assuming \\(G\\) is not elementary Abelian).   In this paper the author disproves the Essential Conjecture. He proves the following: Let \\(G_0\\) be a Sylow 2-subgroup of the finite unitary group \\(\\text{SU}_3(4)\\). Then there are essential classes in \\(H^4(G_0,\\mathbb{F}_2)\\) and \\(H^{10}(G_0,\\mathbb{F}_2)\\) whose product is nonzero. This nonzero element of \\(H^{14}(G_0,\\mathbb{F}_2)\\) is the last survivor in the sense of \\textit{D. J. Benson} and \\textit{J. F. Carlson} [Trans. Am. Math. Soc. 342, No. 2, 447-488 (1994; Zbl 0816.20044)].   A very interesting corollary concerning \\(G_0\\) comes from the work of \\textit{J. Pakianathan} and \\textit{E. Yal\u00e7in} [Topology 42, No. 5, 1155-1183 (2003; Zbl 1047.20041)] where they showed that if the essential cohomology conjecture is not true for a \\(p\\)-group \\(G\\), then for any connected \\(G\\)-graph \\(X\\) the following is true: \\(X\\) has a fixed point if and only if the map \\(H^*_G(pt)\\to H^*_G(X)\\) is injective.   The fact that \\(\\text{Ess}(G_0 )^2\\) in nonzero for this group \\(G_0\\) was first observed using the author's computer program [Gr\u00f6bner bases and the computation of group cohomology, (Lect. Notes Math. 1828) (2003; Zbl 1050.20036)]. The argument presented here uses \\textit{J. Clark}'s spectral sequence calculation [Commun. Algebra 22, No. 4, 1419-1434 (1994; Zbl 0804.20036)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q1877759$E84DC210-5BF5-4BBC-A732-E52462C053BC","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"fb219fd849c906e465ebcf07e157deb1032cc874","datavalue":{"value":{"entity-type":"item","numeric-id":592648,"id":"Q592648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1877759$046AA16F-911E-49B1-8B96-5A4C57B5F832","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"aa9d719128900a6c3d3bf2a958dc19cfff7f4536","datavalue":{"value":"20J06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1877759$39FAC250-92F8-485C-ABCB-5A48F3F7EB24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"677f074949b6912a3d5be9a52164e3a800597639","datavalue":{"value":"20D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1877759$8C39441B-5E4B-4358-8180-3FAF4B6C9D2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d1d9ffa9133966a58cc7275298ad8bc51e338a8f","datavalue":{"value":"57S17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1877759$6B9A5DEC-CE91-4B30-869B-EFBAEC9F846C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d1861f2c915f84d848124f46615ba52aff841e65","datavalue":{"value":"2092909","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1877759$BFED2D28-A2D5-40A7-94D0-5611E3E966FF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e1fc02dedf96c1d20937f6b051525a727de19f7","datavalue":{"value":"finite \\(p\\)-groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1877759$F8430419-0F69-436A-98AC-9F83225D7539","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"60f62bb50e8d3b87390c3da5396ce48f2953d877","datavalue":{"value":"cohomology classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1877759$E5C1C99F-5066-4B8A-833F-DD6ADD77409E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dab0d190422a7371730e8f9ac03132251a3d8b19","datavalue":{"value":"essential cohomology","type":"string"},"datatype":"string"},"type":"statement","id":"Q1877759$EC402905-8DE8-4223-97F9-5AED00175F2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b037b8f5a05f57f237e459fd34dc3b2e26c41c1f","datavalue":{"value":"cohomology rings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1877759$7D06DD97-DD4F-45A5-9E96-7DCB6E9D92B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"132483b11e5b63b688df15b113e381045b9f5523","datavalue":{"value":"unitary groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1877759$53FA79D3-3C8E-43AE-B083-5D8E421CFAD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5cd6536491855aafd54542349a42573a4d8d83ad","datavalue":{"value":"Sylow 2-subgroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1877759$DCFE24D2-53DB-4BFB-A8F8-B0B73A2DB36C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"154139e5a401fd35548c3f534d24db6f60f329d5","datavalue":{"value":{"entity-type":"item","numeric-id":330148,"id":"Q330148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1877759$0E3F8898-188A-4941-86AC-9FD241823D5C","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":"Q1877759$D0E41A3B-3CB2-4A7A-BEC7-F1634A9195E3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4a14be682cbfbd2a97aab55d851f3a48108b06f8","datavalue":{"value":"W2012641469","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1877759$993818B4-30A7-4C7A-8086-C00D322880D0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"691d04ec60aeada19c723686c12499fcbeb7280d","datavalue":{"value":{"entity-type":"item","numeric-id":3708174,"id":"Q3708174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1877759$0BE59E90-9A67-4DE5-AEAD-720420BF90F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24bbb4fb518bf37b979f4819c52f909ffe9a683c","datavalue":{"value":{"entity-type":"item","numeric-id":4292712,"id":"Q4292712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1877759$77B70848-D73C-4CD7-AD33-E249D3CC9CBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7decb916bdde529d69b5e0637a85c15476919dde","datavalue":{"value":{"entity-type":"item","numeric-id":4288278,"id":"Q4288278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1877759$41FD2D5F-F396-43AE-8524-5EF1A927852E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfcdc4c0b34a00a408ae8e706128dd93cbfeb174","datavalue":{"value":{"entity-type":"item","numeric-id":4001605,"id":"Q4001605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1877759$B3A2DB08-E8DE-410E-B0E9-7738ACF872E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a8137dba767b6d7dbc4d252f08d3812b27e6fd8","datavalue":{"value":{"entity-type":"item","numeric-id":1415058,"id":"Q1415058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1877759$FCD20B67-220D-4820-88FF-AEFABFDE9F57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43930a15c57d75716b12918a5ac48b9ea21871b8","datavalue":{"value":{"entity-type":"item","numeric-id":1173894,"id":"Q1173894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1877759$ED459EFD-A2C0-4EB2-872F-461712C6617A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7134f91eee4c9a7bfc8dec0d7a5d264b3d24918","datavalue":{"value":{"entity-type":"item","numeric-id":4487678,"id":"Q4487678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1877759$E05536DE-AD6C-4E45-9DF8-AF680AD99CD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2bd1518c9a99c0bba1071945ed21d948ad141b2","datavalue":{"value":{"entity-type":"item","numeric-id":1401009,"id":"Q1401009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1877759$24668FBD-AC9B-46CE-9197-3FE4529E63CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7208b18849b0782a96c2c03fc044dc3a03508e5c","datavalue":{"value":{"entity-type":"item","numeric-id":1087186,"id":"Q1087186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1877759$EF485F7B-A3C1-4D1F-B70D-E56DED5B43A5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ef010923d55aecee360215a77c94a7785fe422e2","datavalue":{"value":"10.1016/J.JPAA.2004.03.007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1877759$4D367751-E108-4F4C-B1B8-3AFE006D7A9A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55d34e0874a56e8890ce08da4cf72fc8764a3137","datavalue":{"value":{"entity-type":"item","numeric-id":1359438,"id":"Q1359438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fc6acf13e4b27f6fe696d8296913897a57c397f","datavalue":{"value":{"amount":"+0.7810215950012207","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":"Q1877759$8880E82D-CEDC-4F10-920E-78DB8BD1D113","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db1a643303c14cca448d01a9a291f187eee5304f","datavalue":{"value":{"entity-type":"item","numeric-id":1401009,"id":"Q1401009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cadd3f91a710c0162712d2c0566590f030eb6e58","datavalue":{"value":{"amount":"+0.7810214757919312","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":"Q1877759$855EA257-1E7E-4F5F-9667-D5867A8FFAFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"432506682c8dbdd6882b1f122c7c163250f341a4","datavalue":{"value":{"entity-type":"item","numeric-id":2701688,"id":"Q2701688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29a5cc840ddfb19d4a6649ac18a9c373c0c95e42","datavalue":{"value":{"amount":"+0.7666624188423157","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":"Q1877759$00CA8E92-9367-4788-9F50-80D0CB43B314","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ef0f5343801646bd92deb61bf120b42d07c0f37","datavalue":{"value":{"entity-type":"item","numeric-id":2456227,"id":"Q2456227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29a5cc840ddfb19d4a6649ac18a9c373c0c95e42","datavalue":{"value":{"amount":"+0.7666624188423157","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":"Q1877759$28545818-E742-472D-82E3-4DCAD3E42A78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69c13ef8d33219439daeb83aca1cafb154e9bd03","datavalue":{"value":{"entity-type":"item","numeric-id":734810,"id":"Q734810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0cd8998c2e37265a5250e013b30e6e4ad88385d6","datavalue":{"value":{"amount":"+0.7648318409919739","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":"Q1877759$FBF2372C-AE6C-470A-BD20-A9FC944CD59F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1877759","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1877759"}}}}}