Noncommutative infinitary semigroups

Abstract

Various kinds of infinitary operations satisfying forms of associativity have been considered in the literature by various authors, including A. Tarski, C. Karp, J. H. Conway, D. Krob, N. Bedon, and C. Rispal. Applications include the arithmetics of binary relations, quasigroups, and automata theory, We present a general definition for an infinitary noncommutative partial semigroup; the definition extends and encompasses all the previous notions. In particular, we show that new phenomena occur in the noncommutative case, giving rise to a somewhat richer (and, by the way, more difficult) theory.