SgpDec: cascade (de)compositions of finite transformation semigroups and permutation groups

DOI10.1007/978-3-662-44199-2_13zbMATH Open1403.20002arXiv1501.03217OpenAlexW18103541MaRDI QIDQ2879101FDOQ2879101

Authors: Attila Egri-Nagy, Chrystopher L. Nehaniv, J. D. Mitchell 

Publication date: 8 September 2014

Published in: Mathematical Software – ICMS 2014 (Search for Journal in Brave)

Abstract: We describe how the SgpDec computer algebra package can be used for composing and decomposing permutation groups and transformation semigroups hierarchically by directly constructing substructures of wreath products, the so called cascade products.

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

Recommendations

• scientific article; zbMATH DE number 988818
• scientific article; zbMATH DE number 3940736
• Computing with semigroups in GAP. -- A tutorial
• On factorisations and generators in transformation semigroups.
• Wreath decompositions of finite permutation groups

zbMATH Keywords

permutation groupwreath producttransformation semigroupKrohn-Rhodes theory

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Extensions, wreath products, and other compositions of groups (20E22) Semigroups of transformations, relations, partitions, etc. (20M20) Software, source code, etc. for problems pertaining to group theory (20-04)

Cited In (6)

• Symmetry structure in discrete models of biochemical systems: natural subsystems and the weak control hierarchy in a new model of computation driven by interactions
• SgpDec
• On the skeleton of a finite transformation semigroup.
• On groups generated by involutions of a semigroup.
• From relation to emulation and interpretation: computer algebra implementation of the covering lemma for finite transformation semigroups
• Philosophy of Computation

This page was built for publication: SgpDec: cascade (de)compositions of finite transformation semigroups and permutation groups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2879101)