The completion of finite incomplete Steiner triple systems with applications to loop theory

Abstract We show that every finite incomplete Steiner triple system (totally symmetric loop) can be embedded in a finite complete triple system (totally symmetric loop).