Jump to ContentJump to Main Navigation
Show Summary Details
More options …

Open Mathematics

formerly Central European Journal of Mathematics

Editor-in-Chief: Gianazza, Ugo / Vespri, Vincenzo

IMPACT FACTOR 2018: 0.726
5-year IMPACT FACTOR: 0.869

CiteScore 2018: 0.90

SCImago Journal Rank (SJR) 2018: 0.323
Source Normalized Impact per Paper (SNIP) 2018: 0.821

Mathematical Citation Quotient (MCQ) 2017: 0.32

ICV 2017: 161.82

Open Access
See all formats and pricing
More options …
Volume 16, Issue 1


Volume 13 (2015)

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

Morteza Norouzi / Irina Cristea
  • Corresponding author
  • Centre for Information Technologies and Applied Mathematics, University of Nova Gorica, Nova Gorica, Slovenia
  • Email
  • Other articles by this author:
  • De Gruyter OnlineGoogle Scholar
Published Online: 2018-08-24 | DOI: https://doi.org/10.1515/math-2018-0085


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 εm is a strongly regular equivalence relation smaller than the γ*-relation on some classes of hyperrings, such that the associated quotient structure modulo εm is an ordinary ring. Thus, on such hyperrings, εm is a fundamental relation. In this paper, we discuss the transitivity conditions of the εm-relation on hyperrings and m-idempotent hyperrings.

Keywords: Hyperring; m-idempotent hyperring; m-complete part

MSC 2010: 20N20; 16Y99

1 Introduction

The quotient set has played an important role in the algebraic hyperstructures theory since its beginning for at least two reasons. The first one concerns the motivation of the definition of hypergroup, very well pointed out by F. Marty in his pioneering paper on hypergroups from 1934. It is well known that the quotient of a group G by an arbitrary subgroup H of G is a group if and only if H is a normal subgroup, while Marty showed that the quotient structure G/H is always a hypergroup. More generally, as Vougiouklis proved in [1], if one factorizes the group G by any partition S of G, then the quotient G/S is an Hv-group (i.e. a reproductive hypergroupoid satisfying the weak associativity). Secondly, the quotient set represents the bridging element between the classical algebraic structures and the corresponding hyperstructures, as mentioned in [2]. The first step in this direction was made by Koskas [3], when he used the β-relation and its transitive closure β* to obtain a group (as a quotient structure of a hypergroup modulo β*). Later on, the study of this correspondence between classical structures and hyperstructures with similar behaviour has been extended and new equivalence relations have been defined and called fundamental relations. They are the smallest strongly regular relations defined on a hyperstructure such that the quotient set is a classical structure, having similar properties. If on a (semi)hypergroup one considers the β*-relation, then the quotient set is a (semi)group. Besides, the quotient set modulo the γ*-relation, introduced by Freni [4], is a commutative (semi)group. Similarly, other fundamental relations have been defined on hypergroups in order to obtain nilpotent groups [5], engel groups [6], or solvable groups [7]. The same approach was used also for ring-like hyperstructures. It started in 1991, when Vougiouklis [1] defined the γ-relation on a general hyperring R (addition and multiplications are both hyperoperations) such that the quotient R/γ* is a ring. Even if they are denoted in the same way (this could create confusion for the new readers of the algebraic hyperstructure theory, while it is already accepted for the researchers of this field), the fundamental relation defined by Freni [4] on semihypergroups is different by the fundamental relation γ defined by Vougiouklis [1] on hyperrings. Later on, the β*-relation [8] has been introduced to obtain a commutative ring. More recently, other fundamental relations have been defined obtaining Boolean rings [9] or commutative rings with identity [10] as associated quotient structures. We end this brief recall of the fundamental relations with those in hypermodule theory, where, for example, the θ-fundamental relation [11] leads to commutative modules by the same method of factorization.

The authors of this note proposed in [12] a new perspective of the study of fundamental relations on hyperstructures. The γ*-relation defined on a general hyperring R is the smallest strongly regular relation such that the quotient R/γ* is a ring. The paper [12] deals with the question: Under which conditions can a fundamental relation smaller than γ be defined on a general hyperring, such that its transitive closer behaves similar to γ*? To answer to this question, the εm-relation was defined on a special class of (semi)hyperrings, such that εmγ and the quotient structure modulo εm is an ordinary (semi)ring. Moreover, on m-idempotent hyperrings it was proved that εm = γ*.

