The following book chapter has been published:
El siguiente capítulo de libro ha sido publicado:
El capítol de llibre següent ha sigut publicat:

A. Ballester-Bolinches, V. Pérez-Calabuig.
On kernels of finite semigroups.
Overlapping of mathematics and humanities, 221-239, Quad. Mat., 20, Aracne, Rome, 2017.

ISBN 978-88-255-0237-4

Abstract:

A reduction theorem for the computability of the kernel of a finite semigroup associated to a variety of finite groups is presented in this survey article. This result turns out to be crucial in the proof of the computability of the prosoluble closure of a finitely generated subgroup of a free group.

2020 Mathematics Subject Classification: 20-02, 20M07.