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!