In this paper, we study the transitivity property of the εm-relation on general hyperrings. First, we introduce the notion of m-complete parts based on the εm-relation and investigate their properties, which help us to show that εm is transitive on m-idempotent hyperfields.

2 Regular and fundamental relations on hyperstructures

In this section we review some basic definitions and properties regarding fundamental relations on general hyperrings. For further details, the readers are referred to [2], [10, 13, 14, 15, 17].

Definition 2.1

([16]). An algebraic system (R, +, ⋅) is said to be a general hyperring (by short a hyperring), if (R, +) is a hypergroup, (R, ⋅) is a semihypergroup, and ”⋅” is distributive with respect to ”+”.

In the above definition, if (R, +) is a semihypergroup, then (R, +, ⋅) is called a semihyperring. A nonempty subset I of a hyperring (R, +, ⋅) is a hyperideal, if (I, +) is a subhypergroup of (R, +) and, for all xI and rR, we have rxxrI.

We recall that a subhypergroup A of (R, ⋅) is said to be invertible on the left (on the right), if xAy (xyA), then yAx(yxA), for all x, yR. A subhypergroup is invertible, if it is invertible on the left and on the right. Moreover, a subhypergroup B of (R, ⋅) is called closed on the left (on the right), if xay (xya) implies that aB, for every aR and x, yB. We say B is closed, if it is closed on the left and on the right. It is easy to see that every invertible subhypergroup of (R, ⋅) is closed.

Let ρ be an equivalence relation on a hypergroup (H, ∘). For A, BH, AρB means that, for all xA there exists yB such that xρy, and for all vB there exists uA such that uρv. Moreover, Aρ̿B means that for all xA and for all yB, we have xρy. Accordingly, an equivalence relation ρ on a hypergroup (H, ∘) is called regular if aρb and cρd imply (ac) ρ (bd), for a, b, c, dR. Besides, ρ is called strongly regular if, under the same conditions, we have (ac) ρ̿ (bd), for a, b, c, dR.

The main role of the (strongly) regular relations on hypergroups is reflected by the following result.

Theorem 2.2

([17]). Consider the equivalence relation ρ on the hypergroup (H, ∘) and the hyperoperation ρ(x) ⊗ ρ(y) = {ρ(z) | zρ(x) ∘ ρ(y)} on the quotient H/ρ = {ρ(x) | xH}. Then ρ is regular (strongly regular) on H if and only if (H/ρ, ⊗) is a hypergroup (group).

An equivalence relation ρ is (strongly) regular on a hyperring (R, +, ⋅), if it is (strongly) regular with respect to both hyperoperations ”+” and ”⋅”. One example of strongly regular relation on (semi)hyperrings is the γ-relation defined by Vougiouklis in [1] as follows. Let (R, +, ⋅) be a (semi)hyperring and x, yR. Then xγy if and only if {x, y} ⊆ u, where u is a finite sum of finite products of elements of R. In other words, xγy if and only if {x, y} ⊆ jJ(iIjzi), for some finite sets of indices J and Ij and elements ziR. Let γ* be the transitive closure of γ, that is *y if and only if there exist the elements z1, …, zn+1R, with z1 = x and zn+1 = y, such that ziγzi+1, for i ∈ {1, …, n}. In [1] it was shown that γ* is the smallest strongly regular relation on a hyperring R such that the quotient (R/γ*, ⊕, ⊙) is a classical ring with the operations defined as: γ*(x) ⊕ γ*(y) = γ*(z), for all zγ*(x) + γ*(y) and γ*(x) ⊙ γ*(y) = γ*(t), for all tγ*(x)⋅γ*(y). Hence, (R/γ*, ⊕, ⊙) is called the fundamental ring obtained by the factorization with the γ*-relation.

3 The εm-relation on hyperrings

In [12] the authors defined on (semi)hyperrings a new relation, denoted by εm, smaller than the γ-relation, and which is not transitive in general. Thus they found some conditions for the transitivity of the εm-relation on hyperrings. In this section we recall its definition and main properties.

