Some notes on graded weakly 1-absorbing primary ideals (Q6064973)

Assume that \(G\) is a group and \(R\) is a commutative ring with nonzero unity \(1\). If \(R = \bigoplus _{g\in G} R_g\) with the property \(R_g R_h \subseteq R_{gh}\) for all \(g,h \in G\), where \(R_g\) is an additive subgroup of \(R\) for all \(g\in G\), then \(R\) is to be a graded ring (gr-R ). A proper graded ideal (gr- I ) \(P\) of \(R\) is to be a graded prime ideal (gr-p-I) if \(xy \in P\) implies either \(x\in P\) or \(y\in P\), for all \(x, y\in h(R)\). Also, if \(P\) is a gr-I of \(R\), then we denote the graded radical of \(P\) by Gr-rad( \(P\) ). A proper gr-I \(P\) of \(R\) is to be a graded primary ideal (gr-py-I) if \(xy\in P\) suggests either \(x \in P\) or \(y\in\) Gr-rad( \(P\) ), for all \(x, y \in h(R)\). A proper gr-I \(P\) of \(R\) is called a graded weakly primary ideal (gr-w-py-I) of \(R\) if whenever \(x, y\in h(R)\), and \(0\neq xy \in P\), then \(x\in P\) or \(y \in\) Gr-rad( \(P\) ), see [\textit{S. Ebrahimi Atani}, Quasigroups Relat. Syst. 13, No. 2, 185--191 (2005; Zbl 1098.13500)]. Finally, a proper gr-I \(P\) of \(R\) is called a graded 1-absorbing primary ideal (gr-1-ab-py-I) if whenever nonunit elements \(x,y,z \in h(R)\) and \(xyz\in P\), then \(xy \in P\) or \(z\in\) Gr-rad( \(P\) ), refer to [ \textit{R. Abu-Dawwas and M. Bataineh}, ``On graded 1-absorbing primary ideals'', Turkish J. Math-Studies Scientific Developments in Geometry, Algebra, and Applied Mathematics, Turkish Journal of Mathematics, Turkey, February 1-3 (2022)] and [\textit{M. Bataineh} and \textit{R. Abu-Dawwas}, Demonstr. Math. 56, Article ID 20220214, 9 p. (2023; Zbl 1515.13003)] . A proper gr-I \(P\) of \(R\) is called a graded weakly 1-absorbing primary ideal (gr-w-1-ab-py-I) if whenever nonunit elements \(x, y, z \in h(R)\) and \(0\neq xyz\in P\), then \(xy\in P\) or \(z \in\) Gr-rad( \(P\) ). The main aim of this paper is to study of this class of ideals. We list the important results of this paper as follows: {Theorem 2.4.} Allow for \(R\) to be a gr-R such that \(R_e\) is a nonlocal ring. If \(P\) is an e-w-1-ab-py-I of \(R\) that is not an e-w-py-I, then \begin{itemize} \item \(P^3_e=0\), or \item \(P^2_e= \langle s \rangle\) with \(s\) as an idempotent such that \(\langle 1-s \rangle\) is a maximal ideal of \(R_e\) . \end{itemize} {Proposition 2.8.} Allow for \(R\) to be a gr-R such that every nonzero gr-py-I of \(R\) is a gr-p-I. If Gr-rad(0) is a gr-m-I of \(R\), then either Gr-rad(0)=0 or Gr-rad(0) is the unique nonzero proper gr-I of \(R\). {Theorem 2.12.} Let \(R\) be a HUN-ring. If \(\{0\}\) is a gr-py-I of \(R\), then \(R\) is a gr-loc-R with gr-m-I Gr-rad(0). {Theorem 2.14.} Let \(R\) be a finitely generated gr-loc-R with gr-m-I X. If \(R\) is a gr-D and every gr-1-ab-py-I of \(R\) is a gr-w-py-I, then either \(R\) is a HUN-ring or X is the unique nonzero gr-p-I of \(R\). {Proposition 2.16.} Assume \(R\) is a first strongly gr-R. Then, every e-w-1-ab-py-I of \(R\) is an e-s-py-I supposing that Gr-rad(0) is an e-p-I of \(R\) . {Proposition 2.19.} Let \(R\) be a reduced first strongly gr-R. Then, every e-w-1-ab-py-I of \(R\) is an e-1-ab-py-I on the condition that \(R_e\) is a domain.