Analytically unramified ring

An **analytically unramified ring** is a concept from commutative algebra, particularly in the study of local rings and their associated modules. In essence, a local ring is said to be analytically unramified if it behaves well with respect to analytic geometry over its residue field.