Some results on congruences on semihypergroups.
For a positive integer , the usual definitions of -quasigroups are rather complicated: either by combinatorial conditions that effectively amount to Latin -cubes, or by identities on different -ary operations. In this paper, a more symmetrical approach to the specification of -quasigroups is considered. In particular, ternary quasigroups arise from actions of the modular group.