{"entities":{"Q1930160":{"pageid":1940902,"ns":120,"title":"Item:Q1930160","lastrevid":69324192,"modified":"2026-04-13T06:14:36Z","type":"item","id":"Q1930160","labels":{"en":{"language":"en","value":"Recognizing finite matrix groups over infinite fields."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6124221"}},"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":"Q1930160$D28A6E66-C00C-4E58-994B-1628D6B4C691","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d8cb45100c584773b679a42672d871758dfdf314","datavalue":{"value":{"text":"Recognizing finite matrix groups over infinite fields.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1930160$36444A45-853C-4E7B-AE9B-22BDA03610D9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ce502cc5023830d9a9e4c3f8f3b3e29f9cdb9388","datavalue":{"value":"1268.20055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1930160$8D7CE545-D7F2-41B3-A7DB-2A4A9B721464","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d4693128aaa4c330cf020813f03655c14217115d","datavalue":{"value":{"entity-type":"item","numeric-id":290404,"id":"Q290404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1930160$3A15BDFC-7FA0-46EB-8AAB-431D4FE9DFB4","rank":"normal"},{"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":"Q1930160$A5BE5698-43BF-4E81-A051-7FE8E2F276BE","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":"Q1930160$CCF2FF60-1380-475E-8295-E06CA77C3B18","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":"Q1930160$89E76C9E-2333-42E6-9987-4CC4497B8B5F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5f73384387181e740d0320d4931fc1cd66aeb99c","datavalue":{"value":{"time":"+2013-01-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":"Q1930160$CBE60464-8284-4DE6-A392-CF5CB6140D9A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"639cdc0e3a902bfb73d691aa9c8cd5839120502e","datavalue":{"value":"https://arxiv.org/abs/1905.04704","type":"string"},"datatype":"url"},"type":"statement","id":"Q1930160$1AFF78D8-C807-48E4-87E1-388AD95C9397","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f39724ba9a340e93f72f3cd8b6be8275aed761e7","datavalue":{"value":"The authors continue their investigations into computation with finitely generated matrix groups over infinite fields (see, for example, \\textit{A. S. Detinko} and \\textit{D. L. Flannery}, J. Symb. Comput. 44, No. 8, 1037-1043 (2009; Zbl 1172.20310)] and the authors [J. Algebra 344, No. 1, 397-406 (2011; Zbl 1245.20062)]). The primary tool is the use of congruence homomorphisms to map a finitely generated matrix group \\(G\\) over an infinite field onto a matrix group of the same degree over a finite field \\(K\\) of characteristic \\(p\\), say; all the torsion elements in the kernel are \\(p\\)-elements. For finitely generated matrix groups \\(G\\) over quite general fields this enables the construction of a normal subgroup \\(N\\) of finite index in \\(G\\) such that \\(N\\) is torsion free (the authors call such a subgroup an SW-subgroup). This construction can then be used to decide whether \\(G\\) is finite and, if so, compute an isomorphic copy of \\(G\\) as a matrix group over a finite field, and hence determine various properties of \\(G\\). Some of the algorithms described have been implemented in the package \\texttt{Infinite} in \\texttt{Magma}, and examples of typical runtimes are provided.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1930160$444843B4-586D-4C69-A630-FBBB237CC36C","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"bac883d785667a63a92fc8927c00d4d1184f1321","datavalue":{"value":{"entity-type":"item","numeric-id":590084,"id":"Q590084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1930160$F117D886-7F08-4D48-9E7A-FBE65139B2F9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c8956ec5919d2fde3791b5b5f171aaf7f5f62031","datavalue":{"value":"20H20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1930160$5C92918C-E9E6-47E4-97B3-CAC1691CB762","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1930160$272D154B-4611-44D9-BAAD-9331DD55059A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f96720fe29e309c34c82deec20bd95823bb71652","datavalue":{"value":"20-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1930160$1E7A0BBD-E135-4177-B55D-CDFBFC4EC281","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"db0a5af313dba56e9e1fe7dcd6697424e7c58df5","datavalue":{"value":"6124221","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1930160$8FBEEF95-4B52-406A-AAD9-4CCD9F239668","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1bebe8e1aca381464a431cfa26b3a0f41f056d8f","datavalue":{"value":"finitely generated linear groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1930160$D53CADA7-BABE-4243-8AD2-DD8B88567D92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d607627523840bd0bf4407097f29a3a99ef4a0a8","datavalue":{"value":"algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1930160$FA5E2223-11B9-488F-BEBD-395ADB84768B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe9577b8b40246e960643a6783be370ff0ab785f","datavalue":{"value":"finite linear groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1930160$BB059025-84A5-47DE-AA60-53AC6F5AFD1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bcd015ff20b79926648b417fbc962fb4bc3bc230","datavalue":{"value":"finiteness problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1930160$E4FC91A5-CDBE-4E79-B0FB-1144651AA145","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27638d630e18a79d37aae3ab247a2d08a15508a4","datavalue":{"value":"decision problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1930160$D886CB9A-1675-43F2-867C-F21EA4C1A170","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4fe03e5b78d9974ebdfc0233dbd377f30d5d075f","datavalue":{"value":{"entity-type":"item","numeric-id":13295,"id":"Q13295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1930160$C15D8E57-41B5-4F19-9276-99DF19173567","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":"Q1930160$7B272C40-BA10-4695-A787-08C57ABADCDC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3f18c773619eadb4d3d967e25871221d5b8d3eb3","datavalue":{"value":"W2017895203","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1930160$6ED64A11-2B45-4273-866C-A50DB87CF12C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"675ac67c52d75657905b843ae82b11bcb4e276b6","datavalue":{"value":"10.1016/J.JSC.2012.04.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1930160$70AA8DA1-A40D-4EC2-9374-C862B4F718E0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5896eadc8f2f66a700abc6e8575f4fa9b14e7a7e","datavalue":{"value":{"entity-type":"item","numeric-id":2267461,"id":"Q2267461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b419ccb73346aaa384bc81bd033d60fb9040b8c3","datavalue":{"value":{"amount":"+0.909207046031952","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":"Q1930160$E02AD932-146B-4812-B3B3-CEC5898FC9B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"601221d997bcdfed2dc4e14fb8ab23423571f000","datavalue":{"value":{"entity-type":"item","numeric-id":1023267,"id":"Q1023267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cdccf51f9e3ca94e937e94f2b704918ba6ffcf77","datavalue":{"value":{"amount":"+0.877143919467926","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":"Q1930160$FDE9BF57-A799-4072-BBD6-0715570BAA8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e644e19ba1db05f3df590d8e6dc7c9ffb2ec5746","datavalue":{"value":{"entity-type":"item","numeric-id":3101056,"id":"Q3101056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21a292d7f12a6c0e4eddb3dab97bffbfec33fa97","datavalue":{"value":{"amount":"+0.8699102997779846","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":"Q1930160$3857839E-6BF8-453B-B7CD-7BFCA04DBD87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d81759f753a7a243cd3cec85f05214281e9fe739","datavalue":{"value":{"entity-type":"item","numeric-id":1288492,"id":"Q1288492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8141acc686288c274d8447c26fecf604167a39a","datavalue":{"value":{"amount":"+0.8455370664596558","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":"Q1930160$66185D1A-C668-48E1-B332-D8529AAF7A55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed47449d19f9fbe7bec5f4857fa23a4353a54ae4","datavalue":{"value":{"entity-type":"item","numeric-id":4234184,"id":"Q4234184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"163a431d15e22b90505b264e532e77421f7af25b","datavalue":{"value":{"amount":"+0.8446886539459229","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":"Q1930160$0FBDAF66-944E-49CF-B3D3-03D4DA5F2223","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Recognizing finite matrix groups over infinite fields.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Recognizing_finite_matrix_groups_over_infinite_fields."}}}}}