r-subhypermodules over Krasner hypermodules

From MaRDI portal
\(r\)-subhypermodules over Krasner hypermodules





Let \(\mathcal{R}\) be a commutative Krasner hyperring, \(M\) be an \(\mathcal{R}\)-hypermodule and \(N\) be a proper subhypermodule of \(M\). Then \(N\) is called an \(r\)-subhypermodule if \(r\cdot m \in N\) with \(ann_{M}(r) = 0_{M}\) implies that \(m\in N\) for each \(r\in \mathcal{R}\), \(m\in M\). The paper under review concentrates on the similarities and differences between \(r\)-subhypermodules and prime subhypermodules, and investigates basic notions of \(r\)-subhypermodules. Among others, the authors proved that for a proper subhypermodule \(N\) of \(M\), \(N\) is an \(r\)-subhypermodule if and only if \((r\cdot M)\cap N = r\cdot N\) for any \(r \mathcal{R}\setminus Z(M)\) if and only if \(N = (N:_{M} r)\) for any \(r\in \mathcal{R}\setminus Z(M)\) if and only if \(N =\phi^{-1}(L)\), where \(S = \mathcal{R}\setminus Z(M)\) and \(L\) is an \(S^{-1}\mathcal{R}\)-subhypermodule of \(S^{-1}M\). In particular, if \(N\) is \(r\)-subhypermodule of \(M\), then \(N\) is pure subhypermodule. They also showed that every proper subhypermodule of \(\mathcal{R}\)-hypermodule \(M\) is an \(r\)-subhypermodule if and only if for every subhypermodule \(N\) of \(M\), \(r \cdot N = N\) for every \(r\in \mathcal{R}\setminus Z(M)\). Other results concerning the image and reciprocal image of \(r\)-subhypermodules of a good homomorphism \(\phi:M_{1}\longrightarrow M_{2}\); Cartesian product of hypermodules, and finite intersection of \(r\)-subhypermodules are given.











This page was built for publication: \(r\)-subhypermodules over Krasner hypermodules

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6919721)