法能对给出的两个字 "u", "v" 确定 "u" 和 "v" 是否描述了群中的同一个元素。
自由积.如果 "G" 有展示 <"S"|"R"> 而 "H" 有展示 <"T"|"Q">，并有着 "S" 和 "T" 是不相交的，则自由积"G * H" 有展示 <"S,T"|"R,Q">。
直积.如果 "G" 有展示 <"S"|"R"> 而 "H" 有展示 <"T"|"Q">，并有着 "S"和 "T" 是不相交的，则 "G" 和 "H" 的直积有展示 <"S