I'm reading Lectures on Modules and Rings by T. Y. Lam. It's on page 32 of the book, example 2.19A.
It reads:
(2.19A) Example. Let $k$ be a field. Then in the commutative polynomial ring $R = k[x_1; x_2; ...; x_n]$ with $n \ge 2$ variables, the ideal $\mathfrak{A} = (x_1; x_2; ...; x_n)$ is not invertible, hence not projective. In fact, it turns out that $\mathfrak{A}^{-1} = R$, so $\mathfrak{A} \mathfrak{A}^{-1} = \mathfrak{A} \neq R$. To see this, assume instead that there is some $f/g \in \mathfrak{A}^{-1}$, where $f, g$ are relatively prime to each other (???), and $g \notin k$. Then $(f/g).x_i = h_i \in R$. If $x_1 | g$, then $x_1$ also divides $gh_2 = x_2f$, so $x_1 | f$ (I assume, he means that, since $x_1$, and $x_2$ are relatively prime, so $x_1$ must divides $f$), a contradiction. Therefore $x_1 \not | g$, and $x_1f = gh_1$ implies that $x_1 | h_1$, but then $f/g = h_1/x_1 \in R$, again a contradiction.
I'm fine with most of the things here. I know that a polynomial ring with 1 indeterminate over a field, i.e $k[x]$ is an Euclidean domain, hence a PID, hence a UDF. So, basically two $f, g \in k[x]$ would have some gcd. However, things are somewhat different for the ring $k[x_1; x_2; ...; x_n]$ (say, the Bezout equation doesn't hold) (I'm reading it off here Division algorithm for multivariate polynomials?).
Moreover I'm pretty sure that $k[x_1; x_2; ...; x_n]$ is not a PID, so I'm not even sure if there may (or may not) exist the gcd for any pair of $f, g \in k[x_1; x_2; ...; x_n]$. And how can I define $f, g \in k[x_1; x_2; ...; x_n]$ to be relatively prime?
According to the like above, Math Gems claimed that "But all Euclidean is not lost...", which makes me wonder which properties of $k[x]$ are still true in $k[x_1; x_2; ...; x_n]$.
So it would be great if you guys can guide me through it, or just give me some reference (like a web page, or some textbook) that covers this.
Thank you guys very much in advance,
And have a great day,