Hypercompositional Algebra, Computer Science and Geometry

The various branches of Mathematics are not separated between themselves. On the contrary, they interact and extend into each other's sometimes seemingly different and unrelated areas and help them advance. In this sense, the Hypercompositional Algebra's path has crossed, among others, with the paths of the theory of Formal Languages, Automata and Geometry. This paper presents the course of development from the hypergroup, as it was initially defined in 1934 by F. Marty to the hypergroups which are endowed with more axioms and allow the proof of Theorems and Propositions that generalize Kleen's Theorem, determine the order and the grade of the states of an automaton, minimize it and describe its operation. The same hypergroups lie underneath Geometry and they produce results which give as Corollaries well known named Theorems in Geometry, like Helly's Theorem, Kakutani's Lemma, Stone's Theorem, Radon's Theorem, Caratheodory's Theorem and Steinitz's Theorem. This paper also highlights the close relationship between the hyperfields and the hypermodules to geometries, like projective geometries and spherical geometries.