32 research outputs found
The computation of normalizers in permutation groups
AbstractWe describe the theory and implementation of an algorithm for computing the normalizer of a subgroup H of a group G, where G is defined as a finite permutation group. The method consists of a backtrack search through the elements of G, with a considerable number of tests for pruning branches of the search tree
Algorithms for polycyclic-by-finite groups
A set of fundamental algorithms for computing with polycyclic-by-finite groups is presented. Polycyclic-by-finite groups arise naturally in a number of contexts; for example, as automorphism groups of large finite soluble groups, as quotients of finitely presented groups, and as extensions of modules by groups. No existing mode of representation is suitable for these groups, since they will typically not have a convenient faithful permutation representation. A mixed mode is used to represent elements of such a group, utilising either a power-conjugate presentation or a polycyclic presentation for the elements of the normal subgroup, and a permutation representation for the elements of the quotient
Post's correspondence problem for hyperbolic and virtually nilpotent groups
Post's Correspondence Problem (the PCP) is a classical decision problem in
theoretical computer science that asks whether for pairs of free monoid
morphisms there exists any non-trivial
such that .
Post's Correspondence Problem for a group takes pairs of group
homomorphisms instead, and similarly asks
whether there exists an such that holds for non-elementary
reasons. The restrictions imposed on in order to get non-elementary
solutions lead to several interpretations of the problem; we consider the
natural restriction asking that and prove that
the resulting interpretation of the PCP is undecidable for arbitrary hyperbolic
, but decidable when is virtually nilpotent. We also study
this problem for group constructions such as subgroups, direct products and
finite extensions. This problem is equivalent to an interpretation due to
Myasnikov, Nikolev and Ushakov when one map is injective.Comment: 17 page
Languages associated with saturated formations of groups
In a previous paper, the authors have shown that Eilenberg's variety theorem can be extended to more general structures, called formations. In this paper, we give a general method to describe the languages corresponding to saturated formations of groups, which are widely studied in group theory. We recover in this way a number of known results about the languages corresponding to the classes of nilpotent groups, soluble groups and supersoluble groups. Our method also applies to new examples, like the class of groups having a Sylow tower.The authors are supported by Proyecto MTM2010-19938-C03-01 from MICINN (Spain). The first author acknowledges support from MEC. The second author is supported by the project ANR 2010 BLAN 0202 02 FREC. The third author was supported by the Grant PAID-02-09 from Universitat Politècnica de València