Algorithms for the Tits alternative and related problems

A. S. Detinko; D. L. Flannery; E. A. O'Brien

doi:10.1016/j.jalgebra.2011.06.036

Algorithms for the Tits alternative and related problems

A. S. Detinko
, D. L. Flannery
, E. A. O'Brien

Mathematics

Research output: Contribution to a Journal (Peer & Non Peer) › Article › peer-review

14 Citations (Scopus)

Abstract

We present an algorithm to decide whether a finitely generated linear group over an infinite field is solvable-by-finite, thereby obtaining a computationally effective version of the Tits alternative. We also give algorithms to decide whether the group is nilpotent-by-finite, abelian-by-finite, or central-by-finite. Implementations of the algorithms are publicly available in Magma.

Original language	English
Pages (from-to)	397-406
Number of pages	10
Journal	Journal of Algebra
Volume	344
Issue number	1
DOIs	https://doi.org/10.1016/j.jalgebra.2011.06.036
Publication status	Published - 15 Oct 2011

Keywords

Algorithm
Decision problems
Finitely generated linear group
Solvable-by-finite group

Access to Document

10.1016/j.jalgebra.2011.06.036

Cite this

@article{50621d217e5b4cb5ac9b97247e27267a,

title = "Algorithms for the Tits alternative and related problems",

abstract = "We present an algorithm to decide whether a finitely generated linear group over an infinite field is solvable-by-finite, thereby obtaining a computationally effective version of the Tits alternative. We also give algorithms to decide whether the group is nilpotent-by-finite, abelian-by-finite, or central-by-finite. Implementations of the algorithms are publicly available in Magma.",

keywords = "Algorithm, Decision problems, Finitely generated linear group, Solvable-by-finite group",

author = "Detinko, \{A. S.\} and Flannery, \{D. L.\} and O'Brien, \{E. A.\}",

year = "2011",

month = oct,

day = "15",

doi = "10.1016/j.jalgebra.2011.06.036",

language = "English",

volume = "344",

pages = "397--406",

journal = "Journal of Algebra",

issn = "0021-8693",

publisher = "Academic Press Inc.",

number = "1",

}

TY - JOUR

T1 - Algorithms for the Tits alternative and related problems

AU - Detinko, A. S.

AU - Flannery, D. L.

AU - O'Brien, E. A.

PY - 2011/10/15

Y1 - 2011/10/15

N2 - We present an algorithm to decide whether a finitely generated linear group over an infinite field is solvable-by-finite, thereby obtaining a computationally effective version of the Tits alternative. We also give algorithms to decide whether the group is nilpotent-by-finite, abelian-by-finite, or central-by-finite. Implementations of the algorithms are publicly available in Magma.

AB - We present an algorithm to decide whether a finitely generated linear group over an infinite field is solvable-by-finite, thereby obtaining a computationally effective version of the Tits alternative. We also give algorithms to decide whether the group is nilpotent-by-finite, abelian-by-finite, or central-by-finite. Implementations of the algorithms are publicly available in Magma.

KW - Algorithm

KW - Decision problems

KW - Finitely generated linear group

KW - Solvable-by-finite group

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

U2 - 10.1016/j.jalgebra.2011.06.036

DO - 10.1016/j.jalgebra.2011.06.036

M3 - Article

SN - 0021-8693

VL - 344

SP - 397

EP - 406

JO - Journal of Algebra

JF - Journal of Algebra

IS - 1

ER -

Algorithms for the Tits alternative and related problems

Abstract

Keywords

Access to Document

Other files and links

Fingerprint

Cite this