То́чка по́ля K со значениями в поле L (L-значная точка поля K), отображение f:K→L∪{∞}, удовлетворяющее условиям
f(1)f(a+b)f(ab)=1,=f(a)+f(b),=f(a)⋅f(b)(если выражения, стоящие в правых частях, определены), при этом считается, что
∞⋅∞c+∞c⋅∞=∞,=∞+c=∞,c∈L,=∞⋅c=∞,c∈L,c=0,а выражения ∞+∞, 0⋅∞, ∞⋅0 не определены.
Элемент a из K, для которого f(a)∈L, называется конечным в точке поля f; множество A конечных элементов является подкольцом в K, а отображение f:A→L – гомоморфизмом колец. Кольцо A – локальное кольцо, его максимальный идеал m={a∈K∣f(a)=0}.
Точка поля f определяет нормирование v поля K с группой значений K∗/A∗ (где K∗=K\{0} и A∗=A\m – группы обратимых элементов поля K и кольца A соответственно). Кольцо этого нормирования совпадает с A. Обратно, любое нормирование v поля K определяет точку поля K со значениями в поле вычетов нормирования v. При этом кольцо конечных элементов совпадает с кольцом нормирования v.
Зархин Юрий Геннадьевич. Первая публикация: Математическая энциклопедия под ред. И. М. Виноградова, 1985.