Transitivity of the ε_m -relation on (m-idempotent) hyperrings

Abstract

On a general hyperring, there is a fundamental relation, denoted γ*, such that the quotient set is a classical ring. In a previous paper, the authors defined the relation εm on general hyperrings, proving that its transitive closure $\begin{array}{} \displaystyle \varepsilon^{*}_{m} \end{array}$ is a strongly regular equivalence relation smaller than the γ*-relation on some classes of hyperrings, such that the associated quotient structure modulo $\begin{array}{} \displaystyle \varepsilon^{*}_{m} \end{array}$ is an ordinary ring. Thus, on such hyperrings, $\begin{array}{} \displaystyle \varepsilon^{*}_{m} \end{array}$ is a fundamental relation. In this paper, we discuss the transitivity conditions of the εm-relation on hyperrings and m-idempotent hyperrings.

A survey of selected categorical properties of algebras with multivalued addition

“…It is not clear if these notions would lead to the development of a well-behaved homological algebra. Also, see [26] for a very well-known survey on hyperrings by Nakassis, as well as [28] for a more general approach to the categorical aspects of hyperstructures through multialgebras, and [27] for most recent results on Krasner hyperrings.…”

A Comparison of Complete Parts on m-Idempotent Hyperrings

“…Moreover, the m-complete parts [18] were defined with respect to the transitivity of the ε m -relation. In this case, a nonempty subset…”

Some Results on (Generalized) Fuzzy Multi-Hv-Ideals of Hv-Rings

“…These fundamental relations β (for hypergroups (H v -groups)) and γ (for hyperrings (H v -rings)) are defined as the smallest strongly regular equivalence relations so that the quotient would be group and ring respectively. Many authors studied fundamental relations such as: Antampoufis and Hoskova-Mayerova [22], Corsini [2], Cristea and Norouzi [23][24][25][26], Davvaz [16], Freni [27], etc.. For all n > 1, we define the relation γ on an H v -ring (R, +, •) as follows:…”