{"entities":{"Q1813657":{"pageid":1824399,"ns":120,"title":"Item:Q1813657","lastrevid":71340504,"modified":"2026-04-13T21:35:04Z","type":"item","id":"Q1813657","labels":{"en":{"language":"en","value":"On a certain infinite permutation group"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4762"}},"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":"Q1813657$4B4084BE-5C3F-4401-B511-700779305E68","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8118420eb833e3b9eb0bd7487244bbae0acdc627","datavalue":{"value":{"text":"On a certain infinite permutation group","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1813657$8EAA6E17-AF08-4EC9-AF1E-2C5E5C840F6F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6a47b3da481d16df41a7e422616324f18f37f257","datavalue":{"value":"0744.20007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1813657$3251CFA6-D1DF-43C4-9CDE-8633B350D775","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7a4e6900f923dc1eac3207dc60bfb28fdaf49bae","datavalue":{"value":"10.1016/0021-8693(90)90180-V","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1813657$1988750F-872C-4746-ACD3-7E64A298269D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1f4266169ed8082ddc838bcaf0c55ba444f6b00d","datavalue":{"value":{"entity-type":"item","numeric-id":1076803,"id":"Q1076803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1813657$AA726B7B-EDE5-40A1-B769-12C0B1244FE6","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":"Q1813657$F74D34F6-F4C3-4872-BC0C-177F0E1493C4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d3f790682a6be4cc1f3210e15eebe1d6cc5ffbc2","datavalue":{"value":{"time":"+1992-06-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1813657$70FAAC6A-8553-4791-81A0-8099952A5156","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e208bed5a991fbbd2bfacff41f8ee82f87b205c3","datavalue":{"value":"Let \\(g\\) be an element of infinite order in a group \\(G\\), and let \\(C^*_ G(g)\\) be the union of the centralizers \\(C_ G(g^ m)\\) for each \\(m>0\\). Similarly, let \\(N^*_ G(g)\\) be the set of elements \\(t\\) such that \\(t^{-1}g^ mt=g^ n\\) for some nonzero integers \\(m,n\\). Then both \\(C^*_ G(g)\\) and \\(N^*_ G(g)\\) are groups called the approximate centralizer or the approximate normalizer of \\(\\langle g\\rangle\\), respectively. In the paper under review, the group \\(C^*_ S(\\rho)\\) is considered, where \\(S\\) is the symmetric group on a countably infinite set \\(\\Omega\\), and \\(\\rho\\) is a permutation of \\(\\Omega\\) with an infinity of infinite cycles and no finite cycles, and it is proved that the group has the series \\(1<K<L<M<C^*_ S(\\rho)\\) of normal subgroups such that (i) \\(K\\) is contained in every nontrivial normal subgroup of \\(C^*_ S(\\rho)\\), and is countable, simple, and locally abelian-by-finite; (ii) \\(M\\) contains every proper normal subgroup of \\(C^*_ S(\\rho)\\), so that \\(C^*_ S(\\rho)/M\\) is simple, and \\(C^*_ S(\\rho)/M\\) has the power of the continuum and a subgroup isomorphic to \\(S/S_ 0\\), where \\(S_ 0\\) is the group of permutations with finite support; (iii) \\(M/K\\) is a torsion free abelian group; (iv) \\(L/K\\) is the maximum divisible subgroup of \\(M/K\\) and has the power of the continuum; and (v) \\(M/L\\) is isomorphic to \\(\\hat\\mathbb{Z}\\), the profinite completion of the infinite cyclic group \\(\\mathbb{Z}\\), and is central in \\(C^*_ S(\\rho)/L\\). Some facts concerning the group \\(N^*_ S(\\rho)\\) including two conjectures on it are added at the end of the paper.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1813657$621D265B-BBEF-42D6-A98E-F14A1921DC71","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c3ccefabfb231777c0d0a0c7380596097926e0fd","datavalue":{"value":{"entity-type":"item","numeric-id":684401,"id":"Q684401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1813657$8A840667-7BBF-4850-8688-32AC35B5594D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"99162f665c9ec138d28e4bea8a477540421995b7","datavalue":{"value":"20B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1813657$69D98C60-4157-4A9D-AD05-B1B90AF7012B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fa3a0cd38ea582d702916ee49599e832f201d954","datavalue":{"value":"20B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1813657$53BCABB5-5C5F-489F-8D42-8C44838F5627","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"403a2d378c7f2b1dcd03e71486a8ed20ba643191","datavalue":{"value":"20E32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1813657$B7CE26C0-F5DB-4D66-8EB6-C6C8400D4792","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ea3d449c3c42ed2cbf3606a1dcc25bac2515ff4a","datavalue":{"value":"4762","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1813657$422D1FC5-59D3-432A-9AFA-4F19B41E0871","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e9868ec50a645104114d28fa75adb01eeca04ef1","datavalue":{"value":"approximate centralizer","type":"string"},"datatype":"string"},"type":"statement","id":"Q1813657$C36DFB35-10EB-40F4-9405-6904BFCB9071","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b030d21c43a07a6f714e52b507af49d0f92c1062","datavalue":{"value":"approximate normalizer","type":"string"},"datatype":"string"},"type":"statement","id":"Q1813657$2662B61E-6419-4883-B939-0C20B0218675","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"38d830dae6f5ce906f6d20604a81e37d7574c069","datavalue":{"value":"symmetric group","type":"string"},"datatype":"string"},"type":"statement","id":"Q1813657$3A1B93DC-98E8-481E-88E1-A5B06E26DE3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8524302b34c98d91a2bd5918d3b7ab4d0540529","datavalue":{"value":"countably infinite set","type":"string"},"datatype":"string"},"type":"statement","id":"Q1813657$974ECCA1-0B43-407B-8ABA-25175D1191AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb87f75ee0bca3c8460fe97705b47288bc8e14f9","datavalue":{"value":"infinite cycles","type":"string"},"datatype":"string"},"type":"statement","id":"Q1813657$B765BF45-447A-42DD-BD9C-8ADF006EA27A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85324fb1047df444bb8002d1f54e63570ef6240d","datavalue":{"value":"normal subgroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1813657$E60D32F3-DE92-4CC7-BA2D-26B831C54751","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b6b167d1330b153e10f033ac19a93f09b55f09a","datavalue":{"value":"locally abelian-by-finite","type":"string"},"datatype":"string"},"type":"statement","id":"Q1813657$D200E71B-E65A-43ED-9C22-C2127E5E234B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d01efc6aac71e7fa3254668846160326f9c6598","datavalue":{"value":"permutations with finite support","type":"string"},"datatype":"string"},"type":"statement","id":"Q1813657$E7EA5ABF-4C55-4F41-B1BD-855EA6DAD743","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8147ed274cc7a57a0c70b5a4337807da06327ab0","datavalue":{"value":"maximum divisible subgroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q1813657$8EF695B0-E4F8-4075-99F0-C28AA88BFF8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27b4f2b50199815748f444f1f08fe6916e9c807c","datavalue":{"value":"profinite completion","type":"string"},"datatype":"string"},"type":"statement","id":"Q1813657$7FF0BF90-7D6D-4B34-ACE3-424860581FA0","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":"Q1813657$602193D1-F40D-427D-AFD2-35FD12556824","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d766995c886dfc4fd0dd46a605c07b2cd646294d","datavalue":{"value":{"entity-type":"item","numeric-id":5564380,"id":"Q5564380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1813657$CC856B32-9A5A-4B92-8286-6CC609B04260","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70b99c79774391d1fe27f5fe679c37e7d8b391f6","datavalue":{"value":{"entity-type":"item","numeric-id":3887652,"id":"Q3887652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1813657$E829AF1E-170D-44DA-8730-8816A182CC66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"301b0fc90fa3d52f61c93c8ef0fcc0282451b853","datavalue":{"value":{"entity-type":"item","numeric-id":3714250,"id":"Q3714250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1813657$340974B3-F8C8-4E73-871D-7013DD55A44A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f509fbb487329ae05ab8ebaac2b2f72aa4d26690","datavalue":{"value":{"entity-type":"item","numeric-id":923124,"id":"Q923124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"433707d7ff46cf4f35f597095fb4771484f3b67c","datavalue":{"value":{"amount":"+0.7845160365104675","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":"Q1813657$CEB56BCD-2A86-4EB5-8B0C-867D51BE53A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec8663b9ae4502cb6b2c9409763ef852b3e26c63","datavalue":{"value":{"entity-type":"item","numeric-id":3973777,"id":"Q3973777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce5298be94718a2ae530b927f4a24f638aedcaf5","datavalue":{"value":{"amount":"+0.7707469463348389","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":"Q1813657$DD8BA42B-FCC2-46BE-808A-82FEE4FB8454","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aad8c287022326d7d29ff5d84463caf92333a800","datavalue":{"value":{"entity-type":"item","numeric-id":3290720,"id":"Q3290720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27d071c2284398e471f45c1e5895c0a5087a6cc4","datavalue":{"value":{"amount":"+0.7695655226707458","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":"Q1813657$F1374ED9-1E40-4E0D-8BA7-59058B2DA4F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4354d465c1a31f9f9f0f3aaf3c926babd2e6397c","datavalue":{"value":{"entity-type":"item","numeric-id":5256713,"id":"Q5256713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65641400d6f524c59ffe44caef282a097b824fbf","datavalue":{"value":{"amount":"+0.7643386125564575","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":"Q1813657$FE3AF7F6-8272-4628-AD61-81AF5C4A6E4A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On a certain infinite permutation group","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_a_certain_infinite_permutation_group"}}}}}