{"entities":{"Q1914011":{"pageid":1924753,"ns":120,"title":"Item:Q1914011","lastrevid":69277458,"modified":"2026-04-13T05:56:33Z","type":"item","id":"Q1914011","labels":{"en":{"language":"en","value":"Arities of permutation groups: Wreath products and \\(k\\)-sets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 883814"}},"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":"Q1914011$9CE74AD7-FC1A-43E8-B59A-8BA9173B0980","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3314efe8f0c1c6488042f4626e5e13f0ed8b0d02","datavalue":{"value":{"text":"Arities of permutation groups: Wreath products and \\(k\\)-sets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1914011$E6A319D7-FEA7-4584-B9E5-0F79EE3F8423","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"671918970587c6f21ea8d5dcc4f0e25df6d22447","datavalue":{"value":"0854.20002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1914011$28643A04-239D-44D6-AECF-43EEBE53224B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a2543a8eaf8fe550d37175fe8c637171bfcfa8be","datavalue":{"value":{"entity-type":"item","numeric-id":1850500,"id":"Q1850500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1914011$D98B45F4-4B8B-45BB-A1AD-A994557DA8A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ee19d37b2cad239ad79bb0e8246bd0cb9bc62e6","datavalue":{"value":{"entity-type":"item","numeric-id":1203491,"id":"Q1203491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1914011$54483A0B-B71E-4183-8A06-2A9CA033A919","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1cdd0b905f41bbf03ef727e9a3ac8ad917514476","datavalue":{"value":{"entity-type":"item","numeric-id":1914010,"id":"Q1914010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1914011$B535E997-2E02-4032-A575-7B763C5BD33B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1c03f12d2ae232c6413ffedcffaa255461d32f1a","datavalue":{"value":{"entity-type":"item","numeric-id":171729,"id":"Q171729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1914011$6CF10955-5F22-4973-A275-221161A90A6F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"16d2a7a0b1c1117ab7d00659418973c65f46d09d","datavalue":{"value":{"time":"+1996-07-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1914011$8ABD0072-9B13-482A-9107-CA6F499C0F2C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"18e18e6d61e5879003497c53526c72abf80432ef","datavalue":{"value":"Consider a group \\(G\\) acting on a finite set \\(X\\). \\(G\\) then acts also on \\(X^n\\). The orbits of \\(G\\) on \\(X^n\\) are called the \\(n\\)-types. Write \\(\\text{tp}(a)\\) for the \\(G\\)-orbit of the \\(n\\)-tuple \\(a\\). For subsets \\(I\\subseteq\\{1,\\dots,n\\}\\) of cardinality \\(r\\) the projection \\(\\pi_I:X^n\\to X^I\\) induces a map from the orbits of \\(G\\) on \\(X^n\\) to the orbits of \\(G\\) on \\(X^I\\). By taking an order preserving bijection from \\(I\\) with \\(\\{1,\\dots,r\\}\\) this map is viewed as a map from \\(n\\)-types to \\(r\\)-types. The \\(r\\)-type of an \\(n\\)-tuple \\(a\\) for \\(r\\leq n\\) is by definition the function which associates to each such \\(I\\) of cardinality \\(r\\) the type \\(\\text{tp}(\\pi_Ia)\\). The \\(r\\)-types are said to determine \\(n\\)-types if any two \\(n\\)-tuples with the same \\(r\\)-type have the same \\(n\\)-type. The arity of \\((G,X)\\) is defined to be the least \\(r\\) such that \\(r\\)-types determine \\(n\\)-types for all \\(n\\geq r\\).   This invariant of a finite permutation group is well known in model theory. In the present paper this invariant is examined from an algebraic point of view. (A similar notion, called weak arity is introduced also which coincides with arity in most cases.) The arity is computed exactly for the symmetric groups \\(\\text{Sym}(n)\\) acting on \\(k\\)-subsets and for sharply \\(t\\)-transitive groups. Otherwise in many cases upper and lower estimates are given. In particular the behaviour of the invariant in power actions of wreath products is analyzed which is important with respect to the O'Nan-Scott theorem for primitive permutation groups.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1914011$ECFB51DF-98F4-4550-8784-8AB77F2222F0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40a17c7590d207693a91f511a74f778bb78de167","datavalue":{"value":"20B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1914011$615917B4-05A9-4254-8B97-1A92C0FA5445","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3367018dbe2ad5da0826b32cb1ef14710133d281","datavalue":{"value":"20B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1914011$CDC921AA-FF1D-4F74-BC1F-19325FE1FD7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fa3a0cd38ea582d702916ee49599e832f201d954","datavalue":{"value":"20B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1914011$49ABCA39-13DE-4A9B-ADAF-4ACB9D8A7D73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5320e9cecd9885a74d1f4cf20dd5b5397119f97a","datavalue":{"value":"20E22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1914011$5364AF49-7EB5-4AFA-B629-66433F42BE44","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"724e076c94d8d64d5590cc38d363d68f35805c3f","datavalue":{"value":"883814","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1914011$DF162DCB-BD8D-435F-9B54-18CF44AC00B5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"485447b25ea9ae3ba0e28b66b16f57c15b7c1fe1","datavalue":{"value":"types","type":"string"},"datatype":"string"},"type":"statement","id":"Q1914011$E70CD483-BFB1-4A07-87DB-60B870FA3F50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ffb61390761c75a8ef1c6b49fa0647658271a8e8","datavalue":{"value":"orbits","type":"string"},"datatype":"string"},"type":"statement","id":"Q1914011$1E7348E3-217C-4175-B01E-CF0A164B40E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"870f12f1b2ed713a3f889224f884f7b15e5d6e38","datavalue":{"value":"arity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1914011$2CABE6E3-D9B0-4C92-8F2B-AC834D5A00C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b964871f8e40d7c65bcd8cad60fac8486ccb700","datavalue":{"value":"finite permutation groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1914011$4A5EF460-F877-4C61-81F6-11AABBF5518E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6156ab1624f52f841c8dabbd5169099542a9c03","datavalue":{"value":"weak arity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1914011$2E2A31CA-4CB9-4E0A-813C-FBFBBD05EFD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f1f2d0ac666fcdd661844ef9a394903274fedf1","datavalue":{"value":"symmetric groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1914011$8CD6F787-B1F4-4F09-B0F0-CDBC4F386C90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf03503434fb3fb66b50c74c306800d4a9627700","datavalue":{"value":"sharply transitive groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1914011$829A78E7-584D-4E66-ABA5-C2B17060E0F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1459f1d57a1af62474bca02a8c91cd16ad0c40b4","datavalue":{"value":"upper and lower estimates","type":"string"},"datatype":"string"},"type":"statement","id":"Q1914011$BE038ECB-2338-4B2D-9FDC-37A140425D0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"545752ca93644b5c0fd25e549e73263c67e1c5c6","datavalue":{"value":"power actions of wreath products","type":"string"},"datatype":"string"},"type":"statement","id":"Q1914011$CFDAE6F1-A791-4785-9315-DD40FADFDD6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b782d72c2c32ddc780b42aea809f1c522461042","datavalue":{"value":"O'Nan-Scott theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1914011$B1E9C4A1-46DD-471E-9D3F-37810E948123","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"901a9df279aa2ad41eaee88407011e6ef2970601","datavalue":{"value":"primitive permutation groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1914011$5DB32BE6-3F36-4AB6-B785-BDCA9FF13C70","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":"Q1914011$80827F5F-45C4-4BFE-AF97-F00C5ABE3DD9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"62eb03317f2d3c7e5703aa8f1b10c011ad23ce63","datavalue":{"value":"https://doi.org/10.1006/jcta.1996.0050","type":"string"},"datatype":"url"},"type":"statement","id":"Q1914011$DA7F3A77-3A70-435B-98A5-986E3B5BB45E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6d9197c3935722ec39d8b9000f70cbcbbaff8172","datavalue":{"value":"W1995741943","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1914011$84744AA0-591F-49B7-9DB1-B42458730CD5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e7b51f54a870d9d799594a53c6679df9c12fa9e7","datavalue":{"value":"10.1006/JCTA.1996.0050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1914011$F23FE04C-B4C5-4F87-A49E-A8D145491F24","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80feeef42355128ead715328bdf22ce77054e09e","datavalue":{"value":{"entity-type":"item","numeric-id":3824561,"id":"Q3824561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78995b497bd47a88ddd7eef89cbf7ee47cc521d5","datavalue":{"value":{"amount":"+0.7747294902801514","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":"Q1914011$9749408F-3A2F-4C91-8E02-22348AF36087","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e735c055f524a5b7ef3b925b37bc67c76ae4188c","datavalue":{"value":{"entity-type":"item","numeric-id":790927,"id":"Q790927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d098c2f21a52e963c5b2742792e3bb150604fd8","datavalue":{"value":{"amount":"+0.7600670456886292","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":"Q1914011$E3ED258E-E7C0-4A42-984C-3625BD29304D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95fe1f623c287bad519c720d42d742b6a39a4ff5","datavalue":{"value":{"entity-type":"item","numeric-id":5417948,"id":"Q5417948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d9b8b29e4697228ebef338388a1a6db9ee824d6","datavalue":{"value":{"amount":"+0.7449016571044922","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":"Q1914011$568E7ACF-4817-43A5-9F78-ABF61177D91B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40b2e50899002fb73b0d3c9eb8a8609b2c553583","datavalue":{"value":{"entity-type":"item","numeric-id":3031145,"id":"Q3031145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0a37dec892b6055b88e679a64cc4f09e19f9c21","datavalue":{"value":{"amount":"+0.7408657073974609","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":"Q1914011$5CEE42A7-9397-413F-98FA-7C566E438386","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fd04a9abcb6119c71795b4cdb39860480f671f6","datavalue":{"value":{"entity-type":"item","numeric-id":4728529,"id":"Q4728529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d7d0b0f0f77f3a2ef8da1d5d02bd931a6541e9e","datavalue":{"value":{"amount":"+0.7389999032020569","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":"Q1914011$D54CF929-D34F-48BC-A365-40CAD5C98A9F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Arities of permutation groups: Wreath products and \\(k\\)-sets","badges":[]}}}}}