Algebrallisessa geometriassa Nagatan lause kuuluu seuraavasti: Jokainen separoitu varisto voidaan upottaa täydellisen variston avoimeksi alivaristoksi.
Kirjallisuutta
Aiheesta muualla Shafarevich, I. R. (Ed.): Algebraic Geometry I
Luokka:Algebrallinen geometria Luokka:Matemaattiset teoreemat