Representation of involuted semigroups by binary relations
The paper studies tolerances and congruences on anticommutative conservative groupoids. These groupoids can be assigned in a one-to-one way to undirected graphs.
If is a group, and the operation is defined by then by direct verification is a quasigroup which satisfies the identity . Conversely, if one starts with a quasigroup satisfying the latter identity the group can be constructed, so that in effect is determined by its right division operation. Here the analogous situation is examined for a Moufang loop. Subtleties arise which are not present in the group case since there is a choice of defining identities and the identities produced by...
In this paper, we firstly introduce a special congruence relation U(μ, t) induced by a fuzzy ideal μ in a semigroup S. Then we define the lower and upper approximations based on a fuzzy ideal in semigroups. We can establish rough semigroups, rough ideals, rough prime ideals, rough fuzzy semigroups, rough fuzzy ideals and rough fuzzy prime ideals according to the definitions of rough sets and rough fuzzy sets. Furthermore, we shall consider the relationships among semigroups and rough semigroups,...