Универсальный и исчерпывающий базисы Грёбнера классического детерминантального идеала

Пусть $A=(x_{ij})$, $i=1,2,\dots,k$, $j=1,2,\dots,l$, $1\leq k\leq l$, – матрица из независимых переменных, $G$ – множество максимальных миноров $A$, $I=(G)$ – классический детерминантальный идеал. Доказывается, что $G$ – универсальный базис Грёбнера для $I$. Также дается достаточное условие того, что $G$ – универсальный исчерпывающий базис Грёбнера. Библ. – 12 назв.