{"entities":{"Q5957540":{"pageid":8134342,"ns":120,"title":"Item:Q5957540","lastrevid":47758579,"modified":"2026-01-02T15:06:31Z","type":"item","id":"Q5957540","labels":{"en":{"language":"en","value":"The pure symmetric automorphisms of a free group form a duality group"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1717618"}},"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":"Q5957540$C164459B-9009-4D15-9386-FE9DA78BC956","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4ffcd49f5cfb9aac99160cc65b1efd7ab484f58a","datavalue":{"value":{"text":"The pure symmetric automorphisms of a free group form a duality group","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5957540$4B825322-AA39-43D2-AE3F-B108ABBE33F4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f813f00c888cb2ca071ee82a4f04f247c66b687d","datavalue":{"value":"0995.20010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5957540$94E9CA71-A3B1-437F-A40E-5199F55B10C6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"153ae30b72e1d13deb382d4ab5f7fc0ae10aa313","datavalue":{"value":{"entity-type":"item","numeric-id":233941,"id":"Q233941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5957540$1149C485-A073-4583-B859-3C3E46EFAD6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3a2dad5568c1946af37d4472f443b1844427c2ff","datavalue":{"value":{"entity-type":"item","numeric-id":233942,"id":"Q233942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5957540$70B9868A-443B-4082-BC15-1955461CAB41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"19e9a9cf7eb98954e42bbc34d3fab65f5c1e78ec","datavalue":{"value":{"entity-type":"item","numeric-id":168407,"id":"Q168407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5957540$B647D862-E92F-43ED-BC7B-9FF45AACE0AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bf35c58e8d04accea6410ebc1033f4abfd4a921d","datavalue":{"value":{"entity-type":"item","numeric-id":233943,"id":"Q233943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5957540$E3812433-AB7B-44AA-A276-EF3A0A3F9EC9","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":"Q5957540$9A7FEB00-D6C6-47B5-9351-F1F790C012EC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"274c9f42afbb798f6ad23f874ead576e8a013675","datavalue":{"value":{"time":"+2002-07-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5957540$C495C897-052B-43B5-8973-F11A348EFC37","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"2e40f5ebbd93079e78cc3b5e9f237942a7cfbb0f","datavalue":{"value":{"entity-type":"item","numeric-id":175066,"id":"Q175066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5957540$08609E59-F275-49DF-BD38-BECD1F39CEF8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e478659c80ac196196a2283c8b16b79c8d8cd8d5","datavalue":{"value":"20E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5957540$BFB65BCC-AA1B-4A9C-B6D4-A778404D8F03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"02e66589753ec184c7d05c645efc14f6302392b5","datavalue":{"value":"20F28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5957540$84A2EC3F-DECA-40AE-8671-5674C03950CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4f912cc4f5542455896ae293f2d98d28b2477a66","datavalue":{"value":"57M25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5957540$6E13C7D7-A110-42B0-9831-E08FCBD37667","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a9357f0c429d277fcaf6a9300e45e01a0506e5a1","datavalue":{"value":"1717618","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5957540$35664343-101B-4395-A27D-D2AAF8C29F69","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ffb9b557bffdfa5cd70d593a7ec3f8594345072","datavalue":{"value":"free groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q5957540$EFC9EFF7-F16F-4E38-8845-9C80898EAE8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f6a9a08491d1199d59681243870c262869a9931","datavalue":{"value":"pure symmetric automorphisms","type":"string"},"datatype":"string"},"type":"statement","id":"Q5957540$CEB1EBBD-9995-44FF-A2A3-74E2E54F2923","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d8db3395418ef97bd5a003e7dc8a17940fb14ddd","datavalue":{"value":"automorphism groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q5957540$C3D9701F-8E41-4626-85AB-A82D7F36D482","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5bb93c57528e7e4af5e166d17761fd89c472da30","datavalue":{"value":"duality groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q5957540$5988FCE1-2392-4079-95D4-500E8719A4BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"713ceb79a10f8309ceb9a2e4a915c2f3d6536608","datavalue":{"value":"finite posets","type":"string"},"datatype":"string"},"type":"statement","id":"Q5957540$93DE5CC1-3E49-42E4-B937-CED2B6A425BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96de08e742bb9873960407ec5c9620810424e2c0","datavalue":{"value":"contractible simplicial complexes","type":"string"},"datatype":"string"},"type":"statement","id":"Q5957540$F99F7C1F-3C2D-40AB-98C3-A3BC55776D11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ba0fc06ed20df3e171acc8362becd96921f3161","datavalue":{"value":"Cohen-Macaulay posets","type":"string"},"datatype":"string"},"type":"statement","id":"Q5957540$9221607C-9C09-4E4A-8AB9-14BB9E9D07FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1ecf978a28e5d1baefdbd10dbc4f102a6158a13","datavalue":{"value":"duality","type":"string"},"datatype":"string"},"type":"statement","id":"Q5957540$D744DB66-2D0E-4A8B-AAAB-790F04943DD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85d444bfdef9b2261fabba33c56a7516c371f3d0","datavalue":{"value":"shellable posets","type":"string"},"datatype":"string"},"type":"statement","id":"Q5957540$218DBD72-A4FA-43E8-B6C4-F9302BC95F30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1fc091458b810d6ceb0623bd7a2c4f017814ccc2","datavalue":{"value":"recursive atom orderings","type":"string"},"datatype":"string"},"type":"statement","id":"Q5957540$A6EB8CD7-E376-49CE-87BE-1AC5D6BD9B2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41cacb0c43667c48d6fb4575f9d5e155d1d5a2f2","datavalue":{"value":"links","type":"string"},"datatype":"string"},"type":"statement","id":"Q5957540$0306E489-042E-454D-9B8E-6F02B3348F46","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":"Q5957540$8FBBBCE6-2886-42B7-A1AF-3D62C8BBB949","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5a0e7c85681bd51eb008119a4c9c0f314252ab6a","datavalue":{"value":"https://doi.org/10.1006/jabr.2001.8941","type":"string"},"datatype":"url"},"type":"statement","id":"Q5957540$AFE163E7-79E6-4613-A454-BFE7B6B3DF9F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cb066df92f94e28fa5d8816a2d75b2d9a72c027f","datavalue":{"value":"W2078012663","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5957540$1C997F25-4F00-4C9B-AC05-FFDDD19653CB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8dbdc423f8930fb3219e0023435a0a121c827b6f","datavalue":{"value":{"entity-type":"item","numeric-id":1568213,"id":"Q1568213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5957540$BCEFB85D-95F8-4081-B382-D07FDA77F55C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d55511a60f9a36c1e30676a120f417ce790c4d43","datavalue":{"value":{"entity-type":"item","numeric-id":4129638,"id":"Q4129638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5957540$577F62A0-7D69-4159-AF72-777CCD5FE3F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a71e2b8efd81b93d08584b0bf13fb8f872b1f61","datavalue":{"value":{"entity-type":"item","numeric-id":2265063,"id":"Q2265063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5957540$32808E80-38F7-423B-BA07-394E8861F7D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7672f1c23668da17ca11563637b351579e9a6eb1","datavalue":{"value":{"entity-type":"item","numeric-id":3882496,"id":"Q3882496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5957540$9F5FF583-5949-48FC-A06A-56191DD16DB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a984d04e67177f41752e1fcb7dd3c9baaf77777b","datavalue":{"value":{"entity-type":"item","numeric-id":3659792,"id":"Q3659792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5957540$85050DC0-6A6F-41FF-AF93-7643E787808B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7d8e771f49e7c669f74251467edadb5af8cf305","datavalue":{"value":{"entity-type":"item","numeric-id":3708977,"id":"Q3708977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5957540$FF629ED8-D6C3-441D-8A8A-766EF1C182BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbaafb3b35bbd0ded95730d20faf8be254286856","datavalue":{"value":{"entity-type":"item","numeric-id":1567114,"id":"Q1567114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5957540$3FCD6BE0-7E47-4905-917A-295E3FAC0874","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bfd6b0bf5338456950933856cfbd5200bc516d8","datavalue":{"value":{"entity-type":"item","numeric-id":1118689,"id":"Q1118689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5957540$45F1CB8C-F37D-48BF-BE38-79DD3C003F55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81e7ac65579a2cbdcd0b4080c13efe9b6ae01171","datavalue":{"value":{"entity-type":"item","numeric-id":1153380,"id":"Q1153380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5957540$94F4462D-6B76-454E-847B-0F54ADEBF8AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e31074f78283fd72037f35743b21f08473c5d0d7","datavalue":{"value":{"entity-type":"item","numeric-id":4704560,"id":"Q4704560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5957540$1B966F2F-87BC-4D30-9435-C45B4DF09646","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dd88089de49cfc04c60d9429c7ff8f63f1a8878","datavalue":{"value":{"entity-type":"item","numeric-id":4890861,"id":"Q4890861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5957540$51847D13-A544-46F9-A6AB-16955B580E26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f60cd5f34da77ad8e4a302d83329447f4f47be54","datavalue":{"value":{"entity-type":"item","numeric-id":4942890,"id":"Q4942890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5957540$555E3B2E-64C9-4F17-AB0C-282F250F72E2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"79936606792c3b2f43234e7df3ae95b4db640274","datavalue":{"value":"10.1006/JABR.2001.8941","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5957540$173B1A7A-8E7B-4209-B6E3-434B478630E1","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e6d5ff8054b6ff7c078e2db87c54d86a297cab75","datavalue":{"value":"For the free group \\(\\Sigma_n\\) on a fixed set of \\(n\\) generators, the pure symmetric automorphism group \\(P\\Sigma_n\\) is the group of automorphisms taking each generator to a conjugate of itself. Its quotient by the inner automorphisms is denoted \\(OP\\Sigma_n\\). The main results of this paper are that \\(OP\\Sigma_n\\) is a duality group of dimension \\(n-2\\), and that \\(P\\Sigma_n\\) is a duality group of dimension \\(n-1\\).NEWLINENEWLINENEWLINEThe starting point of the proof is an action of \\(P\\Sigma_n\\) on a contractible simplicial complex constructed by the fourth-named author and the reviewer. The action has a (strong) fundamental domain which is the geometric realization of a finite poset \\(W_n\\) of labeled bipartite trees. The main results are reduced to showing that \\(W_n\\) is Cohen-Macaulay, a certain homological condition on the links of simplices of its realization. Using a technique of A. Bj\u00f6rner and M. Wachs, it is shown that a poset closely related to \\(W_n\\) admits a recursive atom ordering, which implies that it and consequently \\(W_n\\) are Cohen-Macaulay.NEWLINENEWLINENEWLINEIn a final section, the authors discuss open questions related to \\(P\\Sigma_n\\). In particular, they note that the symmetric automorphism group of \\(\\Sigma_n\\) can be regarded as the group of motions of the trivial \\(n\\)-component link in the \\(3\\)-sphere, and ask whether the motion group of any \\(n\\)-component link is a virtual duality group.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5957540$0DC21186-9F98-46D2-81FE-16344C871139","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a917a1e954c1b45f36d35db2c5fae2e2107f59d5","datavalue":{"value":{"entity-type":"item","numeric-id":2269658,"id":"Q2269658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b379318a8b2b63608a574670ab6f606e4473d8a","datavalue":{"value":{"amount":"+0.7776588201522827","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":"Q5957540$DB345902-F20E-4EB8-A720-39541219D6D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"847bb4f71437ddba6f5970c225f43824a4fdd5a9","datavalue":{"value":{"entity-type":"item","numeric-id":3422137,"id":"Q3422137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6aa1068f52b4ae6227d90ca27b79db898fd899cb","datavalue":{"value":{"amount":"+0.7696912884712219","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":"Q5957540$FD0D12A2-DB2E-4EA3-9E4A-2D279E9279B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f80975db1ed1156bb534327df3d07e37f1a3d405","datavalue":{"value":{"entity-type":"item","numeric-id":1773052,"id":"Q1773052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b352d88e6abda3d3fcf2c623ba3b011670bacd5f","datavalue":{"value":{"amount":"+0.7630288600921631","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":"Q5957540$CE783F00-8E50-4425-9A32-C3C96C28E59A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"102ada06788eea6efc0ca02cc5494398ab139aad","datavalue":{"value":{"entity-type":"item","numeric-id":1118689,"id":"Q1118689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fee8888e324e5e0c2770347d684804f3ad32d4c9","datavalue":{"value":{"amount":"+0.748646080493927","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":"Q5957540$AD6FC8C8-57DA-49C8-9B24-0FA09A6AACD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f057b4e8be29ee6a4570d81518beb147e212fa9","datavalue":{"value":{"entity-type":"item","numeric-id":2871036,"id":"Q2871036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f26043ae012a23379bdb97401f1572a6b38b45b","datavalue":{"value":{"amount":"+0.7302385568618774","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":"Q5957540$9A1DD46D-D8C6-44B6-8291-DAA785341CF6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5957540","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5957540"}}}}}