Minimal injective resolutions of algebras with multiplicative bases (Q1125880)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Minimal injective resolutions of algebras with multiplicative bases
scientific article

    Statements

    Minimal injective resolutions of algebras with multiplicative bases (English)
    0 references
    0 references
    14 August 1997
    0 references
    A Noetherian ring \(A\) is called Gorenstein if \(_AA\) and \(A_A\) both have finite injective dimension in which case they are equal and their common value is denoted by \(\text{id}(A)\). If \(\text{id}(A)=n\), let \(0\to{}_AA\to E^0\to E^1\to\dots\to E^n\to 0\) be a minimal injective resolution for \(_AA\), where \(A\) is a Gorenstein ring, and call \(A\) Auslander-Gorenstein in case the flat dimension \(\text{fd}_A(E^i)\leq i\) for all \(0\leq i\leq n\). The purpose of this paper is to provide a new class of Auslander-Gorenstein rings \(A\) for which minimal injective resolutions of \(_AA\) can be described. The author considers certain finite semigroups which he calls Kupisch semigroups. Let \(S\) be a Kupisch semigroup, let \(R\) be a local PID with unique maximal ideal \(J\) and field of fractions \(F\) and let \(K\) be the residue field \(R/J\) of \(R\). Let \(\Lambda\), \(\Gamma\) and \(\Delta\) denote the semigroup rings \(R[S]\), \(F[S]\) and \(K[S]\), respectively. It is proved that \(\Lambda\) is Gorenstein if and only if both \(\Gamma\) and \(\Delta\) are Gorenstein, and in this case \(\text{id}(\Gamma)\leq\text{id}(\Delta)=\text{id}(\Lambda)-1\). Moreover, \(\Lambda\) is Auslander-Gorenstein if and only if both \(\Gamma\) and \(\Delta\) are Auslander-Gorenstein. The author also discusses the global dimension of these rings and shows that \(\text{gl.dim }\Lambda=\text{gl.dim }\Lambda+1\) and \(\text{gl.dim }\Gamma\leq\text{gl.dim }\Delta\). Piled modules play an important role. The last section contains examples of Kupisch semigroups and corresponding Auslander-Gorenstein rings \(\Lambda\).
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    flat dimension
    0 references
    injective dimension
    0 references
    Gorenstein rings
    0 references
    Auslander-Gorenstein rings
    0 references
    minimal injective resolutions
    0 references
    finite semigroups
    0 references
    Kupisch semigroups
    0 references
    semigroup rings
    0 references
    global dimension
    0 references
    piled modules
    0 references
    0 references
    0 references