Group-Joined-Semigroups and their structures

TL;DR

This paper explores the structure of group-$e$-semigroups, establishing their relations to homogroups and providing characterizations and examples of these algebraic structures.

Contribution

It introduces the concept of group-$e$-semigroups, proves their relation to homogroups, and characterizes conditions for being group-$e$-grouplike.

Findings

Every group-$e$-semigroup is a group-$e$-homogroup.

Necessary and sufficient conditions for a group-$e$-semigroup to be group-$e$-grouplike.

Characterizations of identical group-$e$-semigroups and examples like real $b$-group-grouplikes.

Abstract

Every semigroup containing an ideal subgroup is called a homogroup, and it is a grouplike if and only if it has only one central idempotent. On the other hand, a class of algebraic structures covering group-$e$-semigroups $(G,\cdot,e,\odot)$ has been recently introduced. Here $(G,\cdot,e)$ is a group, $(G,\odot)$ is a semigroup and the $e$-join laws $e\odot xy=e\odot x\odot y$ and $xy\odot e=x\odot y\odot e$ hold. This paper shows close relations among these algebraic structures and proves that every group-$e$-semigroup is a group-$e$-homogroup. Also, we give some necessary and sufficient conditions for a group-$e$-semigroup to be group-$e$-grouplike. As some results of the study, we prove several characterizations of identical group-$e$-semigroups, a class of homogroups, and give several examples such as real $b$-group-grouplikes and the Klein group-grouplike.