A unimodular matrix with entries in a commutative ring is called weakly determinant liftable if there exists a matrix congruent to modulo and ; if we can choose to be unimodular, then is called determinant liftable. If is extendable to an invertible matrix , then is weakly determinant liftable. If is simple extendable (i.e., we can choose such that its entry is ), then is determinant liftable. We present necessary and/or sufficient criteria for to be (weakly) determinant liftable and we use them to show that if is a ring in the sense of Part I (resp.\ is a pre-Schreier domain), then is simply extendable (resp.\ extendable) iff it is determinant liftable (resp.\ weakly determinant liftable). As an application we show that each domain (as defined by Lorenzini) is an elementary divisor domain.

生成讲解博客的中文版本

生成AI智能校验的中文版本