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

DOI10.1016/J.JPAA.2018.04.011MaRDI QIDQ1789657zbMATH OpenOpenAlexWikidataFDO

Authors Joseph P. Brennan, Alexander York

Publication date 10 October 2018

Published in Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1806.10117

zbMATH Keywords

Cohen-Macaulay ringscommutative Noetherian ringsdepth of a ringKrull dimension of Rprojective dimensionquasi-Gorenstein R-module

Mathematics Subject Classification ID

Structure, classification theorems for modules and ideals in commutative rings (13C05) Homological functors on modules of commutative rings (Tor, Ext, etc.) (13D07) Commutative rings defined by factorization properties (e.g., atomic, factorial, half-factorial) (13F15)

Abstract: Let $R$ be a commutative ring. 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, it is shown that this definition allows for a characterization of diagonal matrices of maximal rank over a Noetherian factorial domain $R$ extending a theorem of Frobenius and Stickelberger to modules of projective dimension 1 over a commutative Noetherian factorial domain.

Review text

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?

Recommendations

• Special homological dimensions and intersection theorem
• Two theorems about maximal Cohen-Macaulay modules
• scientific article; zbMATH DE number 4040058
• On the existence of certain modules of finite Gorenstein homological dimensions
• A Generalization of a Theorem of Bass

Cites work

• Algèbre locale. Multiplicités. Cours au Collège de France, 1957-1958, rédigé par Pierre Gabriel. 2e ed.
• Computational methods of commutative algebra and algebraic geometry. With chapters by David Eisenbud, Daniel R. Grayson, Jürgen Herzog and Michael Stillman
• Duality Over Gorenstein Rings.
• Finite filtrations of modules and shellable multicomplexes
• Gorenstein Algebras in Codimension 2 and Koszul Modules
• Gorenstein algebras, symmetric matrices, self-linked ideals, and symbolic powers
• scientific article; zbMATH DE number 3887879 (Why is no real title available?)
• scientific article; zbMATH DE number 482758 (Why is no real title available?)
• scientific article; zbMATH DE number 704831 (Why is no real title available?)
• Koszul modules and Gorenstein algebras
• L. Szpiro's conjecture on Gorenstein algebras in codimension 2
• Liaison classes of modules
• On limits of joins of maximal dimension
• Stable module theory

Cited in

(1)

• A categorical approach to linkage

This page was built for publication: An extension of a theorem of Frobenius and Stickelberger to modules of projective dimension one over a factorial domain

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1789657)