{"entities":{"Q1279629":{"pageid":1290379,"ns":120,"title":"Item:Q1279629","lastrevid":68436771,"modified":"2026-04-12T23:41:47Z","type":"item","id":"Q1279629","labels":{"en":{"language":"en","value":"The automorphism tower problem. II"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1250641"}},"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":"Q1279629$A5ED8E10-E194-4D17-9868-387555E83035","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d42b3b2971795c5c16313ebc8231a2c351e87a6c","datavalue":{"value":{"text":"The automorphism tower problem. II","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1279629$B7FD554F-0693-49D5-9575-6527CFC489C0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e3a2f106d145d6db564912c516b03c839df4e9b0","datavalue":{"value":"0919.20026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1279629$43D07656-D9C9-48B0-B7A4-22CBC847998B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"404350688a8ce720a83bdfe0aceb1fe9e2804c42","datavalue":{"value":"10.1007/BF02762269","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1279629$E322BC02-3D56-40E2-8621-5939C1F5F728","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fee6d7c6a61a047db4fa1acc0036957ae324bbfa","datavalue":{"value":{"entity-type":"item","numeric-id":194963,"id":"Q194963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1279629$6EBA98DA-7895-45C7-AA24-75D52957D51D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1d50f9b953eac0b2404563f86ad398ee3823cb48","datavalue":{"value":{"entity-type":"item","numeric-id":173732,"id":"Q173732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1279629$716E4F96-7854-47CF-8544-A9F5DBBE9AF7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d4e938bedfb93bf82dc85457bba26370c88b0340","datavalue":{"value":{"time":"+1999-09-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1279629$68CC178A-E61C-4039-B673-AA3F28ACA1F0","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"30dee599757e5def24465088a869691b82f08995","datavalue":{"value":"If the centre of the group \\(G\\) is trivial, then \\(G\\) is naturally embedded in \\(\\Aut(G)\\) via the group of inner automorphisms which is, in this case, isomorphic to \\(G\\). Again the group \\(\\Aut(G)\\) has trivial centre and thus can be embedded in its automorphism group. So there is a tower beginning with \\(G_0=G\\) and if \\(G_\\alpha\\) is defined for some ordinal \\(\\alpha\\), then \\(G_{\\alpha+1}\\) is the automorphism group of \\(G_\\alpha\\), containing \\(G_\\alpha\\) via the above embedding. If \\(\\lambda\\) is a limit ordinal then \\(G_\\lambda=\\bigcup_{\\alpha<\\lambda} G_\\alpha\\). This is the automorphism tower. In a previous paper [Part I, Proc. Am. Math. Soc. 95, 166-168 (1985; Zbl 0575.20030)], the author has shown that the automorphism tower of a centreless group \\(G\\) terminates, i.e. there exists an ordinal \\(\\alpha\\), such that \\(G_\\alpha=G_\\beta\\) for all ordinals \\(\\beta>\\alpha\\). In the same paper, he has shown that for each ordinal \\(\\alpha\\), a group can be constructed whose automorphism tower terminates in exactly \\(\\alpha\\) steps. In this paper, the author proves that the automorphism tower of an infinite centreless group \\(G\\) of cardinality \\(\\kappa\\) terminates in less than \\((2^\\kappa)^+\\) steps. If \\(G\\) is a centreless group then \\(\\tau(G)\\) denotes the least ordinal \\(\\alpha\\) such that \\(G_\\alpha=G_\\beta\\) for all \\(\\beta>\\alpha\\). So the main result of the paper states: It is consistent with ZFC that for all regular cardinals \\(\\kappa\\), (a) \\(2^\\kappa>\\kappa^{++}\\); and (b) whenever \\(G\\) is a centreless group of cardinality \\(\\kappa\\), then \\(\\tau(G)<\\kappa^{++}\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1279629$75894073-7EFC-4BA2-BB18-A17B7B58362A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"02e66589753ec184c7d05c645efc14f6302392b5","datavalue":{"value":"20F28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1279629$8A083B89-CB00-47AA-A199-535F74D7DF6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9f4783aefc0465a962c2651b89c22d3aa35c14ce","datavalue":{"value":"20E36","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1279629$1321CE41-B57F-4032-999E-7842E4D0FA52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1279629$5CFCAF33-D226-4E7F-A881-083F65F824AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7166df9215f26458e9ca71cabf58a6fddcec10e4","datavalue":{"value":"03E55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1279629$D1DD9757-6E07-4825-AD3D-59831BD12275","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"25ecfb2a9448e906e5b14eab7784fc54d8f896c6","datavalue":{"value":"1250641","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1279629$D077580C-E230-47D5-9D96-FF10DD08A265","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b44318a7cd6ccf97f20e5798e063d4542286787","datavalue":{"value":"groups of inner automorphisms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1279629$0A5F2A03-0F03-4AFB-B5C7-083BEF0D50BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d8db3395418ef97bd5a003e7dc8a17940fb14ddd","datavalue":{"value":"automorphism groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1279629$197B3F96-ED7E-483D-A158-694A97E01C92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87e9a8ea925cef207b2fa8b76ed119ddd9fb8379","datavalue":{"value":"automorphism towers","type":"string"},"datatype":"string"},"type":"statement","id":"Q1279629$C746B2D8-80CB-40F5-9483-DD6D7B2314B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f87576f497ee3ec7be9f6f3194169cf777e3a49","datavalue":{"value":"centreless groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1279629$A1C92CB0-F625-4FA3-8752-CCE7F390A0E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78cc9afe6e58e7d265d9f1175dd330b88bddc8b0","datavalue":{"value":"consistence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1279629$5A0B88F4-067E-40AB-BA33-619771A649B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1fc09d2b764d6276d409506b183939244e0f6d84","datavalue":{"value":"regular cardinals","type":"string"},"datatype":"string"},"type":"statement","id":"Q1279629$B880CAC6-FDE1-41B1-8A3B-BDF3B0AB6E29","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":"Q1279629$D036DD4C-668C-4EE8-807E-D6EDF4E8DE51","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d31d16dc4543d3aaea61c049be7122e07d1c2eb5","datavalue":{"value":{"entity-type":"item","numeric-id":3037420,"id":"Q3037420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1279629$9E87BF53-EBAB-4864-8305-A77FD6A4EB3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9333bca39a0e53bf4602fe31826d8e53baa66e29","datavalue":{"value":{"entity-type":"item","numeric-id":2639060,"id":"Q2639060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1279629$1FD0D381-3162-4456-9672-45BF99FAEFC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37c8f11f36fcf69798087f06f998e06992403e06","datavalue":{"value":{"entity-type":"item","numeric-id":2543007,"id":"Q2543007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1279629$26D9FC5A-E3A5-42F4-BBA0-B1C54D41478B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f26bfd5f925a623cfb1eec360c3c78276804f06","datavalue":{"value":{"entity-type":"item","numeric-id":3852172,"id":"Q3852172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1279629$609AF838-7A25-4A87-BE20-8113DC50C189","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1d6aa8771d831b76ce84d229a9e335539dc75ab","datavalue":{"value":{"entity-type":"item","numeric-id":4159049,"id":"Q4159049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1279629$F29EFE6F-D59D-4966-BD5F-BAD85C11C4B9","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":"Q1279629$CCC28ECA-F782-4BA9-AB74-B825AC1C8606","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18cbbaedbe40e72f75f19851a8eeb3afaa2c2fc8","datavalue":{"value":{"entity-type":"item","numeric-id":4117830,"id":"Q4117830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1279629$04AD3E9C-A2BF-4096-B09A-6E8D6C7708B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51a2bcc1ee95828acd83b6565b57d64477ce1475","datavalue":{"value":{"entity-type":"item","numeric-id":5331572,"id":"Q5331572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1279629$D9B9C782-C9ED-490F-80F8-70DFD8B7DDCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b4970300171936d7f9ad41ebd1289905f6e678e","datavalue":{"value":{"entity-type":"item","numeric-id":3695462,"id":"Q3695462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1279629$2A12A806-4ADE-4E22-81C4-D1C3A29F88BF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0e16a863af66bf9fa64d3c212f188a8425759d0d","datavalue":{"value":"https://doi.org/10.1007/bf02762269","type":"string"},"datatype":"url"},"type":"statement","id":"Q1279629$11EFBD6A-4B81-4519-BC0E-6B37848C67FF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"97c8a581e957857b28b24955b49e264e8a5f8ea9","datavalue":{"value":"W2000466618","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1279629$CD654392-21BE-464B-88AA-067616703E1F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4012c17f43fd0fb91592e413aee4f85d6acf4385","datavalue":{"value":{"entity-type":"item","numeric-id":1969247,"id":"Q1969247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8154992ec9ae6330857bda1bf5973c153cba39f","datavalue":{"value":{"amount":"+0.9503960013389589","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":"Q1279629$4C0BD0BD-AF83-4978-855F-A2F7D04D13C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92f26fad670b59e6f2a1c51cac06c0297d53e038","datavalue":{"value":{"entity-type":"item","numeric-id":3695462,"id":"Q3695462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4610fce2cbc677ca10eb15705535f5dc7444e0cd","datavalue":{"value":{"amount":"+0.9461579918861388","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":"Q1279629$308F6E59-CCDB-4396-9E28-8EF90CF24661","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8539b127e6d86bcfbbd7a7edf686b877fdb741d","datavalue":{"value":{"entity-type":"item","numeric-id":4781760,"id":"Q4781760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2507efe263c92a0299c15e7e16f0af61c123fad3","datavalue":{"value":{"amount":"+0.9022586345672609","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":"Q1279629$55382833-B732-4CC8-AAC7-31FF9E1558F4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The automorphism tower problem. II","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_automorphism_tower_problem._II"}}}}}