справедливыми для любого целого числа A. Здесь P обозначает число вычетов в k по модулю p и, тем самым, P^f совпадает с числом вычетов в K по модулю B. Сегодня мы называем элемент s = ?(B) подстановкой Фробениуса идеала B. При этом особо важным является то, что некоторый специальный элемент группы разложения может быть выделен среди всех остальных. Сразу же видно, что для любого элемента u группы Галуа ?(uB) = u^–1?(B)u. Таким образом, если поле Галуа K/k является абелевым, то подстановка ?(B) = ?(uB) зависит только от p и может быть обозначена через (