편집 요약 없음 |
|||
| 3번째 줄: | 3번째 줄: | ||
그냥 ''a''를 왼쪽에 곱하는 함수 <math>\lambda_a</math>가 ''H''의 원소를 permute하므로(∵ 곱셈에 대해 닫혀 있고, 유한집합임), <math>\left(\lambda_a\right)^{-1} a \in H</math>가 ''e''<sub>''G''</sub>이고, <math>\left(\lambda_a\right)^{-1} e_G \in H</math>가 ''a''의 역원이라고 하면 안 되나요… --[[사용자:휴면유동닉|휴면유동닉]] ([[사용자토론:휴면유동닉|토론]]) 2015년 9월 5일 (토) 02:59:11 (KST) | 그냥 ''a''를 왼쪽에 곱하는 함수 <math>\lambda_a</math>가 ''H''의 원소를 permute하므로(∵ 곱셈에 대해 닫혀 있고, 유한집합임), <math>\left(\lambda_a\right)^{-1} a \in H</math>가 ''e''<sub>''G''</sub>이고, <math>\left(\lambda_a\right)^{-1} e_G \in H</math>가 ''a''의 역원이라고 하면 안 되나요… --[[사용자:휴면유동닉|휴면유동닉]] ([[사용자토론:휴면유동닉|토론]]) 2015년 9월 5일 (토) 02:59:11 (KST) | ||
: 증명에 미비한 부분이 있었네요. 증명의 내용을 보존한다는 전제 아래 한줄씩 보충하면 될 것 같습니다. <math>a\in H</math>임을 명시하고 <math>a^i=a^j</math>인 서로 다른 <math>i,j\in \mathbb{N}</math>가 존재한다던가 하는 식으로요. | |||
: \(H\)의 원소를 permute하므로...의 설명이 무엇을 뜻하는지 전체적으로 이해가 안 갑니다. 가령 \(\lambda_a\)를 설정한다는 게 매우 생소한데, 임의의 <math>x\in H</math>에 대해 <math>\lambda_a(x)=ax</math>를 뜻하는 건가요? 좀 더 자세히 설명해주시면 감사하겠습니다. -- [[사용자:Hwangjy9|Hwangjy9]] ([[사용자토론:Hwangjy9|토론]]) 2015년 9월 5일 (토) 07:44:09 (KST) | |||
2015년 9월 5일 (토) 07:44 판
유한군의 부분군 판정법에 관해
[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)
- 증명에 미비한 부분이 있었네요. 증명의 내용을 보존한다는 전제 아래 한줄씩 보충하면 될 것 같습니다. [math]\displaystyle{ a\in H }[/math]임을 명시하고 [math]\displaystyle{ a^i=a^j }[/math]인 서로 다른 [math]\displaystyle{ i,j\in \mathbb{N} }[/math]가 존재한다던가 하는 식으로요.
- \(H\)의 원소를 permute하므로...의 설명이 무엇을 뜻하는지 전체적으로 이해가 안 갑니다. 가령 \(\lambda_a\)를 설정한다는 게 매우 생소한데, 임의의 [math]\displaystyle{ x\in H }[/math]에 대해 [math]\displaystyle{ \lambda_a(x)=ax }[/math]를 뜻하는 건가요? 좀 더 자세히 설명해주시면 감사하겠습니다. -- Hwangjy9 (토론) 2015년 9월 5일 (토) 07:44:09 (KST)