An improved term ordering for the ideal of commuting matrices
Let X and Y be generic n by n matrices of indeterminates x(1), . . ., x(r), y(1), . . ., Yr. Let S = k[x(1). . . ., x(r), y(l), . . ., y(r)] where k is a field and r = n(2). Let I subset of S be the ideal generated by the entries of the matrix XY - YX. We will show how an old result on a good term order for this ideal can be improved using elementary methods. (c) 2006 Elsevier Ltd. All rights reserved.
term ordering commuting matrices grobner basis