{"entities":{"Q2765571":{"pageid":2776310,"ns":120,"title":"Item:Q2765571","lastrevid":41988149,"modified":"2025-05-21T08:01:04Z","type":"item","id":"Q2765571","labels":{"en":{"language":"en","value":"Closed normal subgroups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1694866"}},"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":"Q2765571$3253E84E-04BA-4271-A2C0-1063BD905C5A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"73b30eed3f3078ae25ff217f728d009b9690e173","datavalue":{"value":"0997.03035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2765571$52B75A90-A860-4F60-925D-1FB312F9265D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"80620c2b4df8756e658fe199f1a89d0f51d86188","datavalue":{"value":{"entity-type":"item","numeric-id":190265,"id":"Q190265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2765571$25FB42FC-C64E-45E0-BF2A-5E9FAE114B4B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b86bdcbb86c0dca8c75df61f737dc42c487db939","datavalue":{"value":{"time":"+2002-11-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2765571$E6A5B504-C568-434D-9FFC-71C17752DD82","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"31eb4b2fe460225d8220386b6d12b964cafd1ca3","datavalue":{"value":"03C62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2765571$658D1C49-A954-451A-B997-96569DE94253","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"512f02c3a91060c0a6967ce7e6a4f8fc6304bb6a","datavalue":{"value":"20B27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2765571$7C1B1993-943C-432B-A10D-C4A5AA13712E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a22eb1f642cbb79777784e33676c61b720925aab","datavalue":{"value":"03H15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2765571$2C536A8B-5D41-43CC-8286-6EDAC4F3E1F5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"07f141e133d33d6974c7cd152b8e12d123937b68","datavalue":{"value":"1694866","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2765571$F79D4CB5-4BBB-419B-866A-3B27FD6046F7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6db30a59ab186bd1de9bd036d852f96617b0edad","datavalue":{"value":"Peano Arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2765571$0D6F19EF-C18F-4CE8-BD0E-5960F0412F41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71ec59c5b1bb9e4cd77cc696b9efa6551305dac4","datavalue":{"value":"recursive saturation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2765571$9C66EFA8-9A4A-4E00-8635-23AFDC528215","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7004ea3c45e788d894ca43ad9fb77d664ad32ef0","datavalue":{"value":"automorphism group","type":"string"},"datatype":"string"},"type":"statement","id":"Q2765571$DA521E9B-2DAC-440F-BBE5-6EF104FC9051","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1df9c2688d51ede09fdd13624c1e1d87a125c092","datavalue":{"value":"normal subgroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q2765571$E7EEBBC7-3F33-4E10-9D02-1B29F7D31334","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":"Q2765571$E88BEA87-B740-42FA-A6A3-FF6BBE29E0D0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6fbabcd3c38f7154657d41a3a4700e208b070cb9","datavalue":{"value":"W1981256659","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2765571$E4D75FA4-067B-4283-A8E6-5DA9C1E89E7B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68625240455141c3f0fdb411ace1242d598d0630","datavalue":{"value":{"entity-type":"item","numeric-id":1100556,"id":"Q1100556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37beb40eaab2c7f7c5ecfe53d0f3a6b35bfe1e22","datavalue":{"value":{"amount":"+0.94893724","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2765571$55606F17-1D76-4A48-8524-44F14648D322","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30f90120296390ad4ac4dd645b9be6cc5895a529","datavalue":{"value":{"entity-type":"item","numeric-id":4816516,"id":"Q4816516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b233401084d1534187db17d07e1b25072b8fc722","datavalue":{"value":{"amount":"+0.93236554","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2765571$D493CFE3-0857-4157-ABEA-A807F12F710F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55c462a4f1d2f957fbf4fe35b53c1d9f2f4e5545","datavalue":{"value":{"entity-type":"item","numeric-id":2918429,"id":"Q2918429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c23aed69334fbc7bd3183ea6c0462c4e36e6f26d","datavalue":{"value":{"amount":"+0.91572297","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2765571$8FA83225-30CB-47AD-8114-9CE6B60B49B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d56fa9010e70a0fbb0d62905f25f68151b8243d4","datavalue":{"value":{"entity-type":"item","numeric-id":5579558,"id":"Q5579558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"368d705f3bc6ecd815e5de96e0163fa0c7b887c5","datavalue":{"value":{"amount":"+0.9124539","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2765571$C04E69DA-4EE5-45E2-920B-CF7F4122AC63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"786ec3f5d8d7d524d38ae96514cf8d27e7e4a518","datavalue":{"value":{"entity-type":"item","numeric-id":2441490,"id":"Q2441490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a144f2045faa4c06cbbf127b78fe4929f80c85e2","datavalue":{"value":{"amount":"+0.9109834","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2765571$EECAFF8B-F538-4C9F-8664-9DB08F751FFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f3850b7b893d64a73502b85af2b861bcdab8ef7","datavalue":{"value":{"entity-type":"item","numeric-id":355985,"id":"Q355985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab7e807a58539a81b3ffdd0446acac67b71d068d","datavalue":{"value":{"amount":"+0.90869","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2765571$2F60457C-079B-459E-BC04-3BC03D9C516F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"587099b1b83a05506b526a9adc4ee0b1001fcef9","datavalue":{"value":{"entity-type":"item","numeric-id":5086875,"id":"Q5086875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8be50bbbafb64f86857d05977913c423cb787b3","datavalue":{"value":{"amount":"+0.9047034","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2765571$35DBA809-3F3F-45D3-B513-2F1ED6B0B751","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc1800bcaae16d75169c8a2bc230519c765a3497","datavalue":{"value":{"entity-type":"item","numeric-id":2992878,"id":"Q2992878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1adbf7d0cacbb685fff44b667f62226a2df62565","datavalue":{"value":{"amount":"+0.9023013","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2765571$CE0AF795-5DA1-4AA2-B215-C2F792E100F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ebd5088542e402eb29cc72ecefb7b79f9ad99ee6","datavalue":{"value":{"entity-type":"item","numeric-id":3824578,"id":"Q3824578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8f6a583c5b5bf9a9cedd7b95ed150c7b73a6bda","datavalue":{"value":{"amount":"+0.9013476","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2765571$C0608BDA-AEE8-4744-B6D9-190DB49A5383","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78b4b2f9128d867457ff478e991b9fd67aa24485","datavalue":{"value":{"entity-type":"item","numeric-id":5151886,"id":"Q5151886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4eb15f8a54024a4427e95ccd01b0e5a2be97a11","datavalue":{"value":{"amount":"+0.9005293","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2765571$F12466AF-5589-449E-A411-D0D406772313","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"693b27a9acd527439c27c86485cef5e002810e7b","datavalue":{"value":"10.1002/1521-3870(200111)47:4%3C489::AID-MALQ489%3E3.0.CO;2-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2765571$01ABD9DB-8B6A-4F94-8599-A5C342B9E69C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b3250ec4a5c075f9f974ef98659ad896a0ba8153","datavalue":{"value":"https://doi.org/10.1002/1521-3870(200111)47:4%3C489::aid-malq489%3E3.0.co;2-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q2765571$22732878-761D-49A5-9CE7-8BF7B687C531","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c769683edf1468b3922f91253948b57b432daeb0","datavalue":{"value":{"text":"Closed normal subgroups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2765571$DFB30146-A23A-43C0-9E21-E6E11FB2E2F1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"68cefe03c91c7bc1481d1ede29225e2a54af1e4c","datavalue":{"value":{"entity-type":"item","numeric-id":6561648,"id":"Q6561648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2765571$108AD93A-143D-46A9-819E-48C3D88CE406","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"170937dfbd4cf6e300d5cddf0fe2e84501737278","datavalue":{"value":"The paper gives a new, shorter proof of an important theorem of Richard Kaye: closed normal subgroups of the automorphism group of a countable recursively saturated model of Peano Arithmetic are exactly the pointwise stabilizers of invariant initial segments which are closed under exponentiation [\\textit{R. Kaye}, ``A Galois correspondence for countable recursively saturated models of Peano Arithmetic'', in: R. Kaye et al. (eds.), Automorphisms of first-order structures, Oxford University Press, Oxford, 293-312 (1994; Zbl 0824.03015)]. In the course of the proof, Schmerl improves upon one of the key ingredients of Kaye's proof. For \\(f,g\\in \\text{ Aut}(M)\\) let \\(g^f=f^{-1}gf\\) and let \\(g^{-f}\\) be \\((g^{-1})^f\\). The result is that if \\(f\\) is an automorphism of a countable recursively saturated model \\(M\\) of PA then either the closure of the set \\(\\{g^{-f_1}g^{f_2}:f_1,f_2\\in\\text{ Aut}(M)\\}\\) or the closure of the set \\(\\{g^{f_1}g^{-f_2}:f_1,f_2\\in\\text{ Aut}(M)\\}\\) is a normal subgroup.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2765571$8C905808-D73D-4609-93D2-453562403D98","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"cc2fe705c7d582d4c8ad19b50ec74a3e6e0c8ae1","datavalue":{"value":{"entity-type":"item","numeric-id":384285,"id":"Q384285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2765571$5F6163BA-FAD5-4F98-A514-41C362F99B9A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2765571","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2765571"}}}}}