HYPERIDEALS IN M-POLYSYMMETRICAL HYPERRINGS

An M-polysymmetrical hyperring (R,+,⋅) is an algebraic system, where (R,+) is an M-polysymmetrical hypergroup, (R,⋅) is a semigroup and ⋅ is bilaterally distributive over +. In this paper, we introduce the concept of hyperideals of an M-polysymmetrical hyperring and by using this concept, we construct an ordinary quotient ring. Finally, the fundamental theorem of homomorphism is derived in the context of M-polysymmetrical hyperrings.