Let (R, +, ⋅) be a semihyperring and select a constant m, such that 2 ≤ m ∈ ℕ. Put {(x, x) | xR} ⊆ εm and for all a, bR define


where zim=zizizimtimes.

Now, let (R, +, ⋅) be a hyperring such that (R, ⋅) is commutative and the following implication holds:


for all B, A1, …, AnR. Accordingly with Theorems 3.3 and 3.4 in [12], on a hyperring R satisfying condition (2), the relation εm is the smallest strongly regular equivalence relation such that the quotient set R/ εm is a ring, thus it is a fundamental relation on R. Besides, we note that relation (2) is valid if and only if, for all A1, …, AnR, there exists xiAi(1 ≤ in) such that i=1nAimi=1nxim.

The next result provides sufficient conditions for the transitivity of the relation εm.

Theorem 3.1

([12]). Let (R, +, ⋅) be a hyperring satisfying the relation (2) such that there exists 0 ∈ R such that x + 0 = {x} and x ⋅ 0 = {0} for all xR. If A1, …, An are hyperideals of R, then X = {i=1nAimA1,,AnR} is an equivalence class of εm and εm is transitive.

Example 3.2

Define on R = {0, a, b} two hyperoperations as follows:


Then, (R, +, ⋅) is a hyperring [18].

It is easy to check that, for all A1, …, AnR, there exist xiAi (1 ≤ in), such that i=1nAimi=1nxim, relation equivalently with (2).

We end this section emphasizing the fact that if the hyperring (R, +, ⋅) does not satisfy condition (2), then the relation εm is not transitive, while its transitive closure εm is not strongly regular on (R, ⋅) [12].

4 Transitivity of the relation εm on m-idempotent hyperfields

Since the conditions in Theorem 3.1 are not immediate, we aim to find some particular hyperrings, where the relation εm is transitive. For doing this, we will first define the concept of m-complete part and then we will prove that εm is transitive on m-idempotent hyperfields.

The main role of the complete parts of a semihypergroup, introduced by Koskas [3] and very well recalled by Antampoufis et al. in the survey [2], is played in finding the β* class of each element. In particular, a nonempty subset A of a semihypergroup (H, ⋅) is called a complete part of H if, for any nonzero natural number n and any elements a1, …, an of H, the following implication holds:


In other words, the complete part A absorbs every hyperproduct containing at least one element of A. In particular, for any element xA, the class β*(x) is a complete part of H. Moreover, the intersection of all complete parts of H containing A is called the complete closure of A in H, denoted by C(A). Besides, β*(x) = C(x), for any xH.

As already mentioned before, Vougiouklis [16] defined the relation γ on a hyperring R, proving that its transitive closure γ* is the smallest strongly regular relation defined on R such that the quotient R/γ* is a ring. Later on Mirvakili et al. [19] studied the transitivity property of this relation, introducing the notion of complete part on hyperrings as follows: a nonempty subset M of a hyperring R is a complete part if, for any natural number n, any i = 1, 2, …, n, any natural number ki and arbitrary elements zi1, …, zikiR, we have


Now we will extend these definitions to the case of hyperrings, aiming to prove that the class ε*(x) of an element x in the hyperring R is an m-complete part of R.

Definition 4.1

We say that a nonempty subset A of a (semi)hyperring (R, +, ⋅) is an m-complete part of R if Ai=1nzim implies that i=1nzimA, for all n ∈ ℕ and z1, …, znR. The intersection of all m-complete parts of R containing a nonempty subset A of R is called the m-complete closure of A and it is denoted by 𝓒m(A).

Example 4.2

Consider the following hyperoperations on the set R = {a, b, c, d}:


Then (R, +, ⋅) is a semihyperring. For every m ≥ 2 and for all z1, …, znR, we have i=1nzim={b,d}. It follows that the subsets A1 = {b, d}, A2 = {a, b, d} and A3 = {c, b, d} are all proper m-complete parts of R, i.e. m-complete parts of R, different by R.

Theorem 4.3

Let ρ be a strongly regular equivalence relation on R. Then ρ(a) is an m-complete part of R, for all aR.


