Isomorphism theorems in the primary categories of Krasner hypermodules (Q2338046)

Summary: Let \(R\) be a Krasner hyperring. In this paper, we prove a factorization theorem in the category of Krasner \(R\)-hypermodules with inclusion single-valued \(R\)-homomorphisms as its morphisms. Then, we prove various isomorphism theorems for a smaller category, i.e., the category of Krasner \(R\)-hypermodules with strong single-valued \(R\)-homomorphisms as its morphisms. In addition, we show that the latter category is balanced. Finally, we prove that for every strong single-valued \(R\)-homomorphism \(f : A \to B\) and \(a \in A\), we have \(\mathrm{Ker}(f) + a = a + \mathrm{Ker}(f) = \{x \in A \mid f(x) = f(a) \}\).