{"entities":{"Q810145":{"pageid":811993,"ns":120,"title":"Item:Q810145","lastrevid":64506351,"modified":"2026-04-11T20:20:27Z","type":"item","id":"Q810145","labels":{"en":{"language":"en","value":"Some applications of free differential calculus in group theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4212308"}},"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":"Q810145$86936FA8-9083-4BA1-B77B-DBFF8ECBDF2D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5acb50a03d18b8a4b4d7663e04e0eb170f27f0f0","datavalue":{"value":{"text":"Some applications of free differential calculus in group theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q810145$7B5CEB3E-D94F-4339-991F-E65CDEF30B95","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a07a2057c1e4648bbe1315461b618b116e93b535","datavalue":{"value":"0733.20014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q810145$75F4D9B7-9B8B-4BAC-AB31-65E6D2C40782","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"224867ba6d1cb3c9c5bd8c690a11f29e230cb07d","datavalue":{"value":"10.1007/BF01158317","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q810145$606FBA4E-8525-4879-91D0-1645C87414D4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"77cb4bd7021e77eed466f015169fc2be71b7cedb","datavalue":{"value":{"entity-type":"item","numeric-id":810144,"id":"Q810144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q810145$1B33F9F3-EE7B-43FA-9229-D417415132F8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"00de3e6b6cfff0576fe0e1d6bc63c05579d2cb43","datavalue":{"value":{"entity-type":"item","numeric-id":173953,"id":"Q173953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q810145$CA303578-BCCD-4BEA-AE7B-82E3978B86A8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"391107ffc7a24346d69c573e292e4ff4587e3aaa","datavalue":{"value":{"time":"+1991-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q810145$29785D0D-975D-4205-855F-AEDA673D66C8","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"043d4349c8b6e049c6d50b38ac5d05b4fe7d65f9","datavalue":{"value":"The author gives a generalization of the free differential calculus of Fox, and gives, without proof, some results that can be obtained by applying it. The generalization is as follows. Let F be a non-cyclic free group and \\(R\\triangleleft F\\). Let R be freely generated by elements \\(r_ i\\) (i\\(\\in I)\\), and let \\(\\Delta\\) (R) be the augmentation ideal of \\({\\mathbb{Z}}R\\). Then \\(\\Delta\\) (R)\\({\\mathbb{Z}}F\\) is freely generated as a left \\({\\mathbb{Z}}F\\)-module by the elements \\((r_ i-1)\\) (i\\(\\in I)\\), and so if \\(u\\in \\Delta (R).{\\mathbb{Z}}F\\), then \\(u=\\sum_{i\\in I}d^ R_ i(u)(r_ i- 1)\\) for certain uniquely determined elements \\(d^ R_ i(u)\\in {\\mathbb{Z}}F\\). If \\(R=F\\), these are the usual (left) Fox derivatives of u; similarly we can obtain the right Fox derivatives.    Three applications of these generalized Fox derivatives are given. Theorem 1. Let R be as above, and suppose that \\(R\\leq \\gamma_ k(F)\\), the k-th term of the lower central series of F, for some \\(k\\geq 2\\). Let \\(S_{n,m}=[\\gamma_ n(R),F,...,F]\\) (n\\(\\geq 2,m\\geq 1)\\) with m terms F. Then for \\(m\\leq 2k-2\\), the abelian group \\(S_{n,m}/S_{n,m+1}\\) decomposes as \\(D\\oplus T\\), where D is free abelian of infinite rank and T is a torsion group whose exponent divides 4 if \\(n=2\\), or n if \\(n>2\\). Theorem 2. Suppose that \\(G=F/R\\) satisfies one of the following conditions: (a) \\({\\mathbb{Z}}G\\) has no zero divisors, (b) \\(G/G'\\) is not periodic. Then for \\(n\\geq 3\\) the following are equivalent. (a) \\(F/I_ R([\\gamma_ n(R),F])\\) is residually nilpotent, where \\(I_ R(\\)-) denotes the isolator in R, (b) F/R is either residually torsion-free nilpotent or discriminated by nilpotent groups of finite prime power exponent. Theorem 3. F/R is hopfian if and only if one of the groups \\(F/\\gamma_ n(R)\\) (n\\(\\geq 1)\\) and \\(F/I_ R([\\gamma_ n(R),F])\\) (n\\(\\geq 2)\\) is hopfian.","type":"string"},"datatype":"string"},"type":"statement","id":"Q810145$4D32631B-B85A-4086-939B-F1F9ABD3087D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5608e4dbe85e8f6c220cc8afcea2a4ada066e3fa","datavalue":{"value":"20F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q810145$9EC8D067-376B-4052-ABB0-1C5D3888E09E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e478659c80ac196196a2283c8b16b79c8d8cd8d5","datavalue":{"value":"20E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q810145$55DE8A37-2954-4076-B8B9-76A64B31F956","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"05178b00f3954cc5276390a934207187e030f430","datavalue":{"value":"20C07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q810145$F2161817-F67F-40AF-85CD-6388727494E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5686a691cb5ce3980c2b4130b1f83237884a7dfc","datavalue":{"value":"20F12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q810145$F5ADE67F-FCAE-4E44-BD0E-F7D6F31D4836","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"afe0dc0c0736bb69fa09cc63d89cf0239c70ef90","datavalue":{"value":"20E26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q810145$661B872F-BD7E-42FE-A3C7-ED0BC8F78EFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7d267b79d7c375f7a21a0589ed85621f83aaaf2d","datavalue":{"value":"20F14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q810145$F0E1DFC7-1F28-4A47-B4B8-883A63767B46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5f5206f46c6ca666840f8b4128198bef996fcacb","datavalue":{"value":"57M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q810145$651ECA43-ABC8-49A8-BFDA-71891ED3AB1A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b4223966bddcfef87caa9caf72ea1570467e1446","datavalue":{"value":"4212308","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q810145$93070202-602C-4E2C-A1FD-392647BF286C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64f6a550d55985181d07fe4b0962f0e204f5bcf9","datavalue":{"value":"differential calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q810145$D5789516-53AD-445F-B815-9536CE0DC612","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7bb0da4c7c49e685c75a6821331b312dbb5ba326","datavalue":{"value":"free group","type":"string"},"datatype":"string"},"type":"statement","id":"Q810145$3B51827A-2522-4C05-8F4F-7CF915806491","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"262976b422b4618cb92f1e8e9915e074ddd7a48b","datavalue":{"value":"freely generated","type":"string"},"datatype":"string"},"type":"statement","id":"Q810145$C231F20C-0DAC-4D02-9512-20C8591DB8D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9847a3a8b20ff3ec1c76169212cd6aa8803cd1c","datavalue":{"value":"augmentation ideal","type":"string"},"datatype":"string"},"type":"statement","id":"Q810145$93314B68-2B88-447A-B98E-224816B742E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f32683178185e02288d8b7cd3f98903640f4222","datavalue":{"value":"right Fox derivatives","type":"string"},"datatype":"string"},"type":"statement","id":"Q810145$0C4A511E-8CD2-4AD8-835B-8AEFAAB44128","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79d780bc009232a376ed8aa00d3c792246e7b844","datavalue":{"value":"generalized Fox derivatives","type":"string"},"datatype":"string"},"type":"statement","id":"Q810145$184D0912-FE7D-48BF-88CA-C5915062F50E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d65a875072cd69211ac27499ecb9e6a66aee3fe6","datavalue":{"value":"lower central series","type":"string"},"datatype":"string"},"type":"statement","id":"Q810145$6E0770BE-A7B6-46BC-8A95-69CD18F48003","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1478b63a7ac74aed74869382e233fbe20fa6f7b2","datavalue":{"value":"free abelian","type":"string"},"datatype":"string"},"type":"statement","id":"Q810145$0404F6CD-CF83-4B06-866B-0D67205EF338","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1ee1f2c9a4018db0cd910b9dfff7b48cb41a73b","datavalue":{"value":"torsion group","type":"string"},"datatype":"string"},"type":"statement","id":"Q810145$8E8C5F44-CD13-4167-8ECE-3567E26BA2F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"989bb6b40876e6b76d5fecbb771fde69c3cb71ef","datavalue":{"value":"exponent","type":"string"},"datatype":"string"},"type":"statement","id":"Q810145$C012E0C0-B645-4B83-BC49-04BC8E1359B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"923ab7a91aafa23d5dc72a63f2830c49323f3b58","datavalue":{"value":"residually nilpotent","type":"string"},"datatype":"string"},"type":"statement","id":"Q810145$F1BE4042-270B-4D6E-B8DA-5B40CAEEB1EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9bfca2f50a6cf56127cbbffbd061a8fbf7fb89f8","datavalue":{"value":"isolator","type":"string"},"datatype":"string"},"type":"statement","id":"Q810145$6846AAB7-649E-4F95-B81F-D7F66D31CAB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"38e1f4bf0cc3f060e8517b50c1e82bfd0450df85","datavalue":{"value":"discriminated by nilpotent groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q810145$745FF604-F660-4E5E-8432-933EBCCBA74D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"634b248357444af2b972ce535e0b4c79288ade01","datavalue":{"value":"hopfian","type":"string"},"datatype":"string"},"type":"statement","id":"Q810145$4B287AB1-531A-47CA-9801-6510FA5328C7","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"fb92e74717f3d9b88af6819be36f7b80b2d3ee0a","datavalue":{"value":{"entity-type":"item","numeric-id":599911,"id":"Q599911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q810145$D701D044-D944-4B5E-ACAF-10F2852B87C8","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":"Q810145$733AC4FA-CAE1-4CD7-A944-D64D6F1C3A82","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffe61fbf6903198a3da0cbe0be9835e7ffd5a2ec","datavalue":{"value":{"entity-type":"item","numeric-id":2522863,"id":"Q2522863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q810145$547C5BA6-983D-4320-B6F8-09759E3C9A59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86373a17ba9fa74720e018f693dd9f701bb7a02b","datavalue":{"value":{"entity-type":"item","numeric-id":580491,"id":"Q580491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q810145$31BE1DAD-6ED6-4091-8C73-8E36160E42F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67a584f91318b2f31c30bfae04e715ec0f418eb8","datavalue":{"value":{"entity-type":"item","numeric-id":1090757,"id":"Q1090757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q810145$2AAB8DA8-7CD5-458C-833A-1A0A85ABF5E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4b129afe9b1de9b9c21c1212ec75471c20764c2","datavalue":{"value":{"entity-type":"item","numeric-id":795925,"id":"Q795925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q810145$83DC83DE-3537-4890-9317-DDF28D4058EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"934442940c186ad768690c93b87c47991845cac1","datavalue":{"value":{"entity-type":"item","numeric-id":5639886,"id":"Q5639886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q810145$72712460-6E35-408A-8A35-7D8B902EA121","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"417c5b03ce978993f85174c7891504db20da5860","datavalue":{"value":"https://doi.org/10.1007/bf01158317","type":"string"},"datatype":"url"},"type":"statement","id":"Q810145$434DD7FD-4CAA-4D2D-8EB5-0E5648F448AB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4f4382abeba6f047e3ae78043bbaace9e04ac623","datavalue":{"value":"W2051383098","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q810145$F8F8A02C-D025-445A-B291-832E140E0981","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3cc8c0e1a3a26ae50f1be10ba4853023cf653bc","datavalue":{"value":{"entity-type":"item","numeric-id":4016448,"id":"Q4016448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e641da2b9cca63115b96570bc46d723981d79659","datavalue":{"value":{"amount":"+0.821857750415802","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":"Q810145$FAB1464F-3E2F-4A42-8483-EBFA507FD281","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac0ba9f1e272f058032fb30bf97a0c5db4070a37","datavalue":{"value":{"entity-type":"item","numeric-id":4183482,"id":"Q4183482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afa4d1cd3e1426468f9092e773c6abd8ab4357a8","datavalue":{"value":{"amount":"+0.8216047883033752","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":"Q810145$2C0E0E45-AEB4-4749-8E90-19830056B91C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c0a49e90b4666f7495d716d65a4e77cd0d3435d","datavalue":{"value":{"entity-type":"item","numeric-id":3341034,"id":"Q3341034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24d8fae425f5f557e2b14b8789fae19ee27b53b6","datavalue":{"value":{"amount":"+0.8076521754264832","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":"Q810145$541A39B0-CEA3-42B8-BC8D-3FA4D4C2E6F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b114e196e08fb18513fe881d60b402e5a32f78cb","datavalue":{"value":{"entity-type":"item","numeric-id":1192256,"id":"Q1192256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7181d66fa5489743b62f2936162f954cf311a7a3","datavalue":{"value":{"amount":"+0.8022107481956482","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":"Q810145$87EEE2FA-CC35-4005-8402-E650D7811A84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab851f95828c81129a7ddad236ef7828a94b1706","datavalue":{"value":{"entity-type":"item","numeric-id":266219,"id":"Q266219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5c2c7dbffee55560ec865cd310928f7ea2bad3d","datavalue":{"value":{"amount":"+0.7991531491279602","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":"Q810145$D93BD8DD-8973-46DD-9C31-62E7813C4DCF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Some applications of free differential calculus in group theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Some_applications_of_free_differential_calculus_in_group_theory"}}}}}