Please use this identifier to cite or link to this item:
Title: 一般子式理想之Grbner基底
Grbner bases of ideals of generic minors
Authors: 洪有情
Yu-Ching Hung
Yung-Ren Lai
Keywords: Grbner基底
Grbner bases
Issue Date: 2005
Abstract: 設X是一個各個位置為變數x_ij的矩陣,R=K[X]是一個係數佈於一個體的多項式環。在1989年和1990年,Sturmfels,Caniglia和Guccione各自證明了X的所有相同次數的子式對於某個lexicographic單項式次序會是一組Grbner基底;在1992年,Herzog和Trung進一步提供了一種取不同次數的子式也會是Grbner基底的方法。在這篇論文中,我們又提供了一種取不同次數的子式也會是Grbner基底的方法。
Let K be a field and R=K[X] be the polynomial algebra generated by the entries of a generic m×n matrix X=(x_ij) over K. Let p be a positive integer. Let G_p be the set of all p-minors of X and I be the ideal generated by G_p. Sturmfels and Caniglia et al. had proved that G_p is a Grbner basis for I with respect to some lexicographical term order of R. Later in 1992, Herzog and Trung improved their result. Also, in 1994 Conca obtained a similar result for a symmetric matrix. In this paper, we get some results similar to their results as follows. Theorem:Let X=(x_ij) be a generic m×n matrix over a field K, and let R=K[X]. Let m≧a_1≧…≧a_r , b_1≦…≦b_r≦n be nonnegative integers, and η_1,…,η_(r+1) be positive integers. Let D_t(X) be the part of the matrix X consisting of the last a_t rows and the first b_t columns. Let G_t(X) be the set of all (η_t)-minors of D_t(X), t=1,…,r and set D_(r+1)(X) be the set of all (η_(r+1))-minors of X. Let I be the ideal of R generated by the G(X)=∪G_t(X); then G(X) is a Grbner basis for I with respect to the lexicographic term order induced from the variable order x_11> x_12>…> x_1n> x_21>… > x_m1>… > x_mn. We also prove that if X=(x_ij) in the above theorem is an n×n symmetric matrix, then the theorem also holds.
Other Identifiers: G0069240001
Appears in Collections:學位論文

Files in This Item:
File Description SizeFormat 
000101.pdf99.04 kBAdobe PDFView/Open
000102.pdf117.55 kBAdobe PDFView/Open
000103.pdf137.02 kBAdobe PDFView/Open
000104.pdf278.08 kBAdobe PDFView/Open
000105.pdf131.71 kBAdobe PDFView/Open
000106.pdf281.3 kBAdobe PDFView/Open

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.