アルティン環
Let "A" be a Noetherian local ring of Krull dimension "d" and let "x"1, ..., "x""d" be a system of parameters for "A" (so that "A"/("x"1, ..., "x""d") is an Artinian ring). Then for all positive integers "t", we have