Abstract
This chapter has considered the tasks of computing images and preimages of elements and subgroups under homomorphisms. In particular, it deals with the task of computing the kernel of the homomorphism. Most attention is given to the natural homomorphisms of a permutation group that arise from invariant subsets and partitions of the points, but the chapter also considers general homomorphisms defined in terms of the images of the group generators.
The algorithms determine a base and strong generating set of the subgroups constructed as kernels, images, or preimages. They are efficient, and the most expensive component in their execution is the base change algorithm.
Homomorphisms play an important role in divide- and-conquer algorithms for permutation groups, as the reader will see in the following chapters.
Preview
Unable to display preview. Download preview PDF.
Editor information
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
(1991). Homomorphisms. In: Butler, G. (eds) Fundamental Algorithms for Permutation Groups. Lecture Notes in Computer Science, vol 559. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-54955-2_34
Download citation
DOI: https://doi.org/10.1007/3-540-54955-2_34
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-54955-0
Online ISBN: 978-3-540-46607-9
eBook Packages: Springer Book Archive