{"entities":{"Q868663":{"pageid":870511,"ns":120,"title":"Item:Q868663","lastrevid":65022507,"modified":"2026-04-11T23:47:47Z","type":"item","id":"Q868663","labels":{"en":{"language":"en","value":"Normal subgroups of nonstandard symmetric and alternating groups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5131233"}},"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":"Q868663$729E330F-5948-400F-B107-8AB235E9907E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"912b8b7e5b65dd1bbd93c88fab7f9047a2d15297","datavalue":{"value":{"text":"Normal subgroups of nonstandard symmetric and alternating groups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q868663$0DD440F0-2467-484B-A815-8540428BFD4E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d118dc7bc88ff8cf771b7a46cf761ee5308acfda","datavalue":{"value":"1114.03054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q868663$5B00F527-6E89-4440-B0BA-1C3DEB59EF00","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"61d1b3c85d736570313b64508b7eba86a5ad870d","datavalue":{"value":{"entity-type":"item","numeric-id":868662,"id":"Q868662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q868663$B887CB2E-3D32-496A-8C42-069319F4EA08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d4e8d3a3341051dfd24b707ce385e6152c2c9cbd","datavalue":{"value":{"entity-type":"item","numeric-id":1762363,"id":"Q1762363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q868663$6B6CF99F-DFC5-4365-BD35-09565A781871","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q868663$89919DFF-42CC-47A7-8824-9234CE99E5D4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f5823d03fbcff5d473b8034cff96a416b6d05e19","datavalue":{"value":{"time":"+2007-03-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q868663$7F26BF2E-5F4F-415D-8178-9BEE6C27A219","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d1d0917ff7f19d9a25772f1daf336ecd3bb99bce","datavalue":{"value":"Let \\({\\mathcal M}\\) be a nonstandard model of Peano arithmetic, with domain \\(M\\), and \\(n\\in M\\) be a nonstandard natural number. Denote by \\(S_n\\) and \\(A_n\\) the symmetric and the alternating group of permutations of the internal set \\(\\{0,1,\\dots,n-1\\}\\), respectively. By the transfer principle, \\(S_n\\) and \\(A_n\\) have all the usual properties of the symmetric and the alternating group, respectively. In particular, as \\(n\\) is nonstandard, \\(n\\) is greater than 5. Therefore, \\(A_n\\) is simple so it contains no normal subgroups, definable in the model \\({\\mathcal M}\\). However, in the external universe, \\(A_n\\) is an infinite group and has external subgroups. Some of these subgroups turn out to be normal. So an interesting task emerges to study the normal subgroup structure of \\(A_n\\). The main result of the paper under review is a classification of the external normal subgroups of \\(S_n\\). The classification has some resemblance to the results of Baer, Schreier and Ulam on the normal subgroup structure for infinite symmetric groups [\\textit{R. Baer}, ``Die Kompositionsreihe der Gruppe aller eineindeutigen Abbildungen einer unendlichen Menge auf sich'', Stud. Math. 5, 15--17 (1935; Zbl 0010.15402)], [\\textit{J. Schreier} and \\textit{S. Ulam}, ``\u00dcber die Permutationsgruppe der nat\u00fcrlichen Zahlenfolge'', Stud. Math. 4, 134--141 (1933; Zbl 0008.20003)]. Finally, it is shown how the model of arithmetic may be used to define pseudo-metric structures on \\(S_n\\) and \\(A_n\\) with values in \\(M\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q868663$C327DDF2-0938-4D12-809B-00E5665B3543","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6db4aec5ef7fbf0e828c6d2589c9166d8caea5c3","datavalue":{"value":"03H05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q868663$DBDF68C2-A831-459A-BE3D-E8E4878029CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fa3a0cd38ea582d702916ee49599e832f201d954","datavalue":{"value":"20B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q868663$CBBDA8CA-5627-418D-8B66-46FA8FCCB000","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a22eb1f642cbb79777784e33676c61b720925aab","datavalue":{"value":"03H15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q868663$C5B3CE80-A1FA-457F-8011-7B8963B48558","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ee5873ed0861b04e54328d066af6f12cbcec05f2","datavalue":{"value":"5131233","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q868663$CBAC3879-9708-4E38-A845-2E912969549B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"38d830dae6f5ce906f6d20604a81e37d7574c069","datavalue":{"value":"symmetric group","type":"string"},"datatype":"string"},"type":"statement","id":"Q868663$7BBD05B2-57D6-4DBA-90D0-A8118833E361","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff8569446bd291eb33e407f9f145d17e7d64b77f","datavalue":{"value":"alternating group","type":"string"},"datatype":"string"},"type":"statement","id":"Q868663$210858E3-BAE0-4843-B525-03CE8AFA971B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07f85129e5a74252a21c1c1a16f98e8c7008066e","datavalue":{"value":"permutation group","type":"string"},"datatype":"string"},"type":"statement","id":"Q868663$1A40F37B-9342-405A-98D8-CDFC536FB2FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0181dadf99be276e0a742cd95952ac659f23e911","datavalue":{"value":"nonstandard model of Peano arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q868663$83102C54-64CC-4892-B479-F8DA17A2AA82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"18a87de783dacb8c8bccbb892890870932f3567a","datavalue":{"value":"external normal subgroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q868663$64BB4E40-9235-408C-9386-31CF92D986A9","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":"Q868663$1FE0D5D8-A83E-453B-87B6-4896CE3FBEBD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"23d60ff6c73200378d9f33dca633480b7234c8bf","datavalue":{"value":"https://doi.org/10.1007/s00153-006-0030-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q868663$0E059E4F-9203-42E6-81E9-85436B0D6FB3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"16929cbae3300932cad82ae923be6438b6809432","datavalue":{"value":"W2093981179","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q868663$D4E9BEC6-93A5-407D-8B59-CE336325856A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d15d49838afbd288e224c2aa5f10c3a490aa5db","datavalue":{"value":{"entity-type":"item","numeric-id":5906269,"id":"Q5906269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q868663$1A518F2F-9EB9-4EEC-AEE3-C56C486275AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32114bc5a90560715bf5e0535c41f1aa5ea7626c","datavalue":{"value":{"entity-type":"item","numeric-id":4391425,"id":"Q4391425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q868663$612668D6-C5FC-41EB-8218-DA1A2B52C5EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"075385ab0f9cec9e72ad6f715d7267d9b2ed12a4","datavalue":{"value":{"entity-type":"item","numeric-id":3995219,"id":"Q3995219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q868663$010F0E11-CCF8-43C7-A2C4-E16EFBF5265E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ecd81987eb2b3620646f2d151ff26bdb537b884","datavalue":{"value":{"entity-type":"item","numeric-id":4001935,"id":"Q4001935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q868663$ABF5C673-E371-4232-9C5B-F101D4521714","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc655957845557e913551b1da587d1754bae13ac","datavalue":{"value":{"entity-type":"item","numeric-id":4138726,"id":"Q4138726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q868663$4F163131-A538-4CDD-8340-E799E59EFB24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13612151330a2a0983b1219a5ad4c32f33062535","datavalue":{"value":{"entity-type":"item","numeric-id":3820786,"id":"Q3820786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q868663$1E610F9B-86B6-4C73-B033-ED41BE5D1C64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dba4f45f52f802cca3d2726ebb42d769a0b9054c","datavalue":{"value":{"entity-type":"item","numeric-id":4755192,"id":"Q4755192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q868663$79F2FB5A-7C6E-488D-A808-7CDE89F1F0AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed5cab814cd603492c1673559e52eda9669c1aa7","datavalue":{"value":{"entity-type":"item","numeric-id":5512231,"id":"Q5512231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q868663$934C9DDA-7AD9-45C6-AC21-CAD18F06620C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3fc933a90752bb93f4423fac78a0a0fd2b03db08","datavalue":{"value":"10.1007/S00153-006-0030-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q868663$5005C689-7FDB-4C67-A751-B83B25C6F0FC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba90a0bacf105de03892573a5ab4911178f769fa","datavalue":{"value":{"entity-type":"item","numeric-id":3616341,"id":"Q3616341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3cbd25dd152c69512b8a62391b53932c8f69653c","datavalue":{"value":{"amount":"+0.67592204","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q868663$CAE9B496-2248-4EBD-AFB7-FE71AF74371A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7046d41581ce505c12a95e35512a9f508ad5161","datavalue":{"value":{"entity-type":"item","numeric-id":2877141,"id":"Q2877141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d1b5ca955166a09ecc0b7314e28f1e723faa8a6","datavalue":{"value":{"amount":"+0.65426844","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q868663$F4FC3D37-590B-4581-A8DA-6908F82B58CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7df41980fc21589d1de736cbc52e44f7e1b93afa","datavalue":{"value":{"entity-type":"item","numeric-id":4852074,"id":"Q4852074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47e67ce854faa02942036626cb31a7238d18db3a","datavalue":{"value":{"amount":"+0.65321785","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q868663$8166F93E-0D61-4A23-AC27-10C5A000B0FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b4cc248c5b7bf0adb15c7ff51faddc2be11c374","datavalue":{"value":{"entity-type":"item","numeric-id":1302299,"id":"Q1302299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"019efb8d238c86c62705b4a40639f279523fad77","datavalue":{"value":{"amount":"+0.6386704","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q868663$9C159138-A215-4DDA-BD0D-09206792D025","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68517bd094d6524044248ae8ad25afaa1a25d705","datavalue":{"value":{"entity-type":"item","numeric-id":3137425,"id":"Q3137425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bce8b09a0c624ee7bc237076b509075dea658eb0","datavalue":{"value":{"amount":"+0.6385275","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q868663$F8926CA6-EC17-4EDC-B216-359993F25B62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68e237ad0d51971a6701ad1bbd62674704a54c51","datavalue":{"value":{"entity-type":"item","numeric-id":3757917,"id":"Q3757917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b8be562cce8a8a49a9830ce94964a4e6062a5d4","datavalue":{"value":{"amount":"+0.6373226","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q868663$648206C5-3895-4C2E-986B-7138CFAE0810","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d59ff3e7165e8186cf77bc432d24a36851043d36","datavalue":{"value":{"entity-type":"item","numeric-id":5747015,"id":"Q5747015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ff848e59993feb0d5f7f647de1f7fbdfafbd60e","datavalue":{"value":{"amount":"+0.62788373","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q868663$621EF309-E26A-41DE-8CC5-68F2DC6BD2FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81d9d8eb6c54107f4b59779c894853ca7f732139","datavalue":{"value":{"entity-type":"item","numeric-id":5445164,"id":"Q5445164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d575a67c75fc4891b9f1c4e095c2aec1667d40df","datavalue":{"value":{"amount":"+0.62210155","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q868663$CB4F4300-2354-4C16-AC9F-AB9B991AF7B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5f5df9b375567d1cd6b6402bcb31553b569b387","datavalue":{"value":{"entity-type":"item","numeric-id":2765571,"id":"Q2765571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad58ecde9d170e0b77350323fd6f79e61901e56e","datavalue":{"value":{"amount":"+0.6219931","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q868663$6A3C6F00-7E75-407E-BEC0-BB63D63DEE0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8835a9e7456872f256ed551e2bcabc5bb3c4b7f8","datavalue":{"value":{"entity-type":"item","numeric-id":4451717,"id":"Q4451717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"081e90734d83a623fee761daf43ce294c8ea957f","datavalue":{"value":{"amount":"+0.61984533","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q868663$632E0DCA-DACD-4C71-ABD8-D5B07AF42FA4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Normal subgroups of nonstandard symmetric and alternating groups","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Normal_subgroups_of_nonstandard_symmetric_and_alternating_groups"}}}}}