Deciding finiteness for matrix groups over function fields

DOI10.1007/BF02775029MaRDI QIDQ1288492zbMATH OpenOpenAlexFDO

Authors Daniel N. Rockmore, Robert Beals, Ki-Seng Tan

Publication date 14 December 1999

Published in Israel Journal of Mathematics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf02775029

zbMATH Keywords

deterministic algorithmsfiniteness of finitely generated subgroupsfunction fieldsmatrix groupsrandomized algorithms

Mathematics Subject Classification ID

Software, source code, etc. for problems pertaining to group theory (20-04) Subgroup theorems; subgroup growth (20E07) Generators, relations, and presentations of groups (20F05) Other matrix groups over fields (20H20)

Review text

This paper is devoted to the problem of deciding if a finitely generated subgroup of \(\text{GL}(n,\mathbb{F}(t))\) is finite. When \(\mathbb{F}\) is a number field, it may be easily reduced to the same problem for subgroups of \(\text{GL}(n,\mathbb{F})\), for which the results of \textit{L. Babai, R. Beals} and \textit{D. Rockmore} [M. Bronstein (ed.), ISSAC'93, Proceedings of the 1993 International Symposium on Symbolic and Algebraic Computation, ACM Press, Baltimore, 117-126 (1993)] can be applied. When \(\mathbb{F}\) is finite, the problem is more subtle. The authors give a structure theorem and upper bounds on the size of a finite subgroup generated by a fixed number of generators. This leads to exponential deterministic algorithms for deciding finiteness as well as some preliminary results towards more efficient randomized algorithms.

Recommendations

• scientific article; zbMATH DE number 1263310
• On deciding finiteness of matrix groups.
• On Deciding Finiteness for Matrix Groups over Fields of Positive Characteristic
• Deciding finiteness of matrix groups in positive characteristic.

Cites work

• A Recognition Algorithm for Special Linear Groups
• Discrete groups of unitary isometries and balls in hyperbolic manifolds
• scientific article; zbMATH DE number 1001857 (Why is no real title available?)
• scientific article; zbMATH DE number 3884354 (Why is no real title available?)
• scientific article; zbMATH DE number 3682014 (Why is no real title available?)
• scientific article; zbMATH DE number 3758571 (Why is no real title available?)
• scientific article; zbMATH DE number 25617 (Why is no real title available?)
• scientific article; zbMATH DE number 1263310 (Why is no real title available?)
• scientific article; zbMATH DE number 1306891 (Why is no real title available?)
• scientific article; zbMATH DE number 1004941 (Why is no real title available?)
• scientific article; zbMATH DE number 3445421 (Why is no real title available?)
• On the Analogue of the Modular Group in Characteristic p

Cited in

(10)

• On deciding finiteness of matrix groups.
• A note on the order of finite subgroups of \(\text{GL}(n,\mathbb{Z})\)
• Recognizing finite matrix groups over infinite fields.
• Deciding finiteness of matrix groups in positive characteristic.
• Linear groups and computation
• Quantum automata and algebraic groups
• scientific article; zbMATH DE number 1263310 (Why is no real title available?)
• scientific article; zbMATH DE number 742945 (Why is no real title available?)
• On Deciding Finiteness for Matrix Groups over Fields of Positive Characteristic
• Deciding finiteness for matrix semigroups over function fields over finite fields. A note on a paper by Rockmore, Tan, and Beals

This page was built for publication: Deciding finiteness for matrix groups over function fields

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1288492)