Non-commutative hypergroup of order five

Abstract

We prove that all hypergroups of order four are commutative and that there exists a non-comutative hypergroup of order five. These facts imply that the minimum order of non-commutative hypergroups is five even though the minimum order of non-commutative groups is six.