ザリスキ環の例はネーター局所環と、ネーター環のformula_1-進完備化である。