8
$\begingroup$

Call a commutative unital ring $R$

  • Hermite if for all $m, n\in \mathbb{N}$ with $m<n$, and all $f\in R^{m\times n}$ such that transpose($f$) is left invertible (with a matrix with entries from $R$ serving as a left inverse of $f$), there exists a $g\in R^{n\times (n-m)}$ such that $\ker f = g R^{(n-m)\times 1}$. (This is equivalent to the condition that every tall matrix which is left invertible can be completed to a square invertible matrix while working in $R$.)
  • coherent if for all $n,m\in \mathbb{N}$ and $f\in R^{m\times n}$, there exists a $k\in \mathbb{N}$ and a $g\in R^{n\times k}$ such that $\ker f = g R^{k\times 1}$.

Question: Is there a ring which is not Hermite but is coherent?

$\endgroup$
2
  • $\begingroup$ Do you require the $f$ in the definition of coherent to have any invertibility properties, or do you really mean just any old $f$? $\endgroup$ Dec 5, 2014 at 9:13
  • $\begingroup$ @Ketil: I meant any old $f$. $\endgroup$ Dec 5, 2014 at 9:16

1 Answer 1

1
$\begingroup$

Let $F$ be a field not of characteristic $2$, and let $R:=F[x,y,u,v,s,t]/(xu+yv=1,xs+yt=0)$. This ring has a reduction system given by $yt\mapsto-xs$ and $xu\mapsto 1-yv$. (Think of this as trying to get rid of $t$'s the most, then $u$'s, and so forth.)

This is a Noetherian ring, hence coherent (if I'm understanding your definition correctly). However, it is not Hermite. Take $f=(x,y)$. Then $(x,y)\cdot \begin{pmatrix}u\\ v\end{pmatrix}=1$, so the transpose of $f$ is left invertible. However, $\ker(f)$ contains the vectors $h_1=\begin{pmatrix}-y\\ x\end{pmatrix}$ and $h_2=\begin{pmatrix}s\\ t\end{pmatrix}$. It suffices to show that these vectors are not mutliples of a single vector in the kernel.

First, I leave it as an exercise that if $\alpha,\beta\in R$ are any elements in reduced form, then $\deg(\alpha\beta)=\deg(\alpha)\cdot\deg(\beta)$.

Suppose, by way of contradiction, that $g=\begin{pmatrix}\alpha\\ \beta\end{pmatrix}$ generates the kernel. We may assume $\alpha,\beta$ are in reduced form, and they are definitely not constant. From the fact of the previous paragraph, we must have $\deg(\alpha)=\deg(\beta)=1$. It is easy to check that the only possibilities are linear combinations of the two vectors $h_1,h_2$ above. But no $F$-combination of them works. (It would work in characteristic $2$ however, to just use $h_1$! So there is something to show here, but I'll leave the details to you.)

I may have made a mistake somewhere, so you need to double check this work.

$\endgroup$
3
  • $\begingroup$ Thank you! (I could not spot any errors.) $\endgroup$ Dec 10, 2014 at 13:17
  • 1
    $\begingroup$ I just spotted an error. Degree is actually not additive. (Take $\alpha=y$ and $\beta=(tu-sv)$. These are both in reduced form. However $\alpha\beta=-s$, in reduced form.) This example may still work, but it would take more effort... $\endgroup$ Dec 10, 2014 at 15:37
  • $\begingroup$ I see. Thanks again, I will try to see if your approach can be modified somehow to construct the example of a coherent, but non-Hermite ring. $\endgroup$ Dec 10, 2014 at 19:30

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.