{"entities":{"Q1420139":{"pageid":1430879,"ns":120,"title":"Item:Q1420139","lastrevid":48228484,"modified":"2026-01-04T01:10:57Z","type":"item","id":"Q1420139","labels":{"en":{"language":"en","value":"Two-variable identities for finite solvable groups."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2034185"}},"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":"Q1420139$0ADC1606-C962-4749-9B9D-0BB3531158C9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9747eacf2cd839b246db92d8948b1c12f4828a84","datavalue":{"value":{"text":"Two-variable identities for finite solvable groups.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1420139$F7B35A9F-5EBE-4B35-AD73-822C4C204438","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bf0cf29c59947d26d5f5084db3ac2bb6c4a6301d","datavalue":{"value":"1047.20014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1420139$559E0E1D-8971-480E-A0DA-CBC61F256ACA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3e8ca735896d8fd1610d4d740dab3fd7cadda6d4","datavalue":{"value":{"entity-type":"item","numeric-id":1380459,"id":"Q1380459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1420139$C81A0B1F-89B1-4FC5-9F83-1F93521C7D80","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5a5c9e0c6a7a2a0cb7662cbf32d2a100f29f5641","datavalue":{"value":{"entity-type":"item","numeric-id":251665,"id":"Q251665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1420139$E7E34A29-1766-4076-B5A0-971AB603D4FF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f1d281c06522ea4672f51eee5d409d6bff6f4c93","datavalue":{"value":{"time":"+2004-01-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1420139$1A176F2D-4B73-4C3B-8E0E-C780CC11EC40","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5e6f0eee84b872bf1f0e0fa6f83ec56ed074a0ae","datavalue":{"value":"By a celebrated result of \\textit{J. G. Thompson} [Bull. Am. Math. Soc. 74, 383-437 (1968; Zbl 0159.30804)] the finite group \\(G\\) is soluble iff every two-generator subgroup of \\(G\\) is soluble. By \\textit{R. Brandl} [J. Algebra 73, 1-22 (1981; Zbl 0484.20012)], there exists a sequence \\(u_1,u_2,\\dots\\) of words in two variables such that the finite group \\(G\\) is soluble iff the identity \\(u_n=1\\) holds in \\(G\\) for all but finitely many \\(n\\). In [\\textit{R. Brandl} and \\textit{J. S. Wilson}, J. Algebra 116, No. 2, 334-341 (1988; Zbl 0651.20039)] such sequences are given, but not explicitly.   In the present paper a modification of a sequence suggested by \\textit{B. I. Plotkin} [Usp. Mat. Nauk 13, No. 4(82), 89-172 (1958; Zbl 0198.04301)] is used. The authors sketch a proof of the following Theorem 1.1. Let \\(u_1(X,Y)=X^{-2}Y^{-1}X\\), and inductively  \\[ u_{n+1}(X,Y)=[Xu_n(X,Y)X^{-1},Yu_n(X,Y)Y^{-1}].\\tag{1} \\]  A finite group \\(G\\) is soluble iff for some \\(n\\) the identity \\(u_n=1\\) holds in \\(G\\).   Clearly, the condition is necessary. The proof of the converse uses Thompson's classification of all minimal simple groups \\(G\\) [loc. cit.]. As in [\\textit{R. Brandl} and \\textit{D. B. Nikolova}, Bull. Aust. Math. Soc. 33, 245-251 (1986; Zbl 0574.20028)], an appeal to the Hasse-Weil Theorem yields elements \\(x,y\\in G\\) with \\(u_1(x,y)\\neq 1\\) and \\(u_1(x,y)=u_2(x,y)\\). This proves Theorem 1.1.   The result has the following application: Theorem 1.3. Let \\(F=F(x,y)\\) be the free group in two variables, and let \\(\\widehat F\\) be its profinite completion. Let \\(v_1,v_2,\\dots\\) be any convergent subsequence of the sequence (1) with limit \\(f\\) from \\(\\widehat F\\). Then the identity \\(f\\equiv 1\\) defines the profinite variety of prosoluble groups.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1420139$9EA2E6F9-7865-453D-B166-1F8D32DD249D","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"a277d5ecfd163bd47571cedcf3055dbf048377b9","datavalue":{"value":{"entity-type":"item","numeric-id":194410,"id":"Q194410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1420139$CAFD0B11-540D-4CEE-A7FD-D139D658F5C6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6733577c02c6cfba3faed14f3a1300c1637a0c39","datavalue":{"value":"20D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1420139$FE14C682-6B08-423C-9403-402EE8BC1735","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"49af82f4ade3a98e23da5d649cb52c1c6f164fdd","datavalue":{"value":"20E10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1420139$42665846-75AD-4068-9478-B832A0FB9766","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d42408b3b2a5719112a50156031a4dfd0836cf9b","datavalue":{"value":"20D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1420139$C9CA4141-EE7E-4CBF-83BE-3CB2A46229C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5686a691cb5ce3980c2b4130b1f83237884a7dfc","datavalue":{"value":"20F12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1420139$DD908B8E-EA46-4566-A93F-6F4E1AF2E47F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7d267b79d7c375f7a21a0589ed85621f83aaaf2d","datavalue":{"value":"20F14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1420139$F374148E-301B-40D3-B4C2-A462D9B09655","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da7d13252df5708522b7ceeb19d39cc84f4ce6d6","datavalue":{"value":"20F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1420139$AF14FEBF-A429-4A5F-BA16-96BFD262C2DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7d2c1d6303ff43a208c78ddab6e0cc8993208fc","datavalue":{"value":"14G05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1420139$52520A8F-5A6D-41C7-96E7-C9387BB892AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"528f7a48d12c334e1e8f805dbb30c6a6e0ed15e9","datavalue":{"value":"14G15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1420139$93DF9AED-B52B-461D-810F-8487DC4A6FC0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"000d6ed75b2891ecda033a9e7c71c3ebad8000a6","datavalue":{"value":"2034185","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1420139$87860AC9-17CE-4ED7-ACED-CA6EAD39F46F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1b5c8fef1f9b448bb12f184e99705b3fc80de15","datavalue":{"value":"finite solvable groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1420139$D49E992A-F3DB-4A8D-BDA6-037D2439EBFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6456555b6e7615a93c7417b5c9fcbbbdd9170a53","datavalue":{"value":"finite varieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q1420139$7F4ED906-2FB5-42CD-8E48-156DE4E50A0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4137d9389c33ffec15dba182b91d1ee3b7beb618","datavalue":{"value":"laws","type":"string"},"datatype":"string"},"type":"statement","id":"Q1420139$7A809ABC-835E-4367-8884-01532A7A07FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f76d724b5a4ec9d494fbb059e79bcc3faa9d4187","datavalue":{"value":"prosolvable groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1420139$65DFD34E-B4AB-4042-ADC7-154032AD18EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"304901f1ad68c32839d81525dd637778fc87b2c5","datavalue":{"value":"rational points","type":"string"},"datatype":"string"},"type":"statement","id":"Q1420139$1C422448-D8C4-406C-900F-6BAE93F68FD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"905435593ed428dc2e6765a1aa7e70f643886771","datavalue":{"value":"Lang-Weil estimates","type":"string"},"datatype":"string"},"type":"statement","id":"Q1420139$78A7B065-AB01-40AE-AEAC-3E194A35A6F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11679e8cc776fd422f82b2bd8e5d231b637b88c4","datavalue":{"value":"algebraic varieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q1420139$7E34602F-8D26-4A9C-8793-75288C1F0AA7","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ef03848f41f59da431665c121436ac0a6bc94ac2","datavalue":{"value":{"entity-type":"item","numeric-id":13610,"id":"Q13610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1420139$BF569A3F-1EA7-4B1C-AE04-7A4E71BE5024","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":"Q1420139$CB00D5B8-0BF5-44C3-B4E8-B0B7455C6B1B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"35a56d15a2c25d830f29bf0d0e1a18b2970d6851","datavalue":{"value":"https://doi.org/10.1016/j.crma.2003.09.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q1420139$467ED2B0-3E16-4C5B-A688-D85B264F51B9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"015b0607a1623f08ecddb5856637fcd2cf956ce3","datavalue":{"value":"W2086808249","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1420139$6DA124A7-9A08-4B31-9D59-E917FA640279","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"07ce8ce1f8e431bb7ffa0c2126b4f6dcdf154d05","datavalue":{"value":{"entity-type":"item","numeric-id":3816169,"id":"Q3816169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1420139$995D2836-7BBE-4849-930D-9B426F5A5AEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47bb627798862dad129d66bb3c973f5a5e7be2e1","datavalue":{"value":{"entity-type":"item","numeric-id":2750958,"id":"Q2750958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1420139$3289DED3-7DA6-41EA-9654-BAB71B9D90B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d4e2af6e0bbb6b9a7599fa2d0c452eb2fe63def","datavalue":{"value":{"entity-type":"item","numeric-id":1163647,"id":"Q1163647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1420139$F2CF5EC0-69AF-4437-9567-94E0E6428731","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f257462f4124f797c9fcb01aba1ca0c9196a133","datavalue":{"value":{"entity-type":"item","numeric-id":1106334,"id":"Q1106334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1420139$187442E3-3CB0-4548-8847-D6C6E9B3CF5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e05a4a9dda8e37768c67c30ec45aac820d05ae18","datavalue":{"value":{"entity-type":"item","numeric-id":1359165,"id":"Q1359165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1420139$03F56992-E60D-453D-83B9-A3A4BB520F30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3868e7e0c684f4a2fd68dba50a7ebb7864be6204","datavalue":{"value":{"entity-type":"item","numeric-id":4408659,"id":"Q4408659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1420139$857BAFEA-45B9-4288-AD7F-B0B7CB807D2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab88fb4e9df0ff6844170026cd86381c1dd17473","datavalue":{"value":{"entity-type":"item","numeric-id":2781760,"id":"Q2781760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1420139$7887547C-BFA0-4B63-ACF6-58634BEFFD52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8467f19a5210a4dc605ce8e461cff184ee7995fc","datavalue":{"value":{"entity-type":"item","numeric-id":1780422,"id":"Q1780422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1420139$D9DCB70F-EDDB-41D2-BE34-4924EFE54BEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c444bc23e831c3b071833b7cbba83f4faaba052e","datavalue":{"value":{"entity-type":"item","numeric-id":3659962,"id":"Q3659962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1420139$74D76215-195E-4D09-8F21-215BE0AE1C47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28ed3c61e5a11154ec6aa430d0afa2bf900ad099","datavalue":{"value":{"entity-type":"item","numeric-id":5615393,"id":"Q5615393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1420139$609ED1EB-1189-4735-BB92-A4360DF4E9BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0649de84bc0fe63d1ace8241f5aae235bcd4d54","datavalue":{"value":{"entity-type":"item","numeric-id":5542818,"id":"Q5542818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1420139$245B1D8A-5F6A-46D1-ABC5-C2BDA1893175","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"06e9c4d4a6d0fc7ffe14152c91a4e527edc2edbb","datavalue":{"value":"10.1016/J.CRMA.2003.09.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1420139$18738AB6-647C-4628-8F99-E209EE39DF46","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a2c50a9e5654dead78f58c66e4914cd2dfdc2f4","datavalue":{"value":{"entity-type":"item","numeric-id":833316,"id":"Q833316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8367f12bc2f6dbd604f6a3b3e02436a02524ea83","datavalue":{"value":{"amount":"+0.8520445823669434","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":"Q1420139$7571B27A-07F8-40EF-BD43-DB32EE74CC7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74fee8296516a86990918036a4e0339ee3a4f5b8","datavalue":{"value":{"entity-type":"item","numeric-id":3534797,"id":"Q3534797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6fa0a52b15d212e3569f756709e4da0141edd3d1","datavalue":{"value":{"amount":"+0.8488464951515198","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":"Q1420139$E75BAB88-F7F8-48FD-8CFC-5C69DDE8CA47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42fc8a14c289863475804991a84acec0acea2e5c","datavalue":{"value":{"entity-type":"item","numeric-id":4676389,"id":"Q4676389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3cc181d45de6831adf673f1bf5e018876465fe7","datavalue":{"value":{"amount":"+0.8296255469322205","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":"Q1420139$E4455132-DC9B-4B4D-9EB4-B03E20489C58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8dec0d651dfef4d9e24ff8d6cc3b62af38ade1d4","datavalue":{"value":{"entity-type":"item","numeric-id":5480023,"id":"Q5480023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"835eada47a0e10961e6b77ccaf652668e410c8cc","datavalue":{"value":{"amount":"+0.8241701126098633","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":"Q1420139$9CA732F5-8761-4496-B725-5ADC7B865B10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99364732a2ee9ea01797cc3295b72060276f5a6d","datavalue":{"value":{"entity-type":"item","numeric-id":3223034,"id":"Q3223034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58f7b270797dcab2c13c0faa43185a5a5e1ea9a7","datavalue":{"value":{"amount":"+0.8091448545455933","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":"Q1420139$EF903730-093D-45D3-9702-424E162A5F5D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1420139","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1420139"}}}}}