An L₂-quotient algorithm for finitely presented groups on arbitrarily many generators.

DOI10.1016/J.JALGEBRA.2014.08.058MaRDI QIDQ479797zbMATH OpenOpenAlexFDO

Authors Sebastian Jambor

Publication date 5 December 2014

Published in Journal of Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1402.6788

zbMATH Keywords

invariant theoryfinitely presented groupsrings of invariants\(L_2\)-quotient algorithmsvarieties of representations

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Actions of groups on commutative rings; invariant theory (13A50) Generators, relations, and presentations of groups (20F05) Software, source code, etc. for problems pertaining to group theory (20-04)

Abstract: We generalize the Plesken-Fabia'nska $mathrm{L}_2$-quotient algorithm for finitely presented groups on two or three generators to allow an arbitrary number of generators. The main difficulty lies in a constructive description of the invariant ring of $mathrmGL(2,K)$ on $m$ copies of $mathrmSL(2,K)$ by simultaneous conjugation. By giving this description, we generalize and simplify some of the known results in invariant theory. An implementation of the algorithm is available in the computer algebra system Magma.

Recommendations

• An L₂-quotient algorithm for finitely presented groups.
• Towards a soluble quotient algorithm
• A polycyclic quotient algorithm
• The \(p\)-group generation algorithm
• A finite soluble quotient algorithm

Cites work

• scientific article; zbMATH DE number 3739805 (Why is no real title available?)
• scientific article; zbMATH DE number 534859 (Why is no real title available?)
• scientific article; zbMATH DE number 682071 (Why is no real title available?)
• scientific article; zbMATH DE number 3305878 (Why is no real title available?)
• An L₂-quotient algorithm for finitely presented groups.
• C-groups of \(\mathrm{PSL}(2,q)\) and \(\mathrm{PGL}(2,q)\).
• Characters of free groups represented in the two-dimensional special linear group.
• Computing minimal associated primes in polynomial rings over the integers
• Computing with 2\(\times 2\) matrices
• Defining relations for the algebra of invariants of \(2\times 2\) matrices
• Determining Aschbacher classes using characters.
• Group actions on the cubic tree
• Invariants of several matrices
• On Coxeter's families of group presentations.
• On Special Linear Characters of Free Groups of Rank n ≧4
• On one-relator quotients of the modular group.
• Rings of Fricke characters and automorphism groups of free groups
• The Magma algebra system. I: The user language
• The groups \(G^{m,n,p}\).
• The invariant theory of n n matrices
• Writing projective representations over subfields.
• 𝑆𝐿(2) Representations of Finitely Presented Groups

Cited in

(8)

• Universal covers of finite groups
• Algorithms determining finite simple images of finitely presented groups
• On non-surjective word maps on \(\mathrm{PSL}_2(\mathbb{F}_q)\)
• An L₂-quotient algorithm for finitely presented groups.
• Link indices of Hurwitz maps
• A method for building permutation representations of finitely presented groups
• Projective linear groups as automorphism groups of chiral polytopes
• C-groups of \(\mathrm{PSL}(2,q)\) and \(\mathrm{PGL}(2,q)\).

Describes a project that uses

Uses Software

• QuillenSuslin
• Magma

This page was built for publication: An \(L_2\)-quotient algorithm for finitely presented groups on arbitrarily many generators.

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