{"entities":{"Q796623":{"pageid":798471,"ns":120,"title":"Item:Q796623","lastrevid":64404399,"modified":"2026-04-11T19:38:14Z","type":"item","id":"Q796623","labels":{"en":{"language":"en","value":"On minimal degrees and base sizes of primitive permutation groups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3865543"}},"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":"Q796623$1E5991F5-DA07-47EC-B979-F06788D10F0F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c0ba788e3b8c4b3ade1122d73b796f9792289065","datavalue":{"value":{"text":"On minimal degrees and base sizes of primitive permutation groups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q796623$D9932FC9-A2FA-43A2-AF59-D69BCD2E53FD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"84bee3d62bc8c28aec7256a2b35ba76eadbcdc5d","datavalue":{"value":"0544.20005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q796623$91BDF6B2-605A-4821-B0BF-7947BCD1DEC5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c50880ecfcea927b1d2fbe7cfebba4cb7da0e648","datavalue":{"value":"10.1007/BF01193603","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q796623$319430EE-5500-4557-BB8D-55361AB5EE7F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9f6fe4115bf7aaa58de29edc9545fe7467127d16","datavalue":{"value":{"entity-type":"item","numeric-id":225425,"id":"Q225425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q796623$FF5E2F15-61A6-48D2-BD94-198C4A44A4F6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"db22232807c795272dc3a83fabf3be514df44f25","datavalue":{"value":{"entity-type":"item","numeric-id":166039,"id":"Q166039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q796623$D5D0925E-2233-4F4E-8F61-95D78E10EDB2","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":"Q796623$ADA624F5-6800-4511-8746-DB76A7FFDD06","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"67dcf80ed872ec9cb447e064aef2babd152714d3","datavalue":{"value":"Let G be a primitive permutation group of degree n, acting on a set \\(\\Omega\\). Then the minimal degree \\(\\mu(G)\\) is by definition the smallest number of points moved by any non-identity element of G. Before the completion of the classification of finite simple groups, it has been proved by \\textit{L. Babai} [Ann. Math., II. Ser. 113, 553-568 (1981; Zbl 0485.20002)] that \\(\\mu(G)>(\\sqrt{n}-1)/2\\) provided that the alternating group \\(A_ n\\) is not contained in G.    The author uses the classification of finite simple groups to improve this result. This is done via considering bases of G: A subset \\(\\Delta\\) of \\(\\Omega\\) is called a base of G is the pointwise stabilizer of \\(\\Delta\\) in G is the identity; let b(G) denote the minimum size of any base in G. Babai proved that \\(b(G)<4\\sqrt{n}\\log_ 2n\\) [loc. cit.]. The paper's main results are the following: Theorem. One of the following holds: (i) G is a subgroup of \\(S_ m wr S_ r\\) containing \\((A_ m)^ r\\), of degree \\(n=\\binom{m}{k}^ r\\); (ii) \\(b(G)<9\\log_ 2n.\\)    Corollary. If G is not in case (i) of the Theorem then \\(\\mu(G)>n/9\\log_ 2n\\). The examples \\(AGL(d,2)\\) of degree \\(2^ d\\) show that there exist primitive permutation groups G not satisfying (i) such that b(G) is roughly \\(\\log_ 2n\\). The organization of the proof is canonical: reduction to the case of a simple socle and considering all possible cases in view of the classification. The corollary then follows from the well known fact that \\(b(G)\\mu(G)\\geq n.\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q796623$393EAC01-D31B-45F5-A3CC-AB3B17CCBA23","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3367018dbe2ad5da0826b32cb1ef14710133d281","datavalue":{"value":"20B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q796623$38F74629-71C3-43C9-9F72-4AE7C2AF5ECE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40a17c7590d207693a91f511a74f778bb78de167","datavalue":{"value":"20B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q796623$757FB11A-5D6D-415D-AB7B-2E37A2CC3EC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"913d5faab8506844afe18117d24b66ca7e35db18","datavalue":{"value":"20B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q796623$D86BC495-CD43-44A0-BECB-B26548532AA5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b5c160e8ffffbf3d51b78ea5dd8f4f049c7f4681","datavalue":{"value":"3865543","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q796623$83DC193A-796C-449A-B973-D39B95A30BC0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59b1f6168ab44f62b302f637b78a8680541fc36a","datavalue":{"value":"minimal degree","type":"string"},"datatype":"string"},"type":"statement","id":"Q796623$F3F07921-5FCD-401E-B927-D50E0D9654BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"967db7bdad1cf81a229800ef1ed920f01101bc13","datavalue":{"value":"classification of finite simple groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q796623$90E67FEA-392B-4086-9C4F-2D684D735468","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff7f8448edf062d72b646b4813353339a4dfed69","datavalue":{"value":"base","type":"string"},"datatype":"string"},"type":"statement","id":"Q796623$DD77D1A7-5F97-4841-8E1B-EAE213CC3CDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"901a9df279aa2ad41eaee88407011e6ef2970601","datavalue":{"value":"primitive permutation groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q796623$7E7B9258-D44B-435C-AD65-C47563C7587C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"374bbb54614c94ec81e37fdcf6de0699ad3afa75","datavalue":{"value":"simple socle","type":"string"},"datatype":"string"},"type":"statement","id":"Q796623$B00EA38B-5527-4D0E-8715-EBC356D10BCB","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":"Q796623$EF58C3C6-0DBE-420A-9D0C-E658FB5A3217","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"634d7c30e3f5e5a28958894c04bce229d6650945","datavalue":{"value":{"entity-type":"item","numeric-id":1164133,"id":"Q1164133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q796623$8F65CF6B-40D9-4DAB-AD38-97DF1BE83C50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89114344afb55319f83e26b6ed19450dcb689a11","datavalue":{"value":{"entity-type":"item","numeric-id":3913570,"id":"Q3913570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q796623$8CA746FA-7AE5-4703-B288-03B1623E4DCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b81434ec7657100860fdabff961019997ac460d","datavalue":{"value":{"entity-type":"item","numeric-id":3320577,"id":"Q3320577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q796623$CAFA7980-CAD4-41CD-BFE6-CDCD77A3B293","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa5c0aa6c81cc0d66ae9f76144e781a146e3473b","datavalue":{"value":{"entity-type":"item","numeric-id":1064400,"id":"Q1064400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q796623$B4F627BD-B014-436D-AD90-16EB57A1846D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"790093b0f40018b17ab77b736996df62a410bda4","datavalue":{"value":{"entity-type":"item","numeric-id":1248703,"id":"Q1248703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q796623$668A360A-7436-454A-A745-5139D9202713","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6c6ca1e807cc3ad998d32ec4660e53774f13072","datavalue":{"value":{"entity-type":"item","numeric-id":1133624,"id":"Q1133624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q796623$89B54782-15E4-4DE4-9461-AFED5F181F1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecb7a20ef83052de21ea183e2483d65fc9550a53","datavalue":{"value":{"entity-type":"item","numeric-id":1225120,"id":"Q1225120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q796623$C05F6D49-BD2E-45B1-859C-5EC8EEB075FA","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":"Q796623$A8D52992-DAC4-4133-AB16-F520A26D14C5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6f70b54225ee22a3bc7b4a89b50b0c09065b462","datavalue":{"value":{"entity-type":"item","numeric-id":1803878,"id":"Q1803878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3acd805c3381dbd086103a3976ab97a1c5f41990","datavalue":{"value":{"amount":"+0.8636261","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q796623$94BBF901-1060-42DA-9148-097761F3D482","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c18e7cc80879b8e93f510f452ff3b6271fd0c95","datavalue":{"value":{"entity-type":"item","numeric-id":2139198,"id":"Q2139198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b89c6ed67e79ebc9ff70c6e726f1a686f81ab034","datavalue":{"value":{"amount":"+0.854779","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q796623$D01A54AD-851E-40BD-92C3-9EED98F8A5DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1cc8b6b03b60217951f30817eff2712a90d13762","datavalue":{"value":{"entity-type":"item","numeric-id":6139346,"id":"Q6139346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2068a7ef32fb6bccf5de2b94bf47236ebb3ee0b6","datavalue":{"value":{"amount":"+0.83582354","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q796623$61A761D7-32CA-441B-AAF4-A909563C3CF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06f933e6faefb7d27307df66cddff371429b34ac","datavalue":{"value":{"entity-type":"item","numeric-id":1755548,"id":"Q1755548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5dd613a3593fecd6afbdbd4d6f8d79a9481a2e6b","datavalue":{"value":{"amount":"+0.8302945","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q796623$27BF6138-0414-40DC-8A3F-8224999A9223","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45c253f2b4fad42cbb595206c1264fa97c54f5e2","datavalue":{"value":{"entity-type":"item","numeric-id":1199592,"id":"Q1199592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd08f4f96bd3ea9e3abe4175b460ac867cac0627","datavalue":{"value":{"amount":"+0.82097393","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q796623$3D33D5C0-76E4-4AAA-8A81-B9AC42F6214D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13185eee641bfb2836d8bbb11884aea15050f679","datavalue":{"value":{"entity-type":"item","numeric-id":2239243,"id":"Q2239243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c23ab3fb72225785ebe44d30d8f8ccaacf63e03","datavalue":{"value":{"amount":"+0.7995381","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q796623$964FDFCF-F652-4548-BE10-DF81A0720CE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33daa86442259d68d02cee88178b6b1cc7663faf","datavalue":{"value":{"entity-type":"item","numeric-id":3364642,"id":"Q3364642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77ff91fb9e7fb4a590c97eb9acc4ddeeef829660","datavalue":{"value":{"amount":"+0.79831535","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q796623$01781E25-02D4-4B74-910B-93735F89A6D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a192f41cd9693c20e372429aa3d6f9bc39dedc4d","datavalue":{"value":{"entity-type":"item","numeric-id":3979652,"id":"Q3979652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db05d94fd03594f697a1e14fddff269078c8e8d1","datavalue":{"value":{"amount":"+0.79347783","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q796623$B1115735-82E5-48FD-B0EA-AAF8BE0F5DA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33b40a9bc80039e225076dbbff435a09eb62bc19","datavalue":{"value":{"entity-type":"item","numeric-id":1858295,"id":"Q1858295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8942f18a6b1cd965f1f6d4fd8579e7cd0410f1d","datavalue":{"value":{"amount":"+0.79039013","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q796623$A12FED0A-4A47-4D29-8DC8-03C020B2BE14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5fb670712af2a1fb9ee9e08202975302e431053","datavalue":{"value":{"entity-type":"item","numeric-id":5289105,"id":"Q5289105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3915da16f219e5116523b20d0afe5ddb8afd9027","datavalue":{"value":{"amount":"+0.7874519","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q796623$BCEACD7F-2B28-438E-921A-F1C922F7E299","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On minimal degrees and base sizes of primitive permutation groups","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_minimal_degrees_and_base_sizes_of_primitive_permutation_groups"}}}}}