그뢰브너 기저: 두 판 사이의 차이
내용 삭제됨 내용 추가됨
InternetArchiveBot (토론 | 기여) 2 개의 출처 구조, 0 개의 링크를 깨진 것으로 표시 #IABot (v2.0beta10) |
→정의: 다양체환을 다항식환으로 바꿈 |
||
8번째 줄:
* <math>M<MP</math>
[[체 (수학)|체]] <math>K</math>에 대한 [[
[[아이디얼]] <math>\mathfrak a\subseteq K[x_1,\dots,x_n]</math>와 단항식 순서 <math>\le</math>가 주어졌다고 하자. 만약 다항식 집합 <math>G\subset K[x_1,\dots,x_n]</math>의 최고차항들로 생성되는 아이디얼 <math>(\operatorname{lt}G)</math>가 <math>\mathfrak a</math>의 최고차항으로 생성되는 아이디얼 <math>(\operatorname{lt}\mathfrak a)</math>와 일치한다면, <math>G</math>를 <math>\mathfrak a</math>의 '''그뢰브너 기저'''라고 한다.
|