BZPEERReading, trust and collaboration for researchDiscover
Workspaces
Network
Opportunities
Account
Researcher profile
Zhaoyong Huang contributes to research discovery and scholarly infrastructure.
Trust snapshot
Actions
Identity and collaboration
Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.
Log in to claimDirect collaboration
Claim this author entity first to unlock direct invitations.
Research graph
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
For an abelian category $\mathcal{A}$, we establish the relation between its derived and extension dimensions. Then for an artin algebra $Λ$, we give the upper bounds of the extension dimension of $Λ$ in terms of the radical layer length of $Λ$ and certain relative projective (or injective) dimension of some simple $Λ$-modules, from which some new upper bounds of the derived dimension of $Λ$ are induced.
Let $(\mathfrak{C},\mathbb{E},\mathfrak{s})$ be an Ext-finite, Krull-Schmidt and $k$-linear extriangulated category with $k$ a commutative artinian ring. We define an additive subcategory $\mathfrak{C}_r$ (respectively, $\mathfrak{C}_l$) of $\mathfrak{C}$ in terms of the representable functors from the stable category of $\mathfrak{C}$ modulo $\mathfrak{s}$-injectives (respectively, $\mathfrak{s}$-projectives) to $k$-modules, which consists of all $\mathfrak{s}$-projective (respectively, $\mathfrak{s}$-injective) objects and objects isomorphic to direct summands of finite direct sums of all third (respectively, first) terms of almost split $\mathfrak{s}$-triangles. We investigate the subcategories $\mathfrak{C}_r$ and $\mathfrak{C}_l$ in terms of morphisms determined by objects, and then give equivalent characterizations on the existence of almost split $\mathfrak{s}$-triangles.
Let $Λ$ be an artin algebra. We give an upper bound for the dimension of the bounded derived category of the category $\mod Λ$ of finitely generated right $Λ$-modules in terms of the projective and injective dimensions of certain class of simple right $Λ$-modules as well as the radical layer length of $Λ$. In addition, we give an upper bound for the dimension of the singularity category of $\mod Λ$ in terms of the radical layer length of $Λ$.
For a ring $R$ and an additive subcategory $\C$ of the category $\Mod R$ of left $R$-modules, under some conditions we prove that the right Gorenstein subcategory of $\Mod R$ and the left Gorenstein subcategory of $\Mod R^{op}$ relative to $\C$ form a coproduct-closed duality pair. Let $R,S$ be rings and $C$ a semidualizing ($R,S$)-bimodule. As applications of the above result, we get that if $S$ is right coherent and $C$ is faithfully semidualizing, then $(\mathcal{GF}_C(R),\mathcal{GI}_C(R^{op}))$ is a coproduct-closed duality pair and $\mathcal{GF}_C(R)$ is covering in $\Mod R$, where $\mathcal{G}\mathcal{F}_C(R)$ is the subcategory of $\Mod R$ consisting of $C$-Gorenstein flat modules and $\mathcal{G}\mathcal{I}_C(R^{op})$ is the subcategory of $\Mod R^{op}$ consisting of $C$-Gorenstein injective modules; we also get that if $S$ is right coherent, then $(\mathcal{A}_C(R^{op}),l\mathcal{G}(\mathcal{F}_C(R)))$ is a coproduct-closed and product-closed duality pair and $\mathcal{A}_C(R^{op})$ is covering and preenveloping in $\Mod R^{op}$, where $\mathcal{A}_C(R^{op})$ is the Auslander class in $\Mod R^{op}$ and $l\mathcal{G}(\mathcal{F}_C(R))$ is the left Gorenstein subcategory of $\Mod R$ relative to $C$-flat modules.
We introduce the right (left) Gorenstein subcategory relative to an additive subcategory $\C$ of an abelian category $\A$, and prove that the right Gorenstein subcategory $r\mathcal{G}(\mathscr{C})$ is closed under extensions, kernels of epimorphisms, direct summands and finite direct sums. When $\C$ is self-orthogonal, we give a characterization for objects in $r\mathcal{G}(\mathscr{C})$, and prove that any object in $\A$ with finite $r\mathcal{G}(\C)$-projective dimension is isomorphic to a kernel (resp. a cokernel) of a morphism from an object in $\A$ with finite $\C$-projective dimension to an object in $r\mathcal{G}(\C)$. As an application, we obtain a weak Auslander-Buchweitz context related to the kernel of a hereditary cotorsion pair in $\A$ having enough injectives.
Let $Λ,Γ$ be rings and $R=\left(\begin{array}{cc}Λ& 0 \\ M & Γ\end{array}\right)$ the triangular matrix ring with $M$ a $(Γ,Λ)$-bimodule. Let $X$ be a right $Λ$-module and $Y$ a right $Γ$-module. We prove that $(X, 0)$$\oplus$$(Y\otimes_ΓM, Y)$ is a silting right $R$-module if and only if both $X_Λ$ and $Y_Γ$ are silting modules and $Y\otimes_ΓM$ is generated by $X$. Furthermore, we prove that if $Λ$ and $Γ$ are finite dimensional algebras over an algebraically closed field and $X_Λ$ and $Y_Γ$ are finitely generated, then $(X, 0)$$\oplus$$(Y\otimes_ΓM, Y)$ is a support $τ$-tilting $R$-module if and only if both $X_Λ$ and $Y_Γ$ are support $τ$-tilting modules, $\Hom_Λ(Y\otimes_ΓM,τX)=0$ and $\Hom_Λ(eΛ, Y\otimes_ΓM)=0$ with $e$ the maximal idempotent such that $\Hom_Λ(eΛ, X)=0$.
Let $Γ$ be a split extension of a finite-dimensional algebra $Λ$ by a nilpotent bimodule $_ΛE_Λ$, and let $(T,P)$ be a pair in $\modΛ$ with $P$ projective. We prove that $(T\otimes_ΛΓ_Γ, P\otimes_ΛΓ_Γ)$ is a support $τ$-tilting pair in $\mod Γ$ if and only if $(T,P)$ is a support $τ$-tilting pair in $\mod Λ$ and $\Hom_Λ(T\otimes_ΛE,τT_Λ)=0=\Hom_Λ(P,T\otimes_ΛE)$. As applications, we obtain a necessary and sufficient condition such that $(T\otimes_ΛΓ_Γ, P\otimes_ΛΓ_Γ)$ is support $τ$-tilting pair for a cluster-tilted algebra $Γ$ corresponding to a tilted algebra $Λ$; and we also get that if $T_1,T_2\in\modΛ$ such that $T_1\otimes_ΛΓ$ and $T_2\otimes_ΛΓ$ are support $τ$-tilting $Γ$-modules, then $T_1\otimes_ΛΓ$ is a left mutation of $T_2\otimes_ΛΓ$ if and only if $T_1$ is a left mutation of $T_2$.
In this paper, we study the relation between $m$-strongly Gorenstein projective (resp. injective) modules and $n$-strongly Gorenstein projective (resp. injective) modules whenever $m \neq n$, and the homological behavior of $n$-strongly Gorenstein projective (resp. injective) modules. We introduce the notion of $n$-strongly Gorenstein flat modules. Then we study the homological behavior of $n$-strongly Gorenstein flat modules, and the relation between these modules and $n$-strongly Gorenstein projective (resp. injective) modules.
The principle "Every result in classical homological algebra should have a counterpart in Gorenstein homological algebra" is given in [3]. There is a remarkable body of evidence supporting this claim (cf. [2] and [3]). Perhaps one of the most glaring exceptions is provided by the fact that tensor products of Gorenstein projective modules need not be Gorenstein projective, even over Gorenstein rings. So perhaps it is surprising that tensor products of Gorenstein injective modules over Gorenstein rings of finite Krull dimension are Gorenstein injective. Our main result is in support of the principle. Over commutative, noetherian rings injective modules have direct sum decompositions into indecomposable modules. We will show that Gorenstein injective modules over Gorenstein rings of finite Krull dimension have filtrations analogous to those provided by these decompositions. This result will then provide us with the tools to prove that all tensor products of Gorenstein injective modules over these rings are Gorenstein injective.
In this paper we mainly study the homological properties of dual modules over $k$-Gorenstein rings. For a right quasi $k$-Gorenstein ring $Λ$, we show that the right self-injective dimension of $Λ$ is at most $k$ if and only if each $M \in$mod $Λ$ satisfying the condition that Ext$_Λ^i(M, Λ)=0$ for any $1\leq i \leq k$ is reflexive. For an $\infty$-Gorenstein ring, we show that the big and small finitistic dimensions and the self-injective dimension of $Λ$ are identical. In addition, we show that if $Λ$ is a left quasi $\infty$-Gorenstein ring and $M\in$mod $Λ$ with grade$M$ finite, then Ext$_Λ^i($Ext$_{Λ^{op}}^i($Ext$_Λ^{{\rm grade}M}(M, Λ), Λ), Λ)=0$ if and only if $i\neq$grade$M$. For a 2-Gorenstein ring $Λ$, we show that a non-zero proper left ideal $I$ of $Λ$ is reflexive if and only if $Λ/I$ has no non-zero pseudo-null submodule.