quotient by maximal ideal is a field. def rather than instance, since users will have computable inverses in some applications