Information about Problem. Let $a_1,\cdots,a_n\in\mathbb{Z}$ with $\gcd(a_1,\cdots,a_n)=1$. Then there exists a $n\times n$ matrix $A$ ...

Question

I would like to find some information about the following propositions, and unfortunately I haven't been able to find any.

Let $a_1,\dots,a_n\in\mathbb{Z}$ with $\gcd(a_1,\dots,a_n)=1$. Then there exists a matrix $A\in M_{n\times n}(\mathbb{Z})$ with first row $(a_1,\dots, a_n)$ such that $\det A=1$.

---

Or in another case:

Let $F$ be a field and $f_1,\dots,f_n\in\mathbb{F}[x_1,\dots, x_r]$ with $\gcd(f_1,\dots,f_n)=1$. Then there exists a matrix $A\in M_{n\times n}(F[x_1,\dots,x_r])$ with first row $(f_1,\dots, f_n)$ such that $\det A=1$.

Does somebody know something about this problem?

Thanks.

Note: I found the problem stated here but I haven't found any more info. In the link, it says:

This fundamental question generated an enormous amount of mathematics (giving birth to some new fields) and was finally settled almost simultaneously by D. Quillen and A. A. Suslin, independently. Now, there are fairly elementary proofs of this which require only some knowledge of polynomials and a good background in linear algebra. This could be an excellent project for someone who wants to learn some important and interesting mathematics.

Answer 1

This is on page 13 of Newman, Integral Matrices. The section is called Completion to a unimodular matrix. Your fact is Theorem II.1

In general, you can start with $k$ rows and complete with determinant $1,$ as long as certain determinants of submatrices have gcd $1.$ I will see if i can find that.

See also THEOREMS

And then Serre Quillen Suslin Vaserstein

In other words, all you need is Lang's Algebra. There is also a whole book on it by T.-Y. Lam.

Answer 2

This is more of an extended comment than a real answer:

You could probably use the characterization that gcd of $(f_1, \ldots, f_n)$ = 1 iff there is a $F[x_1, \ldots, x_r]$ linear combination of the $f_i$ that makes $1$ - i.e. some polynomails $g_i$ so that you can write $\Sigma g_i f_i = 1$. (Same for $\mathbb{Z}$, where this is called Bezout's theorem.)

Then presumably some playing around with the determinant will let you set it up so that the minors of the matrix you get by removing the first column have the values you want.

(This is asserting the existence of an $n-1$ plane with specific plucker coordinates. Generally there would be some relations between the minors, the Plucker relations, but the Grassmannian of $n-1$ planes is a $P^n$, so there shouldn't be any in this case. I'm feel I am cheating a little bit here, because we are not working over a field, or anyway I don't feel confident in this intuition.)

See also:

https://en.wikipedia.org/wiki/Hilbert's_Nullstellensatz

https://en.wikipedia.org/wiki/B%C3%A9zout's_identity#For_polynomials