Huneke-Wiegand Conjecture
Prior state unknown→disproved
Verified by author of the conjecture
SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review
algebra / Commutative Algebra
Huneke-Wiegand Conjecture
The Huneke–Wiegand Conjecture: Let $R$ be a one-dimensional Gorenstein local domain, and let $M$ be a finitely generated, non-zero, torsion-free $R$-module. If the tensor product $M \otimes_R M^*$ is torsion-free, then $M$ is a projective (hence free) $R$-module.
20Significance / 100
1Frontier events
0Verification tasks
0Recorded attempts
Temporal state
Current frontier
No reconciled state yet.
Append-only history
Frontier timeline
Research memory
Claims and attempts
Scoped claims
The Huneke–Wiegand Conjecture: Let $R$ be a one-dimensional Gorenstein local domain, and let $M$ be a finitely generated, non-zero, torsion-free $R$-module. If the tensor product $M \otimes_R M^*$ is torsion-free, then $M$ is a projective (hence free) $R$-module.
Verified by author of the conjecture
Recorded attempts
Evidence graph
Connected research record
No public relationships recorded yet.