Dejemos que $A$ sea un dominio integral conmutativo, con campo de fracciones $K$ . Sea $T$ sea una entidad libre de torsión finitamente generada $A$ por lo que $T \otimes_A K$ es un espacio vectorial de dimensión finita $V$ . Sea $T^*$ sea el conjunto de $y$ en el espacio vectorial dual, $V^*$ , de tal manera que $\langle x, y \rangle \in A$ por cada $x \in T$ .
¿Bajo qué hipótesis sobre $A$ puedo concluir que $T^*$ es un programa gratuito $A$ -¿Módulo? Mi conjetura actual es que esto se mantiene siempre que $A$ es un UFD . (Por supuesto, se cumple trivialmente si $A$ es un PID).
He aquí algunas ideas mías. Definir el rango de $T$ para ser $\dim_K T \otimes_A K$ . Puedo demostrar que, si $A$ es un UFD, entonces $T^*$ es gratis para $T$ de rango $1$ . Para cualquier $T$ podemos hacer una secuencia exacta corta $$0 \to S \to T \to U \to 0$$ donde $S$ es el rango $1$ y $U$ es libre de torsión con rango uno menos que $T$ . Así que tenemos $$0 \to U^* \to T^* \to S^* \to \mathrm{Ext}^1(U,A) \to \cdots$$ . Esto parece un buen comienzo, pero no sé cómo controlar ese grupo Ext. ¡Sospecho que uno de ustedes lo sabe!
Esto está motivado por el informe de Kevin Buzzard pregunta sobre los anillos de la matriz.