Abstract:
The previous paper was concerned with systems of equations over a certain family S of quasigroups. In that work a method of elimination of an outermost variable from the system of equations was suggested and it was shown that further elimination of variables requires that the family S of quasigroups satisfy the generalized distributive law (GDL). In this paper we describe families S that satisfy GDL. The results are applied to construct classes of easily solvable systems of equations.
Keywords:
systems of equations, Gaussian algorithm, quasigroups, generalized distributive law.