평소 같으면 보고 별 생각 안들고 넘어갈 lagrange정리가
졸라 이상하더라고...
Finite gp하고 subgp이 있을 때 원래 gp을 남는 원소 하나도 없이 정확히 subgp의 coset으로 쪼갤 수 있다는 건데
대체 이런 일이 subgp 또는 coset의 어떤 성질 때문에 발생한건가요??
+ 앞으로 생각 좀 하며 공뷰해야지ㅠㅠㅠ
졸라 이상하더라고...
Finite gp하고 subgp이 있을 때 원래 gp을 남는 원소 하나도 없이 정확히 subgp의 coset으로 쪼갤 수 있다는 건데
대체 이런 일이 subgp 또는 coset의 어떤 성질 때문에 발생한건가요??
+ 앞으로 생각 좀 하며 공뷰해야지ㅠㅠㅠ
흐으음. 본질적으로는 left multiplication 때문아닐까 이 대응이 모든걸 아다리 맞게 하는것같음
최소한의 검증을 안해본거 아닐까? H와 aH가 같은 원소를 공유한다면 결국 a는 H에 속하게 된다, 는 논리를 이용해서 coset들이 partition임을 생각하면 되겠지
아마 책 보면 라그랑주 앞에 코셋에 관한 몇 가지 성질에 대한 증명 있을 거임 그 부분 다시 꼼꼼히 읽어보셈
라그랑주 정리 증명 안봤음??
대수에 라그랑주 정리 증명이 안나오는게 있나??