Related papers: Cancellative conjugation semigroups and monoids

A split extension of monoids with kernel $k \colon N \to G$, cokernel $e \colon G \to H$ and splitting $s \colon H \to G$ is Schreier if there exists a unique set-theoretic map $q \colon G \to N$ such that for all $g \in G$, $g = kq(g)…

Let $\mathcal P(S)$ be the semigroup obtained by equipping the family of all non-empty subsets of a (multiplicatively written) semigroup $S$ with the operation of setwise multiplication induced by $S$ itself. We call a subsemigroup $P$ of…

We explore a hierarchy of notions in categorical algebra: Mal'tsev categories (where every reflexive relation is symmetric); naturally Mal'tsev categories (where every reflexive graph underlies a unique internal groupoid structure, also…

We prove that the category of cocommutative bialgebras in any symmetric monoidal category (that has equalizers) is an S-protomodular category with respect to a particular class of split extensions of cocommutative bialgebras. We also obtain…

In the context of regular unital categories we introduce an intrinsic version of the notion of a Schreier split epimorphism, originally considered for monoids. We show that such split epimorphisms satisfy the same homological properties as…

In this paper, we generalizing the main result in Liu[10] to weak Hopf coquasigroups case. We first define and study group-cograded weak Hopf quasigroups, which generalize both group-cograded Hopf quasigroups and weak Hopf group-coalgebras.…

We compare the 'Smith is Huq' condition (SH) with three commutator conditions in semi-abelian categories: first an apparently weaker condition which arose in joint work with Bourn and turns out to be equivalent with (SH), then an apparently…

In this paper, we discuss the cancellation and splitting of the symplectic modules. The symplectic cancellation result presented here can be thought of as an analog of the Projective module cancellation result of Fasel. The symplectic…

This article considers the category of commutative medial magmas with cancellation, a structure that generalizes midpoint algebras and commutative semigroups with cancellation. In this category each object admits at most one internal monoid…

A split extension of monoids with kernel k: N -> G, cokernel e: G -> H and splitting s: H -> G is weakly Schreier if each element g in G can be written g = k(n)se(g) for some n in N. The characterization of weakly Schreier extensions allows…

Let R be a commutative ring, M an R-module, and N a finitely presented R-module such that the intersection of Max(R) and Supp(N) is finite-dimensional and Noetherian. Suppose also that N is homothetic; in other words, suppose that the…

For a given category B we are interested in studying internal categorical structures in B. This work is the starting point, where we consider reflexive graphs and precategories (i.e., for the purpose of this note, a simplicial object…

In this work we study the notion of Whitehead sequence in the category of crossed modules and actions of crossed modules. As expected, Whitehead sequences in that context are the same as crossed squares. We investigate under which…

We obtain a partial classification of the finite groups $G$ for which the integral group ring $\mathbb{Z} G$ has projective cancellation, i.e. for which $P \oplus \mathbb{Z} G \cong Q \oplus \mathbb{Z} G$ implies $P \cong Q$ for projective…

This article gives an overview of some key categorical-algebraic properties of the variety of Heyting semilattices, with the aim of correcting a misconception in the literature. We confirm that the category of Heyting semilattices is not…

It is known that an inverse monoid $M$ is E-unitary if and only if the following diagram is an extension: $E(M) \to M \to M/\sigma$, where $E(M)$ is the semilattice of idempotents and $M/\sigma$ is the minimal group quotient. F-inverse…

We give explicit axioms for the algebraic theory of the quasivarieties of right-preordered groups and preordered groups. We then look at lattices of effective equivalence relations, which turn out to be similar to the lattices of…

We study finitely generated pairs of groups $H \leq G$ such that the Schreier graph of $H$ has at least two ends and is \emph{narrow}. Examples of narrow Schreier graphs include those that are quasi-isometric to finitely ended trees or have…

Graph inverse semigroups generalize the polycyclic inverse monoids and play an important role in the theory of C*-algebras. This paper has two main goals: first, to provide an abstract characterization of graph inverse semigroups; and…

A semigroup S containing a zero element is said to be 0-left cancellative if st = sr \neq 0 implies that t = r. Given such an S we build an inverse semigroup H(S), called the inverse hull of S. Motivated by the study of certain C*-algebras…