The NAFIL is a finite loop in which every element has a unique
(two-sided)inverse. NAFIL loops can be classified into two types: composite
(with at least one non-trivial subsystem) and non-composite or plain (without
any non-trivial subsystem). This paper deals with the structure of these loops.
In particular we shall introduce an important class of composite NAFIL loops
called block products.
The existence of NAFIL loops of every odd order n => 5 is established by
construction. These are non-associative finite invertible loops that are simple
and power-associative and they form an infinite family. The first member of
this family is the NAFIL loop of order n = 5 which is known to define a Lie
algebra with some possible applications in particle physics.
The existence of NAFIL loops of every odd order n => 5 is established by
construction. These are non-associative finite invertible loops that are simple
and power-associative and they form an infinite family. The first member of
this family is the NAFIL loop of order n = 5 which is known to define a Lie
algebra with some possible applications in particle physics.