{"entities":{"Q1330083":{"pageid":1340833,"ns":120,"title":"Item:Q1330083","lastrevid":77880260,"modified":"2026-05-06T10:16:11Z","type":"item","id":"Q1330083","labels":{"en":{"language":"en","value":"Automorphisms of finitely generated free \\(G\\)-groups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 614256"}},"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":"Q1330083$785FD04D-F37F-42D3-8DCE-168917A146AE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"905ce56ff370f10987e00048b65b8916dc5187d7","datavalue":{"value":{"text":"Automorphisms of finitely generated free \\(G\\)-groups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1330083$D2E75A91-9C2E-4FC7-85AA-F029C828D472","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d0fcb7f73134ded741ffc1d68d497e5494eb8cb7","datavalue":{"value":"0813.20032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1330083$4FE0F81E-F196-4CDD-9BEF-C343B4999930","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eebbee735ac5442d01dd0e897e2d2d2ff674c264","datavalue":{"value":{"entity-type":"item","numeric-id":677849,"id":"Q677849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1330083$67C59648-B127-46AE-BC44-886A3BB5FDD3","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":"Q1330083$7FF82B13-F123-4481-9235-183E50CFD51A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"64a5597878452508c38f77062c2f388a61f673bf","datavalue":{"value":{"time":"+1994-08-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1330083$21D067FA-F7D8-49D3-8CCE-BB83AAE8D909","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"51265339f4185a3c46e5600cb7366b2e302b59f2","datavalue":{"value":"The author, by generalizing results of \\textit{S. Kalajd\u017eievski} [J. Algebra 150, 435-502 (1992; Zbl 0780.20015)] and \\textit{S. Krsti\u0107} [Proc. Lond. Math. Soc., III. Ser. 64, 49-69 (1992; Zbl 0773.20008)], studies and gives a presentation of the group \\(\\text{Aut}_ G {\\mathcal F}\\) of the \\(G\\)-automorphisms of the \\(G\\)-free group \\(\\mathcal F\\) of finite rank \\(n\\). Here \\(G\\) is a group and the terms \\(G\\)-group and \\(G\\)-free group have the usual meaning, i.e. \\(\\mathcal F\\) is a \\(G\\)-group if there is an action \\(x.g\\) (with \\(x \\in {\\mathcal F}\\), \\(g \\in G\\)) of \\(G\\) on \\(\\mathcal F\\), and \\(\\mathcal F\\) is \\(G\\)-free of rank \\(n\\) if there is a subset \\(S\\) of \\(\\mathcal F\\) of cardinality \\(n\\) such that for each \\(G\\)-group \\(\\mathcal H\\) and each map \\(\\varphi\\) of \\(S\\) into \\(\\mathcal H\\), there is a unique \\(G\\)-homomorphism \\(\\phi\\) of \\(\\mathcal F\\) into \\(\\mathcal H\\) with the restriction of \\(\\phi\\) to \\(S\\) equal to \\(\\varphi\\). A \\(G\\)- homomorphism \\(\\phi\\) is a homomorphism such that \\((x.g)\\phi = x \\phi.g\\) (for \\(x \\in {\\mathcal F}\\), \\(g\\in G\\)).   The presentation is given taking as generators \\(G\\)-Whitehead automorphisms of \\(F\\). These are extensions to \\(G\\)-free groups of the usual Whitehead automorphisms of the free groups. If \\(G\\) is an infinite group, the presentation is infinite, but if \\(G\\) is finitely generated, then \\(\\text{Aut}_ G{\\mathcal F}\\) is finitely generated. If \\(G\\) is finite and \\(\\mathcal F\\) of finite \\(G\\)-rank \\(n\\), then the presentation is finite, a result which was proved essentially by Kalajd\u017eievski and Krsti\u0107 [loc. cit.]. The proof of the main Theorem is based on the Peak Reduction Lemma (PRL) whose proof covers two thirds of the whole paper. The PRL here is an adaption of the usual PRL for free groups used also by the author to give a presentation for the ordinary free group \\(F\\) [J. Lond. Math. Soc., II. Ser. 8, 259-266 (1974; Zbl 0296.20010)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q1330083$2603A844-9BD1-43E2-9EE7-CDC674431BEF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9f4783aefc0465a962c2651b89c22d3aa35c14ce","datavalue":{"value":"20E36","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1330083$14119F55-CF8C-421C-963F-DC43A7604562","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"02e66589753ec184c7d05c645efc14f6302392b5","datavalue":{"value":"20F28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1330083$DA5E111E-F17E-4438-A1A1-6166DD44BA56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5608e4dbe85e8f6c220cc8afcea2a4ada066e3fa","datavalue":{"value":"20F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1330083$3B6D0BD1-5DE1-4CCA-87C4-DF1C635640D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e478659c80ac196196a2283c8b16b79c8d8cd8d5","datavalue":{"value":"20E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1330083$ED535FF8-038E-4EE9-8ADC-0907D5EEEDC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fcae15942a1ef1170b65682251799a9bfed1dcd3","datavalue":{"value":"20E06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1330083$EB57F6AF-EE84-4AB5-99FD-D700CB653EB8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"89e18b1eda28ecef87be1516e28c1dbc8f4a4d4b","datavalue":{"value":"614256","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1330083$F643B1E7-9DAE-42C3-A3CB-9FCC3C97E7F4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa03be4aacd5efb9220345a9d8911c12e9ac7361","datavalue":{"value":"peak reduction lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q1330083$869459FD-4FE4-495C-83C8-4247836A16CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e986f205a53c956ce83852b88693f1f1cb56e42c","datavalue":{"value":"presentation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1330083$3449E18E-B41F-4D82-8737-C3479A60D37D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a8fb8c0bd899a5e3e8f8812574255c13bdcf502d","datavalue":{"value":"\\(G\\)-automorphisms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1330083$17A9FEA9-4BDB-4081-A32D-41B48860023C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79ad661c6e9e02c2554583932870f63f80163820","datavalue":{"value":"action","type":"string"},"datatype":"string"},"type":"statement","id":"Q1330083$2933ED01-8B10-4AC8-941A-611B3AD93400","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8308bd49ed5e1973382d6b84d2fbae71ee1783b","datavalue":{"value":"\\(G\\)-free groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1330083$4F62231E-24C6-4033-9611-5EA081503889","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"467cc08bdc4855a69e6f2771562de356d5a656cc","datavalue":{"value":"Whitehead automorphisms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1330083$584BE8F9-DFAD-45B2-B355-0236BC5908E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ffb9b557bffdfa5cd70d593a7ec3f8594345072","datavalue":{"value":"free groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1330083$9C638B8D-3659-409C-849B-33EFA8267BF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43e7c30c8aaa3e656e6a297185914971abed9005","datavalue":{"value":"finitely generated","type":"string"},"datatype":"string"},"type":"statement","id":"Q1330083$68AA289B-C8CE-4C17-AF42-BE50329BD8B7","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":"Q1330083$DE006A86-A15D-4757-9742-D22F00B39FE4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fdfb1007ce811c8c902cdec9829f2e759c1b1378","datavalue":{"value":"https://doi.org/10.1006/jabr.1994.1146","type":"string"},"datatype":"url"},"type":"statement","id":"Q1330083$6952E28D-82C1-466E-876B-F5191C87F815","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2f40c8487b80b887ec7823ac34460996337251b1","datavalue":{"value":"W1991970632","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1330083$CCB7AAC3-C37D-46DA-ACF2-70FCDFFB9DB6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a701bcfd8d798588066bf77030f16206927f0472","datavalue":{"value":"10.1006/JABR.1994.1146","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1330083$0C3EC905-A69F-4153-8052-D49CE7AAB920","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e28d77b67dc9d557129aede821a2464af48169d6","datavalue":{"value":{"entity-type":"item","numeric-id":1006141,"id":"Q1006141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea9debd0cbc8b6f48c5df7701e6343f8a18b2be1","datavalue":{"value":{"amount":"+0.79072595","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":"Q1330083$B57E1779-6A11-438B-82CA-EB2435F0EEBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6adaa132c3bf8cb9274280fffa6f8ce213a2b1d","datavalue":{"value":{"entity-type":"item","numeric-id":2922422,"id":"Q2922422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c2dcbe816bd309c9b308e1c3fbb591969d9c6dc","datavalue":{"value":{"amount":"+0.7676931","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":"Q1330083$C2C1688A-78E0-4F7C-B8B0-B405CC3FD940","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9bce5f4a9385f47f30054bd3134f48f326479ee0","datavalue":{"value":{"entity-type":"item","numeric-id":3781925,"id":"Q3781925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d591e4733a4b4ce9045f222ff437b8d4d0b885be","datavalue":{"value":{"amount":"+0.7479157","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":"Q1330083$31643BF8-9C24-467C-81D8-9B010C26FF83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d018d19b20be6f37bd3ef378b175769bfa700fd","datavalue":{"value":{"entity-type":"item","numeric-id":3829724,"id":"Q3829724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5534965bfa450cb7d03a60237ea258386bff0277","datavalue":{"value":{"amount":"+0.7395166","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":"Q1330083$5F7EAD1E-7F81-4273-A9A0-1E1BD121F138","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbec68e7167af8db8f2f18305a721061e356123b","datavalue":{"value":{"entity-type":"item","numeric-id":4009428,"id":"Q4009428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8ec6ff4982e61d904809ae176c4d065aeafa6ae","datavalue":{"value":{"amount":"+0.7394664","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":"Q1330083$AC1F1735-73F1-43F1-8D75-DE04F8729449","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a411d28699d16ffe67555d96a6dda1d16963803","datavalue":{"value":{"entity-type":"item","numeric-id":3422832,"id":"Q3422832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2bcb9a122181f6757a9feb5adfb1066281424fc","datavalue":{"value":{"amount":"+0.73910415","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":"Q1330083$E50F93E4-4A31-40A0-8B17-162D0199B0AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b9acd975d6f64b676b49273fd6f870bb4ccb463","datavalue":{"value":{"entity-type":"item","numeric-id":3755640,"id":"Q3755640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab1ab7095057bea25dae2f084803b8684b04337a","datavalue":{"value":{"amount":"+0.72322655","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":"Q1330083$21B36AC8-C4AF-4579-BD13-559FBFBB6ADF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0cbc7fb751b425cc0161de2afba9a3d21f55752","datavalue":{"value":{"entity-type":"item","numeric-id":4399275,"id":"Q4399275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"497df74ed1d203baae92f825a2cef260bbbb24f2","datavalue":{"value":{"amount":"+0.7097056","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":"Q1330083$A73B642B-ADD5-43B6-8430-AF7E563F7C74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8be798adcb836afaf61ea4deb052a54e4767f8ab","datavalue":{"value":{"entity-type":"item","numeric-id":5322926,"id":"Q5322926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5d92b255eaab814d579ba5c2a7af5cdcf4c8b30","datavalue":{"value":{"amount":"+0.7084059","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":"Q1330083$3E447B72-F691-4265-98AB-01E87886A8F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b721235ed77664a156b9d263ea163a92ee83fd8d","datavalue":{"value":{"entity-type":"item","numeric-id":4877335,"id":"Q4877335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"779919d71fa9f8982e3fc93a43e8e653fe43a8e2","datavalue":{"value":{"amount":"+0.70803803","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":"Q1330083$69BFBBA9-AAC0-4567-8622-F1706EBFF91B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automorphisms of finitely generated free \\(G\\)-groups","badges":[]}}}}}