in this paper we introduce and study an algebraic structure, namely grouplike. a grouplike is something between semigroup and group and its axioms are generalizations of the four group axioms. every grouplike is a semigroup containing the minimum ideal that is also a maximal subgroup (but the converse is not valid). the first idea of grouplikes comes from b-parts and $b$-addition of real number...

in this paper we give a characterization for all semigroups whose square is a group. moreover, we axiomatize such semigroups and study some relations between the class of these semigroups and grouplikes,introduced by the author. also, we observe that this paper characterizes and axiomatizes a class of homogroups (semigroups containing an ideal subgroup).  finally, several equivalent conditions ...

In this paper we introduce and study an algebraic structure, namely Grouplike. A grouplike is something between semigroup and group and its axioms are generalizations of the four group axioms. Every grouplike is a semigroup containing the minimum ideal that is also a maximal subgroup (but the converse is not valid). The first idea of grouplikes comes from b-parts and $b$-addition of real number...

In this paper we give a characterization for all semigroups whose square is a group. Moreover, we axiomatize such semigroups and study some relations between the class of these semigroups and Grouplikes,introduced by the author. Also, we observe that this paper characterizes and axiomatizes a class of Homogroups (semigroups containing an ideal subgroup).  Finally, several equivalent conditions ...

We extend the Larson–Sweedler theorem [10] to weak Hopf algebras by proving that a finite dimensional weak bialgebra is a weak Hopf algebra iff it possesses a non-degenerate left integral. We show that the category of modules over a weak Hopf algebra is autonomous monoidal with semisimple unit and invertible modules. We also reveal the connection of invertible modules to left and right grouplik...

We extend the Larson–Sweedler theorem for weak Hopf algebras by proving that a finite dimensional weak bialgebra is a weak Hopf algebra iff it possesses a non-degenerate left integral. We establish the autonomous monoidal category of the modules of a weak Hopf algebra A and show the semisimplicity of the unit and the invertible modules of A. We also reveal the connection of these modules to lef...

We show that for a discrete semigroup S there exists a uniquely determined complete Boolean algebra B(S) the algebra of clopen subsets of M(S). M(S) is the phase space of the universal minimal dynamical system for S and it is an extremally disconnected compact Hausdorff space. We deal with this connection of semigroups and complete Boolean algebras focusing on structural properties of these alg...

By left magma-$e$-magma, I mean a set containingthe fixed element $e$, and equipped by two binary operations "$cdot$", $odot$ with the property $eodot (xcdot y)=eodot(xodot y)$, namelyleft $e$-join law. So, $(X,cdot,e,odot)$ is a left magma-$e$-magmaif and only if $(X,cdot)$, $(X,odot)$ are magmas (groupoids), $ein X$ and the left $e$-join law holds.Right (and two-sided) magma-$e$-magmas are de...