An extension of a theorem of Frobenius and Stickelberger to modules of projective dimension one over a factorial domain (Q1789657)

Let \(R\) be a commutative Noetherian local ring, the depth of \(R\) is the maximum length of a regular sequence in the maximal ideal of \(R\) and of course it is bounded above by the Krull dimension of \(R\). The ring \(R\) is called Cohen-Macaulay if its depth is equal to its Krull dimension. A commutative ring is called Cohen-Macaulay if it is Noetherian and all of its localizations at prime ideals are Cohen-Macaulay. Now let \(R\) be a Cohen-Macaulay factorial domain and assume that all modules are finitely generated over \(R\). A quasi-Gorenstein \(R\)-module is an \(R\)-module such that the grade of the module and the projective dimension of the module are equal and the canonical module of the module is isomorphic to the module itself. After discussing properties of finitely generated quasi-Gorenstein modules, the authors of this paper show that this definition allows for a characterization of diagonal matrices of maximal rank over a Cohen-Macaulay factorial domain \(R\) extending a theorem of Frobenius and Stickelberger to modules of projective dimension 1 over a commutative factorial Cohen-Macaulay domain. The main result of this paper deals mainly with the following two questions: 1- What matrices are diagonalizable over more general rings? and 2- what matrices are equivalent to their transpose in more general rings?