{"entities":{"Q1063113":{"pageid":1073865,"ns":120,"title":"Item:Q1063113","lastrevid":66753669,"modified":"2026-04-12T12:38:31Z","type":"item","id":"Q1063113","labels":{"en":{"language":"en","value":"Decision problems for soluble groups of finite rank"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3914565"}},"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":"Q1063113$2F0725C7-AE2A-4885-87FF-8B3165684FC4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"381bbb6eb9674adeaa637d7951a977417d143389","datavalue":{"value":{"text":"Decision problems for soluble groups of finite rank","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1063113$4760FDC7-A8E8-416C-827C-4770906632A4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1380f3541e797ca4b586458759f53c9645389ad1","datavalue":{"value":"0573.20032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1063113$46981803-058A-472F-9F91-CC4315E988D2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c2b9e892f1ffa11a66ee26af1e2c8bc1a173eacc","datavalue":{"value":{"entity-type":"item","numeric-id":226831,"id":"Q226831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1063113$2C3EA24A-B5CB-452D-9E76-F4AC278EBDDD","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":"Q1063113$7D648659-6779-4391-B82A-D1E50951477B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"61700154420232a1d68beaca5ac2d051b7ad757f","datavalue":{"value":"This article is concerned with the word problem, the generalized word problem and the conjugacy problem for soluble groups of finite rank. Recall that a soluble group has finite total rank if it has a series of finite length with abelian factors such that \\(\\sum_{p}r_ p(F)\\) is finite for all factors F, the sum being taken over all \\(p=0\\) or a prime. Also a minimax group is a group with a series of finite length whose factors satisfy either the maximal or the minimal condition for subgroups. A soluble minimax group has finite total rank.    There are three main results. Theorem \\(2.3^*\\). Let G be a finite extension of a soluble group with finite total rank. Then the word problem is soluble for a presentation of G if and only if it is recursive. - Theorem 3.1. Let G be a finite extension of a soluble minimax group. Assume that G has a recursive presentation and let H be a subgroup of G which is recursively enumerable (in terms of the presentation). Then there is an algorithm to decide membership in H. - Theorem 4.1. Let G be a finite extension of a soluble minimax group. Assume that G has a recursive presentation and g is a fixed element of G. Then there is an algorithm to decide conjugacy to g. - It follows that for finitely presented soluble minimax groups the solubility of the word problem, the generalized word problem and the conjugacy problem (for a given element) is assured. It is shown that the second and third theorems are not true for soluble groups of finite total rank.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1063113$1B1DF57C-A84E-440D-B654-BB111617B648","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8acfec936c9f92116ab04a417b25b0b6b0e8ab90","datavalue":{"value":"20F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1063113$A782F524-1A94-4BBC-B8D0-400E754C89C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a9473403ba5aadfa1076dd6525b25a3172ff28b","datavalue":{"value":"20F16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1063113$664B6F79-80E7-4DF1-BA66-E83684596603","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5608e4dbe85e8f6c220cc8afcea2a4ada066e3fa","datavalue":{"value":"20F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1063113$59635851-1C5B-4000-BD38-C5ED913807A2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b6606edb0552e84f1efed4e67e29c1c50abf2f31","datavalue":{"value":"3914565","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1063113$5153C237-63F3-499E-AA0A-75F86AE9B887","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"38f4f6f4d088539378a28886a7c29fd41df02ccf","datavalue":{"value":"generalized word problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1063113$B72D9D13-6FC1-4F63-A79E-CDA98AD2CDB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a63ee56c4d2f81c4a9b7f5e8124d077a3591e1b","datavalue":{"value":"conjugacy problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1063113$D1C89CBF-E394-462D-8787-CFD0958EF66A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4967f028bab522daeef1ea641662d8d65902f20a","datavalue":{"value":"soluble groups of finite rank","type":"string"},"datatype":"string"},"type":"statement","id":"Q1063113$D84EB168-CA57-49C5-B219-D394473F28A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b02bc8a395baa3ab5f62e44f783f96f7f8237b7c","datavalue":{"value":"finite total rank","type":"string"},"datatype":"string"},"type":"statement","id":"Q1063113$DA2D5554-D317-44E8-AC45-AFE8B2C50E6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3713c8036da0489fdd9d82fcf0f09b4c99e02bd","datavalue":{"value":"minimal condition for subgroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1063113$C9AEF580-01B1-4BF8-8B2F-A63F85A9A3E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66274154afe68329cacbc328899bb0f5bf0df777","datavalue":{"value":"soluble minimax group","type":"string"},"datatype":"string"},"type":"statement","id":"Q1063113$BA80B13F-A3CE-4890-9D17-ADAAF79C1116","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e8c72166a636aa2ca33b717940a8e68eb5e8e79","datavalue":{"value":"recursive presentation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1063113$5DBCA669-9ABD-42A3-A22D-D7D48EB55C65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31e860314eeb1a93c1b93265a9c37508a478a501","datavalue":{"value":"membership","type":"string"},"datatype":"string"},"type":"statement","id":"Q1063113$6533FFBA-F08C-40CB-815B-9446997F0876","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a3f70e85cf1f2edb75fb2890625e09c19cd209bf","datavalue":{"value":"finitely presented soluble minimax groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1063113$3F36EE57-B0B3-4EBD-85E9-9E2E3A84891C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"63f79f441b355d5f6f7de315ca29cc81a086feb2","datavalue":{"value":{"entity-type":"item","numeric-id":494604,"id":"Q494604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1063113$B2E7AF8D-CD9A-443A-9FC8-801AC4B7DD7B","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":"Q1063113$A7500AD1-C486-4623-8FDA-8F035668C645","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2acbed6eee77044cc8c3c4f7e21aa62ae694cc3f","datavalue":{"value":{"entity-type":"item","numeric-id":3218300,"id":"Q3218300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6fa8bb9b9d062b411d67c9be45b1ab762f574988","datavalue":{"value":{"amount":"+0.9526188","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":"Q1063113$EB0B081D-DB38-492D-A720-BAAEFC6BCCD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7b12d7eb0cc607ee6892ce0f360932a6183ec23","datavalue":{"value":{"entity-type":"item","numeric-id":4270321,"id":"Q4270321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"169cfb9b82711ec8c5cd5540cfda6e56e1e40df8","datavalue":{"value":{"amount":"+0.9331306","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":"Q1063113$942CEFF1-1D02-4F17-A3F7-4518D1F3881B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df8e2f49d8c077d2fcb4bc15604e17c2d7bfa6aa","datavalue":{"value":{"entity-type":"item","numeric-id":4041784,"id":"Q4041784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42b8e37472ca8d63b65af3db7ffa890d71231e51","datavalue":{"value":{"amount":"+0.9245167","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":"Q1063113$94037E98-6DB4-4CCE-A643-BC97F117DD0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21baa78ee17f820097f1dbdd18053cfe8f214782","datavalue":{"value":{"entity-type":"item","numeric-id":5569504,"id":"Q5569504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ca7ac936ac2588a3651bc5609cd3a3c0e419361","datavalue":{"value":{"amount":"+0.92451656","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":"Q1063113$333C616B-DFA2-4651-B066-3DB4425CF809","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10580bfdbc8a1b1e57b92002064d32f81d4d9f69","datavalue":{"value":{"entity-type":"item","numeric-id":721474,"id":"Q721474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f92c3ea55d7e25512911d51a386a1338f306e4aa","datavalue":{"value":{"amount":"+0.91573983","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":"Q1063113$80A92652-05FA-4E0D-8383-2B037EE1B0BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd85a96f38435652b0685b77b9b788a5ecce1bca","datavalue":{"value":{"entity-type":"item","numeric-id":4515867,"id":"Q4515867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca34de223050132d3874fe58202c4764a2d30b7f","datavalue":{"value":{"amount":"+0.91552615","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":"Q1063113$792FB391-99EE-4E4A-8C4D-2F8E71C139BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17e1d404c1f2c7c93e7f17d7fd69aa98301a8c78","datavalue":{"value":{"entity-type":"item","numeric-id":2767349,"id":"Q2767349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"369a30dcd0c74e0b0f9d93ae314bc2acecd0c88f","datavalue":{"value":{"amount":"+0.915148","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":"Q1063113$CD469F1E-F8C1-4032-AD31-A94B59E32263","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c25ca4c60fc4c1297def71f19bb13f81435267f","datavalue":{"value":{"entity-type":"item","numeric-id":5896362,"id":"Q5896362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91862f38b6fb4dbd613b05593c2fae0c64ee58af","datavalue":{"value":{"amount":"+0.9128793","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":"Q1063113$F89B90E4-87DC-4DB5-8B82-37E1B24EDFB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8c99daeb85088ff5c3b019b57cc7774908447ab","datavalue":{"value":{"entity-type":"item","numeric-id":5903769,"id":"Q5903769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7de293a959d5f03c8590add2a536229dc5f310e","datavalue":{"value":{"amount":"+0.9128792","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":"Q1063113$A7D304A6-59E2-43EB-AED1-D535ECF086F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42d08d2cfbf84e07032fce7917d360489f10e467","datavalue":{"value":{"entity-type":"item","numeric-id":4010090,"id":"Q4010090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1dd2ea07718689ec5139c5cab824716d44e01a1","datavalue":{"value":{"amount":"+0.91150033","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":"Q1063113$AC2ABB84-8A38-416B-B093-B2FB9D46AF99","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Decision problems for soluble groups of finite rank","badges":[]}}}}}