|H| = 4 인 S4의 정규부분군 H 가 존재.
S4/H   ~=   S3 인가 혹은 Z6 인가?

일단 S3 인거 같은데 Z6도 맞나요?