Algebraically closed field (source code)

= Algebraically closed field
{wiki}

A field is algebraically closed when every nonconstant <polynomial> over it has a root in it, equivalently when every such polynomial splits into linear factors.