Gorenstein-projective modules over \(T_{m,n}(A)\). (Q545401): Difference between revisions
From MaRDI portal
Changed an Item |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Revision as of 01:35, 5 March 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