In algebraic geometry, a Gorenstein scheme is a locally Noetherian scheme whose local rings are all Gorenstein.[1] The canonical line bundle is defined for any Gorenstein scheme over a field, and its properties are much the same as in the special case of smooth schemes.