>>355
見やすい条件は、特に知られていない。

言い換えると、ある表があたえられたとき、それが群表であるか
（特に、結合率を満たすか）、をチェックするのは、本質的には
全部の３つ組について確かめるくらいしか知られていない。