Classification of Dual Distributive Hyperidentities in Divisible Algebras

The paper provides a classification of nontrivial dual hyperidentities of the left and right distributivity satisfied in functionally nontrivial divisible algebras. If the nontrivial dual hyperidentities of the left and right distributivity hold in a functionally nontrivial divisible algebra, then the hyperidentity of the left distributivity is of rank two and is (equivalent to the hyperidentity) of the form $$X(x,Y(y,z))=Y(X(x,y),X(x,z)),$$ while the hyperidentity of the right distributivity is the hyperidentity of rank two and is (equivalent to the hyperidentity) of the form $$X(Y(x,y),z)=Y(X(x,z),X(y,z)).$$ For the classification of nontrivial hyperidentities of the left and right distributivity satisfying in functionally nontrivial $$q$$ -algebras, see [1–4].