Independence of the axioms of hypergroup over the group

This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Submitted: 2024-12-09; Published: 2024-12-09

This work is licensed under Creative Commons Attribution–NonCommercial International License (CC BY-NC 4.0).

Abstract

The independence of the axioms of hypergroup over the group is proved. The proof is composed of two parts. In the first part, the independence of the axioms (P3)(P3), (A1)(A1), (A3)(A3), (A5)(A5) in the system of axioms of hypergroup over the group is shown by fixing the structural mappings ΦΦ and ΞΞ. In the same way, in the second part of the proof, the independence of the axioms (P1)(P1), (P2)(P2), (A2)(A2), (A4)(A4) is shown by fixing ΨΨ and ΛΛ.