{"entities":{"Q1194305":{"pageid":1205054,"ns":120,"title":"Item:Q1194305","lastrevid":47086537,"modified":"2025-12-31T15:23:11Z","type":"item","id":"Q1194305","labels":{"en":{"language":"en","value":"Identities for Lie algebras of pro-\\(p\\) groups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 64215"}},"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":"Q1194305$FDF1CF50-66FA-4D2E-9E62-002DCB425917","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"06ad3a9a15df61982eec839e0863ee47c7d1009d","datavalue":{"value":{"text":"Identities for Lie algebras of pro-\\(p\\) groups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1194305$1AD183C0-6291-4D38-8C87-7631B29670CB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"778a3a88b47b2858e8ecc89feb0c1543096673bf","datavalue":{"value":"0851.17007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1194305$9716AF57-7F51-4A0A-B7AD-CD9EDA41A5F7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ae6b59b30a6f67a01692128d14daaa8015573c44","datavalue":{"value":"10.1016/0022-4049(92)90138-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1194305$5DEDD405-8F3D-4DEF-B5EC-E0F478BE4BAA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a5836d75fdd21bc7dd0a163b21507f61f53a99dd","datavalue":{"value":{"entity-type":"item","numeric-id":405846,"id":"Q405846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1194305$A575A85F-604A-4FCA-AD52-7B14F63185CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6fac530185be5186da92bae14c39325ce145f79c","datavalue":{"value":{"entity-type":"item","numeric-id":1194304,"id":"Q1194304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1194305$CDDFEAD9-FAEB-43CC-B36C-833128D0B474","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"34a2791b3d9645796ba9cdff19dd05bcf40f0161","datavalue":{"value":{"entity-type":"item","numeric-id":168348,"id":"Q168348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1194305$BDA33213-DF04-4C32-83D1-FBA58E8B2E6C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5fd62271fe98c7ff9916cafed51cf35315eeeb31","datavalue":{"value":{"time":"+1992-09-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1194305$291B112C-65F2-4AE5-886D-0FF3E3F17385","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ff206a8f51a93c1779cd121aaf028ea78333015a","datavalue":{"value":"In this note we show that a group law on cosets of a subgroup of finite index in a group implies an identity on a Lie algebra associated to the group. We also derive some consequences concerning presentations of pro-\\(p\\) groups and concerning profinite Engel groups.    The following theorems are proved: Theorem. If \\(G\\) is a group which has a subgroup \\(H\\) of finite index and elements \\(a_1, \\dots, a_n\\) such that a law \\(w=1\\) is satisfied on the cosets \\(a_1 H, \\dots, a_n H\\), then for each prime number \\(p\\) the Lie algebra \\(L_p (G)\\) satisfies an identity.    Theorem: Let \\(G\\) be a finitely presented pro-\\(p\\) group and suppose that the free discrete group of rank 2 cannot be embedded in \\(G\\). Then the following assertions hold:    (a) If \\(G\\) has a presentation with \\(n\\) generators and \\(r\\) relations, and if \\(G\\) is not pro-cyclic, then \\(r\\geq n+ {1\\over 4} d^2- d\\), where \\(d= d(G)\\).    (b) There is a constant \\(k>0\\) such that \\(d(H)\\leq k|G:H |^{1/2}\\) for all open subgroups \\(H\\) of \\(G\\).    (c) If \\(N\\) is any (closed) normal subgroup of \\(G\\) such that \\(G/N\\) is pro-cyclic, then \\(N\\) is finitely generated.    Theorem. Every profinite Engel group is locally nilpotent. -- An immediate consequence of this last theorem is that a profinite group is locally nilpotent if and only if each of its 2-generator subgroups is nilpotent.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1194305$65275649-5A88-455D-B638-7707C524BAD8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9d37d0ec6faeadeba5243ed8e8430225071da4b8","datavalue":{"value":"17B01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1194305$53119C2A-36EB-43F3-8539-44F6B24CBBFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"38edcb0292ca371407c43c7b95485d4a53fb371f","datavalue":{"value":"20F40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1194305$0ACA34B6-8301-4AFD-B31F-B50FE5B14A5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f4491b62c8458e495b6eda74e8c6dd751db90c08","datavalue":{"value":"17B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1194305$6B69DED7-F7A1-4721-9008-5034894D2DC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6ef7763c663249d52fb24c69b52f35da435fa9a3","datavalue":{"value":"20E18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1194305$2ACEF6B8-DC02-44BC-AF98-CF7556DB796A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6b8a8afd0cd7090f79ed6f50c3852e9957792d94","datavalue":{"value":"64215","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1194305$336D0DF4-A214-4297-8438-0F7EBB0ADF5A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0d1d8bacbaf9c3d1510349a9098097b229c3c8b","datavalue":{"value":"Zassenhaus filtration","type":"string"},"datatype":"string"},"type":"statement","id":"Q1194305$191C2009-056F-4B62-96E5-AE1FF035855D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad8dc50e7b2d90f850c8238a02678f648cdd580e","datavalue":{"value":"group law","type":"string"},"datatype":"string"},"type":"statement","id":"Q1194305$BDE9F529-90D0-4BAC-ABA6-45D56DAF5877","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db411ce795943ff8ddb8cfe0cc5364255a4b8c76","datavalue":{"value":"subgroup of finite index","type":"string"},"datatype":"string"},"type":"statement","id":"Q1194305$65160050-E104-46EA-AC7E-090918372F6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"63e3f554922f9694348e52a5b28c17b7a78d430e","datavalue":{"value":"identity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1194305$D69BCBE6-5AB6-4C2D-A8B1-43D83258F8FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"394a8ca59bb381943e71acbc2ab4b8012f88b06e","datavalue":{"value":"Lie algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1194305$80851E47-5BB9-449F-AF38-9B39F7B17ABA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19a6245e4b2a4a97f0841e82a77d8b685b5db119","datavalue":{"value":"presentations of pro-\\(p\\) groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1194305$8024FBD8-C259-4781-8422-B22DEF0A3A16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a14b3606574c30fe92df80d138e3d1ad9a767f3","datavalue":{"value":"profinite Engel groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1194305$2C78C00D-01EF-46D8-9233-AC068D033167","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"8a3cc8762bcd97034bb81a6dd3f29a0651635457","datavalue":{"value":"Q101087577","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1194305$BDB35ABF-116C-4A13-A21C-9DBB65117605","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":"Q1194305$0E3083DD-2D01-425D-84BE-0C7BD80693CC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"18145e6a674694579e5f358eef98a3618bc17d01","datavalue":{"value":"https://doi.org/10.1016/0022-4049(92)90138-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q1194305$CB40C955-955B-4E5D-834C-1E2CA574F18E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a53d1b6915081ed64903a9227cfa857de834d9b8","datavalue":{"value":"W1970503934","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1194305$DDF1052F-5150-4CD4-8410-186A0E3DCEBC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd1d8b89d1b34c5dfaaed7c46174802e20301db0","datavalue":{"value":{"entity-type":"item","numeric-id":5734514,"id":"Q5734514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1194305$A6284A4F-AD06-4414-81D2-163023CC519C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dda48c6fe1d00676a9ea25600dee5c75b4a4898d","datavalue":{"value":{"entity-type":"item","numeric-id":3226265,"id":"Q3226265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1194305$F0098B83-9B40-4E45-AF2A-02227BCCE484","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d7419bdc3126157f62a8e2f2c6c4b692835d66a","datavalue":{"value":{"entity-type":"item","numeric-id":1083540,"id":"Q1083540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1194305$F11EF4B0-A67A-4C84-83CC-685C48C593A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b82a339700845d7fd10f2b8b602ce41b1927d4c","datavalue":{"value":{"entity-type":"item","numeric-id":1814173,"id":"Q1814173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1194305$840DBCA8-3C94-44E3-9F46-91DE876E26E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a12042b2cdbbbad4f922567b51696504311e0283","datavalue":{"value":{"entity-type":"item","numeric-id":3988541,"id":"Q3988541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1194305$60E09BD3-517E-4D81-9BA8-7083AC7F0D9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b5320fbb9c32701c890ec23bf273fad9ddfe218","datavalue":{"value":{"entity-type":"item","numeric-id":3035468,"id":"Q3035468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1194305$58338765-E5D0-4A6E-9A7A-A6BAED9BC034","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64367f229c40c2c9ce908e02c32cdc6d47cca4df","datavalue":{"value":{"entity-type":"item","numeric-id":4011125,"id":"Q4011125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1194305$9A59BED6-A88E-4D0E-A864-2B67A6A60F8F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fd39997b2407dc162207f8574273dc842583294","datavalue":{"value":{"entity-type":"item","numeric-id":2405876,"id":"Q2405876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fdccfd48abec4b4bbf6f532ee7a686270529759","datavalue":{"value":{"amount":"+0.8082276582717896","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":"Q1194305$1031BDB1-3811-42E7-807F-5E8F3EBFEFA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"530a58e66f866032d9e511902cde345430249813","datavalue":{"value":{"entity-type":"item","numeric-id":4891348,"id":"Q4891348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f07bb6cdff14281fd3912878a50c8a529246f13","datavalue":{"value":{"amount":"+0.7990859150886536","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":"Q1194305$35F7B45C-6A32-4521-BF81-EA3BA751CBBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d63409417da17e0f12f979d8ac08256722833aa2","datavalue":{"value":{"entity-type":"item","numeric-id":2726646,"id":"Q2726646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f07bb6cdff14281fd3912878a50c8a529246f13","datavalue":{"value":{"amount":"+0.7990859150886536","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":"Q1194305$EC72F29A-6C95-4A25-844F-1C3C33730376","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7025688e99a44db05ae7c8bb3e22cb34a7a9f8ff","datavalue":{"value":{"entity-type":"item","numeric-id":1899084,"id":"Q1899084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad5287fcb2725929fc2e3b23926765fd3da0bfd1","datavalue":{"value":{"amount":"+0.7976145148277283","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":"Q1194305$721D3225-126E-407F-8D4A-E8E78E0817F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fed103dc45233bf2579169d3b354bd4d560b3d68","datavalue":{"value":{"entity-type":"item","numeric-id":4695739,"id":"Q4695739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad5287fcb2725929fc2e3b23926765fd3da0bfd1","datavalue":{"value":{"amount":"+0.7976145148277283","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":"Q1194305$219F2B5E-6D7B-4C86-9225-A97FE78E3EB6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1194305","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1194305"}}}}}