{"entities":{"Q6937096":{"pageid":21126207,"ns":120,"title":"Item:Q6937096","lastrevid":84109361,"modified":"2026-05-10T07:12:39Z","type":"item","id":"Q6937096","labels":{"en":{"language":"en","value":"A note on separability in outer automorphism groups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8086095"}},"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":"Q6937096$F47EB331-DF05-4328-ABD9-35A74110C7AE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d14cf092125be859e01f47f4edbc6434878a67f3","datavalue":{"value":{"text":"A note on separability in outer automorphism groups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6937096$6EBFD3DC-24E2-48E8-8791-E2933778661E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2523ef374a9e41336297ef9d96a25655f2effc3c","datavalue":{"value":"1571.20063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6937096$BBA6396A-B65C-42C5-B851-7EAD2173EEAD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ebb173a7f20c19472dbfdf7c0c8b243f9f5b2fd5","datavalue":{"value":"10.1017/S0013091525000045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6937096$E6AAC83E-6EAA-41BF-BE4E-28FFB8A1687A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"607712bf9fdde98d9d545a8789538dda1f7bba03","datavalue":{"value":{"entity-type":"item","numeric-id":6047153,"id":"Q6047153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6937096$694B4BD2-BFE9-46C3-830A-425CB34A95AA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9eb3ffba3972c0939723139973e105da44bf3641","datavalue":{"value":{"entity-type":"item","numeric-id":563165,"id":"Q563165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6937096$682FA3C6-F574-41A4-90FE-8F7E417ACE9F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5072aa33820849ae9675bc05a0a8f2c58984d12f","datavalue":{"value":{"time":"+2025-08-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":"Q6937096$267F6ECB-64B1-49FC-81C8-5246D257E98B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"fe4b9ca1b6a5b2d69ec94cfd1d240fc1d15cb940","datavalue":{"value":"This note addresses subgroup separability in outer automorphism groups, extending a criterion previously established by \\textit{M.~Hagen} and \\textit{A.~Sisto} [Bull. Lond. Math. Soc. 55, 2242--2257 (2023; Zbl 1528.20068)]. Their main theorem states that if the preimage of \\(H \\leq \\mathrm{MCG}(\\Sigma_g)\\) under the quotient map \\(\\mathrm{MCG}(\\Sigma_g \\setminus \\{p\\}) \\to \\mathrm{MCG}(\\Sigma_g)\\) is conjugacy separable, then \\(H\\) is separable. This applies to torsion-free, malnormal, convex-cocompact subgroups \\(H\\) of the mapping class group \\(\\mathrm{MCG}(\\Sigma_g)\\), where the corresponding extension group \\(\\Gamma_H\\) satisfies the conjugacy separability assumption.\\N\\NThe present work removes the assumptions of torsion-freeness and malnormality: if the same preimage of \\(H\\) is conjugacy separable, then \\(H\\) is separable (Theorem~A). More generally, the author proves a structural result (Theorem~C): if \\(G\\) is a finitely generated group with trivial centre such that \\(\\mathrm{Aut}(G)\\) is acylindrically hyperbolic and has no non-trivial finite normal subgroups, then any subgroup \\(H \\leq \\mathrm{Out}(G)\\) whose preimage in \\(\\mathrm{Aut}(G)\\) is conjugacy separable is separable. This yields several applications: for instance, separability of subgroups of \\(\\mathrm{Out}(G)\\) where \\(G\\) is a torsion-free hyperbolic group or a right-angled Artin group defined by a connected graph that does not decompose as a non-trivial join.","type":"string"},"datatype":"string"},"type":"statement","id":"Q6937096$D4A54D64-EB3F-4508-8022-14920A9A9430","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"5bfd82087b720927b1a296c318191d7cfc2aac2e","datavalue":{"value":{"entity-type":"item","numeric-id":284097,"id":"Q284097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6937096$A26335F2-2A19-428D-B182-0AD0DE01AA4A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d746b8d92c753ec921d8d5d21d7a353ee19cc6b6","datavalue":{"value":"20F67","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6937096$5262913A-67D9-4CC8-94CD-20F7F1451C4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"02e66589753ec184c7d05c645efc14f6302392b5","datavalue":{"value":"20F28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6937096$FBE4B578-C100-4428-BA85-A3D9207FF4B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"afe0dc0c0736bb69fa09cc63d89cf0239c70ef90","datavalue":{"value":"20E26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6937096$A9781532-5E08-40CB-9008-BF707AEEF2E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"21f00aab010cafc29f45ee659310afaf13c9d8f3","datavalue":{"value":"57M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6937096$AAD37CCC-4D44-4E05-B46E-11F93C939501","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4f46eaa8986bc0e421c797402e0b7f26c57ee07b","datavalue":{"value":"57K20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6937096$B92BFD05-DAF8-4CC6-9963-C2EF68D8FC0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"00c103224d34af523e7fce2ff3e40dd19709f84f","datavalue":{"value":"20F36","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6937096$E8660ECD-2341-4C8F-B0C5-616195A28E7F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"78ef533d451df530f3dd2ccad10f540b0c27801d","datavalue":{"value":"8086095","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6937096$EFB86190-4615-4F04-8F34-189EBCB0DEED","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6937096$692F619D-BE22-4E47-99BD-A182F6435A9B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"481d1942daa29aec62d931e3bab9a893ba0c71b7","datavalue":{"value":"separable subgroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q6937096$5DC3DBDC-36A2-4C67-9BAD-5B6E37037DFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5fba4eaa2b30f6e3a2bc1d5509cb58231eda37e6","datavalue":{"value":"outer automorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q6937096$6A6B65D2-2A05-45BE-A8D5-E71B07357BF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3bbdabef3a70fe773a20ae7d0e769e6707948994","datavalue":{"value":"acylindrically hyperbolic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6937096$C264B205-1B53-4B38-9F8E-C51BA720799A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb4fa977a3ad7bb2207a46e2d2c07e5dd30478aa","datavalue":{"value":"mapping class group","type":"string"},"datatype":"string"},"type":"statement","id":"Q6937096$AA9C88DB-8FCF-4DBB-88F3-16AB921856D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9086ddb3686998e0602bf0954d776f36b64bbad6","datavalue":{"value":"right-angled Artin group","type":"string"},"datatype":"string"},"type":"statement","id":"Q6937096$4611615E-892F-46C2-A830-ED39E3CF56F4","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":"Q6937096$CFF17C8D-F291-40D7-B522-8541BFBD6317","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"da49648ee861fa0b178e3b2712a0519dace9e475","datavalue":{"value":{"entity-type":"item","numeric-id":374025,"id":"Q374025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6937096$80D23416-94A8-4619-81A1-D3502D86F20F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c604f86fca1aa174a25ef8490010a83326c1ea6","datavalue":{"value":{"entity-type":"item","numeric-id":3068142,"id":"Q3068142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6937096$34B39847-F30A-4373-8317-1BC85B4F6107","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f67ea03240584133a5d945e2ddf3caa18ebd2b7d","datavalue":{"value":{"entity-type":"item","numeric-id":6646208,"id":"Q6646208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6937096$5D875638-451D-41FF-8753-241FC36EDB3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f1e39da8960270ebcc64459eeef5ce0266ee6a4","datavalue":{"value":{"entity-type":"item","numeric-id":4039403,"id":"Q4039403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6937096$2D584D21-8498-440E-8344-491244B4E09B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c151734ed56f524ac699e1374ec7a571e9503cd","datavalue":{"value":{"entity-type":"item","numeric-id":5359107,"id":"Q5359107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6937096$9519D804-5667-4950-B466-479A591F1A5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9e44dfceb9da1f53e211b77f9ccb3cb86ea8559","datavalue":{"value":{"entity-type":"item","numeric-id":1676776,"id":"Q1676776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6937096$159AC293-4D8E-4B40-BC2B-B035DC108C6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96051f6d5b154e7dea34f257db28f79936ccfbe0","datavalue":{"value":{"entity-type":"item","numeric-id":1811523,"id":"Q1811523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6937096$27413FD2-3788-4C1C-A419-3D1BF0A82EB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc9bf6927368a4b8cbb4fafb28d36a45006cc9d6","datavalue":{"value":{"entity-type":"item","numeric-id":2335811,"id":"Q2335811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6937096$9A5147CB-F501-4B5B-849D-DD600D859CD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a81676fcb5511cd961b4627521a722a7c855c636","datavalue":{"value":{"entity-type":"item","numeric-id":6619637,"id":"Q6619637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6937096$15EAA820-3437-4252-92C5-91066CF2645C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1adeeece9b7dcd1b1dfc939b4bdcdd9d6755a5d1","datavalue":{"value":{"entity-type":"item","numeric-id":5012717,"id":"Q5012717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6937096$5A99366F-5DA7-47F9-A8AB-0073ACDB5713","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf8704f14db61c0f1d3adf9738ac24c79257f542","datavalue":{"value":{"entity-type":"item","numeric-id":5217943,"id":"Q5217943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6937096$C804F7B9-2A3B-474C-9907-8E6D5EF7B3DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e04f74467b8905441bfda1122bbfc724e17891aa","datavalue":{"value":{"entity-type":"item","numeric-id":4043239,"id":"Q4043239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6937096$F18DACA3-BDDD-4A8C-9B5B-F6CE1A1F4E45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6506f50b06c29e7147ce83abe38bce66351a03b8","datavalue":{"value":{"entity-type":"item","numeric-id":1747816,"id":"Q1747816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6937096$DC6E92CA-1FCE-4BB5-AD65-33FF38D23AA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4448a2ffc6398e79a2d24f339e993ae922c9a684","datavalue":{"value":{"entity-type":"item","numeric-id":6064899,"id":"Q6064899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6937096$80DE83EE-D80F-4412-AF5A-F66759ACD9D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bea591774c12f9f349f0c7b08d6b8b897ad62099","datavalue":{"value":{"entity-type":"item","numeric-id":515274,"id":"Q515274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6937096$FA695347-0690-4F2D-97EB-6FB22832A412","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb92c84cda64fe3ef4d403188dc4aba3db290d18","datavalue":{"value":{"entity-type":"item","numeric-id":1001484,"id":"Q1001484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6937096$61D8E5B8-1F2D-4178-B7B3-BB98EAB3D585","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9428799653a953d353ff3f59e903b5ab5b9b657f","datavalue":{"value":{"entity-type":"item","numeric-id":6148057,"id":"Q6148057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6937096$A83ABC38-8C93-4915-9E07-990B42B17DE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"301ba4945d9dabc0cc265eb837380de8f9ac0181","datavalue":{"value":{"entity-type":"item","numeric-id":857031,"id":"Q857031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6937096$BA936ED3-000B-4B07-8A66-EDA30A87F993","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13dff98adf6697a349b0558c6e4b75446f5f805e","datavalue":{"value":{"entity-type":"item","numeric-id":5855149,"id":"Q5855149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6937096$8890024E-2E02-4803-A798-26A92191A07C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1df0bde6b4ae0b1fb3cfdb271975894e4cc9c7f2","datavalue":{"value":{"entity-type":"item","numeric-id":2374414,"id":"Q2374414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6937096$BAB3E0D0-8ED2-446B-A7C8-3EF43CFAFD63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39373deb72f8be4e7d1883efcb8e8c9b57ce7c43","datavalue":{"value":{"entity-type":"item","numeric-id":3421148,"id":"Q3421148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6937096$59628FFE-5A7F-4FC3-A47B-CB97D87A7DA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f65b4e03cbc7beeeedbda349ec557f249eaa929","datavalue":{"value":{"entity-type":"item","numeric-id":5140564,"id":"Q5140564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6937096$886DC6DF-F4FC-489F-98B3-71EB4FEF9FE7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A note on separability in outer automorphism groups","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_note_on_separability_in_outer_automorphism_groups"}}}}}