{"entities":{"Q2411404":{"pageid":2422147,"ns":120,"title":"Item:Q2411404","lastrevid":74102430,"modified":"2026-04-14T18:22:26Z","type":"item","id":"Q2411404","labels":{"en":{"language":"en","value":"Symmetric powers and modular invariants of elementary abelian \\(p\\)-groups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6794867"}},"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":"Q2411404$A936FA0B-8339-48A2-8A71-23D655892C95","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5feb41d85f87747c4917730ad0cea1b97b36a026","datavalue":{"value":{"text":"Symmetric powers and modular invariants of elementary abelian \\(p\\)-groups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2411404$9B0F1731-BCD7-436D-B21A-D845B8C39A72","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a8872841e06f91e6d4a3323078e3354f6d5f2266","datavalue":{"value":"1377.20008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2411404$18B61DC1-674B-48D6-8BBF-9D8773D1C59A","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":"Q2411404$253A5135-D792-4973-BAF5-347642FDA26A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6c23b22abb6cd47509eac4c3e5d58b13717e9ea4","datavalue":{"value":{"time":"+2017-10-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2411404$F5C003D6-46A2-42DB-B2E0-3FA2C7CC2FA1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e6d48c607000f9640861bdf8be2b2cd5daa3cd17","datavalue":{"value":"https://arxiv.org/abs/1503.07797","type":"string"},"datatype":"url"},"type":"statement","id":"Q2411404$5C46D1C6-2CFF-4EBB-A87C-883743C66DAC","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0e36c04f0dcaf48eb72e88bd78fed5a7cae6c4ac","datavalue":{"value":"Let \\(G\\) be a finite group, \\(k\\) a field of arbitrary characteristic and \\(V\\) a finite-dimensional \\(kG\\)-module. If \\(k\\) is infinite, the \\(k\\)-algebra \\(k[V]\\) of polynomial functions \\(V\\to k\\) is isomorphic as \\(kG\\)-module to the polynomial ring \\(k[x_1,\\dots,x_n]\\), where the \\(x_i\\)'s form a basis of \\(V^*\\); this is graded by total degree. As a \\(kG\\)-module, the homogeneous component of degree \\(d\\) in \\(k[V]\\) is isomorphic to the \\(d\\)th symmetric power \\(S^d(V^*)\\) of \\(V^*\\). The central problem in invariant theory is the study of the algebra of invariants \\(k[V]^G\\), which is a \\(k\\)-subalgebra of \\(k[V]\\) on which \\(G\\) acts by algebra automorphisms. This problem is harder in case the characteristic of the field divides the order of the group.  In this article, the author shows several results, extending previously known ones. In particular, one objective is to prove the following. Suppose \\(G\\) is elementary abelian of order \\(p^n\\) and \\(k\\) is infinite of characteristic \\(p\\). Given a faithful indecomposable \\(kG\\)-module \\(W\\) of dimension \\(2\\), let \\(V=S^m(W)\\). If \\(m < p\\), then \\(k[V]^G\\) is generated by invariants of degree at most \\(2p^n-3\\). If \\(m < p^n\\), then \\(k[V]^G/I_{< G}^G\\) is generated by invariants of degree at most \\(p^n\\), where \\(I_{< G}^G\\) is the ideal of \\(k[V]^G\\) generated by the images of all the trace (or transfer) maps from proper subgroups of \\(G\\) to \\(G\\).  In fact, the main body of the article consists of the proof of the following results.  Suppose \\(G\\) is elementary abelian of order \\(p^n\\), \\(k\\) is a field of characteristic \\(p\\) and \\(V\\) is a faithful indecomposable \\(kG\\)-module with dimension \\(2\\). If \\(m\\), \\(d\\) are integers with \\(m, d < p^n\\) and \\(m + d \\geq p^n\\), then \\(S^d(S^m(V)^*)\\) is projective relative to the set of subgroups of \\(G\\) with order at most \\(m\\). If \\(m\\), \\(d\\) are integers with \\(m < p^n\\) and \\(d > p^n\\), then \\(S^d(S^m(V)^*)\\cong S^{d'}(S^m(V)^*)\\) modulo summands which are projective relative to the set of subgroups of \\(G\\) with order at most \\(m\\), where \\(d'\\equiv d\\pmod{p^n}\\) with \\(0\\leq d'< p^n\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2411404$6CB41056-7480-4D77-BE2B-BEF2B042A19D","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b414368ac0e29a8c6c19f770dc762a6763f2c640","datavalue":{"value":{"entity-type":"item","numeric-id":401743,"id":"Q401743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2411404$F1249B23-8EB5-4269-A488-95D60B38E48B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"63280e28b992d074f46b8f496b13ff58e558e99c","datavalue":{"value":"20C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2411404$321D3B74-8297-4F82-A164-3071A185431A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b35a4dd6b69af6318a3999cc38fddaa4478871c5","datavalue":{"value":"13A50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2411404$F61896B7-399A-48F8-8475-66EE4FD0E7CE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7c96e1944f36b785e6c69d24b78eecca418420b1","datavalue":{"value":"6794867","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2411404$A59BE4A8-51E6-4739-A95D-A5A22DABCDA8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65c1270fd0bdc717a48cbd9b920cb165b27e7a6f","datavalue":{"value":"modular representation theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2411404$405E7C6A-F42F-4C59-9F84-9FD92993A7F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dcd453fe6b178991dc2aee63963d3194adc3c5d","datavalue":{"value":"invariant theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2411404$2E76B13E-6679-4CD3-8212-A096216894A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a863a88cf57b767abcfc6a44e6bf8d44a861c20","datavalue":{"value":"elementary abelian \\(p\\)-groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2411404$AA61C813-6747-4524-B843-D5FBAD3A91C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a71dedaf922ec93fb49d1078a3bd9e3478af294e","datavalue":{"value":"symmetric powers","type":"string"},"datatype":"string"},"type":"statement","id":"Q2411404$C3E11BE4-1E54-42EF-B9F5-58C3C6BF7960","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ba6eaf022bd32bf1f2365846735bae268870355","datavalue":{"value":"relative stable module category","type":"string"},"datatype":"string"},"type":"statement","id":"Q2411404$06316B2C-4BCB-4703-BCAF-373DE28AB02A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d68a3b463c2463e73af71b8c3a7fe04857ab1aa4","datavalue":{"value":{"entity-type":"item","numeric-id":403338,"id":"Q403338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2411404$6ABCBD94-F67E-4B2A-9451-21F10C693CE3","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":"Q2411404$8280391C-E0E6-44A1-B83A-BB9ECDEE8DDF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c073852e9ed8e5322f498c285deabba349ab4fad","datavalue":{"value":"W2962983384","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2411404$7ED431C4-2A4D-45AD-812E-A31315B84384","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0003f3298b25c1034b8adfa2857dc6caf3ad838e","datavalue":{"value":{"entity-type":"item","numeric-id":4161819,"id":"Q4161819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2411404$257E5A54-708F-40D0-A786-FDD993E5C532","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1855bdd6b3b946064254111730766aae6a26a65","datavalue":{"value":{"entity-type":"item","numeric-id":4399851,"id":"Q4399851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2411404$04309CCA-5E79-4678-8943-284764AA49A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92811f7575e4347f667b9ca2f36f91795126066e","datavalue":{"value":{"entity-type":"item","numeric-id":1949291,"id":"Q1949291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2411404$A1545F9C-CF67-426E-A932-3EB26ED21B59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02439ef1a43bd3eac311b42c64301742a881f9cf","datavalue":{"value":{"entity-type":"item","numeric-id":4338465,"id":"Q4338465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2411404$FC342BB3-6EDE-47D1-9D9E-400817305B4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1133187e1625c43367ceb6961acd1a5a3b5e33bc","datavalue":{"value":{"entity-type":"item","numeric-id":5786066,"id":"Q5786066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2411404$DF5F0227-8654-480C-AD45-D96BBB8606C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d643a207b149df5fedbdc6dffe3d80b8f9c57030","datavalue":{"value":{"entity-type":"item","numeric-id":855770,"id":"Q855770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2411404$E69C6748-F8BF-43BD-9AA8-C12EDF653C50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1278129514f1778fee6f7a8ddc707c5bc59f4c0e","datavalue":{"value":{"entity-type":"item","numeric-id":4270317,"id":"Q4270317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2411404$C0EE5F08-EAA5-49CF-B305-9006E81AC295","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c1c1bd67966eef337a06f516ef5d04a34a9215a","datavalue":{"value":{"entity-type":"item","numeric-id":5927528,"id":"Q5927528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2411404$9FBF4DE8-7D59-4F5A-B802-AEF7938DC08A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c979d7ef90e32f00a0a07a25211bce5203e5ab22","datavalue":{"value":{"entity-type":"item","numeric-id":2761161,"id":"Q2761161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2411404$E2E8D270-1FEC-40E9-929C-80B45C0ED6BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c37b6a86d7cdb509ed5dd70fab4ec9b6e3227291","datavalue":{"value":{"entity-type":"item","numeric-id":403126,"id":"Q403126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2411404$EF9676E5-52C1-4D69-A86D-B053A8ABA62B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64080537e239a779e25a4f262f5a6792dc9f7c61","datavalue":{"value":{"entity-type":"item","numeric-id":4953308,"id":"Q4953308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2411404$93EF0A2C-1A41-4AA2-BADC-13A649CEEE6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e71cc6aa4f26e84d5067311c35aaa9955e645252","datavalue":{"value":{"entity-type":"item","numeric-id":4301239,"id":"Q4301239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2411404$DDE0B2C4-2CDC-4C7A-8EC8-A45D814C0C70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"425345705f1aae73238e34997eda6713e637aff6","datavalue":{"value":{"entity-type":"item","numeric-id":2704786,"id":"Q2704786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2411404$CFF72457-D521-4F55-8263-FEC1BAFB0945","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d9a893bc2681e437238e9265508f2f7a7add471","datavalue":{"value":{"entity-type":"item","numeric-id":5297598,"id":"Q5297598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2411404$F911C90D-93AC-4985-86C6-FC4E0332BD52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33eda55f9e23555141b3c2c12c2a9c041e19abd1","datavalue":{"value":{"entity-type":"item","numeric-id":640792,"id":"Q640792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2411404$217FA00E-0B4D-48AB-994C-7D9E8525A5F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9937633d584ef0b319ce7b44b3302f955830d60","datavalue":{"value":{"entity-type":"item","numeric-id":5169895,"id":"Q5169895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2411404$DFAC780C-108D-4C04-B6AE-CB5FF3A35D74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b93f666b7b05eaa4e9ca5b6412dc6030bf285d72","datavalue":{"value":{"entity-type":"item","numeric-id":4659171,"id":"Q4659171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2411404$56090F6F-F0CF-4FAE-AA5F-0D9FECB6A159","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7efcbb5ab569dd291792306d4783ef7f431e247b","datavalue":{"value":{"entity-type":"item","numeric-id":1949964,"id":"Q1949964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2411404$0EDA2802-C697-4909-B9AA-09063D610D13","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a484a39220a08386b659f8bf25f9e3263bc73362","datavalue":{"value":"10.1016/J.JALGEBRA.2017.07.020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2411404$31DCEDE6-9573-4E3E-8712-0C6708C99FCC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75bfe1a81e83736b84a8753edfd3b8a4a2643b64","datavalue":{"value":{"entity-type":"item","numeric-id":4953308,"id":"Q4953308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"160c6050677c5ceeb99cc83892be357c41272e7a","datavalue":{"value":{"amount":"+0.8442713618278503","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":"Q2411404$556FBEBF-745C-419F-BB58-7B81A1A179AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e80dd70676f3419bd13ef923e83ab9c4fbb27dd","datavalue":{"value":{"entity-type":"item","numeric-id":2074806,"id":"Q2074806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9cd975a152a1ac754eba27ab5dc9e7c5563ffb86","datavalue":{"value":{"amount":"+0.8439170122146606","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":"Q2411404$FB701E47-1779-4428-BF4A-BF4BC198910B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c60c1f192ca9e5dc8d0fab466a2143d037768a5b","datavalue":{"value":{"entity-type":"item","numeric-id":990758,"id":"Q990758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fb35c84d619055dbbf43582fdbdf89cb2c48fde","datavalue":{"value":{"amount":"+0.8410540819168091","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":"Q2411404$0E8E2B56-6121-4C0F-83F3-5351DA0CABDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"627fcef7723db2d0f6a6086817f1b1a419c446c9","datavalue":{"value":{"entity-type":"item","numeric-id":1354655,"id":"Q1354655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd0572be39c97acd2fc40b5c286bae86a327786b","datavalue":{"value":{"amount":"+0.835021436214447","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":"Q2411404$ECD9FCE3-C208-4BE4-A9EB-6F52A0830C58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2c74fe965aaf3d858c52f13d5f52af187f15fa7","datavalue":{"value":{"entity-type":"item","numeric-id":4399266,"id":"Q4399266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63eeefea9483b693b1d2ccd6f0beef4250806901","datavalue":{"value":{"amount":"+0.832777738571167","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":"Q2411404$41B5EDBD-FE63-45BD-B834-020D6732AAB0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Symmetric powers and modular invariants of elementary abelian \\(p\\)-groups","badges":[]}}}}}