splitting field

minimal field in which every polynomial in a given set decomposes into linear factors