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

DOI10.1016/J.JALGEBRA.2014.08.058zbMATH Open1315.20034arXiv1402.6788OpenAlexW2963321038MaRDI QIDQ479797FDOQ479797

Authors: Sebastian Jambor 

Publication date: 5 December 2014

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

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.

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

Recommendations

• An \(L_2\)-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

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)

Cites Work

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

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_2\)-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)\).

Uses Software

• Magma
• QuillenSuslin

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)