This is more like a question about terminology. I would like to hear some recommendations of books that discuss algebraic structures with one partially defined associative binary operation, and the process of "completing" the binary operation.
Here's the particular situation I'm interested in. Suppose $C$ is a set, and $\cdot$ is a partially defined binary operation on $C$ that is associative in the following sense: for $a, b, c \in C$, if $ab$ and $bc$ are defined, then $(ab)c$ and $a(bc)$ are defined and equal.
Completing the binary operation is essentially the same as "embedding" $C$ into a semigroup. This can be done as follows.
Let $\overline C = C \cup \{\infty\}$ where $\infty$ is not a member of $C$. Extend the binary operation by:
- If $ab$ is not defined in $C$, then $ab = \infty$.
- $a\infty = \infty$.
- $\infty a = \infty$.
- $\infty\infty = \infty$.
$\overline C$ is the semigroup that I am interested in. Since this construction seems quite natural, I would like to ask if it has a name, and I would really appreciate if you could recommend books that discuss this construction and related ones.
Here's one example of why I'm interested in this construction:
If $C$ is a category with a zero object, the collection of zero morphisms plus $\infty$ would be an ideal in $\overline C$. (Here, members of $C$ are morphisms, not objects. Objects are identified with identity morphisms.)
Obviously, one could define ideals in $C$ without mentioning $\overline C$, but it is a little more cumbersome:
A subset $I$ of $C$ is an ideal of $C$ if for $c \in C$ and $i \in I$,
- If $ci$ is defined, then $ci \in I$.
- If $ic$ is defined, then $ic \in I$.
With this definition, we can also say that the collection of zero morphisms in $C$ is an ideal.
However, I feel that this definition of ideal is quite cumbersome because I have to put the condition "if the operation is defined" in every sentence.
There are several articles of Lyapin on the topic. Here are some of them (they were translated into English):
E. S. Lyapin, The possibility of semigroup continuation of a partial groupoid. Izv. Vyssh. Uchebn. Zaved. Mat., 1989, no. 12, 68–70.
E. S. Lyapin, Partial groupoids that can be obtained from semigroups by restrictions and homomorphisms. Izv. Vyssh. Uchebn. Zaved. Mat., 1989, no. 10, 30–36.
E. S. Lyapin, Internal extension of partial actions to complete associative ones Izv. Vyssh. Uchebn. Zaved. Mat., 1982, no. 7, 40–44.