{"entities":{"Q6877130":{"pageid":20759350,"ns":120,"title":"Item:Q6877130","lastrevid":84220886,"modified":"2026-05-13T18:36:47Z","type":"item","id":"Q6877130","labels":{"en":{"language":"en","value":"Orbit problems for free-abelian times free groups and related families"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8142795"}},"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":"Q6877130$3BB276B5-0D53-471D-B6EA-7036D6AEBC02","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"296244521f0cb035abc15f76ba01c86d7dd9ebe0","datavalue":{"value":{"text":"Orbit problems for free-abelian times free groups and related families","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6877130$4B5352C2-6471-4D6E-9CA8-081F6F59EBA5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f51c6d864be8172ba45cfe1c05bb158c1728cbf9","datavalue":{"value":"10.1142/S0219498826500027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6877130$47243E96-C3B6-4F63-A74A-3D0AC42C4A11","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8cf40a4bf411bf12a1de6e92badb6e1f0906ca83","datavalue":{"value":{"entity-type":"item","numeric-id":6090486,"id":"Q6090486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6877130$99D71679-7879-4E38-A9D5-2887AD16487B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d706782283379ebc16602e448e1b15a8309376f4","datavalue":{"value":{"entity-type":"item","numeric-id":997913,"id":"Q997913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6877130$2708BF9B-10F6-4DFD-A224-F51CD54369D1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"53d683ed1aa90ff03846f24489719f8ce7140ad0","datavalue":{"value":{"entity-type":"item","numeric-id":6580110,"id":"Q6580110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6877130$3F683CD2-14D1-4FF6-88B2-CA94B99A62C9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cdfc7f1a3aaf635f620cde541260b1116efdabde","datavalue":{"value":{"time":"+2026-01-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6877130$D368B977-AF50-4B61-80BE-164F4317AB70","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2383105730aed8c55b647c9432034540df54557f","datavalue":{"value":"The Brinkmann problem \\(\\mathsf{BrP}\\) for a group \\(G\\) and a family \\(T \\subseteq \\mathrm{End}(G)\\) asks, given an endomorphism \\(\\varphi \\in T\\) and two elements \\(x,y \\in G\\), whether there exists an integer \\(k \\ge 0\\) such that \\((x)\\varphi^{k}=y\\) [\\textit{P. Brinkmann}, J. Algebra 324, No. 5, 1083--1097 (2010; Zbl 1209.20023)]. Its conjugacy variant (\\(\\mathsf{BrCP}\\)) replaces equality by conjugacy in \\(G\\), asking whether \\((x)\\varphi^{k}\\) and \\(y\\) are conjugate for some \\(k \\ge 0\\). The two-sided versions ask whether there exist integers \\(r,s \\ge 0\\) such that \\(x\\varphi^{r}=y\\varphi^{s}\\), or that \\(x\\varphi^{r}\\) and \\(y\\varphi^{s}\\) are conjugate in \\(G\\).\\N\\NIn the paper under review, the authors study algorithmic orbit problems for free-abelian times free groups \\(F_n \\times \\mathbb Z^m\\), focusing on the Brinkmann problem and its conjugacy and two-sided variants for endomorphisms and monomorphisms of these groups.\\N\\NAfter recalling the classification of endomorphisms of \\(F_n \\times \\mathbb Z^m\\) into type I and type II maps (Proposition~1.1) and describing explicitly their composition and powers (Propositions 1.4, 1.6 and 1.7), the authors address the decidability of the Brinkmann problem. Theorem 2.7 proves that the Brinkmann problem \\(\\mathsf{BrP}_E(F_n \\times \\mathbb Z^m)\\) is decidable for arbitrary endomorphisms, combining known results for free and free-abelian groups with the explicit description of powers of type II endomorphisms.\\N\\NThe paper then studies the Brinkmann Conjugacy Problem. Theorem~2.9 establishes the decidability of \\(\\mathsf{BrCP}_E(F_n \\times \\mathbb Z^m)\\) by separating the analysis into the cases of type~I and type~II endomorphisms and reducing the problem to decidable instances of orbit problems for free or free-abelian groups. In Section~3, the twisted conjugacy problem is considered and Theorem~3.6 shows that \\(\\mathrm{TCP}_E(F_n \\times \\mathbb Z^m)\\) is decidable.","type":"string"},"datatype":"string"},"type":"statement","id":"Q6877130$2F00E45E-431E-4457-A8FE-DF6D028722E7","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"84143e6334371c8e3cbc935219640b812b5c932b","datavalue":{"value":{"entity-type":"item","numeric-id":258043,"id":"Q258043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6877130$23B8F2E6-8420-431D-AEBE-38FE61C603CF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fcae15942a1ef1170b65682251799a9bfed1dcd3","datavalue":{"value":"20E06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6877130$C3732FFC-4F1F-4AF9-83E3-684CD6C5285C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5608e4dbe85e8f6c220cc8afcea2a4ada066e3fa","datavalue":{"value":"20F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6877130$8013067C-1C87-493F-8149-D4658E5EA0D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8acfec936c9f92116ab04a417b25b0b6b0e8ab90","datavalue":{"value":"20F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6877130$C7C730DF-3609-411D-8854-7B51FF079391","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"02e168ac1c5f677676b0d18c1fa5ee83d25ed425","datavalue":{"value":"8142795","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6877130$B7B8A1CF-8D06-4445-9AF6-7DE2CDA9FD50","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7bb0da4c7c49e685c75a6821331b312dbb5ba326","datavalue":{"value":"free group","type":"string"},"datatype":"string"},"type":"statement","id":"Q6877130$69F4D680-736E-42E5-8CE3-9F362CCD7384","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0b2daaf7ac864516e7b1b0451bfe3e1040a3880","datavalue":{"value":"direct product","type":"string"},"datatype":"string"},"type":"statement","id":"Q6877130$3717D4C9-613D-4844-9033-2FF06178DD8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6addade5b90f614f63be4a5b869316a9d573632","datavalue":{"value":"free-abelian times free","type":"string"},"datatype":"string"},"type":"statement","id":"Q6877130$81DD3352-40ED-4F97-B4C8-155D60168251","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a09f04570def689715b84014013c9f3df4e02641","datavalue":{"value":"endomorphisms","type":"string"},"datatype":"string"},"type":"statement","id":"Q6877130$CDCCCEA0-6F48-4228-8A24-9B1B7F05EE57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"028e9c53e5c4550f5a7cbca2f6ae65c7e2ae92d1","datavalue":{"value":"orbit problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q6877130$AB3AA15B-6058-4974-BE94-2D4D87C336E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e7258593dff2c929c33f267910058326b30c7163","datavalue":{"value":"Brinkmann problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q6877130$384B09C8-FF12-4EAA-AC3E-01CAC091A41D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a63ee56c4d2f81c4a9b7f5e8124d077a3591e1b","datavalue":{"value":"conjugacy problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q6877130$0F1C0C56-6C40-4522-AB47-B6F585A1734A","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":"Q6877130$6975B6C3-2A04-42A8-B714-A7A6EF56479D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c80e5f7365bd23a8c66809aa8aa4ec6eb8180a9","datavalue":{"value":{"entity-type":"item","numeric-id":3419065,"id":"Q3419065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6877130$B4B4D0F9-88BD-41AC-8224-BAD62D7CC975","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31c61508dc92c21aae7a7f8405bc86d9fbb3a6a4","datavalue":{"value":{"entity-type":"item","numeric-id":3552098,"id":"Q3552098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6877130$B83E9B70-4E47-4D66-A472-C55A6AEF9368","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41a60b7d7e22eb47b1dba62744fc493d7fc4686f","datavalue":{"value":{"entity-type":"item","numeric-id":606657,"id":"Q606657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6877130$567A2424-8626-4101-B78F-EE06A0E2E6A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9630d614b82252c9c7ce313975808ba5fc13cf8","datavalue":{"value":{"entity-type":"item","numeric-id":5043293,"id":"Q5043293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6877130$8F011944-7550-415C-AC63-A2C0E364D63A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15ef725d5f6a3d531fcf3dfab93a4f3b263e8707","datavalue":{"value":{"entity-type":"item","numeric-id":6614078,"id":"Q6614078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6877130$9FE19175-3303-497A-B28F-3FDE811BE50F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69d0052f1da677940b5bcea9503d1ec07065ecd4","datavalue":{"value":{"entity-type":"item","numeric-id":6626975,"id":"Q6626975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6877130$11634DA8-17F0-47EE-A102-304637A934A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b73f7405795638f18f36f4a0e3eb3d24ee35b13e","datavalue":{"value":{"entity-type":"item","numeric-id":2438024,"id":"Q2438024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6877130$5B776CF3-97D5-489A-A0BE-C16708FB7859","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b050565cc6d3ecc1b2c2a3594a6cc6ef781e8c1","datavalue":{"value":{"entity-type":"item","numeric-id":2154821,"id":"Q2154821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6877130$1635610B-710A-4609-94DA-FAB723793114","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a12956574e1dd9a74ae0348520a8bb49c45fc34","datavalue":{"value":{"entity-type":"item","numeric-id":6186944,"id":"Q6186944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6877130$DCC79C2A-B0C6-405C-9235-35F6F263A1CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4e715278c016673246f0cf933f97e96de5fe681","datavalue":{"value":{"entity-type":"item","numeric-id":1340254,"id":"Q1340254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6877130$9BCBE3AB-76AE-492B-9A5D-7C3E8888EBF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a4719fb59209121c58d2497b93ce038b91f5ca3","datavalue":{"value":{"entity-type":"item","numeric-id":3462041,"id":"Q3462041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6877130$184CE064-72DC-4214-ACF3-A5B839CBA804","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"587eafb5cd46b2e208aa71cef3caef83fa1e69b3","datavalue":{"value":{"entity-type":"item","numeric-id":3114190,"id":"Q3114190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6877130$B48B20BD-9EFD-4D05-9232-3779AAD1A02C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a07ca321d1b4cc6a1f8752d21f298d1488a06a5","datavalue":{"value":{"entity-type":"item","numeric-id":2332150,"id":"Q2332150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6877130$0B467C59-8B2E-4EB7-913B-8D0980A6F300","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"774aa6011d44ebb4ef9a1d13d171bc409eac393e","datavalue":{"value":{"entity-type":"item","numeric-id":2215785,"id":"Q2215785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6877130$F34FE336-CD5C-41EE-9312-37A91AE1F9B3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Orbit problems for free-abelian times free groups and related families","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Orbit_problems_for_free-abelian_times_free_groups_and_related_families"}}}}}