그뢰브너 기저

가환대수학에서 그뢰브너 기저(Gröbner基底, 영어: Gröbner basis)는 다항식환의 아이디얼의 여러 성질들을 쉽게 계산할 수 있게 하는 부분집합이다.

정의

$n$개의 변수 $(x_1,\dots ,x_n)$에 대한 단항식(單項式, 영어: monomial)은

$x_1^{m_1}{x}_2^{m_2}\cdots x_n^{m_n}(m_1,\dots ,m_n\in \mathbb{N}={\mathbb{Z}}^{+}\cup \{0\})$

과 같은 꼴의 다항식이다. $n$개 변수에 대한 단항식 순서(單項式順序, 영어: monomial order)는 다음 성질들을 만족시키는, 단항식 집합 위의 전순서 $\le$이다. 모든 단항식 $M,N,P$에 대하여,

• $M<N⟺MP<NP$
• $M<MP$

체 $K$에 대한 다항식환 $K[x_1,\dots ,x_n]$을 생각하자. 그렇다면 다항식 $p\in K[x_1,\dots ,x_n]$은, 단항식의 $K$-선형 결합으로 표현할 수 있다. 단항식 순서 $\le$에 대한 다항식 $p$의 최고차항(영어: leading term) $\mathrm{lt}p$은 $p$를 구성하는 단항식들 가운데, 단항식 순서 $\le$에 대하여 가장 큰 단항식이다.

아이디얼 $𝔞\subseteq K[x_1,\dots ,x_n]$와 단항식 순서 $\le$가 주어졌다고 하자. 만약 다항식 집합 $G\subset 𝔞$의 최고차항들로 생성되는 아이디얼 $(\mathrm{lt}G)$가 $𝔞$의 최고차항으로 생성되는 아이디얼 $(\mathrm{lt}𝔞)$와 일치한다면, $G$를 $𝔞$의 그뢰브너 기저라고 한다.

$(\mathrm{lt}𝔞)=(\mathrm{lt}G)$

역사

브루노 부흐베르거(독일어: Bruno Buchberger)가 박사 학위 논문에서 1965년에 정의하고, 이를 계산하는 알고리즘을 발표하였다. "그뢰브너 기저"라는 이름은 부흐베르거의 박사 과정 지도 교수 볼프강 그뢰브너(독일어: Wolfgang Gröbner)의 이름을 딴 것이다.

각주

• Buchberger, Bruno; Manuel Kauers (2010). “Groebner basis” (영어). 《Scholarpedia》 5 (10): 7763. doi:10.4249/scholarpedia.7763. ISSN 1941-6016. 
• Buchberger, Bruno; Manuel Kauers (2011). “Buchberger's algorithm” (영어). 《Scholarpedia》 6 (10): 7764. doi:10.4249/scholarpedia.7764. ISSN 1941-6016. 
• Sturmfels, Bernd (2005년 11월). “What is … a Gröbner basis?” (PDF) (영어). 《Notices of the American Mathematical Society》 52 (10): 1199–1200. Zbl 1093.13512. 
• Roune, Bjarke Hammersholt; Michael Stillman (2012). “Practical Gröbner basis computation” (영어). 《Proceedings of the International Symposium on Symbolic and Algebraic Computation》. arXiv:1206.6940. Bibcode:2012arXiv1206.6940H. 2014년 3월 20일에 원본 문서에서 보존된 문서. 2014년 8월 15일에 확인함. 
• Becker, Thomas; Volker Weispfenning (1993). 《Gröbner bases: a computational approach to commutative algebra》 (영어). Graduate Texts in Mathematics 141. Springer. doi:10.1007/978-1-4612-0913-3. ISBN 978-0-387-97971-7. ISSN 0072-5285. 

외부 링크

• Sturmfels, Bernd (2006년 6월 29일). “Gröbner bases” (영어). 《New Horizons in Undergraduate Mathematics》. Mathematical Sciences Research Institute. 2014년 8월 25일에 원본 문서 (비디오)에서 보존된 문서. 2014년 8월 15일에 확인함. 
• Sturmfels, Bernd. “Gröbner bases and convex polytopes” (영어). Mathematical Sciences Research Institute. 2014년 8월 25일에 원본 문서 (비디오)에서 보존된 문서. 2014년 8월 15일에 확인함. 
• Weisstein, Eric Wolfgang. “Gröbner basis” (영어). 《Wolfram MathWorld》. Wolfram Research. 
• “Gröbner basis” (영어). 《Encyclopedia of Mathematics》. Springer-Verlag. 2001. ISBN 978-1-55608-010-4.