最小生成元集

如果果果果SG，且任何S的真子集的生成子群均不是G，则称S是G的极小生成元 集。任何一个生成子群都有一个极小生成元集。当当当S时，元素个数最少的生成元集称为最小生成元集。