On the borderline of fields and hyperfields, part II -- Enumeration and classification of the hyperfields of order 7

Fuente: arXiv
Salvato in:
Dettagli Bibliografici
Autori principali: Massouros, Christos G., Massouros, Gerasimos G.
Natura: Preprint
Pubblicazione: 2024
Soggetti:
Accesso online:
Tags: Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
_version_ 1866929632529350656
author Massouros, Christos G.
Massouros, Gerasimos G.
author_facet Massouros, Christos G.
Massouros, Gerasimos G.
contents The quotient hyperfield is a landmark on the borderline of fields and hyperfields. In this paper, which is the second part of our previously published paper, all the hyperfields of order 7 are constructed, enumerated and presented, in the course of which an important family of 7-element canonical hypergroups is revealed. The study of these hyperfields proved the existence of both quotient and non-quotient ones among them. Their construction became feasible because it is based on a new definition of the hyperfield with fewer axioms, which is introduced in this paper following our proof that the axiom of reversibility can derive from the other axioms of the hyperfield. Hence, the processing power needed for a computer to test whether a structure is a hyperfield or not is much less. This paper also proves properties and contains examples of skew hyperfields, strongly canonical hyperfields/hyperrings and superiorly canonical hyperfields/hyperrings that wrap up and complete the previously published conclusions and results of its first part.
format Preprint
id arxiv_https___arxiv_org_abs_2412_11331
institution arXiv
publishDate 2024
record_format arxiv
spellingShingle On the borderline of fields and hyperfields, part II -- Enumeration and classification of the hyperfields of order 7
Massouros, Christos G.
Massouros, Gerasimos G.
Rings and Algebras
16Y20, 12K99, 12E20, 20N20
The quotient hyperfield is a landmark on the borderline of fields and hyperfields. In this paper, which is the second part of our previously published paper, all the hyperfields of order 7 are constructed, enumerated and presented, in the course of which an important family of 7-element canonical hypergroups is revealed. The study of these hyperfields proved the existence of both quotient and non-quotient ones among them. Their construction became feasible because it is based on a new definition of the hyperfield with fewer axioms, which is introduced in this paper following our proof that the axiom of reversibility can derive from the other axioms of the hyperfield. Hence, the processing power needed for a computer to test whether a structure is a hyperfield or not is much less. This paper also proves properties and contains examples of skew hyperfields, strongly canonical hyperfields/hyperrings and superiorly canonical hyperfields/hyperrings that wrap up and complete the previously published conclusions and results of its first part.
title On the borderline of fields and hyperfields, part II -- Enumeration and classification of the hyperfields of order 7
topic Rings and Algebras
16Y20, 12K99, 12E20, 20N20
url https://arxiv.org/abs/2412.11331