kh. ahmadi amoli

‎Let $R$ be a commutative Noetherian ring with identity‎, ‎$I$ be an ideal of $R$‎, ‎and $M$ be an $R$-module‎. ‎Let $k\geqslant‎ -‎1$ be an arbitrary integer‎. ‎In this paper‎, ‎we introduce the notions of $\Rad_M(I)$ and $\ara_M(I)$‎ ‎as the radical and the arithmetic rank of $I$ with respect to $M$‎, ‎respectively‎. ‎We show that the existence of some sort of regular sequences‎ ‎can be depended on $\dim M/IM$ and so‎, ‎we can get some information about local cohomology modules as well‎. ‎Indeed‎, ‎if $\ara_M(I)=n\geq 1$ and ${(\Supp_{R}(M/IM))}_{>k}=\emptyset$‎ ‎(e.g.‎, ‎if $\dim M/IM=k$)‎, ‎then there exist $n$ elements $x_1‎, ..., ‎x_n$ in $I$‎ ‎which is a poor $k$-regular $M$-sequence and generate an ideal‎ ‎with the same radical as $\Rad_M(I)$ and so‎ ‎$H^i_I(M)\cong H^i_{(x_1‎, ..., ‎x_n)}(M)$ for all $i\in \mathbb{N}_0$‎. ‎As an application‎, ‎we show that $\ara_M(I) \leq \dim M+1$‎, ‎which is a refinement of the inequality $\ara_R(I) \leq \dim R+1$ for modules‎, ‎attributed to Kronecker and Forster‎. ‎Then‎, ‎we prove‎ ‎$\dim M-\dim M/IM \leq \cd(I‎, ‎M) \leq \ara_M(I) \leq \dim M$‎, ‎if $(R‎, ‎\mathfrak{m})$ is a local ring and $IM \neq M$‎.

In this paper, we construct the concept of general  Krasner  hyperring based on the  ring  structures and the left general Krasner hypermodule based on the  module structures.  This study introduces  the  trivial left general Krasner hypermodules and  proves that the  trivial left general Krasner   hypermodules  are  different from left  Krasner   hypermodules. We show that for any given general  Krasner  hyperring $R$ and trivial left general Krasner   hypermodules $A, B, {bf_{R}h}$om$(A, B)$ is a left general Krasner   hypermodule and  ${bf_{R}h}$om$(-, B)$,     $ ({bf_{R}h}$om$(A, -) )$ is an   exact covariant functor (contravariant). Finally, we  show that the category ${bf_{R}GKH}$mod (left  trivial general Krasner hypermodules and all (homomorphisms) is an abelian  category and  trivial left general Krasner hypermodules have  a normal injective resolution.