On minimization theorems for polyadic groups \(H\)-derived from groups (Q1200954)

Let \(D(C)\) denote the class of all \(n\)-ary groups \(C\)-derived from all binary groups. We say that a condition \(C'\) is a modification of the condition \(C\) if \(D(C') = D(C)\). For a given condition \(C\) there exist many modifications. They may be either weaker or stronger than \(C\), but they may be uncomparable as well. However, for any condition \(C\) there exists a weakest modification called the minimalization of \(C\). Such minimalizations for different types of conditions are described.