{"entities":{"Q1061223":{"pageid":1071975,"ns":120,"title":"Item:Q1061223","lastrevid":66169191,"modified":"2026-04-12T08:00:28Z","type":"item","id":"Q1061223","labels":{"en":{"language":"en","value":"The free groups in the dihedral variety"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3908677"}},"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":"Q1061223$236EEE40-9B17-4F57-AAB8-4EAA62093311","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6a150fe9a3c2eac64c19fb9080d8424c3ecf211b","datavalue":{"value":{"text":"The free groups in the dihedral variety","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1061223$2CD5E001-6489-4811-8409-80156830D462","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"313d5209adc0794d3a06c5e09405b7e2ea421dac","datavalue":{"value":"0569.20021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1061223$60290F98-F141-420B-81F0-CFEC45F92E4F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"84886298e8cc32e3ce0177d0161f61f24a7b78d0","datavalue":{"value":"10.1007/BF01194182","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1061223$9E4EA082-B0DF-478E-A470-B7DA2270B2F1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eae0b959f275e42a88ed53d24bfdfccb0a2c3b8d","datavalue":{"value":{"entity-type":"item","numeric-id":400546,"id":"Q400546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1061223$9BEC3BA1-6D15-482E-8B71-1F8D2AFBF9D0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"db22232807c795272dc3a83fabf3be514df44f25","datavalue":{"value":{"entity-type":"item","numeric-id":166039,"id":"Q166039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1061223$E83B7B14-85B5-4C56-8C9A-863D743BB1EB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q1061223$8C13EF13-7CE3-4C0C-BE16-81AA71016BA0","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"135a17e739ecc871b6de23859aba4ee504468091","datavalue":{"value":"In his seminal paper on group varieties, \\textit{B. H. Neumann} [Math. Ann. 114, 506-525 (1937; Zbl 0016.35102)] showed that if G is a finite group and \\(F_ n(Var(G))\\) is the rank n free group in the variety generated by G then \\(F_ n(Var(G))\\) can be embedded in a direct product of \\(| G|^ n\\) copies of G. This establishes the bound \\(F_ n(Var(G))\\leq | G|^{| G|^ n}\\). In the same paper Neumann points out that in specific cases this bound can be greatly improved. In the present paper this is done for the class of finite dihedral groups. In particular if m is a positive integer and \\(D_ m\\) is the dihedral group of order 2m then the rank n (n\\(\\geq 2)\\) free group in \\(Var(D_ m)\\) is shown to have order dividing \\(2^ nm^{(n-1)2^ n+1}\\) if m is odd and order dividing \\(2^ n(m/2)^{(n-1)2^ n+1}\\) if m is even. Further if m is prime then the rank 2 free group is shown to have exact order \\(4m^ 5\\) and an explicit subgroup of \\((D_ m)^ 5\\) is exhibited which is isomorphic to the rank 2 free group. In order to do this some general results on a subclass of the metabelian variety are derived. In particular, Theorem. Let G be metabelian. Suppose the commutator subgroup G' has exponent n and for some integer m, \\(G^ m\\) the set of mth powers from G is contained in G'. Then for all positive integers \\(k\\geq 2\\), the rank k free groups in Var(G) have orders dividing \\(m^ kn^{(k-1)m^ k+1}\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1061223$6BB6D4E8-D134-4532-92E2-7FA78C33A50D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"49af82f4ade3a98e23da5d649cb52c1c6f164fdd","datavalue":{"value":"20E10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1061223$B7E19041-F06B-4ACD-8A00-78B280EF68F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e478659c80ac196196a2283c8b16b79c8d8cd8d5","datavalue":{"value":"20E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1061223$5DAAB73A-1D92-4158-AEBE-B1B295EC25A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ea37469d91f3037e8b6809fc66f770f1b27a461d","datavalue":{"value":"20E07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1061223$94C9B90C-7A7D-49E5-96DD-41D90403EC58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"635c77a39b27ee22a5bfcde299ab7a563c7614e1","datavalue":{"value":"20D60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1061223$C1E3F77B-5D7B-45AD-87E7-066E57F565EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5686a691cb5ce3980c2b4130b1f83237884a7dfc","datavalue":{"value":"20F12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1061223$D9030989-D2A6-4889-BC96-653900D16217","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8d05601bf1c7ea48a7cd244ce3f7488b84225044","datavalue":{"value":"3908677","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1061223$658B5ADB-74D6-4D08-BD5E-1BA38CE46AD8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f179bad9978d939f05dee363279968586cc2fb0c","datavalue":{"value":"group varieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q1061223$3E12C5BC-42BD-4FF4-B472-EB55E2601CFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"18c42de41f3c94716175d79e3c102bb7e3ce2cb4","datavalue":{"value":"finite group","type":"string"},"datatype":"string"},"type":"statement","id":"Q1061223$628755B1-2BF5-430C-A839-4D8A973BDEC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d661dd70649487da84d90f1a4e05c06f0aa8fb73","datavalue":{"value":"rank n free group","type":"string"},"datatype":"string"},"type":"statement","id":"Q1061223$2699A982-94E9-44DA-BAD1-4CF129E42572","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab5c8b52c94c8dd495f1e63a989ec5f065c5ed89","datavalue":{"value":"finite dihedral groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1061223$9460E9CC-47A5-483B-93BD-F470F03678B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4000eb0f60ef0dfecd572820f723f5e4fcbff833","datavalue":{"value":"metabelian variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q1061223$881B97F2-BB3F-43B7-8A2E-BA3BA3E385D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34fe32f5320d4680f1894b7c5eec00e9cdda9faa","datavalue":{"value":"commutator subgroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q1061223$95998B4C-9580-4BF4-BFA6-C3076B4AAC1C","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":"Q1061223$EA142C2F-5CC6-4D2E-A3D0-A89F1D21B3BA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b4d95bbbd2aec118f3b4841a042c33e5e42cb67","datavalue":{"value":{"entity-type":"item","numeric-id":2645656,"id":"Q2645656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1061223$B1F9974F-A523-42BE-A9D5-55DF7A38F3E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7198e10bdf17892b3da36a59902515c7e29ac463","datavalue":{"value":{"entity-type":"item","numeric-id":5528704,"id":"Q5528704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1061223$54CA9ADC-F69D-407A-A9C0-DC57B07AE07B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"823e2328202f2501bb4c0a3bf0d9b4af246ee89b","datavalue":{"value":{"entity-type":"item","numeric-id":5513066,"id":"Q5513066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1061223$73823B71-8D29-46A5-9A7A-526C2B4CCD4D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"312268512f2b78fe63ce0bbc496a0c5e68596f19","datavalue":{"value":{"entity-type":"item","numeric-id":3473268,"id":"Q3473268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3524136400d70d0acf68b542c59a95b941f0f888","datavalue":{"value":{"amount":"+0.9917432","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1061223$B651093C-BA13-4EFD-A33D-E498C43EF915","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9db52ce741322fde6632539b062b8a2711742ecf","datavalue":{"value":{"entity-type":"item","numeric-id":5380025,"id":"Q5380025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7fb5a6c0167b008d3fa70d678b8dec611ed4509","datavalue":{"value":{"amount":"+0.94349813","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1061223$54B34697-F64A-45D3-BBD4-D07964F2B809","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36917ba7e3fe4935d839e11d5c7a8b26df857ef6","datavalue":{"value":{"entity-type":"item","numeric-id":3729154,"id":"Q3729154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e50df730b2c12437767771580591e766fad21710","datavalue":{"value":{"amount":"+0.9426166","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1061223$5612A108-6CD5-4452-94B7-117D2F548039","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"606cff2b45c86c96ab421ddb0b8ac3b7c6492f8f","datavalue":{"value":{"entity-type":"item","numeric-id":5586475,"id":"Q5586475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38eca98f165d1781941af4eefcbd384b12fc80d7","datavalue":{"value":{"amount":"+0.9379885","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1061223$A63C3F93-512B-45F1-A4C5-F4E03ED352A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f9c39d2f66540e3988c6a447ae9af71dc1443bb","datavalue":{"value":{"entity-type":"item","numeric-id":2626000,"id":"Q2626000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa5d5e2d0a8dc5a7dc4bc7a12ad9ae256337174c","datavalue":{"value":{"amount":"+0.9282055","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1061223$8C1C18FA-AACE-497F-9130-50E3D49A2826","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"470c7c176de340ad90d8c743404baff79ec257c2","datavalue":{"value":{"entity-type":"item","numeric-id":5906442,"id":"Q5906442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89a4a33490c92e0576cb51b91253fbaec58e6b06","datavalue":{"value":{"amount":"+0.92252773","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1061223$F7BADAB0-5DAA-4353-A094-3A92BE87D29C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c90236bc73d643dc5dcdb9cd69d5b60104e2d01","datavalue":{"value":{"entity-type":"item","numeric-id":5902796,"id":"Q5902796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89a4a33490c92e0576cb51b91253fbaec58e6b06","datavalue":{"value":{"amount":"+0.92252773","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1061223$7F5D6E4F-1BDB-430A-88BF-55B5E8BF8C5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc2bf2921e6815deea4f669d560907b63e6397dc","datavalue":{"value":{"entity-type":"item","numeric-id":1035302,"id":"Q1035302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d024a1afe0ad610ebf8d59b6040a86c6c8b6f27e","datavalue":{"value":{"amount":"+0.92142034","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1061223$530643ED-7CF0-46D1-9F2D-5D95987A909D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51f4dc14cd481b165931ef21b8fb00d30aba0e1c","datavalue":{"value":{"entity-type":"item","numeric-id":1183287,"id":"Q1183287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc839f310054545d05e4cbf2a0314b422e03e1a3","datavalue":{"value":{"amount":"+0.9181433","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1061223$7E786A55-2426-41DE-89C6-E49E2ACD4878","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89ef0a03873977ae471af75abb84d5d08e618b42","datavalue":{"value":{"entity-type":"item","numeric-id":4942269,"id":"Q4942269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"714192131730ca883dbf57557d1f7b227919a0c5","datavalue":{"value":{"amount":"+0.9149152","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1061223$998BBD0F-9D28-42F6-9735-AC6D81513A8F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The free groups in the dihedral variety","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_free_groups_in_the_dihedral_variety"}}}}}