Аналитическое кольцо
Аналити́ческое кольцо́, кольцо ростков аналитических функций в точке аналитического пространства. Более точно: пусть есть поле с нетривиальным абсолютным значением (обычно предполагаемое полным) и есть -алгебра степенных рядов от с коэффициентами в , сходящихся в некотором полицилиндре с центром (при этом каждый ряд сходится в своем полицилиндре). Аналитическим кольцом над , или аналитической -алгеброй, называется факторкольцо кольца ; обычно – поле действительных или поле комплексных чисел. Каждое аналитическое кольцо является локальным, нётеровым и гензелевым кольцом; его поле вычетов изоморфно . Аналитическое кольцо будет регулярным (и факториальным) кольцом, а его пополнение в топологии, определяемой максимальным идеалом , совпадает с кольцом формальных степенных рядов . Для аналитического кольца верна нормализационная лемма: целостное аналитическое кольцо является конечным расширением аналитического кольца . Вообще, алгебры, конечные над , называются квазианалитическими -алгебрами. Если – совершенное поле, то аналитическое кольцо является превосходным кольцом.