정규 부분군에 해당하는 글 1