{"entities":{"Q791661":{"pageid":793509,"ns":120,"title":"Item:Q791661","lastrevid":48694060,"modified":"2026-01-05T15:34:21Z","type":"item","id":"Q791661","labels":{"en":{"language":"en","value":"Complexity and elementary Abelian p-groups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3851379"}},"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":"Q791661$41E6A831-C8B1-48FA-B6A7-930484AFD993","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c81bdc9b8650b2f34f5fb80e2c31d1503adabdf6","datavalue":{"value":{"text":"Complexity and elementary Abelian p-groups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q791661$1AAC7788-EFF1-4FFF-AB38-227A13357E8A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1b530a38565ed8f968eaefd2c9096f04f2912431","datavalue":{"value":"0536.20033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q791661$B782F031-CE3B-4A97-BD93-6875CF0B67E2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c77bbe8bc0571d551102365f07ba253f6191ddc2","datavalue":{"value":"10.1016/0021-8693(84)90094-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q791661$FCCAC92B-12F7-46DD-B44E-71614B2624B8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ab1d3c1a0ced18d243c1fe19caeff359a2f6482e","datavalue":{"value":{"entity-type":"item","numeric-id":791660,"id":"Q791660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q791661$2DD9C111-035B-406E-A914-422233873908","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":"Q791661$16463381-C742-4313-A583-4858FF09763A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q791661$D0F94031-71A3-4022-90AC-D5FAA47A7DA5","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"51851de3e8eb59c2e148d1494cf0417d3d62fa9b","datavalue":{"value":"Let G be a finite group and k a field of characteristic \\(p>0\\). If M is a finitely generated kG-module and \\(...\\to P_ m\\to P_{m-1}\\to...\\to P_ 0\\to M\\to 0\\) a minimal projective resolution of M, then the complexity, \\(c_ G(M)\\), of M is the least integer \\(s\\geq 0\\) such that \\(\\lim_{m\\to \\infty}\\dim_ kP_ m/m^ s=0.\\) \\textit{J. L. Alperin} and \\textit{L. Evens} [in J. Pure Appl. Algebra 22, 1-9 (1981; Zbl 0469.20008)] proved that \\(c_ G(M)=\\max_{E}(c_ E(M_ E))\\) as E runs over the elementary abelian p-subgroups of G, where \\(M_ E\\) is the kE-module which is the restriction of the kG-module to E.    In this beautiful paper the author gives a method for computing the complexity. Let E be an elementary abelian p-group with basis \\(\\{a_ 1,...,a_ n\\}\\) and \\(\\phi\\) a linear automorphism of \\(k(a_ 1- 1)\\oplus...\\oplus k(a_ n-1).\\) Then \\(\\phi\\) has a unique extension \\({\\bar \\phi}\\) to a ring isomorphism of kE. A k-generalized subgroup \\(E_ 0\\) of E is a subgroup of the multiplicative group \\({\\bar \\phi}\\)(E). We can now state the main theorems:    Thm. 1. Let M be a kE-module of complexity d. The there exists a k- generalized subgroup \\(E_ 0\\) of order \\(p^{n-d}\\) such that \\(c_{E_ 0}(M_{E_ 0})=0\\) (hence \\(M_{E_ 0}\\) is projective). - Thm. 2. \\(c_ E(M)=\\nu_ p(| E|)-\\max_{E_ 0} \\nu_ p(| E_ 0|)\\) as \\(E_ 0\\) runs over the k-generalized subgroups with \\(M_{E_ 0}\\) projective. \\((\\nu_ p\\) is the usual p-adic valuation, \\(| E_ 0|\\) the order of \\(E_ 0.)\\)- Thm. 3. Let \\(c_ G(M)=d.\\) Then \\(p^{m- d}| \\dim_ k M,\\) where \\(p^ m=\\min_{E}(| E|)\\) as E runs over the maximal elementary abelian p-groups.    Moreover, there is a plethora of very interesting results and new proofs of well-known theorems in the area. One of the main points of the proof is the study of the relation between the cohomology of a group G and the cohomology of a normal subgroup of G of index p. \\textit{J. Carlson} has later obtained a new proof of Thm. 1 [in J. Algebra 85, 104-143 (1983; Zbl 0526.20040)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q791661$C3955738-09DD-4605-8651-F4F3EF6AAD8A","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":"Q791661$9404D2D5-0674-4654-9F11-B0C091FC4D37","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f91eac69ea2ec731b458b8ff3fee2957166ec86c","datavalue":{"value":"20J05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q791661$B74A65F4-4E52-4EA4-9938-83A0E6DE4083","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a2a08fbf923859623db67d2f25dda13b53d2263b","datavalue":{"value":"20C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q791661$491758A8-B690-4C55-B6E4-7C3721AF32C1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"701ac70ad28d7cfda9fec198609672c67294b5c9","datavalue":{"value":"3851379","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q791661$C021A830-FE69-4D7C-A1BB-B8314C110D87","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2533fd766a5ddf362db892b57d735c1584c5465c","datavalue":{"value":"finitely generated kG-module","type":"string"},"datatype":"string"},"type":"statement","id":"Q791661$1E213C7B-6F1F-498E-B248-31D3C43D9436","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"740cabfd759c9bfcf7bd654f81c2f641e9bebe89","datavalue":{"value":"projective resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q791661$2DC59DBA-ECA3-443C-8E0F-4DD7C4CFAAED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q791661$626FAE8B-C061-41B4-8464-E5F9F718E1BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8982c1c1637740e9da25e39bc946345da40a970","datavalue":{"value":"elementary abelian p-subgroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q791661$9EAE0B23-5ED6-4072-995D-8AD7D006471E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce432fd4b43866dcaf8d59af2247f1db44fc3542","datavalue":{"value":"cohomology","type":"string"},"datatype":"string"},"type":"statement","id":"Q791661$5F9B4C85-925C-4D20-A082-1E91C678A8A3","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":"Q791661$66E611E3-718D-4C01-86AD-716E244877C8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"11b40d17090bda7344e4f7780c69bcd1c7bcee13","datavalue":{"value":"https://doi.org/10.1016/0021-8693(84)90094-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q791661$77DB2F4E-9487-433E-BE0D-F8BFA95EC9D2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"735030a6d34f61e7a21639b01c17e7279a7dffac","datavalue":{"value":"W1969425748","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q791661$0493A162-C840-43E1-AB18-7E09F84291E7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c216aa04883f3c27ac38d32ad4bf54c6a35c9cb","datavalue":{"value":{"entity-type":"item","numeric-id":3240881,"id":"Q3240881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q791661$7BEBC5B5-2D5C-4B59-B18F-F70686E1BAFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e41c5d14fd3b298ecbf72d80a5fe11cbbb13a5a1","datavalue":{"value":{"entity-type":"item","numeric-id":5603302,"id":"Q5603302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q791661$00EF10A5-ADCC-43F5-83D0-2FEEDC68F680","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ac29f74700bc5552404df60b3fc99f597ac13b3","datavalue":{"value":{"entity-type":"item","numeric-id":5917604,"id":"Q5917604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q791661$E35D7D29-1D8E-4844-A561-E83BF0037321","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b876a2962bd0973993f1d2a203de798f3bdca37","datavalue":{"value":{"entity-type":"item","numeric-id":5542855,"id":"Q5542855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q791661$EBEDED31-5684-479D-9E27-DF0FC4FBC3F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c5c1bf78292ce62aa9e1121532602f747e2cd50","datavalue":{"value":{"entity-type":"item","numeric-id":2558388,"id":"Q2558388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q791661$EFA11797-6D29-4BDA-898A-68F13151883F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98d2bf3a830b306fdfe6e7d01a86ae114b7230aa","datavalue":{"value":{"entity-type":"item","numeric-id":2555144,"id":"Q2555144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q791661$88DD874F-E8AF-4C71-A961-4489474F745E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76303aa8a4fdbdf40557684712f123576dad5cd8","datavalue":{"value":{"entity-type":"item","numeric-id":2521581,"id":"Q2521581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q791661$0F0E7C66-65E1-4206-8413-80FB4115A642","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0978e04e2d32ce7dbbd2b4fe42d4f068a3310909","datavalue":{"value":{"entity-type":"item","numeric-id":2550830,"id":"Q2550830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q791661$09AC96BE-636B-46D9-ADD5-50ED66AEFE71","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"242ff2fb0b53df33d0faeb859a4298dba475ecaa","datavalue":{"value":{"entity-type":"item","numeric-id":3974456,"id":"Q3974456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e250b8b459882c9fa96d4086356ef495cdcb15e5","datavalue":{"value":{"amount":"+0.8583993315696716","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":"Q791661$586A9F29-ED89-4799-859F-DBF57D60DACE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68a4ae306573492e103e75cbcddecc24520bca34","datavalue":{"value":{"entity-type":"item","numeric-id":3679370,"id":"Q3679370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b043efffb0acb020687a1fbd9d5961a7aad6d612","datavalue":{"value":{"amount":"+0.8531622290611267","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":"Q791661$382B78E5-E6E8-4B8A-A6C2-B2F9CCD33E3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3cc92e8f26c0677d2348b65557b48ebed3bedf49","datavalue":{"value":{"entity-type":"item","numeric-id":453557,"id":"Q453557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa2c12625491ac1e0f9ccbaf8b6a6d78ceda5459","datavalue":{"value":{"amount":"+0.8530299067497253","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":"Q791661$04A2FBC9-9D7F-4A7F-8ADF-1496D7CBEA26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b09eeb9f12afbbaf34fe4f9ca9c9af0d57005b5b","datavalue":{"value":{"entity-type":"item","numeric-id":1076162,"id":"Q1076162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7aba8fb4b958dca2b47862dcf881c4b85e59f213","datavalue":{"value":{"amount":"+0.8147098422050476","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":"Q791661$ADFBA10A-5DCD-4943-96A3-3660AD976BE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9963992f6e787d58747e23a7b3576eac1b916df6","datavalue":{"value":{"entity-type":"item","numeric-id":689789,"id":"Q689789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8a0e7cf7f729f1d788af8c6717f1c17f69a063c","datavalue":{"value":{"amount":"+0.8070621490478516","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":"Q791661$F6FC357D-D022-4708-A40C-B4664EE4DC41","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:791661","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:791661"}}}}}