{"entities":{"Q1580385":{"pageid":1591125,"ns":120,"title":"Item:Q1580385","lastrevid":67916607,"modified":"2026-04-12T20:12:46Z","type":"item","id":"Q1580385","labels":{"en":{"language":"en","value":"On normal verbal embeddings of groups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1506087"}},"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":"Q1580385$DF9AE19E-0BA7-4019-8EFF-646D7466F8E7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"39c04e92532ef1116f60b49a73fd794605f7ca64","datavalue":{"value":{"text":"On normal verbal embeddings of groups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1580385$D82EC5A8-4BC4-46E4-89E3-5C4AF16B1DC9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"297ab4163e8f279cc01e47c2793cf0833c2ce71a","datavalue":{"value":"0953.20017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1580385$D88F34DB-D5C1-4AA3-BB1F-88DCDC520628","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7b54b40533d13f1b2f527ca4c5207f255e1bcd2a","datavalue":{"value":"10.1007/BF02677503","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1580385$C79860A4-3DDE-4143-BE03-4DDBF49667A4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"17c447c8e76a3a0e73a2c70a024d9ee2f8256c04","datavalue":{"value":{"entity-type":"item","numeric-id":195577,"id":"Q195577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1580385$CEC19A21-ED77-4873-9EE4-0DE8271CC8C8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a003edfcec895e809a385e212d589ca0bbabc28e","datavalue":{"value":{"time":"+2000-09-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1580385$3CA3F75C-289C-4DA1-B11C-F00D4445F709","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8d715e83490add44eec5ba53880639f5e6ec6182","datavalue":{"value":"Let \\(H\\) be a group and \\(V\\) a set of words. An \\(nV\\)-embedding \\(\\nu\\) of \\(H\\) into a group \\(G\\) is a monomorphism \\(\\nu\\colon H\\mapsto G\\) such that \\(\\nu(H)\\) is a normal subgroup of \\(G\\) and \\(\\nu(H)\\subseteq V(G)\\). The group \\(H\\) is said to be \\(nV\\)-embeddable if there is a group \\(G\\) and an \\(nV\\)-embedding of \\(H\\) into \\(G\\).   The main result of the article (Theorem 1) is the following: if \\(V\\) is a set of words and \\(H\\) is a group then \\(H\\) is \\(nV\\)-embeddable if and only if \\(V(\\Aut(H))\\supseteq\\text{Inn}(H)\\). Theorem 2 states that if \\(H\\) is a non-trivial Abelian group then \\(H\\) is \\(nV\\)-embeddable into a nilpotent group \\(G\\) and that \\(H\\) is \\(nV\\)-embeddable into an Abelian group if and only if \\(V\\) has some consequence of the form \\(x^n=1\\).   Theorem 3 deals with the case when \\(H\\) is solvable and \\(V\\) consists of one of the words \\([x_1,x_2]\\), \\(x^\\ell\\), \\(\\gamma_c(x_1,\\dots,x_c)\\) and \\(\\delta_n(x_1,\\dots,x_{2^n})\\) where \\(\\gamma_c(x_1,\\dots,x_c)=[x_1,\\dots,x_c]\\) and \\(\\delta_n(x_1,\\dots,x_{2^n})\\) is defined as follows: \\(\\delta_0=x\\) and \\(\\delta_{n+1}(x_1,\\dots,x_{2^{n+1}})=[\\delta_n(x_1,\\dots,x_{2^n}),\\delta_n(x_1,\\dots,x_{2^n})]\\). In this case \\(H\\) is \\(nV\\)-embeddable into some solvable group \\(G\\) if and only if \\(\\Aut(H)\\) contains a solvable subgroup \\(B\\) with \\(V(B)\\supseteq\\text{Inn}(H)\\). Theorem 4 states that if \\(V\\) consists of the word \\([x_1,x_2]\\) then the nilpotent group \\(H\\) is \\(nV\\)-embeddable into some nilpotent group \\(G\\) if and only if there is a nilpotent subgroup \\(B\\) of \\(\\Aut(H)\\) such that \\(V(B)\\supseteq\\text{Inn}(H)\\) and the extension of \\(H\\) by \\(B\\) is nilpotent.   The last result (Theorem 5) is devoted to \\(nV\\)-embeddings of symmetric groups. It states that (i) the symmetric groups \\(S_2\\) and \\(S_1\\) and symmetric groups over an infinite set are \\(nV\\)-embeddable; (ii) the groups \\(S_n\\) with \\(n\\geq 3\\), \\(n\\neq 6\\) are \\(nV\\)-embeddable if and only if \\(S_n=V(S_n)\\); (iii) the group \\(S_6\\) is \\(nV\\)-embeddable if and only if \\(\\text{Inn}(S_6)\\subseteq V\\langle\\text{Inn}(S_6),\\omega\\rangle\\) where \\(\\omega\\) is an arbitrary outer automorphism of \\(S_6\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1580385$681AEF78-D80D-4E01-9DCF-90F6C5C18E04","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"49af82f4ade3a98e23da5d649cb52c1c6f164fdd","datavalue":{"value":"20E10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1580385$A684944A-487D-4F0D-9230-916848710C24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ea37469d91f3037e8b6809fc66f770f1b27a461d","datavalue":{"value":"20E07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1580385$0410A1AF-92F4-43B3-8D0B-3D01508FB70E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5320e9cecd9885a74d1f4cf20dd5b5397119f97a","datavalue":{"value":"20E22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1580385$70EB19AD-3295-4772-AC37-B28EFB363811","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"02e66589753ec184c7d05c645efc14f6302392b5","datavalue":{"value":"20F28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1580385$EC7E2856-7E7F-49EE-8865-5A71075FFA94","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9537c784f593c048cc522aa8054be11624df122d","datavalue":{"value":"1506087","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1580385$90EA341D-8327-4B3B-AB99-A001CB18BF53","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bffa2562cdcda6f2d37a86e2e286fdaac2949a96","datavalue":{"value":"groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1580385$D1FC5683-4A1B-4671-BBBF-EDB158E5C027","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29623439a429ff2a2cd7efa3e64fb571eb06899a","datavalue":{"value":"verbal subgroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1580385$F3B1CDB0-ABF9-470A-B64D-06867E67B0BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85324fb1047df444bb8002d1f54e63570ef6240d","datavalue":{"value":"normal subgroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1580385$DE95DD68-0C94-4C19-9118-91840F9A43C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e7bd08d0645482afa238d75eafdc688efacb395","datavalue":{"value":"embeddings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1580385$9E6EFCFD-8A2F-4051-8036-A72B1F0A9841","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7a6ea5445f29babec0059a2b254099891191288","datavalue":{"value":"Abelian groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1580385$1E9DCF2E-161E-47F7-BC0D-308DB218F7FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4cb612363bd184a25df864c596b2b166558842a6","datavalue":{"value":"nilpotent groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1580385$E3D40892-A8B4-4E18-ACFD-07D3A926DEE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f1f2d0ac666fcdd661844ef9a394903274fedf1","datavalue":{"value":"symmetric groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1580385$124AEAF4-69B5-46B3-955C-7C04991322BA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"896fe7107bad00c485706609eb45402cef03bb1c","datavalue":{"value":{"entity-type":"item","numeric-id":403029,"id":"Q403029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1580385$B531F3F7-B890-467E-B5F9-88FB8694E54A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"91e3f7bc023d7b23819e99b4b4d72e5b83d68dfc","datavalue":{"value":{"entity-type":"item","numeric-id":1408938,"id":"Q1408938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1580385$007BFE11-C966-45A7-9DC2-15732DB28360","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b14ac833afc72247aace02692250d7eb69a8515e","datavalue":{"value":{"entity-type":"item","numeric-id":312201,"id":"Q312201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1580385$5D2BC9FA-7A3A-4D07-949E-CB2FB9047D75","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":"Q1580385$056A988E-D79A-4569-A83E-6FE42A76E11A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"259071b48b57ce319137cfd6ba25bc1b483c8178","datavalue":{"value":{"entity-type":"item","numeric-id":3241238,"id":"Q3241238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1580385$7E069BFB-D83B-40C9-A74F-9484674B219C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9184cdb0eff264e830daf9ad507ef4a0c09a0c5d","datavalue":{"value":{"entity-type":"item","numeric-id":5539009,"id":"Q5539009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1580385$7128D8F6-0F48-4A0D-A8F3-38E0FDCDCA09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f52fb5b093d9bd1f0fa62400f5189eb964c06ac","datavalue":{"value":{"entity-type":"item","numeric-id":4024653,"id":"Q4024653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1580385$B3DBCA65-CB00-48D7-B9BA-9FCB0520F1E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbd6e58f717e4f85f1d1df8d2c822a2ec6311d48","datavalue":{"value":{"entity-type":"item","numeric-id":798767,"id":"Q798767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1580385$B566F6A0-6540-4034-B5F6-E2CEB9DDD0D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c41045e21385cfc9d1375d5714738fbbb3b4b97f","datavalue":{"value":{"entity-type":"item","numeric-id":4745979,"id":"Q4745979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1580385$69789C04-076F-42D8-B98A-F6D1A62FA559","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24a48be0f30eb4f24162b10ac6d745c8204ba7fb","datavalue":{"value":{"entity-type":"item","numeric-id":4510155,"id":"Q4510155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1580385$64C64717-3868-4340-BD27-1CD96AC66C0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13738149268653b6353e33cf3988fa2810f5ad95","datavalue":{"value":{"entity-type":"item","numeric-id":3255398,"id":"Q3255398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1580385$A23389D9-CE45-4103-A7CB-DAAB5CF09B9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eaf7c56b6f9deede6465fcb00b37472e16d43e34","datavalue":{"value":{"entity-type":"item","numeric-id":2902655,"id":"Q2902655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1580385$DB0A0DA1-4800-4929-836B-091F98EA4639","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3de99dd631523547acb33d703e4ebdabd984fafa","datavalue":{"value":{"entity-type":"item","numeric-id":1878954,"id":"Q1878954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f3538e114ed1ef8ec7f99e22400abad18ad3e29","datavalue":{"value":{"amount":"+0.9171555638313292","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":"Q1580385$1BBABCA9-29D4-40BB-A00F-4AB116384DBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5a329ac2109aceea37ddf21341fd8895718b3a5","datavalue":{"value":{"entity-type":"item","numeric-id":1591224,"id":"Q1591224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b709fa25950005a2a79faf70a2d9c3526f8867c","datavalue":{"value":{"amount":"+0.8688833117485046","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":"Q1580385$DDE8F162-9124-4178-ABF1-A9A3AD027E00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3f34e99e19e0ce797d3531dd3fa45f8e2cf61f9","datavalue":{"value":{"entity-type":"item","numeric-id":4024653,"id":"Q4024653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91b04fa61fcdf975ea8706b8eaa1785560d2806b","datavalue":{"value":{"amount":"+0.8437838554382324","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":"Q1580385$BAF5E581-3AB5-443B-B870-388FB2123627","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe73d402b70c5163c0c2cfd9cdffea0e8cb4ebc1","datavalue":{"value":{"entity-type":"item","numeric-id":3033955,"id":"Q3033955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02ac41fdb29582b3c2e8fd9b167c33f995c16d0a","datavalue":{"value":{"amount":"+0.8433645963668823","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":"Q1580385$550C73CA-B6C5-41D5-B39C-AC3F706CADAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88d80c634dcda1fb39b354615fe33e2131a12610","datavalue":{"value":{"entity-type":"item","numeric-id":4510155,"id":"Q4510155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"708abfa3aad2703f882ae9ebc8862895c6f04246","datavalue":{"value":{"amount":"+0.8361539840698242","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":"Q1580385$CD6A549D-F136-4AD7-8673-0E3D0D7D3955","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On normal verbal embeddings of groups","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_normal_verbal_embeddings_of_groups"}}}}}