Classifying Identities: Subcubic Distributivity Checking and Hardness from Arithmetic Progression Detection

Bartłomiej Dudek, Nick Fischer, Geri Gokaj +4

We revisit the complexity of verifying basic identities, such as associativity and distributivity, on a given finite algebraic structure. In particular, while Rajagopalan and Schul…