Since ρ is a strongly regular relation on R, it follows that the quotient R/ρ is a ring (with the addition “⊕” and the multiplication “⊙”). Let aR and ρ(a)i=1nzim, for arbitrary elements z1, …, znR. Hence, there exists yi=1nzim such that ρ(y) = ρ(a). Consider the strong homomorphism π : RR/ρ defined by π(x) = ρ(x), for all xR, where R/ρ is a ring (a trivial hyperring). Thus,


which implies that i=1nzimρ(a). This completes the proof. □

For a nonempty subset A of a (semi)hyperring R, denote


Moreover, for any xR and any natural number n, for simplicity we denote Knm({x})=Knm(x).

Lemma 4.4

For any nonempty subset A of a hyperring R, the set Km(A) is an m-complete part of R.


Let Km(A) ∩ i=1nzim ≠ ∅, for arbitrary elements z1, … znR. Then, there exists t ∈ ℕ such that Ktm(A) ∩ i=1nzim ≠ ∅, which implies that i=1nzimKt+1m(A)Km(A). Thus, Km(A) is an m-complete part of R, containing A.□

Theorem 4.5

Km(A) = 𝓒m(A), for any nonempty subset A of R.


By Lemma 4.4, we have 𝓒m(A) ⊆ Km(A). Now, let M be an m-complete part of R containing A. Clearly, K1m(A) = AM. Suppose that Knm(A) ⊆ M. Let xKn+1m(A). Then there exist the elements z1, …, znR such that xi=1nzimandKnm(A)i=1nzimMi=1nzim. Since M is an m-complete part, it follows that i=1nzimM and so Kn+1m(A) ⊆ M. Hence, Km(A) ⊆ M, and thus Km(A) ⊆ 𝓒m(A).□

Example 4.6

Consider the semihyperring R in Example 4.2. One obtains that the m-complete closure of A2 is A2 itself, for any natural number m ≥ 2. Moreover, if we consider the γ-relation on R, then we have ∑∏zi = {b, c} := P or ∑∏zi = {b, d} := Q, for any finite hypersums of finite hyperproducts of elements ziR. Since PQ ≠ ∅ and PQ and QP, then P and Q are not complete parts of R. Besides, A2P ≠ ∅, but PA2. This means that A2 is not a complete part, but only an m-complete part.

Theorem 4.7

For all nonempty subsets A of R, it holds 𝓒m(A) = aA𝓒m(a).


Clearly we have the inclusion 𝓒m(a) ⊆ 𝓒m(A), for all aA. Hence, aA𝓒m(a) ⊆ 𝓒m(A).

Conversely, we show that Knm(A)aAKnm(a), by induction on ”n”. For n = 1, we have K1m(A) = A = aA{a}=aAK1m(a).. Now, suppose that Knm(A)aAKnm(a) and take an arbitrary xKn+1m(A). Then, xi=1nzim and Knm(A)i=1nzim, for some elements z1, …, znR. Thus, there exists yR such that x, yi=1nzim and yKnm(A)aAKnm(a). This implies that there exists a′ ∈ A such that yKnm(a)i=1nzim, meaning that xKn+1m(a′), and thus Kn+1m(A)aAKn+1m(a).

If x ∈ 𝓒m(A), it follows that xKm(A) = n1Knm(A)n1(aAKnm(a)). Then, for some a′ ∈ A and n ≥ 1, we have xKnm(a′) ⊆ Km(a′) = 𝓒m(a′) ⊆ ⋃aA 𝓒m(a). This completes the proof. □

In the following we will give an equivalent description of the relation εm on hyperrings, using the notion of m-complete part. First we will prove some properties of the m-complete parts.

Lemma 4.8

Knm(K2m(x))=Kn+1m(x), for all xR and n ≥ 2.


We prove it by induction on ”n”. For n = 2, we have


Now, suppose that Kn1m(K2m(x))=Knm(x) and take an arbitrary element yKnm(K2m(x)). Then there exist z1, …, znR such that yi=1nzimandKn1m(K2m(x))i=1nzim.Thus,Knm(x)i=1nzim,and soyKn+1m(x). Hence, Knm(K2m(x))Kn+1m(x). Similarly, we have Kn+1m(x)Knm(K2m(x)), that completes the proof. □

Lemma 4.9

For all n ≥ 2 and x, yR, xKnm(y) if and only if yKnm(x).


