{"entities":{"Q6579112":{"pageid":14190267,"ns":120,"title":"Item:Q6579112","lastrevid":56086371,"modified":"2026-03-12T14:16:01Z","type":"item","id":"Q6579112","labels":{"en":{"language":"en","value":"Essential dimension of symmetric groups in prime characteristic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7887264"}},"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":"Q6579112$40FCC93A-33F9-4626-931B-80575A39E225","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b4cb80d58c16b30c39f7947a34001e946ded816c","datavalue":{"value":{"text":"Essential dimension of symmetric groups in prime characteristic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6579112$68150C07-D766-4023-9448-0636C8AD427D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"463768c3b4b8dcb4b4745533de31eb14fe06357c","datavalue":{"value":{"entity-type":"item","numeric-id":6447952,"id":"Q6447952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6579112$FA5EB971-A26F-481E-A6D9-AA4D514802D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"633a623cbdda199e1a7420bc7927815101616f58","datavalue":{"value":{"entity-type":"item","numeric-id":388758,"id":"Q388758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6579112$724B5EC8-0441-46CE-B5E3-DE34392C5B89","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5a5c9e0c6a7a2a0cb7662cbf32d2a100f29f5641","datavalue":{"value":{"entity-type":"item","numeric-id":251665,"id":"Q251665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6579112$D9A245CB-C211-4E8E-AF12-D2E2AF25E9CA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fcb6e680465fc2d1be3c223775554b4f96f22955","datavalue":{"value":{"time":"+2024-07-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6579112$BA683F3D-A714-42D6-BC5F-500F84D82AA5","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c19fbf02929a0a75e77019321325563a241c3162","datavalue":{"value":"The essential dimension ed\\(_k (Sn)\\) of the symmetric group \\(Sn\\) is the smallest integer \\(d\\) such that the general polynomial \\(X^n + a_1X^{n-1} + \\dots + a_n\\) can be reduced to a \\(d\\)-parameter form by a Tschirnhaus transformation. The problem of finding this number is open and originates in the work of \\textit{F. Klein} [Lectures on the icosahedron and the solution of equations of the fifth degree. 2nd, rev. ed. New York: Dover Publications, Inc (1956; Zbl 0072.25901)]; see also \\textit{N. G. Chebotarev}'s paper [Izv. Akad. Nauk SSSR, Ser. Mat. 7, 123--146 (1943; Zbl 0060.04901)], long before the notion of an essential dimension of a finite group was formally defined. \\N\\NThe formal definition has been introduced by \\textit{J. Buhler} and the second-named author [Compos. Math. 106, No. 2, 159--179 (1997; Zbl 0905.12003)], where the inequalities ed\\(_k (S_n) \\ge \\lfloor n/2 \\rfloor \\) and ed\\(_k (S_n) \\le n - 3\\) (\\(n \\ge 5\\)) have been proved in characteristic zero. As noted by the authors of the paper under review, the proof of the former inequality given by Buhler and Reichstein goes through for any field \\(k\\) of characteristic ch\\((k) \\neq 2\\), and the latter inequality is valid over an arbitrary field \\(k\\). By a result subsequently obtained due to \\textit{A. Duncan} [Math. Res. Lett. 17, No. 2, 263--266 (2010; Zbl 1262.14057)], in characteristic \\(0\\), ed\\(_k (Sn) \\ge \\lfloor (n +1)/2 \\rfloor\\), for any \\(n \\ge 7\\). The exact value of ed\\(_k (Sn)\\) is open for each \\(n \\ge 8\\) and any field \\(k\\), though it is widely believed that ed\\(_k (Sn)\\) should equal \\(n - 3\\), for every \\(n \\ge 5\\), at least in characteristic \\(0\\).\\N\\NThe purpose of the paper under review is to show that ed\\(_k (Sn)\\) can be at most equal to \\(n - 4\\) in prime characteristic. Its main result, formulated as Theorem 1, states the following:\\N\\NLet \\(k\\) be a field of characteristic \\(p > 0\\) and let \\(n\\) be a positive integer whose binary presentation is \\(n = 2^{m_1} +2^{m_2} + \\dots + 2^{m_r}\\), where \\(m_1 > m_2 > \\dots > m_r \\ge 0\\). Assume that one of the following conditions holds: (a) \\(p\\) is odd, \\(p\\) divides \\(n\\) and \\(r \\ge 4\\). If \\(r = 4\\), assume further that \\(k\\) contains as a subfield a field of \\(p^2\\) elements. (b) \\(p = 2\\), \\(4\\) divides \\(n\\), and \\(r \\ge 2\\). Then ed\\(_k (Sn) \\le n - 4\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q6579112$6B39C0F3-EA0D-4615-A3CA-87225C36FE8F","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"3ae26c396284ffac307162f7102c7003d7e21626","datavalue":{"value":{"entity-type":"item","numeric-id":590112,"id":"Q590112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6579112$5F2CC1C6-3512-4AED-861D-36E67DC10896","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"56c7f76923b29a06e5df502ec9e72c901e9849fe","datavalue":{"value":"12E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6579112$654A0D47-C865-436D-81DA-F1F1192BBAD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f5917b388c6f70a5c0facb3d29f3754f2bccd2ce","datavalue":{"value":"14G17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6579112$045D3B64-853C-4EB2-809B-9D7EAF66C996","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"630a82a371ad84fa1117bcd32461226e0183986d","datavalue":{"value":"14L30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6579112$257BB837-5EF4-45F8-9106-BFACACAC9FB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4a1cad158d855a2e8ea1a990792bb1979d58b9a7","datavalue":{"value":"14E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6579112$2FF91023-FB4B-4D82-AD05-8BCDF1B2AB57","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"720443af9e02bc947e411cecc9dc9ac8556effb3","datavalue":{"value":"7887264","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6579112$9E773376-8085-4A1B-8811-7A816ACEFBB3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"15a6093a6828df3e57656db1f7ed13f4d9e015ca","datavalue":{"value":"essential dimension","type":"string"},"datatype":"string"},"type":"statement","id":"Q6579112$B46056E6-8921-4FD6-AC81-D99EE14EBF2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"38d830dae6f5ce906f6d20604a81e37d7574c069","datavalue":{"value":"symmetric group","type":"string"},"datatype":"string"},"type":"statement","id":"Q6579112$21C03055-5BF3-4A0B-AD77-6BC5543BB10F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca9a9aef8c2246c8691ec969eed24ad3fe2987ca","datavalue":{"value":"general polynomial","type":"string"},"datatype":"string"},"type":"statement","id":"Q6579112$CCBDB7A7-1F1B-48C5-B88E-145C27B3BC4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb7149ce056d84ee21103c6b052fb7ca1b2fd05a","datavalue":{"value":"group action on an algebraic variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q6579112$7BE7F3E6-B0FA-4A46-A3B6-82FBF12C41F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9341b002f21c65cbbc10813fed30ac97bdf59efb","datavalue":{"value":"positive characteristic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6579112$F14AA312-B196-4599-BD03-2113E22A1102","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":"Q6579112$6E5B0805-4DD2-46D3-B778-634BB7356E4D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd6f21f25ceba16c21118ecde648d4497ebfeb91","datavalue":{"value":{"entity-type":"item","numeric-id":1419684,"id":"Q1419684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6579112$9CED3E01-FA28-4C4F-88E7-64FC02C034E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fecfbfbca80c94b84a1c5dd89bdb9f6eec5b794","datavalue":{"value":{"entity-type":"item","numeric-id":5802208,"id":"Q5802208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6579112$68FD897B-2C4C-4B72-B96D-032475E2A134","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0984798bc9f2a5e553719239e28e51a1010c4787","datavalue":{"value":{"entity-type":"item","numeric-id":4636124,"id":"Q4636124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6579112$F18DCC39-C5F5-4FE8-968F-831FAECF9FAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd8793a2ef9fe8214ab12c3199419cec920fae59","datavalue":{"value":{"entity-type":"item","numeric-id":4345956,"id":"Q4345956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6579112$684AEE16-1ABB-4C3F-ACAD-32D29CC49054","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"778cafd5374c76afcfd09614889c2d0b45dd40fe","datavalue":{"value":{"entity-type":"item","numeric-id":1621508,"id":"Q1621508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6579112$461FF9CF-A4D0-4068-B52E-B7C1D1A4D727","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abc8f04bc9ed855c80c3b6d41021fe357f5c6f82","datavalue":{"value":{"entity-type":"item","numeric-id":2275691,"id":"Q2275691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6579112$0520D4E5-848E-4ED6-99E5-A5872B334E13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f60e978f45c59ebffca9b21304e7260df8feffc7","datavalue":{"value":{"entity-type":"item","numeric-id":3516073,"id":"Q3516073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6579112$9D32FB22-4BE0-4787-9EB3-EAF3CC49B007","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e59ccbd0a28965d997163a3f4b1152f54a94b054","datavalue":{"value":{"entity-type":"item","numeric-id":3235831,"id":"Q3235831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6579112$6AA3EDBD-E687-4F8E-94EC-7695D2508A81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a16aa7df9a5e9d1945a36851af0fc35a30fba84d","datavalue":{"value":{"entity-type":"item","numeric-id":877694,"id":"Q877694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6579112$EC7B0F65-6136-4F35-A552-09BE6BC0E288","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cee862482e3ec93d13d61e52d1bdd90a50bef41","datavalue":{"value":{"entity-type":"item","numeric-id":2377158,"id":"Q2377158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6579112$81C916D7-5A8F-4519-842F-E4DB74A65828","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecca8d10d9d45e509f41175aaa58278d06f74000","datavalue":{"value":{"entity-type":"item","numeric-id":4850044,"id":"Q4850044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6579112$EB49F1EC-7A03-46F0-BCBC-E06FFBC80C2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec31dc464f0a7cfccbe84ceb9bce46cde4460ea7","datavalue":{"value":{"entity-type":"item","numeric-id":3096595,"id":"Q3096595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6579112$D1DC5614-9225-48C3-BFF6-BCB3A348A453","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9930844a690afeb9bbf91773c3a32ce31c767a46","datavalue":{"value":{"entity-type":"item","numeric-id":5869884,"id":"Q5869884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6579112$7995E6F1-2AEC-486F-9F86-D34FCC49125D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f4f0679ad88496d17f1493ea1b1735018b3b54f","datavalue":{"value":{"entity-type":"item","numeric-id":5834527,"id":"Q5834527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6579112$9D5E5608-BBCF-481D-B79A-D2F6EC4CF078","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed5cab814cd603492c1673559e52eda9669c1aa7","datavalue":{"value":{"entity-type":"item","numeric-id":5512231,"id":"Q5512231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6579112$B524064E-53F9-4607-BCE6-3552F1DE186E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68cf40c13054d3e1c46bc755978c3b18ff6b1ff2","datavalue":{"value":{"entity-type":"item","numeric-id":1047656,"id":"Q1047656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6579112$459351F3-439A-4F53-9258-4AE7FDB025D3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"26a4a9432f79c0a4d35dbdc717d8045e1e4eb9e8","datavalue":{"value":"10.5802/CRMATH.577","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6579112$03B272B0-4290-4617-8BBF-0D67F3ED7BCD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a74653cbb7bfde21c2ccf38ebe501b30a8bae48b","datavalue":{"value":{"entity-type":"item","numeric-id":4345956,"id":"Q4345956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ba6d42d1633802142cde698c6d1090e65591bb7","datavalue":{"value":{"amount":"+0.8566111326217651","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":"Q6579112$F8E4271E-E464-4D53-BAAD-227101F18692","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b49ca002cf92a23bb7fc05a686edc9b69a5ddc94","datavalue":{"value":{"entity-type":"item","numeric-id":1736433,"id":"Q1736433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5cb81621aaf3a3d41ce39211aa7c08748945a320","datavalue":{"value":{"amount":"+0.8078932762145996","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":"Q6579112$0622044D-AEBF-4FBC-8F65-709031DD3227","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63c828a1dd10ed3f6c82203c07d4d862ef5c98d9","datavalue":{"value":{"entity-type":"item","numeric-id":2934800,"id":"Q2934800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5b39060095b554f82e6bff838793797fd4fa6b2","datavalue":{"value":{"amount":"+0.8002105951309204","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":"Q6579112$AD9E5C7F-B15A-496F-8946-36A068CDFFEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d583e3c0a4aebb394a3426cf3c48f156df8e3915","datavalue":{"value":{"entity-type":"item","numeric-id":4817221,"id":"Q4817221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d400eec603393fa48136de2c82748cb518b40b87","datavalue":{"value":{"amount":"+0.795242190361023","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":"Q6579112$5BAD4922-1B94-43FF-BE1C-F09841B60FDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca341c0703af885fa3aa735345b9c6b40ab45f18","datavalue":{"value":{"entity-type":"item","numeric-id":4903925,"id":"Q4903925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"141c4179e38f56b32b4f20191a6aa62a9eb98f55","datavalue":{"value":{"amount":"+0.7916356921195984","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":"Q6579112$643E99CD-89F3-4EBD-93D8-DEEDF365957C","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6579112$1D19ED2C-6823-4C94-9664-B4EB80D00767","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6579112","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6579112"}}}}}