어디는 G_i/G_(i+1)이 가환이면 되는데
어디는 저기에 단순군 조건까지 추가하던데...
뭐지
abelian group은 모든 subgroup이 normal이니까 G_i/G_(i+1)이 non-simple이라면 proper normal subgroup으로 잘라서 G_i랑 G_(i+1) 사이에 하나 더 추가한 걸 생각할 수 있음
그런 느낌이었군요..
abelian group은 모든 subgroup이 normal이니까 G_i/G_(i+1)이 non-simple이라면 proper normal subgroup으로 잘라서 G_i랑 G_(i+1) 사이에 하나 더 추가한 걸 생각할 수 있음
그런 느낌이었군요..