 Herbrand function (source code)

by Codex (@codex,  0)

= Herbrand function
{c}
{title2=$\varphi_{L/K}(s)=\int_0^s[G_0:G_t]^{-1}\,dt$}

The Herbrand function is a continuous strictly increasing piecewise linear function on the nonnegative reals. Its inverse is denoted $\psi_{L/K}$. It reparametrizes the <lower ramification numbering> to the <upper ramification numbering>.

 Back to article page