{"entities":{"Q1320167":{"pageid":1330917,"ns":120,"title":"Item:Q1320167","lastrevid":68582814,"modified":"2026-04-13T00:43:09Z","type":"item","id":"Q1320167","labels":{"en":{"language":"en","value":"Subgroups of infinite symmetric groups which are full for large sets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 554196"}},"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":"Q1320167$1A0FF487-A0C0-49DB-A1BC-13A24F0FCC06","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ddf830c2ba24c0e5a596e23d503577b27c757c6c","datavalue":{"value":{"text":"Subgroups of infinite symmetric groups which are full for large sets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1320167$0D0B2E50-B301-4438-B454-51F951DAC85E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e313a531ea20b6757b16767b379643a1e0e4629d","datavalue":{"value":"0799.20004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1320167$0F853A6B-F95C-41EE-8203-972A7E1C80D4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"59476d5af5ab47df71af9b3828718a8eeb01c349","datavalue":{"value":{"entity-type":"item","numeric-id":918544,"id":"Q918544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1320167$5CF425D6-0C89-4FEB-9F9B-2443FA889271","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ab434b340e8fb2070bdba3713f2f4c6339ea5ac4","datavalue":{"value":{"entity-type":"item","numeric-id":908906,"id":"Q908906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1320167$9BBE0FFE-AA9C-43FA-A5A0-E16F07359E0D","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":"Q1320167$F3F7E38F-2F94-439D-9574-23C4EC5B5F42","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7a269f34123f780c17e245cbaab12f8ee5852e5b","datavalue":{"value":{"time":"+1994-11-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1320167$7AA2A230-E572-49C4-B640-B7DF6EAF3577","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f1f7766cdb5c9993ed891faa31c5f2f1df34f5e9","datavalue":{"value":"This elegant paper uses a single construction to answer three questions on maximal subgroups of infinite symmetric groups. If \\(\\Omega\\) is a set, \\(G\\leq\\text{Sym}(\\Omega)\\), and \\(\\Gamma\\subseteq\\Omega\\), then \\(G\\) is full for \\(\\Gamma\\) if every permutation of \\(\\Gamma\\) extends to an element of \\(G\\). The main theorem states that if \\(\\Omega\\) has infinite cardinality \\(\\kappa\\), \\(\\lambda\\leq\\kappa\\) with \\(2^ \\lambda=2^ \\kappa\\), and \\(A= A_ 0\\cup A_ 1\\cup A_ 2\\) where the \\(A_ i\\) are disjoint subsets of \\(\\Omega\\) such that \\(| A_ i|=\\lambda\\) and \\(|\\Omega\\setminus A|=\\kappa\\), then there is a proper subgroup \\(G <\\text{Sym}(\\Omega)\\), containing permutations with support of size less then \\(\\lambda\\), and full for each set \\(A_ i\\cup (\\Omega\\setminus A)\\). This has the following corollaries.   (1) With \\(\\Omega\\) as above, there is a maximal subgroup \\(H\\) of \\(\\text{Sym}(\\Omega)\\) and set \\(\\Gamma,\\Delta\\subseteq\\Omega\\) such that \\(|\\Gamma\\cap\\Delta|=\\min\\{|\\Gamma|,|\\Delta|\\}\\), such that \\(H\\) is full for \\(\\Gamma\\) and \\(\\Delta\\) but not for \\(\\Gamma\\cup\\Delta\\). (2) With \\(\\Omega\\) as above, there is a maximal subgroup \\(H\\) of \\(\\text{Sym}(\\Omega)\\) and a moiety \\(\\Gamma\\) of \\(\\Omega\\) such that \\(H\\) is full for \\(\\Gamma\\) but is not the stabilizer of any proper quasi-ideal. (A quasi-ideal on \\(\\Omega\\) is a non-empty family \\(F\\) of subsets of \\(\\Omega\\) closed under subsets, such that if \\(\\Gamma,\\Delta\\in F\\) then either \\(\\Gamma\\cup\\Delta\\in F\\) or \\(|\\Gamma\\cap\\Delta| <\\kappa\\).) (3) Assume there is \\(\\lambda <\\kappa\\) with \\(2^ \\lambda= 2^{\\kappa}\\). Then there is a maximal subgroup \\(H\\) of \\(\\text{Sym}(\\Omega)\\) and a subset \\(\\Gamma\\subseteq\\Omega\\) with \\(|\\Omega\\setminus\\Gamma| <\\kappa\\), such that \\(H\\) is full for \\(\\Gamma\\) but \\(H\\) is not the stabilizer of any ideal on \\(\\Omega\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1320167$AD87CC99-A5F1-4ED5-B8FD-2B9F6F849E6F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"99162f665c9ec138d28e4bea8a477540421995b7","datavalue":{"value":"20B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1320167$2CF58AFD-EF8F-4EF0-9006-031988609736","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2a29ee21041c2436053419ca5df6f9b2aa81e0e5","datavalue":{"value":"20B07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1320167$3EB225C8-694F-42B1-A67F-F824C923C7B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24dd73fcad0992eba5c2f25d794776db75a510d7","datavalue":{"value":"20E28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1320167$1312872C-C7B1-41D6-89D7-D497EBBF5B47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7166df9215f26458e9ca71cabf58a6fddcec10e4","datavalue":{"value":"03E55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1320167$9048650E-5AB8-47C3-AAF8-747A15ED531F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3548244621b24f738a86f0685affb5c66a499e21","datavalue":{"value":"554196","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1320167$7B64E5D4-694C-4176-80DA-097702350C9F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e65d8ce1b478dc8adf2ee5b9d1401b48f0fe5d2c","datavalue":{"value":"filter","type":"string"},"datatype":"string"},"type":"statement","id":"Q1320167$DABB5CCF-2166-494C-9D0F-D860B80EC85F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee951abff07dba8c01565d8405ea44ebe04071a3","datavalue":{"value":"full subgroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q1320167$B267C8ED-375F-4251-9017-5CBD921D5D38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"036c2b66c9701daad77b003d5e875cac4239af63","datavalue":{"value":"maximal subgroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1320167$3C705AAA-D6B5-4418-AEEC-917A89A19EC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"614a55b49403e2e3bf50a3bd5f95a09602d79f3f","datavalue":{"value":"infinite symmetric groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1320167$8DD8D2A1-785C-499D-9840-EC4D940CF1D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba18751b1483f61fb95fecfd493346d0ed31ceab","datavalue":{"value":"moiety","type":"string"},"datatype":"string"},"type":"statement","id":"Q1320167$60032085-61C1-46C9-873E-C9AE1A4BB0C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91dc8b671e710447243584341b7949b8a3fad7b8","datavalue":{"value":"quasi-ideal","type":"string"},"datatype":"string"},"type":"statement","id":"Q1320167$759059C6-48D5-444C-B62F-E06FEC59B268","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6194cd661d3789ad182517f90c1c2c3bfaacf30","datavalue":{"value":"ideal","type":"string"},"datatype":"string"},"type":"statement","id":"Q1320167$39BA7E25-70B9-4E25-8A3A-6FE44ED51C5D","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"d4dfb2c42cefd1d94c0bb9fe27b91656bccaaafd","datavalue":{"value":{"entity-type":"item","numeric-id":1061216,"id":"Q1061216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1320167$CA8D38CC-53C5-4303-9C0D-C8870713896A","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":"Q1320167$3D076AE6-01AA-47D8-90AF-BE32406BA7FD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"78800d488a3b08b9988da6b24bb0e96094af68dd","datavalue":{"value":"https://doi.org/10.1006/jabr.1993.1241","type":"string"},"datatype":"url"},"type":"statement","id":"Q1320167$B5D0B138-76E2-49E1-840B-384AAE47804A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"18553cb11d50af88be1570c9ab6ccf297595363e","datavalue":{"value":"W2020963283","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1320167$712309D8-1568-4155-960F-8573A267B5AF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"34761963e44bdb6c9fd310574c27ea118baa6775","datavalue":{"value":"10.1006/JABR.1993.1241","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1320167$0E67F7A9-1E1D-411E-884E-4F64B115E066","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16212e7a697ccb01a511aa093a1a83fa7e1baf5d","datavalue":{"value":{"entity-type":"item","numeric-id":4896963,"id":"Q4896963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b4ce2d5c2fb24226e975ba02264abdfcdd1ca99","datavalue":{"value":{"amount":"+0.9107800722122192","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":"Q1320167$AF39C81A-B982-47AC-9C84-E43672530253","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16c517b9283b5188bf8b9b3423fd6f15e38fe473","datavalue":{"value":{"entity-type":"item","numeric-id":689187,"id":"Q689187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b44f7ecfa85680f026df28ec87a85015a9c25952","datavalue":{"value":{"amount":"+0.8968427181243896","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":"Q1320167$C9117CD3-7A6D-4738-A928-5C6EEB6D2C4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"868eaeb35917ddc917efbd373cb8bab4d5d7dc3b","datavalue":{"value":{"entity-type":"item","numeric-id":3820786,"id":"Q3820786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64dd4b2d3df7f1f35778170accbd052e34d63aa2","datavalue":{"value":{"amount":"+0.8720340728759766","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":"Q1320167$70E1B5B0-BBCE-4A18-81F3-BB98F46892AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dca8aa3e734c8ec45d54682f1a40286ef2b99adf","datavalue":{"value":{"entity-type":"item","numeric-id":4287079,"id":"Q4287079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb219bb842a713b07baa1fafcb5ee19cd64afb02","datavalue":{"value":{"amount":"+0.8551552295684814","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":"Q1320167$EDF8F916-B705-4566-BD59-627125860321","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Subgroups of infinite symmetric groups which are full for large sets","badges":[]}}}}}