Center for Mathematics, University of Coimbra

Funder

Organizational Unit

Publications

On the classification of Schreier extensions of monoids with non-abelian kernel

Publication . Martins-Ferreira, Nelson; Montoli, Andrea; Patchkoria, Alex; Sobral, Manuela

We show that any regular (right) Schreier extension of a monoid M by a monoid A induces an abstract kernel Φ: M → End(A)/Inn(A) . If an abstract kernel factors through SEnd(A)/Inn(A) , where SEnd(A) is the monoid of surjective endomorphisms of A, then we associate to it an obstruction, which is an element of the third cohomology group of M with coefficients in the abelian group U(Z(A)) of invertible elements of the center Z(A) of A, on which M acts via Φ. An abstract kernel Φ: M → SEnd(A)/Inn(A) (resp. Φ: M → Aut(A)/Inn(A) ) is induced by a regular weakly homogeneous (resp. homogeneous) Schreier extension of M by A if and only if its obstruction is zero.We also show that the set of isomorphism classes of regular weakly homogeneous (resp. homogeneous) Schreier extensions inducing a given abstract kernel Φ: M → SEnd(A)/Inn(A) (resp. Φ: M → Aut(A)/Inn(A) ), when it is not empty, is in bijection with the second cohomology group of M with coefficients in U(Z(A)).

2020Journal article

Open access

Cancellative conjugation semigroups and monoids

Publication . Garrão, A. P.; Martins-Ferreira, Nelson; Raposo, M.; Sobral, M.

We show that the category of cancellative conjugation semigroups is weakly Mal’tsev and give a characterization of all admissible diagrams there. In the category of cancellative conjugation monoids we describe, for Schreier split epimorphisms with codomain B and kernel X, all morphisms h: X→ B which induce a reflexive graph, an internal category or an internal groupoid. We describe Schreier split epimorphisms in terms of external actions and consider the notions of precrossed semimodule, crossed semimodule and crossed module in the context of cancellative conjugation monoids. In this category we prove that a relative version of the so-called “Smith is Huq” condition for Schreier split epimorphisms holds as well as other relative conditions.

2019-11-21Journal article

Open access