Hv-Normal subgroups and Hv-quotient groups

A larger class of algebraic hyperstructures satisfying the group-like axioms is the class of Hv-groups. In this paper, without any condition and in general, we define the Hv-normal subgroup and the Hv-quotient group of an Hv-group. We introduce the fundamental equivalence relation of an Hv-quotient group and prove the first and third isomorphism theorems for Hv-groups.