Applications of computational tools for finitely presented groups

Simple item page
dc.creatorHavas, George
dc.creatorRobertson, Edmund F.
dc.date1994-06-15
dc.date.accessioned2026-07-07T09:15:07Z
dc.date.available2026-07-07T09:15:07Z
dc.descriptionComputer based techniques for recognizing finitely presented groups are quite powerful. Tools available for this purpose are outlined. They are available both in stand-alone programs and in more comprehensive systems. A general computational approach for investigating finitely presented groups by way of quotients and subgroups is described and examples are presented. The techniques can provide detailed information about group structure. Under suitable circumstances a finitely presented group can be shown to be soluble and its complete derived series can be determined, using what is in effect a soluble quotient algorithm.
dc.descriptionTo appear in the Proceedings of the DIMACS Workshop on Computational Support for Discrete Mathematics, DIMACS Ser. in Discrete Math. and Theoret. Comput. Sci
dc.identifierhttps://arxiv.org/abs/math/9406207
dc.identifierhttp://arxiv.org/abs/math/9406207
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/152912
dc.subjectGroup Theory
dc.titleApplications of computational tools for finitely presented groups
dc.typetext

Files

Collections

arXiv