Dominant dimension and idempotent ideals (Q2178541)

Let \(A\) be an algebra and \(X\) be an \(A\)-module. The dominant dimension of \(X\) is at least \(n\), denoted by \(\operatorname{domdim }X \geq n\), if there is an exact sequence \(0 \rightarrow X \rightarrow I_0 \rightarrow I_1 \rightarrow \ldots \rightarrow I_{n - 1}\) with \(I_i(0 \leq i \leq n - 1)\) projective-injective. The dominant dimension of \(A\), denoted by \(\operatorname{domdim }A\), is defined to be \(\operatorname{domdim }_{A}A\). A Morita algebra with \(\operatorname{domdim }\geq 2\) is characterized. The dominant dimension of an algebra is not only used to characterize how far the algebra is away from being self-injective, but also serves as a degree reflecting the self-orthogonality in higher Auslander theory given by Iyama. The following characterization is proved. Theorem. Let \(A\) be an algebra and \(n\) be a number at least 2. (a) If \(\operatorname{domdim }_{A^{\mathrm{op}}}(DA_{A})^{\ast\ast} \geq 2\), then for any \(A^{\mathrm{op}}\)-module \(X\), \(\operatorname{domdim } X \geq n\) if and only if \(X \cong\mathrm{Hom}_{A^{\mathrm{op}}}(DA \otimes_A \mathrm{Hom}_{A}(DA, A), X)\) canonically and \[ \mathrm{Ext}^{i}_{A_{\mathrm{op}}} (DA \otimes_{A}\mathrm{Hom}_{A}(DA,A),X) = 0, \text{ for } 1 \leq i \leq n - 2. \] (b) If \(\operatorname{domdim }_{A}(_{A}(DA)^{\ast\ast} \geq 2\), then for any \(A\)-module \(Y\), \(\operatorname{domdim } Y \geq n\) if and only if \(Y \cong\mathrm{Hom}_{A}(\mathrm{Hom}_{A}(DA, A) \otimes_A DA, Y)\) canonically and \[ \mathrm{Ext}^{i}_{A} (\mathrm{Hom}_{A}(DA, A)\otimes_{A}DAY, A) = 0, \text{ for }1 \leq i \leq n - 2. \] Some characterizations for an algebra \(A\) to be a Morita algebra (under different conditions) are proved. Some characterizations for \(A\) to be a gendo-symmetric algebra are proved.