We prove the result by induction on ”n”. Let n = 2. Then xK2m(y) if and only if, for z1, …, znR, we have xi=1nzim and ∅ ≠ {y} ∩ i=1nzim, meaning that, for z1, …, znR, yi=1nzim and ∅ ≠ {x} ∩ i=1nzim. This is equivalent with yK2m(x). Suppose now that xKn1m(y) if and only if yKn1m(x) and take xKnm(y); then there exist z, z1, …, znR such that xi=1nzim,zKn1m(y)andzi=1nzim. Hence, by induction procedure, yKn1m(z)andzK2m(x), which implies that yKn1m(K2m(x))=Knm(x) by Lemma 4.8. Similarly, yKnm(x) implies that xKnm(y).□

Define on a hyperring R the relation θ as follows: xθy if and only if xKm(y), for all x, yR.

Corollary 4.10

The relation θ is an equivalence on R.


For all xR, we have xK1m(x) ⊆ Km(x). Hence, θ is reflexive. Now, let xKm(y), for x, yR. By Theorem 4.5, there exists n ≥ 1 such that xKnm(y), which implies that yKnm(x), by Lemma 4.9. Then, yKnm(x) ⊆ Km(x). Similarly, the converse is valid. Thus, θ is symmetric. Moreover, let xθy and yθz for x, y, zR. Hence, x ∈ 𝓒m(y) and y ∈ 𝓒m(z). Let A be an m-complete part of R containing z. Since y ∈ 𝓒m(z) and 𝓒m(z) ⊆ A, it follows that yA. Hence, 𝓒m(y) ⊆ A and thus xA. Therefore, xzAA = 𝓒m(z) = Km(z) and so xθz. □

Theorem 4.11

For all xR, εm(x) = θ(x).


If my, then xi=1nzim and ∅ ≠ {y} ∩ i=1nzim, for some elements z1, …, znR. Hence, xK2m(y) ⊆ Km(y). Thus, εmθ and εmθ* = θ.

Conversely, let xθy, that is, xKm(y), which implies that xKn+1m(y), for n ∈ ℕ. Then, there exist x1, z1, …, znR such that xi=1nzim,x1Knm(y)andx1i=1nzim.Hence,{x,x1}i=1nzim and so m x1. Similarly, since x1Knm(y), there exists x2Kn1m(y) such that x1εm x2. By continuing this process, we can obtain x3Kn2m(y),,xn1K2m(y)andxnK1m(y)={y} such that m x2εm x3εmxn–1εm xn = y. Hence, xεmyand soθεm. Therefore the proof is completed.□

Now, we recall that a hyperring (R, +, ⋅) is said to be a hyperfield, if (R, ⋅) is a hypergroup. Moreover, a strong homomorphism from a hyperring (R, +, ⋅) to a hyperring (S, ⊕, ⊙) is a map f : RS such that f(x + y) = f(x) ⊕ f(y) and f(xy) = f(x) ⊙ f(y), for all x, yR. Considering the εm relation on R, it can be seen that the map φm : RR/ εm is a strong homomorphism.

In the following we will consider R a hyperfield satisfying relation (2) (this is a crucial assumption in the proofs of the next results) such that R/ εm has a unit element denoted by 1R/εm.SetωRm=φm1(1R/εm)={xRφm(x)=1R/εm}. We will state some properties of the m-complete parts of hyperfields satisfying relation (2).

Theorem 4.12

If (R, +, ⋅) is a hyperfield and AR, then φm1(φm(A)) = AωRm.


Let xφm1(φm(A)). Then there exists yA such that φm(x) = φm(y). Since (R, ⋅) is a hypergroup, it follows that there exists tR such that xyt, which implies that φm(x) = φm(y) ⊙ φm(t). Since (R/ εm, ⊙) is a group and φm(x) = φm(y), it results φm(t) = 1R/εm. Thus, tφm1(1R/εm)=ωRm, and so xytAωRm. Then φm1(φm(A)) ⊆ AωRm.

Conversely, let xAωRm. Then xay, for some aA and yωRm, that is φm(y) = 1R/εm. Hence φm(x) = φm(ay) = φm(a) ⊙ φm(y) = φm(a) ⊙ 1R/εm = φm(a) ∈ φm(A), and so xφm1(φm(A)). This completes the proof. □

