Characteristic polynomial/Definition/Field/Remark