유한군의 부분군 판정법에 관해
[math]\displaystyle{ a \in H }[/math]이겠죠? 그리고 eG가 H에 있는지 아직 모르는 거 아닌가요~
그냥 a를 왼쪽에 곱하는 함수 [math]\displaystyle{ \lambda_a }[/math]가 H의 원소를 permute하므로(∵ 곱셈에 대해 닫혀 있고, 유한집합임), [math]\displaystyle{ \left(\lambda_a\right)^{-1} a \in H }[/math]가 eG이고, [math]\displaystyle{ \left(\lambda_a\right)^{-1} e_G \in H }[/math]가 a의 역원이라고 하면 안 되나요… --휴면유동닉 (토론) 2015년 9월 5일 (토) 02:59:11 (KST)