Strongly transitive geometric spaces associated to hypermodules. (Q731923)

The characterization of derived hypergroup via strongly regular equivalence and strongly transitive geometric spaces was investigated for hypergroups by \textit{D. Freni} [see Commun. Algebra 30, No. 8, 3977-3989 (2002; Zbl 1021.20045) and ibid. 32, No. 3, 969-988 (2004; Zbl 1075.20028)]. This paper extends these notions to hypermodules (with canonical hypergroup) over a given Krasner hyperring. The main isomorphism theorems of such hypermodules and other results using the fundamental relation \(\theta^*\) are proved. Finally, a familly \(P_\sigma(M)\) of subsets of a hypermodule \(M\) is determined and sufficient conditions such that the geometric space \((M,P_\sigma(M))\) is strongly transitive and the fundamental relation \(\theta\) is transitive, are given.