Computing relative Abelian kernels of finite monoids. (Q2509275)

Let \(H\) be a pseudovariety of finite Abelian groups. The \(H\)-kernel \(K_H(S)\) of a finite semigroup \(S\) is the intersection of the inverse images of the idempotent for all relational morphisms \(S\to A\) into arbitrary \(A\in H\). While \textit{B. Steinberg} [Bull. Aust. Math. Soc. 60, No. 3, 391-402 (1999; Zbl 0946.20041)] had already established that the function \(K_H\) is computable if and only if \(H\) has decidable membership problem, the paper describes specific algorithms to compute \(K_H\) as well as their implementation in the GAP system.