M. A. Madani - Department of Mathematics, Payame Noor University, Tehran, Iran.
S. Mirvakili - Department of Mathematics, Payame Noor University, Tehran, Iran.
B. Davvaz - 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.

M-polysymmetrical hyperring, Hyperideal, Reduced ring