매시 곱: 두 판 사이의 차이

내용 삭제됨 내용 추가됨
편집 요약 없음
편집 요약 없음
15번째 줄:
:<math>\deg\langle u_1,\dots,u_n\rangle=\sum_{i=1}^n\deg u_n+2-n</math>
이다.
 
=== 불확정성 ===
일반적으로, 매시 곱은 공집합이거나 두 개 이상의 원소를 가질 수 있는 [[집합]]이다. 3차 매시 곱의 두 원소의 차는 다음과 같은 [[아이디얼]]에 속한다.
:<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>
 
=== 낮은 차수의 매시 곱 ===
영항0항일항1항 매시 곱은 항상 <math>\{0\}</math>이다. 이항2항 매시 곱은 코호몰로지 곱
:<math>\langle u,v\rangle=\{uv\}</math>
이다.