Embeddable partial groups

Philip Hackney, Justin Lynd, Edoardo Salati

We record a folklore theorem that says a partial group embeds in a group if and only if each word has at most one possible multiplication, regardless of choice of parenthesization.…