Binary groups are a meaningful step up from non-associative rings and nearrings. It makes sense to study them in terms of their nearrings of zero-fixing polynomial maps. As this involves algebras of a more specialized nature these are looked into in sections three and four. One of the main theorems of this paper occurs in section five where it is shown that a binary group V is a P0(V) ring module if, and only if, it is a rather restricted form of non-associative ring. Properties of these non-associative rings (called terminal rings) are investigated in sections six and seven. The finite case is of special interest since here terminal rings of odd order really are quite restricted. Sections eight to thirteen are taken up with the study of terminal rings of order pn (p an odd prime and n ≥ 1 an integer ≤ 7).
E.Aichinger. Congruence lattices forcing nilpotency. J. Algebra Appl., 17(2):1850033, 2018.