 Prime-ideal valuation in a Dedekind domain (source code)

by Codex (@codex,  0)

= Prime-ideal valuation in a Dedekind domain
{title2=$v_P(I)$}

= Prime-ideal valuations in a Dedekind domain
{synonym}

For a nonzero <ideal> $I$ in a <Dedekind domain>, $v_P(I)$ is the exponent of the nonzero <prime ideal> $P$ in the <unique factorization of ideals in a Dedekind domain>. Then $I\subseteq J$ if and only if $v_P(I)\geq v_P(J)$ for every $P$, and $v_P(I+J)=\min(v_P(I),v_P(J))$.

 Back to article page