Theorem 4.13

If (R, +, ⋅) is a hyperfield and AR, then 𝓒m(A) = AωRm.


It is easy to see that φm1(φm(A)) = {xR | ∃aA : φm(x) = φm(a)}. Also, we have φm(x) = φm(a) if and only if εm(x) = εm(a), equivalently with θ(x) = θ(a), meaning that xKm(a) = 𝓒m(a), by Theorem 4.11. Hence, x ∈ 𝓒m(A) if and only if xφm1(φm(A)), thus xAωRm, by Theorem 4.7 and Theorem 4.12. Therefore, 𝓒m(A) = AωRm.□

Corollary 4.14

Let R be a hyperfield. A is an m-complete part of R if and only if A = AωRm.


If A is an m-complete part, then 𝓒m(A) = A. Hence, A = 𝓒m(A) = AωRm, by Theorem 4.13. Conversely, if A = AωRm, then A = 𝓒m(A) by Theorem 4.13, and so A is an m-complete part of R.□

By Theorem 4.12, we have ωRmωRm=φm1(φm(ωRm))=ωRm.Hence,ωRm is an m-complete part of the hyperfield (R, +, ⋅), by Corollary 4.14.

Moreover, notice that, for two subsets A and B of the hyperfield R such that one of them is an m-complete part of R (assume that A is so), we have (AB) ⋅ ωRm = (AωRm) ⋅ B = AB, by Corollary 4.14. Hence, AB is an m-complete part of R, by Corollary 4.14.

Theorem 4.15

Let (R, +, ⋅) be a hyperfield. Then every m-complete part subhypergroup of (R, ⋅) is invertible. Moreover, it is closed.


Let A be an m-complete part of R such that (A, ⋅) is a subhypergroup of (R, ⋅). Take xAy for x, yR. Thus, xay, for aA, which implies that φm(x) = φm(a) ⊙ φm(y). Since φm(A) is a subgroup of R/ εm, we have φm(y) = φm(a)–1φm(x) ∈ φm(A)⊙ φm(x) = φm(Ax). Besides, Ax is an m-complete part of R, hence yφm1(φm(Ax)) = 𝓒m(Ax) = Ax. Then, A is invertible on the left. Similarly, we can show that A is invertible on the right. Therefore, A is invertible, and by consequence it is also closed.□

Theorem 4.16

Let (R, +, ⋅) be a hyperfield and 𝓢Cm(R) be the set of all m-complete parts of R which are subhypergroups of (R, ⋅). Then, ωRm=ASCm(R)A.


We know that ωRm is an m-complete part of R. Let xωRm. For all t, yωRm, we have φm(x) = 1R/εm = φm(t) ⊙ φm(y) = φm(ty). Hence, xφm1(φm(tωm)) = 𝓒m(tωRm) = tωRm, and so ωRmtωRmfor alltωRm. Clearly, tωRmωRm.ThenωRm=tωRm,for alltωRm, which implies that ωRm is a subhypergroup of (R, ⋅). Thus, ASCm(R)AωRm. Now, let A ∈ 𝓢Cm(R). By Corollary 4.14, A = AωRm. Hence, for every xωRm, there exist a, bA such that abx, and so aAx. By Theorem 4.15, A is invertible, and therefore xAaA. Then ωRmA, and thus ωRmASCm(R)A. Hence, the proof is complete.□

We recall that a hyperring (R, +, ⋅) is said to be m-idempotent ([12]) if there exists a constant m, 2 ≤ m ∈ ℕ, such that xxm, for all xR.

Example 4.17

[12] Consider the Krasner hyperring R = {0, a, b} with the hyperaddition and the multiplication defined as follows [20]:


  1. For every odd number m ∈ ℕ, we have 0m = 0, am = a and bm = b. Hence, R is m-idempotent, for all odd natural numbers m.

  2. Besides, since a2 = aa = b, it follows that R is not an 2-idempotent hyperring. Similarly, one proves that, for all even numbers m ∈ ℕ, the hyperring R is not m-idempotent.

Example 4.18

The hyperring defined in Example 3.2 is an m-idempotent hyperring (satisfying relation (2)), for all m, 2 ≤ m ∈ ℕ [12].

