{"entities":{"Q861597":{"pageid":863445,"ns":120,"title":"Item:Q861597","lastrevid":64904223,"modified":"2026-04-11T23:00:19Z","type":"item","id":"Q861597","labels":{"en":{"language":"en","value":"Closed subgroups of the infinite symmetric group."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5119633"}},"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":"Q861597$595A7650-2572-43B7-8E8D-384F4766FA23","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"72751c80808cbe17b25acdb8c0affef0f0be5be7","datavalue":{"value":{"text":"Closed subgroups of the infinite symmetric group.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q861597$810B31CD-0FF1-4F53-B805-0BC225C7E633","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"84a09de70a51957ea87298b9813db6219de73de8","datavalue":{"value":"1111.20004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q861597$6C7A244E-0AD0-4FFD-ACB1-176D22FB9D9C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce1204aadee02121ad3182e79e1036605f581a6e","datavalue":{"value":{"entity-type":"item","numeric-id":351796,"id":"Q351796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861597$A6661CDF-85E5-4A7F-A87C-FE117FE344BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8259050cd83ce3945f173c3e3c741cd5ddddec01","datavalue":{"value":{"entity-type":"item","numeric-id":169248,"id":"Q169248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861597$C142B259-B0F0-4FD4-99CC-AFBB1201128D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8fa179c8715004e2374d4db0c3ce41b39558e95d","datavalue":{"value":{"entity-type":"item","numeric-id":178112,"id":"Q178112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861597$FE18F6D8-4AC0-41F2-A85B-5AC24BCC85BB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ba4941e2a349928a5b283a5f41bffc4e70697d62","datavalue":{"value":{"time":"+2007-01-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q861597$E95AFA81-9FB7-4E34-A9B2-A9544DA32D5E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"00c74a5792dc4d6b025bf0ac1a1cfca550c0c863","datavalue":{"value":"https://arxiv.org/abs/math/0401305","type":"string"},"datatype":"url"},"type":"statement","id":"Q861597$EB8EBECB-4EB1-48F8-A3F4-ACA4B584E6B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"fcb2dcd3afdd8a49cf803ac1624802fd4954d760","datavalue":{"value":"https://escholarship.org/uc/item/5sj0d2v2","type":"string"},"datatype":"url"},"type":"statement","id":"Q861597$6424143B-BE74-47DC-8BC9-0FD2943BACF4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"539283ce7bf99b4d7e42c5dee91597cc6b938e79","datavalue":{"value":"If \\(\\Omega\\) is an infinite set and we regard it as a discrete topological space, then the set \\(\\Omega^\\Omega\\) of all functions \\(\\Omega\\to\\Omega\\) becomes a topological space under the function topology (in this topology, a subbasis of open sets is given by the sets \\(\\{f\\in\\Omega^\\Omega:f(\\alpha)=\\beta\\), \\(\\alpha,\\beta\\in\\Omega\\}\\) and the closure of a set \\(U\\subset\\Omega^\\Omega\\) consists of all maps \\(f\\) such that, for every finite subset \\(\\Gamma\\subseteq\\Omega\\), there exists an element of \\(U\\) agreeing with \\(f\\) at all members of \\(\\Gamma\\)).   Let now \\(\\Omega\\) be a countably infinite set and \\(S=\\text{Sym}(\\Omega)\\) the group of all permutations of \\(\\Omega\\). For \\(G_1,G_2\\leq S\\) let us write \\(G_1\\approx G_2\\) if there exists a finite set \\(F\\subseteq G\\) such that \\(\\langle G_1\\cup F\\rangle=\\langle G_2\\cup F\\rangle\\). Let \\(\\lambda\\) be the least cardinal such that for some finite subset \\(\\Gamma\\subseteq\\Omega\\), all orbits of \\(G_{(\\Gamma)}\\) (pointwise stabilizer subgroup of \\(\\Gamma\\)), in \\(\\Omega\\) have cardinality \\(<\\lambda\\).   In this paper the authors show that the subgroups closed in the function topology on \\(S\\) lie in precisely four equivalence classes under this relation. -- Which of these classes a closed subgroup \\(G\\) belongs to depends on which of the following conditions on \\(\\lambda\\) holds: (i) \\(\\lambda=\\aleph_1\\), (ii) \\(\\lambda=\\aleph_0\\), (iii) \\(3\\leq\\lambda<\\aleph_0\\), and (iv) \\(\\lambda=2\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q861597$3CDFE009-CC95-4BE7-8959-C6353E92314D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fa3a0cd38ea582d702916ee49599e832f201d954","datavalue":{"value":"20B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q861597$44CAEFD4-C5E7-4959-AEF7-6AF469BCDA39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2a29ee21041c2436053419ca5df6f9b2aa81e0e5","datavalue":{"value":"20B07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q861597$D356D8BC-496F-4A53-9F41-ABE98231B416","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5608e4dbe85e8f6c220cc8afcea2a4ada066e3fa","datavalue":{"value":"20F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q861597$21779369-340B-40E5-ACDF-AC1C429537FB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2dc0cf005864565b9c1441e39c3bedeb88b57cc7","datavalue":{"value":"5119633","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q861597$48ED7359-545C-4043-AD96-1A05D8F55FC3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27259f664452d54b401dbd2db9223747885cb400","datavalue":{"value":"full permutation group on countably infinite set","type":"string"},"datatype":"string"},"type":"statement","id":"Q861597$D081546A-38AA-450F-A0EA-AFD4BE852454","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c67a5472b9b8d18c4f65302a8c188069c83eb1e","datavalue":{"value":"subgroups closed in function topology","type":"string"},"datatype":"string"},"type":"statement","id":"Q861597$B2EB8FD8-1868-4160-8C87-48B097764035","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a9fa2b7606523ba3f1d21b531790ec6e3202acd","datavalue":{"value":"equivalence relations on subgroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q861597$21F699E3-49FD-438B-8229-94E1751D2148","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"113bef7c26fa551a594719aa48ecdb43234719fa","datavalue":{"value":"cardinalities of orbits of stabilizers of finite sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q861597$345DD672-57D7-41F5-BB4F-AEDC5D2D3055","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"35ea846fbd37eef2bf04aa3916128060dde76b2f","datavalue":{"value":{"entity-type":"item","numeric-id":277571,"id":"Q277571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861597$1C46D6F8-FD1B-4453-9526-3189BA0C129F","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":"Q861597$C08CC33C-05AB-404A-841E-681B90530F5E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"426c96ca5b7722e91b58c893f897ee09e46c1342","datavalue":{"value":"W2163622252","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q861597$FF7C280F-C02E-4B05-B2DD-93CF2F0FCB45","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ec348b5dec02a817fde618ea9ee29959fb140f09","datavalue":{"value":"10.1007/S00012-006-1959-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q861597$E9075757-2D85-4574-ACDB-C6D5E9B9E32E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d2e704222a927afc9ac24b1b4ada44bcfa8c8bd","datavalue":{"value":{"entity-type":"item","numeric-id":2435043,"id":"Q2435043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b07fd171d7ea7cb963857313dd5d888d4b08b019","datavalue":{"value":{"amount":"+0.8791152834892273","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":"Q861597$39DF46F6-AF38-45C8-9989-E5EFCFB7D1EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"340f84518878145347c7026978351744d28974e0","datavalue":{"value":{"entity-type":"item","numeric-id":1097345,"id":"Q1097345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3bfa4b624fc21fb70a67cfd9e2a4b8b18407fa5","datavalue":{"value":{"amount":"+0.8566622138023376","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":"Q861597$AAEE72F0-C1E7-4CEB-8E69-BD118BF82E3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46d5c51868a6c534032baa86d4ad8607b713eefb","datavalue":{"value":{"entity-type":"item","numeric-id":3240258,"id":"Q3240258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"984f02c7f493bd03f54dccebc0d4d80051942223","datavalue":{"value":{"amount":"+0.8314111828804016","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":"Q861597$8DA6E2EF-9C14-4E0E-B950-B552DC038A67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"581bcede9cfd1c1c7c20ca28659e8e8ab1995bca","datavalue":{"value":{"entity-type":"item","numeric-id":2464353,"id":"Q2464353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e24d967b1ce70ebc90cd1738a7d63eb49d37ebe","datavalue":{"value":{"amount":"+0.8241758942604065","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":"Q861597$80881EE6-3AD9-47E7-9987-5D593169D2DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6bb5140cf875c7c6370c1a292517510b089e92c","datavalue":{"value":{"entity-type":"item","numeric-id":3082309,"id":"Q3082309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15540903625ff08f84e84578a4c99a1f689ff54e","datavalue":{"value":{"amount":"+0.8239620327949524","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":"Q861597$FE71C06F-9D9F-4525-8DFD-9B32FB07CB4F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Closed subgroups of the infinite symmetric group.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Closed_subgroups_of_the_infinite_symmetric_group."}}}}}