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

Mathematics

University of Galway

Research output: Contribution to a Journal (Peer & Non Peer) › 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
DOIs	https://doi.org/10.1016/j.jsc.2009.02.001
Publication status	Published - Aug 2009

Keywords

Algorithm
Finiteness problem
Function field
Matrix group

Access to Document

10.1016/j.jsc.2009.02.001

Cite this

@article{d72deaf3f54440aba7933607a90cc175,

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.\}",

year = "2009",

month = aug,

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.

PY - 2009/8

Y1 - 2009/8

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

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

Keywords

Access to Document

Other files and links

Fingerprint

Cite this