Hyperstructures and Algebraic Geometry

Hyperstructures form a broad class of algebraic systems in which one or more operations produce sets of outputs rather than single elements. Originating in the 1930s with the definition of hypergroups, they were extended to hyperrings and hyperfields to generalise rings and fields. In a hyperring the additive operation is set-valued, while multiplication remains single-valued—this subtle shift unlocks new phenomena. Hyperfields impose additional axioms such that non-zero elements form a multiplicative group, offering analogues of field-theoretic concepts. These structures have been shown to encompass classical and tropical algebraic geometries under a unified framework. For example, quotient constructions of valued fields yield residual hyperfields that model limits and approximations in algebraic systems. The introduction of hyperideals and their prime and maximal variants allows the adaptation of fundamental theorems, including an analogue of Hilbert’s basis theorem, to the hyperring setting. In parallel, hypermodules extend module theory, enabling homological techniques and notions of injectivity and projectivity in multivalued contexts. Interactions with geometry emerge through hypercompositional algebra, where hyperstructures underlie the formulation of classical results such as Carathéodory’s and Radon’s theorems and support novel approaches in projective and spherical geometries. The evolving landscape of hyperstructures therefore provides a rich algebraic backbone for emerging directions in algebraic geometry, offering both generalisations of established theories and pathways to new applications.

Research from Nature Portfolio

No recent Nature Portfolio content available.

Research from all publishers

Recent work has advanced the interface between hyperstructures and geometric frameworks. One study establishes an analogue of the polynomial superring over a Krasner hyperring, demonstrating that polynomials form a multivalued hyperring under modified addition and identifying conditions under which prime and maximal hyperideals satisfy a Hilbert-type basis theorem. This development lays a foundation for scheme-like constructions over hyperrings and extends algebraic geometry into multivalued domains. Another contribution explores hypercompositional algebra in relation to computer science and geometry: it traces the lineage from early hypergroups to enriched hyperstructures that generalise classical automata theory and supply novel proofs of geometric theorems such as Helly’s and Steinitz’s. This work highlights how hyperfields and hypermodules underpin projective and spherical geometries, suggesting applications in combinatorial geometry and theoretical computation. A seminal foundational paper delineates the class of hyperrings and hyperfields arising as quotients of rings by normal subgroups of their multiplicative semigroups, proving that every such quotient is a hyperring (and a hyperfield when the original ring is a field). This result clarifies the ubiquity of hyperrings and underpins many modern constructions, linking them directly to classical algebraic frameworks.

Hyperstructures and Algebraic Geometry publication trend

The graph below shows the total number of articles in hyperstructures and algebraic geometry across all publications each year (not limited to Nature Index journals).

Technical terms

Hyperstructure: An algebraic system in which one or more operations output sets of elements rather than single elements.

Hyperring: A generalisation of a ring where addition is multivalued (set-valued) and multiplication remains single-valued.

Hyperfield: A hyperring in which non-zero elements form a multiplicative group, extending field theory to multivalued addition.

Hyperideal: A subset of a hyperring that is closed under the multivalued addition and absorbs multiplication, generalising ideals.

Hypermodule: A module-like structure over a hyperring, equipped with multivalued addition and scalar multiplication operations.

References

1. Superring of Polynomials over a Hyperring. Mathematics (2019).
2. Hypercompositional Algebra, Computer Science and Geometry. Mathematics (2020).
3. A class of hyperrings and hyperfields. International Journal of Mathematics and Mathematical Sciences (1983).
4. About the Normal Projectivity and Injectivity of Krasner Hypermodules. Axioms (2021).