G가 유한순환군이면
G의 cyclic 서브 그룹중에서 order 같은 그룹을 찾고

같은 서브그룹이고 같은 order면

같은 group이라고 볼수있으니까

서브그룹의 generator는 G의 generator 이다.
generator을 g라고하면


그리고 G의 원소중 product했을때

g를 만드는 원소들을 찾으면

예를들어 ab=g 이면
{a,b} 는 generator가 되는거잖어
좀 간단한 정리같은건 없나