Neutral Elements, Fundamental Relations and n-Ary hypersemigroups

The main tools in the theory of n-ary hyperstructures are the fundamental relations. The fundamental relation on an n-ary hypersemigroup is defined as the smallest equivalence relation so that the quotient would be the n-ary semigroup. In this paper we study neutral elements in n-ary hypersemigroups and introduce a new strongly compatible equivalence relation on an n-ary hypersemigroup so that the quotient is a commutative n-ary semigroup. Also we determine some necessary and sufficient conditions so that this relation is transitive. Finally, we prove that this relation is transitive on an n-ary hypergroup with neutral (identity) element.