Some simplicial complexes of universal Osborn loops

Abstract

A loop is shown to be a universal Osborn loop if and only if it has a particular simplicial complex. A loop is shown to be a universal Osborn loop and obeys two new identities if and only if it has another particular simplicial complex. A universal Osborn loop and four of its isotopes are shown to form a rectangular pyramid in a $3$-dimensional space.