>>616,621
http://www32.ocn.ne.jp/~graph_puzzle/1no47.htm
の下1/3あたり
> 基本関係式とは、生成元の間に成り立つ式の組であり、
> それらの式を満たす生成元を持つ群の構造が一意に決まってしまうと言うものである。