On completion of a linearly independent set to a basis with shifts of a fixed vector
arXiv:1905.11812
Abstract
Let be an infinite field. Let be a positive integer and let . Let be linearly independent vectors. Let , with zeros at the end. Let be the cyclic shift operator to the right, e.g. . Is there a vector , such that the vectors complete the set to a basis of ? The answer is in the affirmative for every linearly independent set of , . In order to prove this fact, we prove that the minors of the circulant matrix. form a Gröbner basis with respect to the graded reverse lexicographic order (grevlex).