利用黑窗口对代数系统的相应的属性的判断,包括封闭性等属性 以及是否为群和特殊群