Matrix/Field/Characteristic polynomial/Definition