{"entities":{"Q1097350":{"pageid":1108102,"ns":120,"title":"Item:Q1097350","lastrevid":66715197,"modified":"2026-04-12T12:20:52Z","type":"item","id":"Q1097350","labels":{"en":{"language":"en","value":"Towards a soluble quotient algorithm"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4033992"}},"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":"Q1097350$F5F397A1-32E3-400F-AB22-AF8AA0765395","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a0d2da13eaaefc4eeef336582690f47799eb9b1a","datavalue":{"value":{"text":"Towards a soluble quotient algorithm","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1097350$F286F3A1-F735-4811-9BDA-C18515EFAD41","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"54e11afacb155c11fe49bc3177680516c57c1e62","datavalue":{"value":"0635.20013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1097350$6082B548-6EF4-49BB-9AE3-7ED27B3B5BE5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cb2b84b75ba580bf73973e59bef7eb3e952bee1f","datavalue":{"value":"10.1016/S0747-7171(87)80060-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1097350$2E7F7008-CF8E-4F68-A69B-D57C8E5F3A5E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a445aed1a5db4d33c0bd3fd2efe9b7cf2c0d7cb6","datavalue":{"value":{"entity-type":"item","numeric-id":541966,"id":"Q541966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1097350$95F475D1-5347-4EE1-B712-9A1822D3C498","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1097350$2EA3BE49-72D8-4221-BB45-6DDF3B7557FA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q1097350$2EEC09B8-CB16-4FDA-8B99-D4D43C9C6950","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e037cd6b28ca69dc3a3b3052dd836044165dbe3c","datavalue":{"value":"The aim of this paper is to outline an algorithm for computing soluble quotients of finitely presented groups. More explicitly, the problem being considered is: given a group G by a finite presentation, a finite soluble group H by a presentation derived from a composition series of H (an AG- or polycyclic presentation of a special kind), and an epimorphism \\(\\epsilon\\) of G onto H, find an AG-presentation for a larger finite soluble quotient group of G or show that H is the largest soluble quotient of G. A simple algorithm of this kind which can use existing computer programs is: (a) use coset enumeration to find a Schreier transversal in G for the kernel N of \\(\\epsilon\\), (b) use an abelianized form of the Reidemeister-Schreier algorithm to compute a finite presentation for N/N' (see \\textit{G. Havas} [Lect. Notes Math. 372, 347-356 (1974; Zbl 0288.20047)]), (c) use integer matrix diagonalization to determine whether N/N' is trivial or not. The goal is an algorithm which will lead to programs which can perform better than this. The present paper, like earlier ones by \\textit{J. W. Wamsley} [Lect. Notes Math. 573, 118-125 (1977; Zbl 0358.20031)], \\textit{J. R. Howse} and \\textit{D. L. Johnson} [Lond. Math. Soc. Lect. Note Ser. 71, 237-243 (1982; Zbl 0515.20018)] and \\textit{C. R. Leedham-Green} [Computational group theory, Proc. Symp., Durham/Engl. 1982, 85-101 (1984; Zbl 0558.20022)], offers some theoretical ideas towards this goal. They are based on the observation that the degree of the largest irreducible representation of H is mostly significantly less than the Schreier bound for the rank of N. It proposes a three-stage algorithm: (a) compute for selected primes p all the irreducible modules for H over the field of p elements working up the given composition series of H using Clifford theory ({\\S} 3), (b) for each such irreducible module M construct all extensions of M by H ({\\S} 4), (c) for each extension \\(\\tilde H\\) test whether the epimorphism \\(\\epsilon\\) lifts to an epimorphism from G onto \\(\\tilde H\\) ({\\S} 2). If any such lifted epimorphism is found, the problem is solved. The author outlines an algorithm for deciding (in effect) whether N/N' is infinite which is based on knowing all the irreducible rational representations for H ({\\S} 6). He also outlines an algorithm for the case when N/N' is finite for determining a finite set of primes which would include all the primes occurring as orders of elements in N/N' ({\\S} 7). The ideas outlined in {\\S}{\\S} 2,6,7 have been used in a related context with H insoluble in a forthcoming book by D. F. Holt and the author. An implementation of these ideas is being attempted in Aachen. Note that \\textit{G. Baumslag}, \\textit{F. B. Cannonito} and \\textit{C. F. Miller} [Math. Z. 178, 289-295 (1981; Zbl 0455.20027)] have shown that there is an algorithm for determining for arbitrary polycyclic groups H whether G/N' is polycyclic and, if so, for giving a polycyclic presentation for G/N'.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1097350$497716DE-F5BE-46B0-AFEA-050B00958EC8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5608e4dbe85e8f6c220cc8afcea2a4ada066e3fa","datavalue":{"value":"20F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1097350$C817052D-64B0-4E50-BD26-D317E835FB33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f96720fe29e309c34c82deec20bd95823bb71652","datavalue":{"value":"20-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1097350$5A806D73-A00A-4BE7-A4C3-318A9E84DE18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a9473403ba5aadfa1076dd6525b25a3172ff28b","datavalue":{"value":"20F16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1097350$18BF936B-C133-47E0-B211-9CB45058AD17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"05178b00f3954cc5276390a934207187e030f430","datavalue":{"value":"20C07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1097350$70B6516F-9C67-400F-B59E-B54B44B5F030","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"63280e28b992d074f46b8f496b13ff58e558e99c","datavalue":{"value":"20C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1097350$6A269869-32DA-4A06-AD9A-F19319E55F58","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"677037279e530f7d9007b6d6a14bf0aeec1d779c","datavalue":{"value":"4033992","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1097350$3DDBD0F8-87B1-4585-955A-FD64F8CCA003","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48ddf43eca498c7e7087cd696beb82ea63925320","datavalue":{"value":"algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q1097350$3090A9EF-F698-475B-B55D-5A234874CD9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c9a394ddbc09a80bcccd1a1f0e26dce36d8226a","datavalue":{"value":"soluble quotients of finitely presented groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1097350$254FB13A-0552-48AE-A617-18C69C250F4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb4a3d8fd11245f8cdee077a52000244db73846f","datavalue":{"value":"finite soluble group","type":"string"},"datatype":"string"},"type":"statement","id":"Q1097350$EB90BF6F-D2C2-44DD-81AC-E2EC7942FB6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c8ae0561a2fea06596e365e8c3fb0cb9c238f3b","datavalue":{"value":"polycyclic presentation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1097350$B3494397-2A3D-486E-8D8A-8370061CBC45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac46481e5137300e3745ffbadabc95e8661737e5","datavalue":{"value":"AG-presentation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1097350$5E4600F1-1E92-4920-8E18-B06D0C212A80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4831101256de494265babca4940b523a62034171","datavalue":{"value":"coset enumeration","type":"string"},"datatype":"string"},"type":"statement","id":"Q1097350$5599D028-7437-4DAB-A8E8-680BA8B3D354","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1ff3334bb0e500ef84b0d91cee31be4c3b0fd68","datavalue":{"value":"Schreier transversal","type":"string"},"datatype":"string"},"type":"statement","id":"Q1097350$B7462F78-D9BC-44C2-8A96-BDA8C183096A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75a8564fec40ca252ebb9eb7bf52c5bd4a957c0a","datavalue":{"value":"Reidemeister-Schreier algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q1097350$2BB6D957-DE29-48A5-9F0C-2ABBC9CBC5E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa77a68bed498aea5e9a6ad8c54d8ed3c09b22cf","datavalue":{"value":"irreducible representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1097350$EF0B5EE3-ED64-49C5-8AD2-422A8E1E2B6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6449783f5d629615e073ed038272cc1e4fc4250b","datavalue":{"value":"irreducible modules","type":"string"},"datatype":"string"},"type":"statement","id":"Q1097350$FAB50C5A-33BA-4582-9052-93C6FF2424A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2608e675d031e4df3070d66a4e2cd16045827d1c","datavalue":{"value":"polycyclic groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1097350$FB020C64-6D80-4DB3-9E0A-5AA375198EB6","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":"Q1097350$F9B9D092-4F73-4892-86C7-C004354E2F41","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed3507bc1e5efaa9ea0c9803698b80aa75c615b8","datavalue":{"value":{"entity-type":"item","numeric-id":3955477,"id":"Q3955477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1097350$830C7E2B-50D5-430A-BA0B-B09D4C3D3BC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98260cf69be1b523909fa7a03c37d3647201d5ca","datavalue":{"value":{"entity-type":"item","numeric-id":3869534,"id":"Q3869534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1097350$C597540C-6F13-4190-9ED7-F3AAFD49319C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b72db5789f4b51a93782c2d1b6b52d9a5b3df9ef","datavalue":{"value":{"entity-type":"item","numeric-id":4193604,"id":"Q4193604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1097350$4AE8862E-C247-46E4-B80B-A32AA7B1D3D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b69619d412a9fc66ab2d580be12543592fcbd5de","datavalue":{"value":{"entity-type":"item","numeric-id":1072655,"id":"Q1072655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1097350$E741E2BA-E2E5-442F-B111-CCD8EB61BCF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11c5f28d8d5d2825c4f75199423506b365970713","datavalue":{"value":{"entity-type":"item","numeric-id":3661791,"id":"Q3661791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1097350$FCA3F320-0E9B-43A9-B696-BB292CC6B462","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07db5d9d443b5d4b2edd7761e49422c74809a4b4","datavalue":{"value":{"entity-type":"item","numeric-id":5620726,"id":"Q5620726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1097350$EAE6297F-D336-48B0-89F3-10B7DB2DA0D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6899b40a48bb6dd55553fc9b55d2ab3a1166c63","datavalue":{"value":{"entity-type":"item","numeric-id":5588717,"id":"Q5588717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1097350$071654F1-A3B4-495F-97E0-B08E9AF016A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"485e1ccba3f1f4f3a7eacdddfc5c2f01f4eec1dd","datavalue":{"value":{"entity-type":"item","numeric-id":3338422,"id":"Q3338422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1097350$68726A24-68D4-4446-A169-BEF444B4B01A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0294fac286390ed546b195b87a6458d9820f831","datavalue":{"value":{"entity-type":"item","numeric-id":3223036,"id":"Q3223036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1097350$79019EF8-E2B7-4D4F-956A-254C240CA0F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98b09a33f3fb129ff95921774f854ae84decec54","datavalue":{"value":{"entity-type":"item","numeric-id":4402127,"id":"Q4402127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1097350$551B635F-D6D5-40C9-9644-905002DE8A9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a069a40dbbbb9e9ba1570663cfc818acbfbc3e8","datavalue":{"value":{"entity-type":"item","numeric-id":3218280,"id":"Q3218280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1097350$C97DF76E-BE23-44D7-9024-CA622950684E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af4217124b16c9f84c5adc2bf89ac6c38535c60f","datavalue":{"value":{"entity-type":"item","numeric-id":4776045,"id":"Q4776045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1097350$87421AEF-2491-41BA-B036-D4D5A4FCE289","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2080017d401c53353b6be1cecde3e17f2f8cdd5","datavalue":{"value":{"entity-type":"item","numeric-id":4133821,"id":"Q4133821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1097350$C09C9C9A-1CEC-40D1-B0E8-73E2E9B47765","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcc39fb2a75a8ca6ed570a0f423442649600ed1e","datavalue":{"value":{"entity-type":"item","numeric-id":5587110,"id":"Q5587110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1097350$E9360E96-9585-41CD-A389-446EA16EDA70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d7844344954bf5048ed6fcd06f808ee72b10787","datavalue":{"value":{"entity-type":"item","numeric-id":2647525,"id":"Q2647525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1097350$0932BDC2-206C-4C0C-BDA8-463511B024F8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51bd8a4a09d24ef8f42bfb4deae64c06896157ed","datavalue":{"value":{"entity-type":"item","numeric-id":1897565,"id":"Q1897565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"728049f4ef6f3e06a2c22ee0da7eb5bf39b81e46","datavalue":{"value":{"amount":"+0.8970529437065125","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":"Q1097350$FEC01CED-BCFB-4662-84E3-66C8CB65B135","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efea764ef8112e4c062ddaf139c99814af19a3fd","datavalue":{"value":{"entity-type":"item","numeric-id":2216564,"id":"Q2216564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"728049f4ef6f3e06a2c22ee0da7eb5bf39b81e46","datavalue":{"value":{"amount":"+0.8970529437065125","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":"Q1097350$BBEAA894-4F4F-449C-BF73-F002C09CC7B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c7d93abed4003e825f836314acdbcbee8fde331","datavalue":{"value":{"entity-type":"item","numeric-id":4133821,"id":"Q4133821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f64b7ff74f731bbdd0e03a9aa144ba07de830133","datavalue":{"value":{"amount":"+0.8783372640609741","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":"Q1097350$CA4A53B4-2EA4-40E3-81CE-4C710D933900","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f229508742384d95ab398182f0c7c19ff1a9d775","datavalue":{"value":{"entity-type":"item","numeric-id":3223036,"id":"Q3223036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"216730689813df51c807c472e31f914ce7ffd419","datavalue":{"value":{"amount":"+0.8400994539260864","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":"Q1097350$8ECECAF6-3F94-43AC-BAAD-BAF545B80F85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f4e27685435a2d98665a8ae11661813d78e5ce7","datavalue":{"value":{"entity-type":"item","numeric-id":2762217,"id":"Q2762217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36fbb760b9524180260aa61305af51d06c61913e","datavalue":{"value":{"amount":"+0.8350759148597717","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":"Q1097350$654ECC7D-DE32-4E8C-9F51-AD3154558A9A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Towards a soluble quotient algorithm","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Towards_a_soluble_quotient_algorithm"}}}}}