{"entities":{"Q994283":{"pageid":996131,"ns":120,"title":"Item:Q994283","lastrevid":65853264,"modified":"2026-04-12T05:48:59Z","type":"item","id":"Q994283","labels":{"en":{"language":"en","value":"Fully residually free pro-\\(p\\) groups."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5787073"}},"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":"Q994283$BF1031EC-2FC1-4B22-848D-5356462BE363","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3772b3e08163fac732bbc862a8ba596f3b8f4901","datavalue":{"value":{"text":"Fully residually free pro-\\(p\\) groups.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q994283$268E259B-DC94-42D6-A5A4-F5A496444F8A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c768b688d2d68caa46e6a80c48298d80d50a6a6e","datavalue":{"value":"1225.20027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q994283$880B8994-0177-426A-96D9-C59E8002187D","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":"Q994283$3120167F-89FA-4E56-B80C-74CA524E28D4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0d41b0c401286d1c312739c08c23f0c2648ce372","datavalue":{"value":{"time":"+2010-09-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q994283$709254A3-5BEE-425C-9120-B3738FD08F13","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4ef836a428d7b28f094e57e82c6cc2bbffd93131","datavalue":{"value":"The aim of the paper under review is to initiate the study of fully residually free pro-\\(p\\) groups. A pro-\\(p\\) group \\(G\\) is said to be fully residually free pro-\\(p\\) if for every finite subset \\(X\\subseteq G\\) there exists a continuous homomorphism \\(G\\to F\\) to a free pro-\\(p\\) group \\(F\\) which is injective on~\\(X\\). One says that \\(G\\) is residually free pro-\\(p\\) if the above condition holds for \\(|X|=2\\).   The study of abstract (fully) residually free groups goes back to \\textit{G.~Baumslag} [Math.\\ Z.\\ 78, 423-438 (1962; Zbl 0104.24402), Proc.\\ Lond.\\ Math.\\ Soc., III. Ser. 17, 402-418 (1967; Zbl 0166.01502)]. More recently it was shown that, in the setting of abstract groups, the class of finitely generated, fully residually free groups coincides with the class of so-called limit groups. The latter have important applications, for instance, in Sela's solution of Tarski's problem about equivalence of first order theories of finitely generated non-Abelian free groups. A class of pro-\\(p\\) groups which can be regarded as analogues of limit groups via extensions of centralisers was considered by \\textit{D.~H.~Kochloukova} and \\textit{P.~A.~Zalesskii} in a separate paper [Math.\\ Z.\\ 267, No. 1-2, 109-128 (2011; Zbl 1216.20024)].   The core contribution of the paper under review is a technical theorem which embeds a particular type of amalgamated free pro-\\(p\\) product into a direct product of free pro-\\(p\\) groups, in analogy to a result of G.~Baumslag [loc.\\ cit.] for abstract groups. The proof uses the pro-\\(p\\) version of the Kurosh Subgroup Theorem, Fox calculus and certain relation modules. The authors then deduce that every orientable surface pro-\\(p\\) group  \\[ G_d=\\langle x_1,\\dots,x_{2d}\\mid [x_1,x_2]\\cdots [x_{2d-1},x_{2d}]=1\\rangle  \\]  of even genus \\(d\\) is residually free pro-\\(p\\). In the special case \\(p=2\\), they can extend their result also to odd genera, by passing to suitable open subgroups.   Subsequently it is observed that a collection of equivalent characterisations of abstract fully residually free groups, given by B.~Baumslag [loc.~cit.], holds analogously in the pro-\\(p\\) setting. In particular, a residually free pro-\\(p\\) group \\(G\\) is fully residually free pro-\\(p\\) if and only if \\(G\\) is commutative transitive, i.e.\\ if every non-trivial element of \\(G\\) has Abelian centraliser in~\\(G\\). As a consequence, it is noted that every orientable surface pro-\\(p\\) group \\(G_d\\) is fully residually free pro-\\(p\\), provided that \\(d\\) is even or \\(p=2\\). In a similar way it is shown that the free pro-\\(p\\) product of a free pro-\\(p\\) group of finite rank and a free Abelian pro-\\(p\\) group of rank \\(2\\) is fully residually free pro-\\(p\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q994283$A6BC59BC-6C08-4F48-9C9E-E0CFC1AA1520","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"f8757876a517b8df371c61a800aa434a3fbfbcbd","datavalue":{"value":{"entity-type":"item","numeric-id":295838,"id":"Q295838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q994283$EA101E3A-128D-4EAE-85CA-5E5086B13091","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6ef7763c663249d52fb24c69b52f35da435fa9a3","datavalue":{"value":"20E18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q994283$F9B9986A-1305-4130-ABE5-0EE787A89283","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"afe0dc0c0736bb69fa09cc63d89cf0239c70ef90","datavalue":{"value":"20E26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q994283$DE89C35D-82B7-4229-8517-640CCDB5909A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e478659c80ac196196a2283c8b16b79c8d8cd8d5","datavalue":{"value":"20E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q994283$5519066B-A09F-4588-8B46-2000F84D5390","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fcae15942a1ef1170b65682251799a9bfed1dcd3","datavalue":{"value":"20E06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q994283$68B1CCB0-3F9F-49D6-A8DB-E0C3E884BF6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5608e4dbe85e8f6c220cc8afcea2a4ada066e3fa","datavalue":{"value":"20F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q994283$FD8BF77C-6A9A-43C7-BB6A-D9C15F6A9EBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f6ef259871fba519aa5466cc02e98f40c4b514ae","datavalue":{"value":"20F70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q994283$C89BECFF-2665-4AE6-A213-FD975137C7F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"639e35a4d8066ba3b320b7c5998ad4d73a0cf431","datavalue":{"value":"20F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q994283$6378D291-786F-424E-860F-00FE3FC1B48A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5f1051e5cdad29ae9249e26add36a8f7fcd155d2","datavalue":{"value":"5787073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q994283$A69ABFE0-D2F8-4702-905B-4EAC91F78786","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"88f781c6dfccd2561097716377cb7c3d7d80ba63","datavalue":{"value":"fully residually free pro-\\(p\\) groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q994283$66118707-99F9-4A43-93EF-D95F8051E635","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b9622e4ca29de24fb4011265908ac959c8d15818","datavalue":{"value":"Demushkin groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q994283$BBCEE3F6-38C5-4E0E-852C-E66248883290","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"620a4e1767531f024a2188487ea5c0540ea17ae4","datavalue":{"value":"amalgamated free pro-\\(p\\) products","type":"string"},"datatype":"string"},"type":"statement","id":"Q994283$0A82C80B-CD88-4915-84C8-BB338BB18EB1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6706c32ed3addc57f6f4ab758f9e8e9cf490ad84","datavalue":{"value":{"entity-type":"item","numeric-id":194946,"id":"Q194946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q994283$6ADC7718-26AF-4EA1-80C1-564C356B5173","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1592fc06d2f095e5f931218a56ec933b6ffd72a3","datavalue":{"value":{"entity-type":"item","numeric-id":403152,"id":"Q403152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q994283$51C42DD8-0354-4103-9D46-65B0CE367FAC","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":"Q994283$8DB22508-FB1B-4580-BB38-5CCE0C778588","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2d88f3a1e8e826d8dd3106912f11cc861984832e","datavalue":{"value":"https://doi.org/10.1016/j.jalgebra.2010.04.019","type":"string"},"datatype":"url"},"type":"statement","id":"Q994283$26EA4FA6-E58D-42FA-9C80-98B10B3A0C1E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"28918a19bbfefbef11ecd4f14801deb48e547dcd","datavalue":{"value":"W2089007544","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q994283$31897E14-C8ED-4FFB-98ED-5EBD8953B135","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a98083e061b899e86ccdef32fb39a86f5f008279","datavalue":{"value":{"entity-type":"item","numeric-id":5552198,"id":"Q5552198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q994283$A2F36C33-3B7F-42A7-AB26-AED4DDBDC9E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d8a6e2b641ab7cee0ec4516da58aacb3614219e","datavalue":{"value":{"entity-type":"item","numeric-id":775068,"id":"Q775068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q994283$4E791CDE-EFD6-46EE-B1CC-89F7D00937F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"599700d5d8063c85646ec12e3f9ba233e35468de","datavalue":{"value":{"entity-type":"item","numeric-id":972568,"id":"Q972568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q994283$EE36BB15-F3F3-45DD-A6EE-E88B5F759097","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54cd5924f9676fb469b6e12b9519ee35d1a0a863","datavalue":{"value":{"entity-type":"item","numeric-id":1306828,"id":"Q1306828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q994283$95FC09CF-96E6-4EBE-B0F4-429FFD635336","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61ef86e368dd8d31810955cb0c23d70e643684a5","datavalue":{"value":{"entity-type":"item","numeric-id":2528148,"id":"Q2528148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q994283$8E16CB7B-844E-4E3F-8B7A-B2B329715B5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5d5bd9ed7941d89764ca3713f6a485fd08994d1","datavalue":{"value":{"entity-type":"item","numeric-id":627465,"id":"Q627465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q994283$5D1C841F-8AF7-4B08-9B63-983FA00BE705","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a8f0d2f497e2fb4343ce46a2f3cc2a57cb2c35c","datavalue":{"value":{"entity-type":"item","numeric-id":4047720,"id":"Q4047720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q994283$22A78B57-60F7-4D68-BAB1-8C1CD9E6F28E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c56ddfeb8dffd84ffb564775a5c934cb3b39b926","datavalue":{"value":{"entity-type":"item","numeric-id":4734010,"id":"Q4734010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q994283$AFA5FEF0-FFBF-4F93-9343-41E5068C3A45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd49585943064555200fbba8c00e795c8666ca0c","datavalue":{"value":{"entity-type":"item","numeric-id":855727,"id":"Q855727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q994283$BA37B888-E527-4159-83B2-90511E645A7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9edc28baa47ebc9de69d89d8ea552ebf6c8d60e","datavalue":{"value":{"entity-type":"item","numeric-id":4935965,"id":"Q4935965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q994283$2887F536-90E6-4F3D-950D-9092C0B14058","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32647450f65a5cccaa8eefe35a6f2f5131040c46","datavalue":{"value":{"entity-type":"item","numeric-id":5921320,"id":"Q5921320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q994283$D42DBFDF-75C8-462F-83C8-A953058577C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a46767f4871cc556210cf3933b2a322ed5ed2e4","datavalue":{"value":{"entity-type":"item","numeric-id":2501184,"id":"Q2501184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q994283$0B18C872-9D5B-4D98-A83C-E7EF153C65AB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"405e2a48ee9766db78930497bbb187312ccbbb23","datavalue":{"value":"10.1016/J.JALGEBRA.2010.04.019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q994283$CF75B568-B1CC-4D3E-AD1B-235416B4BEED","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3207c7dbbd39fc975bd5f8141279847584c0e735","datavalue":{"value":{"entity-type":"item","numeric-id":285582,"id":"Q285582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58fa4589192ab067d2b063083e86fe81462ee4c7","datavalue":{"value":{"amount":"+0.8069329857826233","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":"Q994283$F8939AB4-FA6A-44CB-BEF2-EF09D406750A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6159d5b4bab4f219371d8ab0662cc0fddf06645d","datavalue":{"value":{"entity-type":"item","numeric-id":3152311,"id":"Q3152311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53d0895236dfb5602faed3b9c0ae2733f379f956","datavalue":{"value":{"amount":"+0.7961785197257996","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":"Q994283$57FF60A6-4387-4C52-898E-48DFC2C65015","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"156684868bbe7e8d6e4c067c644770a50f87ab92","datavalue":{"value":{"entity-type":"item","numeric-id":1803501,"id":"Q1803501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f942d7c6118f8f4c686861d27f394cc931dab32d","datavalue":{"value":{"amount":"+0.7935317158699036","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":"Q994283$A1440B08-EA7D-4C2C-A1B0-6CFB392556D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dde8592524c8b0063ac86e1e6b673e939a9fae16","datavalue":{"value":{"entity-type":"item","numeric-id":2814680,"id":"Q2814680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8f49ab9bab82a2f789eb859073ffe63673d22e3","datavalue":{"value":{"amount":"+0.7789637446403503","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":"Q994283$69DE381E-9764-49F5-957E-9C4FB82F0918","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d21ffed04e9f93b808800ec29ab6899184c5d24e","datavalue":{"value":{"entity-type":"item","numeric-id":1057984,"id":"Q1057984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a50ec0aecc3b02b8a60f2655e15379bcd05fa186","datavalue":{"value":{"amount":"+0.7771015167236328","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":"Q994283$7FB0E893-7FD7-4831-8E2A-53CF7A8AA8B1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Fully residually free pro-\\(p\\) groups.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Fully_residually_free_pro-%5C(p%5C)_groups."}}}}}