Property: local complete intersection

Definition: Noetherian local ring whose completion is the quotient of a regular local ring by an ideal generated by a regular sequence

(No citations retrieved.)

(No metaproperty information retrieved.)