Characteristic zero (source code)

= Characteristic zero
{title2=$\operatorname{char}K=0$}

A <field> has characteristic zero when no positive integer multiple of its identity vanishes. Equivalently, its <prime field> is isomorphic to $\mathbb Q$. Every <irreducible polynomial> over such a field is a <separable polynomial>.