Algorithmic Construction of Real Hyperfields from Minimal Axioms
Fuente:
arXiv
Salvato in:
| Autori principali: | , , |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2025
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866914008688230400 |
|---|---|
| author | Kędzierski, Dawid E. Kuhlmann, Katarzyna Stojałowska, Hanna |
| author_facet | Kędzierski, Dawid E. Kuhlmann, Katarzyna Stojałowska, Hanna |
| contents | We study real hyperfields, focusing in particular on those that are finite with cyclic positive cones. All real hyperfields have characteristic zero, although they can still be classified using the C-characteristic, an invariant that captures essential structural information. We present an algorithm to determine all such hyperfields up to isomorphism and compute their C-characteristic. The algorithm is optimal in the sense that the set of axioms used is minimal. We develop and implement this algorithm in software, enabling a complete classification of finite real hyperfields with cyclic positive cones of order up to 15, as well as identification of the C-characteristic that occur in such hyperfields of order up to 17. Restricting attention to finite hyperfields of cyclic positive cones enables substantial simplification of the algorithm, thereby enhancing its computational efficiency and allowing for the rapid generation of hyperfields of large order. Using a criterion that allows us to determine whether a given finite real hyperfield is a Krasner quotient hyperfield, we obtain many new examples of hyperfields that do not arise from Krasner's quotient construction. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2508_19418 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Algorithmic Construction of Real Hyperfields from Minimal Axioms Kędzierski, Dawid E. Kuhlmann, Katarzyna Stojałowska, Hanna Rings and Algebras 16Y20, 12K99, 12E20, 20N20, 08A05 We study real hyperfields, focusing in particular on those that are finite with cyclic positive cones. All real hyperfields have characteristic zero, although they can still be classified using the C-characteristic, an invariant that captures essential structural information. We present an algorithm to determine all such hyperfields up to isomorphism and compute their C-characteristic. The algorithm is optimal in the sense that the set of axioms used is minimal. We develop and implement this algorithm in software, enabling a complete classification of finite real hyperfields with cyclic positive cones of order up to 15, as well as identification of the C-characteristic that occur in such hyperfields of order up to 17. Restricting attention to finite hyperfields of cyclic positive cones enables substantial simplification of the algorithm, thereby enhancing its computational efficiency and allowing for the rapid generation of hyperfields of large order. Using a criterion that allows us to determine whether a given finite real hyperfield is a Krasner quotient hyperfield, we obtain many new examples of hyperfields that do not arise from Krasner's quotient construction. |
| title | Algorithmic Construction of Real Hyperfields from Minimal Axioms |
| topic | Rings and Algebras 16Y20, 12K99, 12E20, 20N20, 08A05 |
| url | https://arxiv.org/abs/2508.19418 |