群论在计算机中的应用