离散数学上机内容,判断一个代数系统是否是群