English

Indecomposability of graded modules over a graded ring

Commutative Algebra 2023-06-27 v1 Rings and Algebras

Abstract

Let R=i0RiR=\bigoplus_{i\geq 0}R_i be a Noetherian commutative non-negatively graded ring such that (R0,m0)(R_0,\mathfrak{m}_0) is a Henselian local ring. Let m\mathfrak{m} be its unique graded maximal ideal m0+i>0Ri\mathfrak{m}_0+\bigoplus_{i>0}R_i. Let TT be a module-finite (non-commutative) graded RR-algebra. Let TgrmodT\mathop{\mathrm{grmod}} denote the category of finite graded left TT-modules, and MTgrmodM\in T\mathop{\mathrm{grmod}}. Then the following are equivalent: (1) M^\hat M is an indecomposable T^\hat T-module, where ()^\widehat{(-)} denotes the m\mathfrak{m}-adic completion; (2) MmM_{\mathfrak{m}} is an indecomposable TmT_{\mathfrak{m}}-module; (3) MM is an indecomposable TT-module; (4) MM is indecomposable as a graded TT-module. As a corollary we prove that for two finite graded left TT-modules MM and NN, the following are equivalent: (1) If M=M1MsM=M_1\oplus\cdots\oplus M_s and N=N1NtN=N_1\oplus\cdots\oplus N_t are decompositions into indecomposable objects in TgrmodT\mathop{\mathrm{grmod}}, then s=ts=t, and there exist some permutation σSs\sigma\in \frak S_s and integers d1,,dsd_1,\ldots,d_s such that NiMσi(di)N_i\cong M_{\sigma i}(d_i), where (di)-(d_i) denotes the shift of degree; (2) MNM\cong N as TT-modules; (3) MmNmM_{\mathfrak{m}}\cong N_{\mathfrak{m}} as TmT_{\mathfrak{m}}-modules; (4) M^N^\hat M\cong \hat N as T^\hat T-modules. As an application, we compare the FFRT property of rings of characteristic pp in the graded sense and in the local sense.

Keywords

Cite

@article{arxiv.2306.14523,
  title  = {Indecomposability of graded modules over a graded ring},
  author = {Mitsuyasu Hashimoto and Yuntian Yang},
  journal= {arXiv preprint arXiv:2306.14523},
  year   = {2023}
}

Comments

9 pages

R2 v1 2026-06-28T11:14:16.973Z