On deciding finiteness of matrix groups

A. S. Detinko; D. L. Flannery

doi:10.1016/j.jsc.2009.02.001

On deciding finiteness of matrix groups

A. S. Detinko, D. L. Flannery

University of Galway

Research output: Contribution to journal › Article › peer-review

8 Citations (Scopus)

Abstract

We provide a new, practical algorithm for deciding finiteness of matrix groups over function fields of zero characteristic. The algorithm has been implemented in GAP. Experimental results and extensions of the algorithm to any field of zero characteristic are discussed.

Original language	English
Pages (from-to)	1037-1043
Number of pages	7
Journal	Journal of Symbolic Computation
Volume	44
Issue number	8
Early online date	27 Feb 2009
DOIs	https://doi.org/10.1016/j.jsc.2009.02.001
Publication status	Published - 1 Aug 2009
Externally published	Yes

Access to Document

10.1016/j.jsc.2009.02.001Licence: Other

Cite this

@article{f80ddbca486141e387b06b6b0797118b,

title = "On deciding finiteness of matrix groups",

abstract = "We provide a new, practical algorithm for deciding finiteness of matrix groups over function fields of zero characteristic. The algorithm has been implemented in GAP. Experimental results and extensions of the algorithm to any field of zero characteristic are discussed.",

keywords = "Algorithm, Finiteness problem, Function field, Matrix group",

author = "Detinko, \{A. S.\} and Flannery, \{D. L.\}",

note = "Funding Information: Supported in part by Science Foundation Ireland, grant 08/RFP/MTH1331. E-mail addresses: [email protected] (A.S. Detinko), [email protected] (D.L. Flannery). 1 Tel.: +353 91 492332; fax: +353 91 494542. Copyright: Copyright 2009 Elsevier B.V., All rights reserved.",

year = "2009",

month = aug,

day = "1",

doi = "10.1016/j.jsc.2009.02.001",

language = "English",

volume = "44",

pages = "1037--1043",

journal = "Journal of Symbolic Computation",

issn = "0747-7171",

publisher = "Academic Press",

number = "8",

}

TY - JOUR

T1 - On deciding finiteness of matrix groups

AU - Detinko, A. S.

AU - Flannery, D. L.

N1 - Funding Information: Supported in part by Science Foundation Ireland, grant 08/RFP/MTH1331. E-mail addresses: [email protected] (A.S. Detinko), [email protected] (D.L. Flannery). 1 Tel.: +353 91 492332; fax: +353 91 494542. Copyright: Copyright 2009 Elsevier B.V., All rights reserved.

PY - 2009/8/1

Y1 - 2009/8/1

N2 - We provide a new, practical algorithm for deciding finiteness of matrix groups over function fields of zero characteristic. The algorithm has been implemented in GAP. Experimental results and extensions of the algorithm to any field of zero characteristic are discussed.

AB - We provide a new, practical algorithm for deciding finiteness of matrix groups over function fields of zero characteristic. The algorithm has been implemented in GAP. Experimental results and extensions of the algorithm to any field of zero characteristic are discussed.

KW - Algorithm

KW - Finiteness problem

KW - Function field

KW - Matrix group

UR - https://www.scopus.com/pages/publications/67349142585

U2 - 10.1016/j.jsc.2009.02.001

DO - 10.1016/j.jsc.2009.02.001

M3 - Article

AN - SCOPUS:67349142585

SN - 0747-7171

VL - 44

SP - 1037

EP - 1043

JO - Journal of Symbolic Computation

JF - Journal of Symbolic Computation

IS - 8

ER -

On deciding finiteness of matrix groups

Abstract

Access to Document

Other files and links

Fingerprint

Cite this