Z/nZ ~ Z_n 은 직관적으로도 Z를 n의 정수배를 기준으로 분할하면 나머지들을 일종의 representative로 생각할 수 있다~ 라는 식으로 이해가 잘 되는데요,
G/Z(G) ~ Inn(G)는 (Z(G)는 center) 식으로 증명해보면 쉽긴한데 직관적으로 잘 와닿지 않습니다...
어떻게 생각하면 좋을까요?
Z/nZ ~ Z_n 은 직관적으로도 Z를 n의 정수배를 기준으로 분할하면 나머지들을 일종의 representative로 생각할 수 있다~ 라는 식으로 이해가 잘 되는데요,
G/Z(G) ~ Inn(G)는 (Z(G)는 center) 식으로 증명해보면 쉽긴한데 직관적으로 잘 와닿지 않습니다...
어떻게 생각하면 좋을까요?
inner automorphism의 정의 아님?
아 저는 ig: G -> G defined by ig(x) = gxg^-1 for g in G라고만 알고있는데, 여기서 저 본문의 동형관계를 바로 생각하는게 제 머릿속으로는 자연스럽진 않은 것 같아서요
orbit stabilizer thm
단순히 first isomorphism theorem의 힘이라고 생각할 수도 있음. inner automorphism의 중요성은 그냥 님이 책을 더 읽어보면 알 수 있을듯