Documentation

LeanPool.AndersonConjecture.CompleteDomain

Complete Local Domain T = ℂ[[x,y,z]]/(x²-yz) #

Index file for the LeanPool.AndersonConjecture.CompleteDomain directory: the ring T = ℂ[[x,y,z]]/(x²-yz) is a complete two-dimensional Cohen–Macaulay local domain with a non-principal height-one prime.