A unimodular matrix with entries in a commutative is called extendable (resp.\ simply extendable) if it extends to an invertible matrix (resp.\ invertible matrix whose entry is ). We obtain necessary and sufficient conditions for a unimodular matrix to be extendable (resp.\ simply extendable) and use them to study the class (resp.\ ) of rings with the property that all unimodular matrices with entries in are extendable (resp.\ simply extendable). We also study the larger class of rings with the property that all unimodular matrices of determinant and with entries in are (simply) extendable (e.g., rings with trivial Picard groups or pre-Schreier domains). Among Dedekind domains, polynomial rings over and Hermite rings, only the EDRs belong to the class or . If , then is an ring iff it is an ring.

生成讲解博客的中文版本

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