アルティン環
An Artinian local ring is complete. A quotient and localization of an Artinian ring is Artinian.