{"entities":{"Q1097345":{"pageid":1108097,"ns":120,"title":"Item:Q1097345","lastrevid":66715152,"modified":"2026-04-12T12:20:50Z","type":"item","id":"Q1097345","labels":{"en":{"language":"en","value":"A note on automorphism groups of countably infinite structures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4033980"}},"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":"Q1097345$678D391B-B661-43F1-9A36-55340E7E977D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5dddedae559180bd5e50335fa4209b1f3eab51b3","datavalue":{"value":{"text":"A note on automorphism groups of countably infinite structures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1097345$E2B888FA-E02E-48BE-9514-E25777801682","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"99ba566184f8c97dc150b04d5d0342f670cf1bb4","datavalue":{"value":"0635.20001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1097345$167A5DD5-AF60-48FE-9421-F1FD746C67B1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"31c92a7fd17e20b81ea5ee4c3da20748bd1a943f","datavalue":{"value":"10.1007/BF01194294","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1097345$E158BFEF-A955-4DCB-8CEA-2FE1AF191F20","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"62d3cfdc9a2b46db29b6ba5253e63e6596230556","datavalue":{"value":{"entity-type":"item","numeric-id":555562,"id":"Q555562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1097345$CBE0A31A-E52A-4CCC-8A6B-D61932B42927","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":"Q1097345$E9532425-DC3A-4F25-B9FE-C1032CC017DF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q1097345$18043C22-8C12-431C-8607-4878941C141C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"078bab99518c72ef5d2994d9bd0df298c8d282ad","datavalue":{"value":"Let \\(\\Omega\\) be a countably infinite set. A relation on \\(\\Omega\\) is just a subset of \\(\\Omega\\) k for some integer \\(k\\geq 0\\). The author defines a subgroup of the symmetric group Sym(\\(\\Omega)\\) to be closed if it consists of all permutations which leave invariant the relations in some given collection of relations. Equivalently, G is closed if whenever \\(x\\in Sym(\\Omega)\\) has the property:    (*) for each finite subset \\(\\Delta\\) of \\(\\Omega\\), there exists \\(y\\in G\\) such that \\(xy^{-1}\\) fixes \\(\\Delta\\) pointwise, then \\(x\\in G.\\)    The main result of the present paper is the following Theorem 1.1: If G and H are closed subgroups of Sym(\\(\\Omega)\\) and \\(| G:H| <2^{\\aleph_ 0}\\) then H contains a pointwise stabilizer in G of some finite subset of \\(\\Omega\\). The papers by \\textit{J. D. Dixon}, \\textit{P. M. Neumann} and \\textit{S. Thomas} [Bull. Lond. Math. Soc. 18, 580-586 (1986; Zbl 0607.20003)] and \\textit{D. M. Evans} [Bull. Lond. Math. Soc. 18, 587- 590 (1986; Zbl 0603.20041)] include theorems which are special cases of this result. A slightly weaker theorem has appeared in work in logic and been published by \\textit{D. W. Kueker} [in Syntax Semantics Infinitary Languages, Lect. Notes Math. 72, 152-165 (1968; Zbl 0235.02018)] and by \\textit{G. E. Reyes} [Ann. Math. Logic 1, 95-137 (1970; Zbl 0217.305)]. The theorem leads to a reformulation of an outstanding conjecture of H. D. Macpherson: If H is a subgroup of Sym(\\(\\Omega)\\) such that H has only a finite number of orbits on \\(\\Omega\\) k for each \\(k\\geq 0\\), then the index of H in its closure is either 1 or \\(2^{\\aleph_ 0}\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1097345$A50EE2E2-4B3F-4533-BA86-492272ECFA5D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"512f02c3a91060c0a6967ce7e6a4f8fc6304bb6a","datavalue":{"value":"20B27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1097345$CE6D96D3-59C1-4252-9A76-B5A6CF42BBD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"99162f665c9ec138d28e4bea8a477540421995b7","datavalue":{"value":"20B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1097345$8A088EEE-4B9B-4567-8707-E2A04FFEA730","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1097345$D65753FB-E8BC-40C5-98EF-19C7982928C7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4b2fb6291171b7c5c44ed468b293223db196fb57","datavalue":{"value":"4033980","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1097345$DB8D4E42-2BBA-4E9A-A7FB-ABAB442B1ADF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"38d830dae6f5ce906f6d20604a81e37d7574c069","datavalue":{"value":"symmetric group","type":"string"},"datatype":"string"},"type":"statement","id":"Q1097345$581DCF99-138C-408B-B625-66CE6F6FC5E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94972d89ba4503b868daad8e0a5b1c846954d436","datavalue":{"value":"relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1097345$21C1431B-DBAA-41B0-A9C4-3AB133331589","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"15e338aac75a622db40b33a60e473b61845f018c","datavalue":{"value":"closed subgroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1097345$B8DE95A6-BC23-45B4-BBC0-1FDEDC3534B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a45e4a197d4b8679c79be02003afac6891d27f3f","datavalue":{"value":"pointwise stabilizer","type":"string"},"datatype":"string"},"type":"statement","id":"Q1097345$65321B2E-A65E-4328-86DE-8DEAD804FCE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52273a2cae00d4f4b146173f10882dc179b0ea84","datavalue":{"value":"number of orbits","type":"string"},"datatype":"string"},"type":"statement","id":"Q1097345$E132826D-B8D6-4324-B364-5D69D6501465","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":"Q1097345$694C6BB1-3F11-4EDC-A576-B31A4BB3174E","rank":"normal"}],"P223":[{"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":"Q1097345$0C47B178-24BA-4EB9-A2AB-152E0406622C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb3cb9ac869b59bd30219d72b63b44e4addab369","datavalue":{"value":{"entity-type":"item","numeric-id":5643952,"id":"Q5643952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1097345$0501ECF3-DF5A-4FBF-8DC7-5922729EEFD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54fd4e5d414ae9b7e1b86bffcacefa1b24d6d024","datavalue":{"value":{"entity-type":"item","numeric-id":3751563,"id":"Q3751563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1097345$822B0F52-C593-4057-825F-37F36795FF64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c08012a678c0865e62c2a20958b904424ae8b9c8","datavalue":{"value":{"entity-type":"item","numeric-id":5621364,"id":"Q5621364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1097345$F6D49C26-00D5-49F1-83BB-C0C778655FD5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d15576c9bf6a003cb7095a51746784f9ef18b364","datavalue":{"value":{"entity-type":"item","numeric-id":861597,"id":"Q861597"},"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":"Q1097345$8BB807BB-23EB-4117-891B-A5509C50DD65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49688fb495340e0835d7222310f9131402b49c25","datavalue":{"value":{"entity-type":"item","numeric-id":4579799,"id":"Q4579799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfa46c84a84f370fb0497926fdc4edd0fa03cc50","datavalue":{"value":{"amount":"+0.824867308139801","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":"Q1097345$3243B968-DF4E-4C7E-BAD7-AC3712C74183","rank":"normal"},{"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":"33f7e26599d8b3feef3678060b0bfb1a1f4a8373","datavalue":{"value":{"amount":"+0.8237996697425842","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":"Q1097345$54F9C43F-6854-4C2F-A8AA-86135874B2E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41dd6dfc84819f7f30240cc1ade3c545adb68fd6","datavalue":{"value":{"entity-type":"item","numeric-id":1117027,"id":"Q1117027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfc01220a8124153fd4b79ab034b8a17263749e6","datavalue":{"value":{"amount":"+0.8054023385047913","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":"Q1097345$E1D4E4EC-5E90-4A2B-8802-58750F1881CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa461a01579c0b8cdc4f52f03050b7ad83ae0e8b","datavalue":{"value":{"entity-type":"item","numeric-id":3751563,"id":"Q3751563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75047b8b68365847443037e43e0f7d0c061b14cf","datavalue":{"value":{"amount":"+0.7958812117576599","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":"Q1097345$D5370B9A-8C9E-42B7-B6A1-7610827FDE72","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A note on automorphism groups of countably infinite structures","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_note_on_automorphism_groups_of_countably_infinite_structures"}}}}}