{"entities":{"Q6597188":{"pageid":14208345,"ns":120,"title":"Item:Q6597188","lastrevid":55740421,"modified":"2026-02-17T21:58:50Z","type":"item","id":"Q6597188","labels":{"en":{"language":"en","value":"On polynomial invariant rings in modular invariant theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7905691"}},"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":"Q6597188$E47D3319-6268-4F73-9E3C-DA4A20ABD597","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"67f914d9761a97089860aeb07f3d8f31c7c1c922","datavalue":{"value":{"text":"On polynomial invariant rings in modular invariant theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6597188$4B5BEA0C-890F-4152-ABD7-FC21E41AC2EB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f2a27ccfe047da2e7a124dd53c17cb39bac0446","datavalue":{"value":{"entity-type":"item","numeric-id":358874,"id":"Q358874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6597188$090885F0-9150-43DC-A067-C9372F94842A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aa45f04e2b18531411b9dfe9c8f9be96e4ae9bba","datavalue":{"value":{"entity-type":"item","numeric-id":1632472,"id":"Q1632472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6597188$0FC15B29-9CFD-4208-ADED-59048243F278","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":"Q6597188$AC271344-44DD-4E91-9D15-E744435667AC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c9b1b88ba197bf63ad753552f0003e1ae1bac157","datavalue":{"value":{"time":"+2024-09-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6597188$8C9E6E9C-B17E-4C33-B7F3-4227987E465B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"34033c682ba274051a42b8b95d0a3389402e2774","datavalue":{"value":"Let \\(V\\) be a finite-dimensional vector space over a field \\(\\Bbbk\\). Let \\(G\\) be a group acting on \\(V\\) by \\(\\Bbbk\\) linear transformations. Write \\(S\\) for the symmetric algebra \\(\\mathrm{Sym}\\) \\(V^*\\) on the dual space \\(V^*\\) of \\(V\\). The \\(G\\) action on \\(V\\) induces a \\(G\\) action on \\(S\\). The ring of invariants is denoted by \\(S^G\\).\\N\\NAn area of invariant theory focuses on giving necessary and/or sufficient conditions under which \\(S^G\\) is a polynomial ring. If \\(S^G\\) is a polynomial ring, then \\(S\\) is a free \\(S^G\\)-module, so \\(S^G\\) is a direct summand of \\(S\\). The converse is not true in general, however an interesting case appears, when \\(G\\) is a finite \\(p\\)-group, and \\(\\Bbbk\\) has characteristic \\(p>0\\). Then the Shank-Wehlau-Broer conjecture states that \\(S^G\\) is a polynomial ring if it is a direct summand of \\(S\\) as an \\(S^G\\)-module.\\N\\NThe present paper gives an affirmative answer for the Shank-Wehlau-Broer conjecture in two particular cases: first, when \\(\\Bbbk=\\mathbb{F}_p\\) and \\(\\mathrm{dim}_\\Bbbk V=4\\) (see the proof in Section 7) and second, when \\(|G|=p^3\\) (proof in Section 8). In order to prove these, it is shown that if \\(\\mathrm{dim}_\\Bbbk V^G\\geq\\mathrm{dim}_\\Bbbk V-2\\), then the Hilbert ideal \\(\\mathcal{H}_{G,S}\\) is a complete intersection (the proof can be found in Section 3). Another ingredient of the proofs uses the fact that a group \\(G\\) with order \\(p^3\\) has composition series formed by transvection groups (see Section 5 and 6 for details).","type":"string"},"datatype":"string"},"type":"statement","id":"Q6597188$2438D489-FDBB-4654-A7FE-6AE572A8FA5B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ae28555f12976185132032e6e60efa20aabecb0e","datavalue":{"value":{"entity-type":"item","numeric-id":6185720,"id":"Q6185720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6597188$796A132B-D199-4B32-AE99-B171347ECE2C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b35a4dd6b69af6318a3999cc38fddaa4478871c5","datavalue":{"value":"13A50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6597188$4365EFAD-70AD-4BFB-AB91-E6280E84AC5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"63280e28b992d074f46b8f496b13ff58e558e99c","datavalue":{"value":"20C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6597188$83D358F0-2188-4A8B-9A59-82FF594C065F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ba0f4aac669c7206c5a11d91d20fa0fa82450308","datavalue":{"value":"14M10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6597188$D2C7AE41-E477-4D29-8384-29311E074B14","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7949320267d3b5242217610e94219a7337ffd2a6","datavalue":{"value":"7905691","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6597188$FA495AFA-4B4F-44CB-B42C-16B912BD82EE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e63379844aaf16f63ba6d8c9eef21552fd35485","datavalue":{"value":"invariant ring","type":"string"},"datatype":"string"},"type":"statement","id":"Q6597188$D30FF2D6-B8A2-4D36-972E-C0FAA1B7F84E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc78d2b80333a2fe1bc4959ce23126c928c3921f","datavalue":{"value":"polynomial ring","type":"string"},"datatype":"string"},"type":"statement","id":"Q6597188$D9312940-B29C-4D73-B3BC-D0B05F33E57D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"746b1f5a92003fcddfeafa473e08054af85ec549","datavalue":{"value":"direct summand","type":"string"},"datatype":"string"},"type":"statement","id":"Q6597188$C9640723-5796-42B8-948E-0153D3ECE5AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47e038be6f1c0266cec431d2c739a18f9a7e0671","datavalue":{"value":"Hilbert ideal","type":"string"},"datatype":"string"},"type":"statement","id":"Q6597188$E7DEFE59-9603-4BEF-9E82-E4591122F97E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6222d91a332013c1f876f2f6a89c38c2446ae41b","datavalue":{"value":"complete intersection","type":"string"},"datatype":"string"},"type":"statement","id":"Q6597188$7C5D2E17-C3C4-4FA7-9735-EDD5E03D3B13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c23152b5869055f24f11497b10ce0a17ffee1aae","datavalue":{"value":"composition series","type":"string"},"datatype":"string"},"type":"statement","id":"Q6597188$17BD2AD1-A37A-4EE7-B543-10DC3244C042","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d2c697b0d02c47595b920961b320f76127a6809","datavalue":{"value":"transvection groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q6597188$930679EC-1038-4841-AD1C-63362263DE41","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":"Q6597188$4E126E36-B155-4277-8A30-87DF288184CF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d2531fbba6435377f9ab02778a32f6262cffb31","datavalue":{"value":{"entity-type":"item","numeric-id":4273960,"id":"Q4273960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6597188$8D1272AD-5971-46EE-A341-9F5C70C508D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"961d2088e5a4f3d8b07438e15b8be080222eea8f","datavalue":{"value":{"entity-type":"item","numeric-id":2074806,"id":"Q2074806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6597188$42B47720-012F-4563-80BF-8ACDFA2C2520","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"883b433b4682cc3541b49c9c81ddd7aaec21e1ea","datavalue":{"value":{"entity-type":"item","numeric-id":2575308,"id":"Q2575308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6597188$39EC8249-836F-41F7-9542-9F540E6303E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd645d7e2b390a540d6d30c70b19b968b9f93eba","datavalue":{"value":{"entity-type":"item","numeric-id":858731,"id":"Q858731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6597188$83C5204D-5D9F-4259-9DB6-D1186783479C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abd8b0e2a17562cc912563ae39d106bb9124ddc5","datavalue":{"value":{"entity-type":"item","numeric-id":3586414,"id":"Q3586414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6597188$74B708B4-3B73-477A-BEEF-FCCAE404A80F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"341f816ac055abe16c1f310c4ebcdf73508cd14f","datavalue":{"value":{"entity-type":"item","numeric-id":621890,"id":"Q621890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6597188$3D580713-92EE-4149-B5C1-518BF6F67314","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be063004a525f51dc5c47846315f38b7c14ed728","datavalue":{"value":{"entity-type":"item","numeric-id":501090,"id":"Q501090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6597188$B235FE01-4EF0-4F51-BBF2-5C62670787EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e411b056cc7b09865749df867cdc1c375685031f","datavalue":{"value":{"entity-type":"item","numeric-id":4684312,"id":"Q4684312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6597188$44EF5B10-E193-40EE-962D-66A0DF4CBB3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6c5d66fe95c39a9eaa431788f7ee5e16751d0b8","datavalue":{"value":{"entity-type":"item","numeric-id":4529763,"id":"Q4529763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6597188$535DF3AB-9957-4595-B02B-33A28CDD7B5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82a8f495fb31e91f7a5b5dba8023e777e1cba733","datavalue":{"value":{"entity-type":"item","numeric-id":3146568,"id":"Q3146568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6597188$17847EBD-F742-4147-9DF6-6893B3DE41C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b0bcc7e8a6cb9c645dfd653c9472e4b99204331","datavalue":{"value":{"entity-type":"item","numeric-id":5164039,"id":"Q5164039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6597188$42626B16-B44B-45A8-BE50-1B62D5B97B4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d98b6e4cde51ba4b79f20826617bd55bfdd69abb","datavalue":{"value":{"entity-type":"item","numeric-id":3761283,"id":"Q3761283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6597188$DFAB73A1-2551-4BD2-9CDD-17EB9393F45E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c256feed38bb57f0fbb462f830e94689051e14a","datavalue":{"value":{"entity-type":"item","numeric-id":1805917,"id":"Q1805917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6597188$7D1DB097-5804-4283-A1EF-17C67DB809D8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"77c7187cba19d1f16a590893d8d06fafd8809fe6","datavalue":{"value":"10.1016/J.JPAA.2024.107758","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6597188$C52CE66C-10ED-44B5-9A6D-6138EB539799","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf17fc18dbc4f4674a07c4b47f759abdc05daf35","datavalue":{"value":{"entity-type":"item","numeric-id":2470368,"id":"Q2470368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7bf0dd6adffdfd811e8a2d0d7b880a1e3623d749","datavalue":{"value":{"amount":"+0.8185067176818848","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":"Q6597188$75C03201-2ACA-4D68-8EE8-D64E6A0709D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b229d32994d4dae0043861baec4d4a41efb64f5","datavalue":{"value":{"entity-type":"item","numeric-id":1283946,"id":"Q1283946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3944c9412b710b5b42ebab8fca1efda04b6940b2","datavalue":{"value":{"amount":"+0.8182621002197266","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":"Q6597188$2E27D0CF-4FBC-49DD-986F-A66BC3848D38","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":"410a38b392128736792dd49f743e84a95423ae08","datavalue":{"value":{"amount":"+0.8178481459617615","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":"Q6597188$A42331E5-C26C-4CB7-AE72-8BE5C68FC8F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dec6257cccb3206c0ef66f79fd9db6422ae7cc8e","datavalue":{"value":{"entity-type":"item","numeric-id":2575308,"id":"Q2575308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"111f615f1b11fd52667d8c85633f2e30357074a9","datavalue":{"value":{"amount":"+0.8131623268127441","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":"Q6597188$C808EC72-B7DA-417E-9F3E-1A0268D40D35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3476ba66f3f9d38cd54bb5dc9a49d8d9d30760c3","datavalue":{"value":{"entity-type":"item","numeric-id":6600756,"id":"Q6600756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c377074f8817d7b25544e25f8b65fe962d3f5475","datavalue":{"value":{"amount":"+0.8054779171943665","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":"Q6597188$29CC8ED1-8C09-43F6-8C47-FF4F523AED64","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6597188","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6597188"}}}}}