Example 4.19

Define on the set R = {0, 1} two hyperoperations as follows:


Then, (R, ⊞, ⊡) is an m-idempotent hyperring satisfying relation (2), for all m, 2 ≤ m ∈ ℕ.

Example 4.20

Similarly, take the same support set R = {0, 1} and define on R the two hyperoperations as follows:


The hyperring (R, ⊕, ⊙) is m-idempotent, for all m, 2 ≤ m ∈ ℕ, and satisfies relation (2).

Now we give an example of m-idempotent hyperfield.

Example 4.21

Define on R = {0, 1} two hyperoperations as follows:


Then, (R, +, ⋅) is an m-idempotent hyperfield satisfying relation (2).

Now, for all aR, put X(a)={i=1nAimai=1nAim}, where A1, …, AnR.

Theorem 4.22

Let R be an m-idempotent hyperfield. Then 𝓧(a) is an m-complete part of R, for all aR.


Suppose that aR and i=1nzim ∩ 𝓧(a) ≠ ∅, for some z1, …, znR. Then there exists zR such that zi=1nzim and zA, where A = i=1nAim, for A1, …, AnR. Since (R, ⋅) is a hypergroup, there exist w, bR such that znwa and azb. Also, for all 1 ≤ in – 1 we have ziziR. Hence,


since zA. Moreover, R is m-idempotent and we have bbm, thus


Therefore, (z1R)m + … + (zn–1R)m + (wAb)m ⊆ 𝓧(a) and so i=1nzim ⊆ 𝓧(a). Then, 𝓧(a) is an m-complete part of R.□

Theorem 4.23

Let R be an m-idempotent hyperfield. Then 𝓧(a) = ωRm, for every aωRm.


It is not difficult to see that aωRm=ωRm, for all aωRm. Hence, ωRm = aωRm = 𝓒m(a) ⊆ 𝓧(a), by Theorem 4.13 and Theorem 4.22. Now, let aωRm and x ∈ 𝓧(a). Then there exists A = i=1nAim ⊆ 𝓧(a) such that xA. Since aA, then {x, a} ⊆ A. Since R satisfies relation (2), there exist xiAi, for 1 ≤ in, such that {x, a} ⊆ i=1nxim and so εm(x) = εm(a). Then φm(x) = φm(a). Hence, xφm1(φm(a)) = aωRm = ωRm. Therefore, the proof is complete.□

Theorem 4.24

The relation εm is transitive on m-idempotent hyperfields.


Let R be an m-idempotent hyperfield and xεmy, for x, yR. Hence, xφm1(φm(y)) = yωRm. Similarly, we have yxωRm which implies that {x, y} ⊆ xωRm. Then, there exist t, zωRm such that xxt and yxz. By Theorem 4.23, zωRm = 𝓧(t) and thus {t, z} ⊆ A = i=1nAim for A ⊆ 𝓧(t). Since R is m-idempotent, {x, y} ⊆ xAi=1n(xAi)m. So, there exist zixAi for every 1 ≤ in such that {x, y} ⊆ i=1nxim. Therefore, my and so εm = εm.□

5 Conclusions

The fundamental relation γ* defined by Vougiouklis [16] on a general hyperring R is the smallest equivalence relation on R such that the quotient structure R/γ* is a ring. If we consider a special type of hyperrings, i.e. those satisfying relation (2), we can define another fundamental relation on R, εm-relation [12], smaller than γ*, while on m-idempotent hyperrings satisfying relation (2), we have εm = γ* [12]. In general, εm is not transitive. This paper provides a detailed study on the transitivity property of εm. Using m-complete parts of a hyperring, we have proved that εm is transitive on m-idempotent hyperfields satisfying relation (2).


