Related papers: On Intra-Regular Left Almost Semihypergroups with …

A characterization of congruences in free semigroups is presented.

For a hierarchically hyperbolic group, we provide sufficient conditions under which suitable powers of a finite collection of elements generate a right-angled Artin subgroup. Under additional hypotheses, we further show that this subgroup…

In this article, we show that a group $G$ is the union of two proper subsemigroups if and only if $G$ has a nontrivial left-orderable quotient. Furthermore, if $G$ is the union of two proper semigroups, then there exists a minimum normal…

We characterize left and right amenable semigroups of polynomials of one complex variable with respect to the composition operation. We also prove a number of results about amenable semigroups of arbitrary rational functions. In particular,…

A subspace H of a Leibniz algebra L is called a quasi-ideal if [H;K] + [K;H] \subseteq H + K for every subspace K of L. They include ideals and subalgebras of codimension one in L. Quasi-ideals of Lie algebras were classified in two…

An automorphism $\alpha$ of a group $G$ is normal if it fixes every normal subgroup of $G$ setwise. We give an algebraic description of normal automorphisms of relatively hyperbolic groups. In particular, we prove that for any relatively…

We study different notions of quasiconvexity for a subgroup $H$ of a relatively hyperbolic group $G.$ The first result establishes equivalent conditions for $H$ to be relatively quasiconvex. As a corollary we obtain that the relative…

For a real semisimple Lie algebra, we consider its automorphism group quotient by its identity component. This is known as the outer automorphism group. In this article, we compute the outer automorphism groups of all real semisimple Lie…

The aim of writing this paper is given in the title. The results on semigroups can be easily transferred to hyper-semigroups in the way indicated in the present paper.

A subsemigroup S of a semigroup Q is a local left order in Q if, for every maximal subgroup H of Q, the intersection of S with H is a local left order in the sense of group theory. That is, every q in H can be written as a#b for some a,b in…

Let K be a field of positive characteristic p, let R be either a group algebra K[G] or a restricted enveloping algebra u(L), and let I be the augmentation ideal of R. We first characterize those R for which I satisfies a polynomial identity…

The concept of a k-translatable groupoid is explored in depth. Some properties of idempotent k-translatable groupoids, left cancellative k-translatable groupoids and left unitary k-translatable groupoids are proved. Necessary and sufficient…

An almost inner derivation of a Lie algebra $L$ is a derivation that coincides with an inner derivation on each one-dimensional subspace of $L$. The almost inner derivations form a subalgebra ${aDer}(L)$ of the Lie algebra ${Der}(L)$ of all…

An associative ring $R$ with identity is left pseudo-morphic if for every $a$$\in$$R$, there exists $b$$\in$$R$ such that $Ra=l_R(b)$. If, in addition, $l_R(a)=Rb$, then $R$ is called left morphic. $R$ is morphic if it is both left and…

Let $S$ be a semigroup, $\Lambda$ a non-empty set and $P$ a mapping of $\Lambda$ into $S$. The set $S\times \Lambda$ together with the operation $\circ _P$ defined by $(s, \lambda)\circ _P(t, \mu )=(sP(\lambda)t, \mu )$ form a semigroup…

Let $S$ be a semigroup and $\mathbb F$ be a field. For an ideal $J$ of the semigroup algebra ${\mathbb F}[S]$ of $S$ over $\mathbb F$, let $\varrho _J$ denote the restriction (to $S$) of the congruence on ${\mathbb F}[S]$ defined by the…

We consider the general question of how the homological finiteness property left-FPn holding in a monoid influences, and conversely depends on, the property holding in the substructures of that monoid. In particular we show that left-FPn is…

We characterize intra-regular Abel-Grassmann's groupoids by the properties of their ideals and $(\in ,\in!\vee q_{k})$-fuzzy ideals of various types.

This paper considers numerical semigroups $S$ that have a non-principal relative ideal $I$ such that $\mu_S(I)\mu_S(S-I)=\mu_S(I+(S-I)) $. We show the existence of an infinite family of such which $I+(S-I)=S\backslash\{0\}$. We also show…

The inclusion ideal graph $\mathcal{I}n(S)$ of a semigroup $S$ is an undirected simple graph whose vertices are all nontrivial left ideals of $S$ and two distinct left ideals $I, J$ are adjacent if and only if either $I \subset J$ or $J…