{"entities":{"Q975115":{"pageid":976963,"ns":120,"title":"Item:Q975115","lastrevid":51006395,"modified":"2026-01-16T04:34:26Z","type":"item","id":"Q975115","labels":{"en":{"language":"en","value":"Polycyclic group admitting an almost regular automorphism of prime order."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5718203"}},"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":"Q975115$E2C6F183-8553-43E0-8921-BCC203BB618E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5056d82dc508f47a805f675f069c48d003f0b062","datavalue":{"value":{"text":"Polycyclic group admitting an almost regular automorphism of prime order.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q975115$A7A6D611-7441-47B8-B560-556DF5CDCB5D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4d400a2749fb4194a4950b7176e93b212ff35b1f","datavalue":{"value":"1202.20037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q975115$B65BBDE7-0CA4-479F-A8D2-2711DC2EE69C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6460866d5252d432670a1cbd8cd198cbf3fa9dd2","datavalue":{"value":{"entity-type":"item","numeric-id":207761,"id":"Q207761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q975115$78152E11-91C2-4E6C-9327-E109E811AB75","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":"Q975115$1F35EB6D-B2A4-4A41-9485-B1931E65220A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6b279eb78b634b5450dd135862ef228f6c0276a2","datavalue":{"value":{"time":"+2010-06-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":"Q975115$7861B571-4220-4620-A248-2AF76D3800F8","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6ca3e70d39377500335d29de882bd23c4149c1c2","datavalue":{"value":"By \\textit{J. G. Thompson}'s theorem [Proc. Natl. Acad. Sci. USA 45, 578-581 (1959; Zbl 0086.25101)], if a finite group has a fixed-point-free automorphism of prime order, then the group is nilpotent. By \\textit{G. Higman}'s theorem [J. Lond. Math. Soc. 32, 321-334 (1957; Zbl 0079.03203)] the nilpotency class of a (locally) nilpotent group with a fixed-point-free automorphism of prime order \\(p\\) is bounded above by a function \\(h(p)\\) of \\(p\\) only.   In the present paper it is proved that if a polycyclic group \\(G\\) has an automorphism \\(\\varphi\\) of prime order \\(p\\) with finite fixed-point subgroup (centralizer) \\(C_G(\\varphi)\\), then \\(G\\) has a subgroup of finite index that is nilpotent of class at most \\(h(p)\\).   The proof does not use Thompson's theorem but relies on Higman's theorem applied to certain finite nilpotent quotients of \\(G\\). Examples show that \\(G\\) may not be nilpotent even if \\(C_G(\\varphi)=1\\). It is also not possible to bound the index of a nilpotent subgroup in terms of \\(p\\) and \\(|C_G(\\varphi)|\\). This is in contrast to the case of locally finite and locally nilpotent groups with such an automorphism, where such bounds do exist (albeit with a worse bound for the nilpotency class of a subgroup, which however still depends only on \\(p\\)) [\\textit{P. Fong}, Osaka J. Math. 13, 483-489 (1976; Zbl 0372.20010), \\textit{B. Hartley, T. Meixner}, Arch. Math. 36, 211-213 (1981; Zbl 0447.20014), \\textit{E. I. Khukhro}, Mat. Sb. 181, No. 9, 1207-1219 (1990; Zbl 0713.17013), \\textit{Yu. A. Medvedev}, J. Algebra 164, No. 3, 877-885 (1994; Zbl 0811.20033)].   In the concluding remarks the author considers a polycyclic group \\(G\\) with an automorphism \\(\\varphi\\) of arbitrary finite order \\(n\\) with finite centralizer \\(C_G(\\varphi)\\). For \\(n=4\\) similar reduction to finite nilpotent quotients of \\(G\\) makes it possible to use \\textit{L. G. Kov\u00e1cs}'s theorem [Math. Z. 75, 277-294 (1961; Zbl 0097.01202)], so then \\(G\\) has a subgroup of finite index which is centre-by-metabelian. For arbitrary \\(n\\) it is still unknown whether the derived length of a finite (nilpotent) group with a fixed-point-free coprime automorphism of order \\(n\\) is bounded. However, such a result is known for Lie algebras as \\textit{V. A. Kreknin}'s theorem [Sov. Math., Dokl. 4, 683-685 (1963); translation from Dokl. Akad. Nauk SSSR 150, 467-469 (1963; Zbl 0134.03604], with Kreknin's function \\(k(n)\\) bounding the derived length of a Lie algebra with a fixed-point-free automorphism of order \\(n\\). As pointed out to the author by the referee, Kreknin's theorem can be used in the general case to obtain a subgroup of finite index that is soluble of derived length at most \\(k(n)+1\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q975115$71A45BD8-C5CF-4E47-83B6-4F57BC4F40B8","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"080b87646ebdd6584ba09804cdd51973e0a05421","datavalue":{"value":{"entity-type":"item","numeric-id":731245,"id":"Q731245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q975115$49121D4D-32F0-4D4F-B72A-A500FD5ADF70","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9f4783aefc0465a962c2651b89c22d3aa35c14ce","datavalue":{"value":"20E36","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q975115$A38661A7-707E-4C88-B654-02E20E53704B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9a1a4186812d01433313a8948e0d5c4282e52788","datavalue":{"value":"20F19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q975115$A5238F36-6000-4F73-A965-DB4CEB400E9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"02e66589753ec184c7d05c645efc14f6302392b5","datavalue":{"value":"20F28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q975115$64AE538B-A81F-42D8-B2BD-0B0A98B351A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"38edcb0292ca371407c43c7b95485d4a53fb371f","datavalue":{"value":"20F40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q975115$69DAE07A-36AC-4FA5-9B1F-1DB4C3FAB129","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ea37469d91f3037e8b6809fc66f770f1b27a461d","datavalue":{"value":"20E07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q975115$76CF8607-861A-46F2-8953-1581F7C0B6C9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"88048dc5c9207853f1ee2103771b718fc3c494f9","datavalue":{"value":"5718203","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q975115$9EB90EAE-8EC8-45C9-99CA-8A79F25431CD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53532b7511db31337a455204dfcc435060e75207","datavalue":{"value":"almost regular automorphisms","type":"string"},"datatype":"string"},"type":"statement","id":"Q975115$08A4FE15-93FC-4AB9-A0C9-42C6561052BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2608e675d031e4df3070d66a4e2cd16045827d1c","datavalue":{"value":"polycyclic groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q975115$9A7FD1DA-5462-4AA8-9B1B-8370584D1B44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4cb612363bd184a25df864c596b2b166558842a6","datavalue":{"value":"nilpotent groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q975115$3A89CB1C-DC79-4187-A4A2-A5149109A3D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"04e87759d59d6e4357c4e6657acf544babfd7730","datavalue":{"value":"Higman function","type":"string"},"datatype":"string"},"type":"statement","id":"Q975115$5F591D88-1ECC-447C-A586-6D89F384F822","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e27588832b6c5033320a1338be094e393ffaacdd","datavalue":{"value":"Kreknin function","type":"string"},"datatype":"string"},"type":"statement","id":"Q975115$46FFB43D-ED45-414E-BA9E-4B5B5FC0B386","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65567b454049cd5001c191970b6f8f7846812234","datavalue":{"value":"fixed-point-free automorphisms","type":"string"},"datatype":"string"},"type":"statement","id":"Q975115$8B21E952-0FFA-4BA9-9242-909C35757D15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"478f5436c841f182abd749d3648a229ca752fd86","datavalue":{"value":"subgroups of finite index","type":"string"},"datatype":"string"},"type":"statement","id":"Q975115$A6B98FB1-D61A-429E-B5A3-A1A2B7DF865F","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":"Q975115$780F8552-88E7-44E3-8BCF-C5883130770D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"eb60e1b8504b071ca272dbaec4aeff470b7cdb7b","datavalue":{"value":"https://doi.org/10.1016/j.jalgebra.2010.03.015","type":"string"},"datatype":"url"},"type":"statement","id":"Q975115$A7168918-0FF9-4CCB-8712-98041320D62C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"679c68ee5721188825ee7e8f2ae0b80a28434f40","datavalue":{"value":"W2078290176","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q975115$46637178-5325-485B-A2CB-51055A43CEF4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a4644f4f44b323751f15d3a754852c636278bab","datavalue":{"value":{"entity-type":"item","numeric-id":5848209,"id":"Q5848209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q975115$2E5558B0-C334-4385-9327-4B940B04E07E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c25b9a521e58e91dfe3aa0edddae2714a85814e4","datavalue":{"value":{"entity-type":"item","numeric-id":849215,"id":"Q849215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q975115$FFEA8DBB-FCB1-4B35-AC38-2BE6F87C85D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"955e1a66180dadd6a14bacf05ff132f2df7c5fdb","datavalue":{"value":{"entity-type":"item","numeric-id":1244388,"id":"Q1244388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q975115$47EC58A1-5C24-4F00-85D6-7493288E5763","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b62141c61fdbe55b9a5d04580cf6c6048b8b64b","datavalue":{"value":{"entity-type":"item","numeric-id":1146255,"id":"Q1146255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q975115$EC797603-D646-4BF9-82AE-05BA2DE4364E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"040b5e620ec8accebbcf99033cecaf6a31aceba5","datavalue":{"value":{"entity-type":"item","numeric-id":3246409,"id":"Q3246409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q975115$3795B43C-85AA-4C20-B3DE-887ABDCD2E38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c40482457396b2bce695092a096a42d9e657d08","datavalue":{"value":{"entity-type":"item","numeric-id":4000546,"id":"Q4000546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q975115$29CB861D-75EF-408C-942F-EC73E76EA2FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93b297b1f37fef1efbf9350c9cd51cc6c761a800","datavalue":{"value":{"entity-type":"item","numeric-id":4377749,"id":"Q4377749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q975115$3910DF55-4186-4866-90DE-BE3688A4DED7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"879c7892328ffe19c094db15c522bcb76a39d392","datavalue":{"value":{"entity-type":"item","numeric-id":773317,"id":"Q773317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q975115$33BB0888-2264-448A-BE8A-BEC7115EB76F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1488b65757638cf31f2724f83d06c194124d2b01","datavalue":{"value":{"entity-type":"item","numeric-id":4820338,"id":"Q4820338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q975115$316468D6-D6D6-4D8E-87BE-9A42B30682B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cba6e677b73e480b5b5158e7a0e800da2ccd0ab9","datavalue":{"value":{"entity-type":"item","numeric-id":1325076,"id":"Q1325076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q975115$A532C964-6C1E-440A-8CEC-5E12D6B373F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69879dca8273cf90b005b50212582656f6b1f210","datavalue":{"value":{"entity-type":"item","numeric-id":766969,"id":"Q766969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q975115$62431970-FA18-4F06-BD9C-D29BCC53C96A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7198e10bdf17892b3da36a59902515c7e29ac463","datavalue":{"value":{"entity-type":"item","numeric-id":5528704,"id":"Q5528704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q975115$9501C835-2AE1-49BF-88D6-4F0EAB7D5D7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"788ab5d0682ede9eb0b62d87b36650dfc243d5e2","datavalue":{"value":{"entity-type":"item","numeric-id":5603254,"id":"Q5603254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q975115$97CCB32D-E1DC-4908-A8D8-EFCFB41F7DD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d68d8167c75f5a356d09f81c9e960ecaae7dd570","datavalue":{"value":{"entity-type":"item","numeric-id":3259087,"id":"Q3259087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q975115$130C69D3-F580-4937-9958-A0309F3E0563","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"69b3f8802a13d4df5147bfabe3ef445ff08a1f73","datavalue":{"value":"10.1016/J.JALGEBRA.2010.03.015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q975115$43B574CB-E23D-4FB2-89AB-26115B66A987","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"287a084a6752661adaeff876f43bb0767a502e0b","datavalue":{"value":{"entity-type":"item","numeric-id":1114008,"id":"Q1114008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fbfbed4aaf3f061f669adfe84218493ff26cdf5","datavalue":{"value":{"amount":"+0.8534735441207886","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":"Q975115$5F89989E-B20F-46C6-BC70-58B28F28FB42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b153aa3fd55328917b81f1556214b5b0ccd7a472","datavalue":{"value":{"entity-type":"item","numeric-id":1204785,"id":"Q1204785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0293c106dd21113213b1f8d37401571ae52a29c6","datavalue":{"value":{"amount":"+0.843078076839447","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":"Q975115$0A3AB37F-31FE-4E68-B578-AC7B355F233B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b53a7c93240efc13c75e7cc1e0bd3c22446b915f","datavalue":{"value":{"entity-type":"item","numeric-id":1920776,"id":"Q1920776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0293c106dd21113213b1f8d37401571ae52a29c6","datavalue":{"value":{"amount":"+0.843078076839447","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":"Q975115$8D1D7308-50D7-4BC7-87E4-55CD30EA6215","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17b127abc05508582211f11884496c07534c4dad","datavalue":{"value":{"entity-type":"item","numeric-id":4788690,"id":"Q4788690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21ba538b59486b265286230899a4042974630f9a","datavalue":{"value":{"amount":"+0.8419595956802368","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":"Q975115$962B8031-E772-4509-92FA-0F135FA89A1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8249f18a90c3b3e571826941f6c464cbbdec51c","datavalue":{"value":{"entity-type":"item","numeric-id":657300,"id":"Q657300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3a7ea14a06bd71c4813fc04c511a3abfdf2e099","datavalue":{"value":{"amount":"+0.8399948477745056","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":"Q975115$2D51091F-536E-4044-9CE3-280C170301DA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:975115","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:975115"}}}}}