The first author was partially supported by a grant from University of Bojnord. The second author acknowledges the financial support from the Slovenian Research Agency (research core funding No. P1 - 0285).


  • [1]

    Vougiouklis, T., The fundamental relation in hyperrings. The general hyperfield, Algebraic hyperstructures and applications (Xanthi, 1990), World Sci. Publ., Teaneck, NJ, 1991, 203-211. Google Scholar

  • [2]

    Antampoufis, N., Hoskova-Mayerova, S., A Brief Survey of the two Different Approaches of Fundamental Equivalence Relations on Hyperstructures, Ratio Math., 2017, 33, 47-60. Google Scholar

  • [3]

    Koskas, M., Groupoids, demi-hypergroupes et hypergroupes, J. Math. Pure Appl., 1970, 49(9), 155-192. Google Scholar

  • [4]

    Freni, D., A new characterization of the derived hypergroup via strongly regular equivalences, Comm. Algebra, 2002, 30(8), 3977-3989. CrossrefGoogle Scholar

  • [5]

    Aghabozorgi, H., Davvaz, B., Jafarpour, M., Nilpotent groups derived from hypergroups, J. Algebra, 2013, 382, 177-184. Web of ScienceCrossrefGoogle Scholar

  • [6]

    Ameri, R., Mohammadzadeh, E., Engel groups derived from hypergroups, European J. Combin., 2015, 44, 191-197. Web of ScienceCrossrefGoogle Scholar

  • [7]

    Jafarpour, M., Aghabozorgi, H., Davvaz, B., Solvable groups derived from hypergroups, J. Algebra Appl. 2016, 15, 1650067 (9 pages). Web of ScienceGoogle Scholar

  • [8]

    Davvaz, B., Vougiouklis, T., Commutative rings obtained from hyperrings (Hv-rings) with α*-relations, Comm. Algebra, 2007, 35(11), 3307-3320. CrossrefGoogle Scholar

  • [9]

    Ghiasvand, P., Mirvakili, S., Davvaz, B., Boolean rings obtained from hyperrings with η1, m-relations, Iran. J. Sci. Technol. Trans. A Sci., 2017, 41(1), 69-79. CrossrefGoogle Scholar

  • [10]

    Ameri, R., Nozari, T., A new characterization of fundamental relation on hyperrings, Int. J. Contemp. Math. Sci., 2010, 5(15), 721-738. Google Scholar

  • [11]

    Anvariyeh, S.M., Mirvakili, S., Davvaz, B., θ-relation on hypermodules and fundamental modules over commutative fundamental rings, Comm. Algebra, 2008, 36(2), 622-631. CrossrefGoogle Scholar

  • [12]

    Norouzi, M., Cristea, I., Fundamental relation on m-idempotent hyperrings, Open. Math., 2017, 15, 1558-1567. Web of ScienceGoogle Scholar

  • [13]

    Davvaz, B., Leoreanu-Fotea, V., Hyperring Theory and Applications, Int. Academic Press, USA, 2007. Google Scholar

  • [14]

    Massouros, C.G., On the theory of hyperrings and hyperfields, Algebra i Logika, 1985, 24, 728-742. Google Scholar

  • [15]

    Vougiouklis, T., Hyperstructures and their representations, Hadronic Press Inc., Palm Harbor, 1994. Google Scholar

  • [16]

    Vougiouklis, T., On some representations of hypergroups, Ann. Sci. Univ. “Blaise Pascal”. Clermont II, Ser. Math., 1980, 26, 21-29. Google Scholar

  • [17]

    Corsini, P., Prolegomena of Hypergroup Theory, Aviani Editore, 1993. Google Scholar

  • [18]

    Hila, K., Davvaz, B., An introduction to the theory of algebraic multi-hyperring spaces, An. Şt. Univ. Ovidius Constanţa, 2014, 22(3), 59-72. Google Scholar

  • [19]

    Mirvakili, S., Anvariyeh, S.M., Davvaz, B., Transitivity of Γ-relation on hyperfields, Bull. Math. Soc. Sci. Math. Roumanie, 2008, 51(3), 233-243. Google Scholar

  • [20]

    Asokkumar, A., Derivations in hyperrings and prime hyperrings, Iran. J. Math. Sci. Inform., 2013, 8(1), 1-13. Google Scholar

About the article



Received: 2018-04-17

Accepted: 2018-07-04

Published Online: 2018-08-24

Citation Information: Open Mathematics, Volume 16, Issue 1, Pages 1012–1021, ISSN (Online) 2391-5455, DOI: https://doi.org/10.1515/math-2018-0085.

Export Citation

© 2018 Norouzi and Cristea, published by De Gruyter. This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 License. BY-NC-ND 4.0

Comments (0)

Please log in or register to comment.
Log in