Document Type : Original Manuscript


1 Department of Mathematics, Payame Noor University, Tehran, Iran.

2 Department of Mathematics, Yazd University, Yazd, Iran.


An M-polysymmetrical hyperring $(R,+,\cdot )$ is an algebraic system, where $(R,+)$ is an M-polysymmetrical hypergroup, $(R,\cdot )$ is a semigroup and $\cdot$ 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.