Gorenstein-projective modules over \(T_{m,n}(A)\). (Q545401): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(6 intermediate revisions by 5 users not shown) | |||
Property / author | |||
Property / author: Xiu-Hua Luo / rank | |||
Property / author | |||
Property / author: Xiu-Hua Luo / rank | |||
Normal rank | |||
Property / review text | |||
Let \(A\) be an Artin algebra and let \(1\leq m\leq n\) be integers. Denote by \(T_{m,n}(A)\) the \(2\times 2\) upper triangular (block) matrix ring whose upper left corner is the ring \(T_m(A)\) of upper triangular \(m\times m\) matrices with entries in \(A\), whose lower right corner is the ring \(AE\) of diagonal \((n-m)\times (n-m)\) matrices with entries in \(A\), and whose upper right corner is the \(T_m(A)\)-\(AE\)-bimodule of \(m\times (n-m)\) matrices with entries in \(A\). This paper gives a description of the Gorenstein projective modules over \(T_{m,n}(A)\) in terms of the Gorenstein projective modules over \(A\). More precisely, it is proved that \(T_{m,n}(A)\) is a Gorenstein algebra if and only if \(A\) is a Gorenstein algebra. Furthermore, it is shown that a left \(T_{m,n}(A)\)-module corresponds to two families of homomorphisms of left \(A\)-modules, namely \(\varphi_i\colon X_i\to X_{n-m+1}\) for \(1\leq i\leq n-m\) and \(\varphi_j\colon X_j\to X_{j+1}\) for \(n-m+1\leq j\leq n-1\), and that such a module is Gorenstein projective if and only if the following conditions hold: (1) Every \(\varphi_i\) (\(1\leq i\leq n\)) is a monomorphism; (2) Every \(A\)-module \(X_i\) (\(1\leq i\leq n\)) and \(\mathrm{Coker\,}\varphi_i\) (\(1\leq i\leq n-1\)) is Gorenstein projective; and (3) For every \(2\leq k\leq n-m\) the sum \(\mathrm{Im\,}\varphi_k+\cdots+\mathrm{Im\,}\varphi_{n-m}\) is direct and the \(A\)-module \(X_{n-m+1}/(\mathrm{Im\,}\varphi_k+\cdots+\mathrm{Im\,}\varphi_{n-m})\) is Gorenstein projective. | |||
Property / review text: Let \(A\) be an Artin algebra and let \(1\leq m\leq n\) be integers. Denote by \(T_{m,n}(A)\) the \(2\times 2\) upper triangular (block) matrix ring whose upper left corner is the ring \(T_m(A)\) of upper triangular \(m\times m\) matrices with entries in \(A\), whose lower right corner is the ring \(AE\) of diagonal \((n-m)\times (n-m)\) matrices with entries in \(A\), and whose upper right corner is the \(T_m(A)\)-\(AE\)-bimodule of \(m\times (n-m)\) matrices with entries in \(A\). This paper gives a description of the Gorenstein projective modules over \(T_{m,n}(A)\) in terms of the Gorenstein projective modules over \(A\). More precisely, it is proved that \(T_{m,n}(A)\) is a Gorenstein algebra if and only if \(A\) is a Gorenstein algebra. Furthermore, it is shown that a left \(T_{m,n}(A)\)-module corresponds to two families of homomorphisms of left \(A\)-modules, namely \(\varphi_i\colon X_i\to X_{n-m+1}\) for \(1\leq i\leq n-m\) and \(\varphi_j\colon X_j\to X_{j+1}\) for \(n-m+1\leq j\leq n-1\), and that such a module is Gorenstein projective if and only if the following conditions hold: (1) Every \(\varphi_i\) (\(1\leq i\leq n\)) is a monomorphism; (2) Every \(A\)-module \(X_i\) (\(1\leq i\leq n\)) and \(\mathrm{Coker\,}\varphi_i\) (\(1\leq i\leq n-1\)) is Gorenstein projective; and (3) For every \(2\leq k\leq n-m\) the sum \(\mathrm{Im\,}\varphi_k+\cdots+\mathrm{Im\,}\varphi_{n-m}\) is direct and the \(A\)-module \(X_{n-m+1}/(\mathrm{Im\,}\varphi_k+\cdots+\mathrm{Im\,}\varphi_{n-m})\) is Gorenstein projective. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Henrik Holm / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 16E65 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 16G50 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 16G10 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 16S50 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 5911380 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Gorenstein algebras | |||
Property / zbMATH Keywords: Gorenstein algebras / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Gorenstein-projective modules | |||
Property / zbMATH Keywords: Gorenstein-projective modules / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
upper triangular matrix algebras | |||
Property / zbMATH Keywords: upper triangular matrix algebras / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1007/s11401-011-0638-3 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W1983310741 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Stable module theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4318498 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: ABSOLUTE, RELATIVE, AND TATE COHOMOLOGY OF MODULES OF FINITE GORENSTEIN DIMENSION / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Cohen-Macaulay modules on hypersurface singularities. II / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Relative homological algebra / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Gorenstein derived categories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4012108 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Gorenstein homological dimensions. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Gorenstein algebras of finite Cohen-Macaulay type. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A construction of Gorenstein-projective modules. / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 05:31, 4 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Gorenstein-projective modules over \(T_{m,n}(A)\). |
scientific article |
Statements
Gorenstein-projective modules over \(T_{m,n}(A)\). (English)
0 references
22 June 2011
0 references
Let \(A\) be an Artin algebra and let \(1\leq m\leq n\) be integers. Denote by \(T_{m,n}(A)\) the \(2\times 2\) upper triangular (block) matrix ring whose upper left corner is the ring \(T_m(A)\) of upper triangular \(m\times m\) matrices with entries in \(A\), whose lower right corner is the ring \(AE\) of diagonal \((n-m)\times (n-m)\) matrices with entries in \(A\), and whose upper right corner is the \(T_m(A)\)-\(AE\)-bimodule of \(m\times (n-m)\) matrices with entries in \(A\). This paper gives a description of the Gorenstein projective modules over \(T_{m,n}(A)\) in terms of the Gorenstein projective modules over \(A\). More precisely, it is proved that \(T_{m,n}(A)\) is a Gorenstein algebra if and only if \(A\) is a Gorenstein algebra. Furthermore, it is shown that a left \(T_{m,n}(A)\)-module corresponds to two families of homomorphisms of left \(A\)-modules, namely \(\varphi_i\colon X_i\to X_{n-m+1}\) for \(1\leq i\leq n-m\) and \(\varphi_j\colon X_j\to X_{j+1}\) for \(n-m+1\leq j\leq n-1\), and that such a module is Gorenstein projective if and only if the following conditions hold: (1) Every \(\varphi_i\) (\(1\leq i\leq n\)) is a monomorphism; (2) Every \(A\)-module \(X_i\) (\(1\leq i\leq n\)) and \(\mathrm{Coker\,}\varphi_i\) (\(1\leq i\leq n-1\)) is Gorenstein projective; and (3) For every \(2\leq k\leq n-m\) the sum \(\mathrm{Im\,}\varphi_k+\cdots+\mathrm{Im\,}\varphi_{n-m}\) is direct and the \(A\)-module \(X_{n-m+1}/(\mathrm{Im\,}\varphi_k+\cdots+\mathrm{Im\,}\varphi_{n-m})\) is Gorenstein projective.
0 references
Gorenstein algebras
0 references
Gorenstein-projective modules
0 references
upper triangular matrix algebras
0 references