매시 곱: 두 판 사이의 차이
내용 삭제됨 내용 추가됨
Osteologia (토론 | 기여) 잔글 →불확정성 |
Osteologia (토론 | 기여) |
||
20번째 줄:
:<math>x,y\in\langle[a_1],[a_2],[a_3]\rangle</math>
:<math>x-y\in ([a_1])+([a_3])</math>
즉, 매시 곱을 다음과 같은 [[
:<math>x,y\in\langle[a_1],[a_2],[a_3]\rangle</math>
:<math>x-y\in H^{\deg a_1+\deg a_2+\deg a_3}/\left([a_1]H^{\deg a_2+\deg a_3}+H^{\deg a_1+\deg a_2}[a_3]\right)</math>
보다 일반적으로, <math>n</math>차 매시 곱은 다음과 같은 [[몫군]] 속에서 정의된다.
:<math>x,y\in\langle[a_1],[a_2],\dots,[a_n]\rangle</math>
:<math>x-y\in H^{\sum_i\deg a_i}/\left([a_1]H^{\deg a_{2,n}}+H^{\deg a_{1,2}}H^{\deg a_{3,n}}+\cdots+H^{\deg a_{1,n-2}}H^{\deg a_{n-1,n}}+H^{\deg a_{1,n-1}}[a_n]\right)</math>
여기서
:<math>\deg a_{i,j}=i-j+\deg a_i+\deg a_{i+1}+\cdots+\deg a_j</math>
이다.
=== 낮은 차수의 매시 곱 ===
| |||