Tests for loop nuclei and a new criterion for a Latin square to be group-based

We give a new and simple criterion for a Latin square to be group-based and we provide easy-to-implement tests for whether a given element of a loop lies in any one of its three nuclei.