{"entities":{"Q7294302":{"pageid":31179541,"ns":120,"title":"Item:Q7294302","lastrevid":105059077,"modified":"2026-09-16T04:19:02Z","type":"item","id":"Q7294302","labels":{"en":{"language":"en","value":"Algorithms for twisted conjugacy classes of polycyclic-by-finite groups. II"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8222114"}},"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":"Q7294302$150862B9-5BA8-4FBC-BFEE-A1D782D86A8C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"16dff462a98c5f20e976300bfa3a4767757a9a4d","datavalue":{"value":{"text":"Algorithms for twisted conjugacy classes of polycyclic-by-finite groups. II","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7294302$4D726EF6-CA58-449A-A843-9E4A7F9F5792","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"34f4e505674817d6b09addad86f3299e00ae507b","datavalue":{"value":"10.1016/J.JALGEBRA.2026.03.044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7294302$54CF0ABC-07DB-4320-8853-F5F611DD9073","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7bf16045927b03923d87064130a137f8181ca492","datavalue":{"value":{"entity-type":"item","numeric-id":1999798,"id":"Q1999798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7294302$7D2E8755-CC18-47C7-BBF1-7AC9EFF7722E","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":"Q7294302$17870BEF-6709-4DE3-BE1D-B0F088596F58","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f614d9ae8e4b1a238e73b7b4dbd96e71e8ffee09","datavalue":{"value":{"time":"+2026-07-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7294302$3DE4BA7A-5687-42AC-BA91-7526CAE23698","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5e9baa60b37d8cd6a766bf6f3fdb6d3e60f1a63c","datavalue":{"value":"Let \\(G\\) and \\(H\\) be polycyclic-by-finite groups and let \\(\\varphi,\\psi\\colon H\\to G\\) be homomorphisms. The action of \\(H\\) on \\(G\\) given by \\(g\\cdot h=\\varphi(h)^{-1}g\\psi(h)\\) defines the \\((\\varphi,\\psi)\\)-twisted conjugacy classes, whose number is the Reidemeister number \\(R(\\varphi,\\psi)\\). The article constructs an algorithm which decides whether \\(R(\\varphi,\\psi)\\) is finite and, in the finite case, computes a set of representatives. More generally, given a normal subgroup \\(N\\) of \\(G\\), the algorithm determines the number of twisted conjugacy classes meeting \\(N\\) and produces representatives lying in \\(N\\).\\N\\NThis continues the work of \\textit{K.~Dekimpe} and \\textit{S.~Tertooy} [Topol. Appl. 293, Article ID 107565, 12 p. (2021; Zbl 1535.20004)], where the case \\(G=H\\) was treated. The construction combines twisted-conjugacy separability with recursive reductions through normal subgroups and algorithms for nilpotent-by-finite, metabelian and nilpotent-by-abelian groups.\\N\\NAs applications, algorithms are obtained for double-coset membership and search, for computing double-coset indices and representatives, and for determining stabilizers and orbits of affine actions. Further consequences concern kernels, images and preimages of derivations and the decision of their surjectivity. The algorithms for polycyclic groups are implemented in the GAP package \\texttt{TwistedConjugacy}.","type":"string"},"datatype":"string"},"type":"statement","id":"Q7294302$97FBA0FC-F210-4B85-8AC2-1F94E0356783","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":"Q7294302$AE36AD52-AB51-461C-A0F3-4569F02E49B5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0da8a0ae39ec16bf06e86cd23430c4f0aa6576dd","datavalue":{"value":"20-08","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7294302$C64D3411-9776-4672-9247-679F3F22D629","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f72f7275783d806f4b8f69d7ab40d0cbdf810627","datavalue":{"value":"20E45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7294302$092C4A27-2255-470F-AAEA-EA22F6F24813","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8acfec936c9f92116ab04a417b25b0b6b0e8ab90","datavalue":{"value":"20F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7294302$5C89DDC2-E032-4441-9C62-B70F4C933890","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9a1a4186812d01433313a8948e0d5c4282e52788","datavalue":{"value":"20F19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7294302$875C8452-758F-4214-9876-17EE6E81CE6B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"29cb4c87016f08c0dc4f91fb5eed9ff68610d507","datavalue":{"value":"8222114","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7294302$CC8E4CBC-702E-4CD2-83C7-55855BB36AB3","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":"Q7294302$60DB7BD2-F158-4000-967D-3171B62397C2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"98345b78d7a4ed8cb79fd2c75929743d09619a3f","datavalue":{"value":{"entity-type":"item","numeric-id":5112030,"id":"Q5112030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7294302$3027B869-808E-4A39-8820-88663A45390C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"018e3189dc89245ea506eff13e1443e8c313e5da","datavalue":{"value":{"entity-type":"item","numeric-id":1178862,"id":"Q1178862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7294302$4A95A9C0-A28B-4F3E-A6F1-1E9B741DFCFE","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":"Q7294302$A29F55DC-FE53-4E90-BF2F-809412FEEBED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf6ce574fb1e9e9d2ea9925440314eaa4d5d02ce","datavalue":{"value":{"entity-type":"item","numeric-id":7238565,"id":"Q7238565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7294302$C3A9664D-CEB3-4427-B026-7E9A6085171D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd718bb78452fba041df24372e4f7c9602b77e9d","datavalue":{"value":{"entity-type":"item","numeric-id":6877130,"id":"Q6877130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7294302$6583B405-7DF6-484A-A114-3E4ECBC9C299","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1034a3978aac6689791b735627e2c99f11a853b3","datavalue":{"value":{"entity-type":"item","numeric-id":6899980,"id":"Q6899980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7294302$CC5124BE-3FC7-460E-A7AD-D9B017F2217E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1988573274072c39ee80c59d9a67e2e306c782c","datavalue":{"value":{"entity-type":"item","numeric-id":6876701,"id":"Q6876701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7294302$952EA4E2-A085-4EBC-9CE8-71668BA041D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c3a5cb11192eddac3dd737b58b13ec133c9fcf3","datavalue":{"value":{"entity-type":"item","numeric-id":2664014,"id":"Q2664014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7294302$74FA9D47-EC7C-4BC2-9863-4E6378EC3A8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29ab5c962bf4c547bcd73b50c4a5da39ca28a378","datavalue":{"value":{"entity-type":"item","numeric-id":7035961,"id":"Q7035961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7294302$C7A498CD-BDA7-42CE-92C3-8D8CCA5D0756","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"780dab9b8e60dcf9093ee8df101dcfdc148d1fc6","datavalue":{"value":{"entity-type":"item","numeric-id":2661705,"id":"Q2661705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7294302$93DFA0F3-16CB-4E1F-A9EA-C7D6E87DEDDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cadf03cd4de33f87ec046e0f4228a1febf5e765","datavalue":{"value":{"entity-type":"item","numeric-id":2661717,"id":"Q2661717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7294302$3469CD13-E785-4C31-B9F6-E0ADC5D87B1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66b265cbafe62ef1caf6625f4040d0570bbb2486","datavalue":{"value":{"entity-type":"item","numeric-id":5694098,"id":"Q5694098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7294302$9C4883F7-D53C-4F5A-9807-A9C21D8D99CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c7e7db3e2329ab994204e4d3a3e5ba2485968b0","datavalue":{"value":{"entity-type":"item","numeric-id":4650358,"id":"Q4650358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7294302$D333FE28-E6E2-40B9-B2F7-2603F34AE0E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0aa27fb15c11625cd2b28c40ff2b2776c5a71387","datavalue":{"value":{"entity-type":"item","numeric-id":7020907,"id":"Q7020907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7294302$B4B49391-058E-482F-A0B8-E5E278957287","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"312ca8fee5e29114286e381dd11057f28bb12957","datavalue":{"value":{"entity-type":"item","numeric-id":7005995,"id":"Q7005995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7294302$34394FEB-615A-4E82-97F4-CBCFA31FFA6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a15b2a2283434fa49d8b91fe8e50cb7a13f457d5","datavalue":{"value":{"entity-type":"item","numeric-id":5844609,"id":"Q5844609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7294302$68F0EA87-6D4C-40BC-AC72-EB6A2E2B4383","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9978a1f37bc4a0028c042729bd1e4e8e53826b2","datavalue":{"value":{"entity-type":"item","numeric-id":2114371,"id":"Q2114371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7294302$81E46E9E-0496-4423-A1F2-CBDA56D1A2A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"469b672b3f0826696b1ac91dc0a1811253145dd4","datavalue":{"value":{"entity-type":"item","numeric-id":6594554,"id":"Q6594554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7294302$462B1643-37D7-4B62-9755-11EFA1538191","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7a9baf2e8d115da5d3a59732448d3ea1e4d3d7a","datavalue":{"value":{"entity-type":"item","numeric-id":4547017,"id":"Q4547017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7294302$1DB1FB7B-9AB1-4E6C-9BCD-F1C20E7F51FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a3856b7475044a90886739b632c4949b36e0d09","datavalue":{"value":{"entity-type":"item","numeric-id":3565215,"id":"Q3565215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7294302$96353919-CFA6-4C32-BBA6-F0B27367CE49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07b00025311e42bb430a774cfda9dc84b0a9cbe9","datavalue":{"value":{"entity-type":"item","numeric-id":2402135,"id":"Q2402135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7294302$672F2C0B-F5EB-4C52-84BF-4CA5CCD43000","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ef2f96d47685e10da63f649187a9848a0509ede","datavalue":{"value":{"entity-type":"item","numeric-id":5006737,"id":"Q5006737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7294302$A78173AE-B767-4936-A32D-A44C85CD564B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99c0482f8743c9afe64326fd38da8eab8916998b","datavalue":{"value":{"entity-type":"item","numeric-id":431675,"id":"Q431675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7294302$406CC6F6-9311-4AC9-92A0-7E27D6FC0853","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"745dd68ffca3d0b92e293a7c3c1bd7dcbf4adeff","datavalue":{"value":{"entity-type":"item","numeric-id":3663506,"id":"Q3663506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7294302$6E7FA6EF-ABCF-46BC-B8C8-2B933D04FD1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"512ddbab8c3719c5c1836fcad52e1970de641b0e","datavalue":{"value":{"entity-type":"item","numeric-id":6165647,"id":"Q6165647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7294302$9E385B6B-EEE7-40E3-AF97-4A78BCFC0A9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d918b7225455becc4e8acecac1c52c53c3b8e377","datavalue":{"value":{"entity-type":"item","numeric-id":6157694,"id":"Q6157694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7294302$783BB680-5C06-43AC-B0A8-A5EC78B057E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bc3de9281e331190ad4ef9ec8bfc1be085caf39","datavalue":{"value":{"entity-type":"item","numeric-id":507137,"id":"Q507137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7294302$1896243E-F6B5-4F11-8848-3634CD6FE082","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"802d232bd6c8e3e87286ae6be85847f1ba8e9e38","datavalue":{"value":{"entity-type":"item","numeric-id":6988612,"id":"Q6988612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7294302$FC2811C2-8599-4876-B91B-BA4D0E5BBDAB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Algorithms for twisted conjugacy classes of polycyclic-by-finite groups. II","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Algorithms_for_twisted_conjugacy_classes_of_polycyclic-by-finite_groups._II"}}}}}