In the present paper we construct the accompanying identity of a given quasigroup identity . After that we deduce the main result: is isotopically invariant (i.e., for every guasigroup it holds that if is satisfied in then is satisfied in every quasigroup isotopic to ) if and only if it is equivalent to (i.e., for every quasigroup it holds that in either are both satisfied or both not).
We deal with two types of buildups of 3-configurations: a generating buildup over a given edge set and a regulated one (according to maximal relative degrees of vertices over a penetrable set of vertices). Then we take account to minimal generating edge sets, i.e., to edge bases. We also deduce the fundamental relation between the numbers of all vertices, of all edges from edge basis and of all terminal elements. The topic is parallel to a certain part of Belousov' “Configurations in algebraic...
There is described a procedure which determines the quasigroup identity corresponding to a given 3-coloured 3-configuration with a simple edge basis.
There are investigated some closure conditions of Thomsen type in 3-webs which gurantee that at least one of coordinatizing quasigroups of a given 3-web is commutative.
Page 1