adequate ring Bezout ring Bohdan Zabavsky clean ring diagonal reduction duo ring elementary divisor ring elementary reduction Euclidean ring exchange ring factorization factor rings Fractionally ring Gelfand range Gelfand ring Hermite ring Krull dimension matrix divisors matrix equation morphic ring neat range PhD polynomial rings prime ideal principal ideal regular ring semihereditary ring stable range Toeplitz matrices topological space