2항 이차 형식의 동치류 집합에 정의될 수 있는 아벨 군 구조
이차 형식 이론에서, 가우스 합성(Gauß合成, )은 2항 이차 형식의 동치류 집합에 정의될 수 있는 아벨 군 구조이다. 가환환 위의 2차 자유 가군 위의 두 이차 형식 이 다음 조건을 만족시킨다면 서로 동치라고 하자. 이에 따라, 이차 형식은 사실 임의의 1차 -자유 가군 의 값을 갖는 함수 로 생각할 수 있다. 이와 같은 함수들의 공간은 보다 일반적으로, 임의의 스킴(스킴 (수학)) 위의 계수 2의 -국소 자유 가군층 및 -가역(가역층) 가군층 이 주어졌을 때, 위의 값의 이차 형식 은 -가군층 의 단면(단면 (올다발))이다. 만약 가 국소환일 경우, 그 위의 2차 자유 가군 위의 이차 형식 보다 일반적으로, 스킴 위의, 2차 -국소 자유 가군층 위의, -가역층 값의 이차 형식
이차 형식 이론에서 가우스 합성이 뭐야
가우스 합성