{"entities":{"Q468700":{"pageid":470467,"ns":120,"title":"Item:Q468700","lastrevid":62058660,"modified":"2026-04-11T03:29:14Z","type":"item","id":"Q468700","labels":{"en":{"language":"en","value":"Algorithms for arithmetic groups with the congruence subgroup property."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6366949"}},"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":"Q468700$D8E8CE46-67AA-4D5C-A9D2-39659B4959E3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1e698ed4f922f0b76abe81023c398b1a3cbebef9","datavalue":{"value":{"text":"Algorithms for arithmetic groups with the congruence subgroup property.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q468700$8FDC4A4C-96E7-454B-8C3C-44A6837EE81A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b47df1d1a46e97b0c4f3adf1ef27528c6bd2def0","datavalue":{"value":"1319.20040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q468700$46E2EAF0-C8ED-4FF8-80DA-C65591A68A88","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":"Q468700$540CE8CC-76B3-416D-9DA1-AB7D43DF83DD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f9fe9f27a082498af62091aa424cd2fb2bfa3168","datavalue":{"value":{"time":"+2014-11-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q468700$D7E6B364-BDD5-4A35-BCF7-72ABB74B8688","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f8d4284aa6209601ade7769ded0830b88509df27","datavalue":{"value":"https://arxiv.org/abs/1906.10423","type":"string"},"datatype":"url"},"type":"statement","id":"Q468700$B3F27FBB-3271-433C-AA03-70F5E5A1BD28","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"fb449c8167597e47589a043ecc0bc66f039293dc","datavalue":{"value":{"entity-type":"item","numeric-id":590359,"id":"Q590359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q468700$659D52C1-6FD9-405E-931A-823B54760592","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8ea0f68a8d4078563f0d80045bd0f8160b918a5f","datavalue":{"value":"20H05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q468700$E4434923-79F7-4509-895B-FA6F3DB2E932","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6a54c25d1a981b9a87a11d5823b3dec1c371fc2b","datavalue":{"value":"11F06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q468700$4214B0DA-45E3-4C8B-9DA9-23983B2F36F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"faf1b8bf3afafa2d8d1dba1bb10a9c139d923c8b","datavalue":{"value":"20G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q468700$A603EDBE-5FB9-4974-99D5-A55B0289BF7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ea37469d91f3037e8b6809fc66f770f1b27a461d","datavalue":{"value":"20E07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q468700$F0694D3A-ABF0-47B1-BC67-54326D0F0D25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8acfec936c9f92116ab04a417b25b0b6b0e8ab90","datavalue":{"value":"20F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q468700$919CE51A-45A3-493C-AA8F-BF99594334E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q468700$5B1D3277-E7FF-42D7-A671-70BD4A6A9A99","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b69af025d24d223a8463882e2c81efd280ced55a","datavalue":{"value":"6366949","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q468700$FBF3663A-35AB-438E-BA32-2E3F10C1A84D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c11f16259e968fdcc7c6a1e64f617fd18573ac4f","datavalue":{"value":"arithmetic groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q468700$4FB1FFC1-73FB-4EFB-ACB2-1AB5F748494D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"887020b8185a9d5888e92356c129fa0dbe9373c2","datavalue":{"value":"congruence subgroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q468700$1AB5AB89-E17B-4205-A503-34DD93FBE6AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46b0497e3870fc0f074b1dc634dff146e7157e16","datavalue":{"value":"Todd-Coxeter algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q468700$7E9F037A-76CA-4F19-8ECD-8CCCFBE026D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"375619c9a684a84d97b549f14fee1fca44194595","datavalue":{"value":"GAP","type":"string"},"datatype":"string"},"type":"statement","id":"Q468700$0A0CFC2B-B36F-4E37-AF38-6926D046A867","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d607627523840bd0bf4407097f29a3a99ef4a0a8","datavalue":{"value":"algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q468700$D69AA239-F8FC-46ED-82A1-5E00FA1A7BC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d63abd00ba97e023260564ab1e5de7e72c9aae49","datavalue":{"value":"computational group theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q468700$BDF9D638-F601-4A4A-88B7-E8862DA1CDFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"207021f99ab1c9a60cc56443a36fcd2543193481","datavalue":{"value":"finitely generated matrix groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q468700$29E05DF5-98E7-4182-A348-FF6D92178DD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"478f5436c841f182abd749d3648a229ca752fd86","datavalue":{"value":"subgroups of finite index","type":"string"},"datatype":"string"},"type":"statement","id":"Q468700$424A1F30-0631-4731-A966-DDE8B86036B1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7a898c35bcd35b3e0c7084c3380d30228ae97800","datavalue":{"value":{"entity-type":"item","numeric-id":944042,"id":"Q944042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q468700$33627C02-8C00-4510-9952-A36453F63542","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4a6ce5237a3de32fbcb33801388bea140808156c","datavalue":{"value":{"entity-type":"item","numeric-id":944043,"id":"Q944043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q468700$0B07E17E-EAA7-467E-BE2D-072B7696C4F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d9fb77ebc5b170be8b74a01befdc6c1a73517795","datavalue":{"value":{"entity-type":"item","numeric-id":237007,"id":"Q237007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q468700$2C1F6CBA-58BD-412E-A3ED-920B2FB46A26","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"dd7f0abef058f8eae97be2e317c30210cbb29e90","datavalue":{"value":{"entity-type":"item","numeric-id":13081,"id":"Q13081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q468700$C8964022-D435-433E-8EE6-5B77681A60DF","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":"Q468700$27007DB2-AA2D-4276-A510-1ED5092AD480","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0b979cd2e2d6ebed7da225910265b58dcc70ccd5","datavalue":{"value":"W2143030879","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q468700$D93BF9CF-E7F8-4BE9-9593-98BAA4566476","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c90c754ddf20f46ad6d1b9d5da0c02fc24a347cf","datavalue":{"value":{"entity-type":"item","numeric-id":4234184,"id":"Q4234184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q468700$25D75BE7-F2A9-4F00-9ACE-171242C42563","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d5312826184513e8431013e47b5318b03376630","datavalue":{"value":{"entity-type":"item","numeric-id":5639895,"id":"Q5639895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q468700$884BFA79-BE9D-4753-9D24-74542E838FF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4c810cfb3374836f7f34d699c63e57a9316d6be","datavalue":{"value":{"entity-type":"item","numeric-id":2532411,"id":"Q2532411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q468700$4523BFB6-1B7A-4B3E-BD3D-924897DAC6FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8879b5d9fede2ba3c0ffcc5519d03b32ef379b8e","datavalue":{"value":{"entity-type":"item","numeric-id":774842,"id":"Q774842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q468700$3D6DAA66-67FC-412E-AAEF-015C27281501","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0e12f6037fc6a458a345c9ae72e3969e951344e","datavalue":{"value":{"entity-type":"item","numeric-id":3101056,"id":"Q3101056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q468700$0A83A806-A788-4FF7-990A-E1E2B9CEE91C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9931f1f0b27f947cccc1ff6831c377c4a1af8d92","datavalue":{"value":{"entity-type":"item","numeric-id":480648,"id":"Q480648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q468700$826A6424-917E-4777-A116-0B7C340088A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"596b370c31aaa6a0749509b286dad5155ccbc5b1","datavalue":{"value":{"entity-type":"item","numeric-id":765725,"id":"Q765725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q468700$89D74AEB-1C51-4E40-B625-4003D1F7421E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4ba9d5ff7cafcd1e67dd015a0eb73b3d8bf779c","datavalue":{"value":{"entity-type":"item","numeric-id":1930160,"id":"Q1930160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q468700$D43A25ED-319B-405D-9CB2-27DB137DD6E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93c051ae4e03baf519e0df89c15f92c55dd81fe7","datavalue":{"value":{"entity-type":"item","numeric-id":2438392,"id":"Q2438392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q468700$C1F00BD4-B57A-432C-9807-0DDE180FD62B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"588737408a5a8f2db1a40ed5534e8023131388b8","datavalue":{"value":{"entity-type":"item","numeric-id":3344120,"id":"Q3344120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q468700$74B337A4-D83B-4B07-916E-E4052028AE7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c0b100c0c424a81e562eadfba1364d4264e9450","datavalue":{"value":{"entity-type":"item","numeric-id":4806402,"id":"Q4806402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q468700$84517198-9100-49B4-990E-C1AFC8902B57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"462c28170ae8bdb69b3d4043719ab3891c33e54c","datavalue":{"value":{"entity-type":"item","numeric-id":1150699,"id":"Q1150699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q468700$810BC256-B359-4942-97D3-114766D3AA51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3496735a24469bdfb0cf3824dbaa19ec6671547","datavalue":{"value":{"entity-type":"item","numeric-id":3704085,"id":"Q3704085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q468700$BE550951-4232-470B-9EA5-4BC34AB8FCFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9c7120efbd4f1018fc8ca6eadaa2c2effb807e9","datavalue":{"value":{"entity-type":"item","numeric-id":3993275,"id":"Q3993275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q468700$95B8C81E-6E50-4043-8972-5F8A5D9409FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1bd7594142eebead7644d28c7606676e37a6b47","datavalue":{"value":{"entity-type":"item","numeric-id":2438900,"id":"Q2438900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q468700$171B97EB-5353-4748-9F0B-74CDE68D6389","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e01c986b8da5b6ad474a2d2c5348389cff3fcda","datavalue":{"value":{"entity-type":"item","numeric-id":1135932,"id":"Q1135932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q468700$141FFA91-740D-4CBB-B0A7-D93504817D5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90c6ae17aad6ae07257e0c2033fd62d1c01836c3","datavalue":{"value":{"entity-type":"item","numeric-id":4915403,"id":"Q4915403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q468700$0A94CA78-A9DB-41D6-AE91-098D8E220716","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4999c3f9d9a6669402e4b8f5d4719cb4b17ed370","datavalue":{"value":{"entity-type":"item","numeric-id":3743488,"id":"Q3743488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q468700$769783A5-8E38-4B52-BE22-8674375022E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33d3a17e1d7e00a9fb9b0b1ca6d8f2c951f39618","datavalue":{"value":{"entity-type":"item","numeric-id":4939302,"id":"Q4939302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q468700$1BF269A2-F9BF-4307-9B6F-C548DA50A6B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1817bdef7c23db110fcaaeb671f787ad19c0ba68","datavalue":{"value":{"entity-type":"item","numeric-id":1873280,"id":"Q1873280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q468700$E4271F56-EA9F-43E9-B830-83CBC391FF49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c3483d187984cb1c4d878f25b78be382860bbb6","datavalue":{"value":{"entity-type":"item","numeric-id":2520893,"id":"Q2520893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q468700$2C8B19AC-A86B-43DA-81F1-1CEF66B265DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6229eee9384874075ce9c106f9ebaecc29df05e","datavalue":{"value":{"entity-type":"item","numeric-id":5647075,"id":"Q5647075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q468700$1B166592-65C5-4483-9F70-A9A3B20B5CA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad99d3b189d46ee8adbf1ab2a3a82c04ec90de01","datavalue":{"value":{"entity-type":"item","numeric-id":2958996,"id":"Q2958996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q468700$2E3D9017-6BC6-422A-AD1A-F53D070CBB1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3e841a2718df2f0c15920defa773b7a7538ca33","datavalue":{"value":{"entity-type":"item","numeric-id":5668937,"id":"Q5668937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q468700$E92CF408-FD48-46F6-A45E-F79FD491AADA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c04951a6b6d64257235e955c6cdded3253a3b6e3","datavalue":{"value":{"entity-type":"item","numeric-id":2809754,"id":"Q2809754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q468700$094CB4CE-823A-4F11-8270-6CC98DEC0E0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cc4dfe9bb36c39433be38dcba460c7d501f3c3d","datavalue":{"value":{"entity-type":"item","numeric-id":2572571,"id":"Q2572571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q468700$779AD8DD-E169-470D-95F9-5A3299DD921C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5db55c8c64df3514b872940a2b16e7f6f251dcc7","datavalue":{"value":{"entity-type":"item","numeric-id":4078234,"id":"Q4078234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q468700$62642E68-6F2A-41CB-B278-BE6AB3675E02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbd41c10dacfa2583230f39dcd6750e1e2568e20","datavalue":{"value":{"entity-type":"item","numeric-id":3100605,"id":"Q3100605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q468700$4E476EEF-E91A-4F91-9F48-1837D6E65120","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a327ecf4ffd73200ed11a5fdcf0fb17f3488f4d9","datavalue":{"value":{"entity-type":"item","numeric-id":4313324,"id":"Q4313324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q468700$D0656527-32BF-4BFB-AECA-8DB70446E5CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4b3c78d2a6bfc85dfd382dc44e7f7b7da1094d5","datavalue":{"value":{"entity-type":"item","numeric-id":5647103,"id":"Q5647103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q468700$B4089D6F-9699-4230-BB04-C99C00AC1351","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3222dd6544e7e432aec75404541a7056032e5b78","datavalue":{"value":"10.1016/J.JALGEBRA.2014.08.027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q468700$5FB4DBE8-A65E-45E8-8C26-166A2A13AC7E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d79ea64a21c3f2d9bf74d3c487f80060e71ff179","datavalue":{"value":"Thirty years back, Grunewald and Segal started the study of decision problems in arithmetic groups when they proved some beautiful, general results. In general, dealing with virtually solvable groups is easier and semisimple groups are rather hard to investigate. In recent times, the authors and many others like B\u00e4\u00e4rnhielm, Babai, Beals, O'Brien, Eick, de Graaf, Holt, Leedham-Green, Neunh\u00f6ffer, Ostheimer, Rockmore and Seress have developed computational techniques to a good extent especially in solvable linear groups. This paper builds some computation techniques in arithmetic groups in a semisimple group like \\(\\mathrm{SL}(n,\\mathbb Q)\\).NEWLINENEWLINE Determining whether a finitely generated matrix group is finite or, determining whether a finitely generated, infinite, solvable linear group is arithmetic are easier problems. However, the problem of determining whether a finitely generated subgroup of a group like \\(\\mathrm{SL}(n,\\mathbb Z)\\) is of finite index seems to be undecidable. However, if one knows that a certain subgroup is of finite index in this group, it is possible to use Coxeter-Moser-Todd type of algorithms to determine the index and other data. In particular, for \\(n\\geq 3\\), the subgroups of finite index are congruence subgroups and the authors are able to determine the level computationally. One ingredient in these developments is a set of generators for principal congruence subgroups written down by the reviewer and Venkataramana. In principle, this can be carried out also in other arithmetic groups with the congruence subgroup property. The authors also need detailed computations in the finite groups \\(\\mathrm{GL}(n,\\mathbb Z_m)\\). All the algorithms are implemented in GAP by the authors.","type":"string"},"datatype":"string"},"type":"statement","id":"Q468700$819C2FE8-9E51-46AD-AF15-9B25622950DE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b2123efd58befdcf245585596fc7263fcc64f29","datavalue":{"value":{"entity-type":"item","numeric-id":4600718,"id":"Q4600718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d15d71e6c95ef6b582d510e8ecba61120775b00e","datavalue":{"value":{"amount":"+0.7998797297477722","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":"Q468700$98EDB862-A39B-49FB-AFD6-CB01AC465BEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"058c4d9c0295f2844be70bffe716cff3f692925a","datavalue":{"value":{"entity-type":"item","numeric-id":480648,"id":"Q480648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64bcf9ff7ef66eca2c14dca8111ca2d6a5364885","datavalue":{"value":{"amount":"+0.7955096364021301","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":"Q468700$29D8E690-B53A-44A4-90D5-5FC0A48E404A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3ed43f90086413d4767df3a643435e6814170d5","datavalue":{"value":{"entity-type":"item","numeric-id":1288201,"id":"Q1288201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bed973838a152c730ac279131f9fef60c660a7e2","datavalue":{"value":{"amount":"+0.788533091545105","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":"Q468700$1DECC0CD-0764-40A4-8012-884C97578A42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39535144e9d8710f61d8718a09468a8645b82131","datavalue":{"value":{"entity-type":"item","numeric-id":2940235,"id":"Q2940235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eda2c1a112cf1fa569401b0d965e83ecd76bffee","datavalue":{"value":{"amount":"+0.7815956473350525","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":"Q468700$9574FEE1-BA50-4411-A223-501E0DBB8764","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d3d3c6bd97d288518e3912d650230199fd5c2f1","datavalue":{"value":{"entity-type":"item","numeric-id":4335290,"id":"Q4335290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca563e923216021ccae90a3748c6e998d19e10aa","datavalue":{"value":{"amount":"+0.7593247294425964","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":"Q468700$7E6610DE-2A38-4BD5-A3A8-EC0F33B7AB55","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Algorithms for arithmetic groups with the congruence subgroup property.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Algorithms_for_arithmetic_groups_with_the_congruence_subgroup_property."}}}}}