Computing transformation semigroups

  • Authors:

  • S. A. Linton;G. Pfeiffer;E. F. Robertson;N. Ruskuc

  • Affiliations:

  • Univ. of St. Andrews, Scotland;National Univ. of Ireland, Galway;Univ. of St. Andrews, Scotland;Univ. of St. Andrews, Scotland

  • Venue:
  • Journal of Symbolic Computation
  • Year:
  • 2002

Quantified Score

Hi-index 0.00

Visualization

Abstract

This paper describes algorithms for computing the structure of finite transformation semigroups. The algorithms depend crucially on a new data structure for an R -class in terms of a group and an action. They provide for local computations, concerning a single R -class, without computing the whole semigroup, as well as for computing the global structure of the semigroup. The algorithms have been implemented in the share package MONOID within the GAP system for computational algebra. Copyright 2002 Academic Press