Cotangent space of a local ring

ID: cotangent-space-of-a-local-ring

For a local ring with residue field , its cotangent space is the -vector space . In a Noetherian local ring, its dimension is the minimal number of generators of , by the Nakayama lemma. Equality of this dimension with the Krull dimension defines a regular local ring.

New to topics? Read the docs here!