On enumeration of EL-hypergroups of order 3 obtained from ordered semigroups

Document Type : Research Paper

Authors

1 Department of Mathematics, Shahid Ashrafi Isfahani, Isfahan,Iran,

2 Department of Mathematical Sciences, Yazd University, Yazd, Iran,

Abstract

The EL-hyperstructures are formed from (quasi) partially ordered (semi)groups through the application of the "Ends Lemma". In this paper, we enumerate EL-hypergroups of order 3, which are derived from ordered semigroups of order 3, using procedures implemented in MATLAB. Our approach is straightforward and accessible, leading to the identification of 27 EL-hypergroups of order 3.

Keywords

Main Subjects


[1] G. Brinkmann and B. D. McKay, Counting Unlabelled Topologies and Transitive Relations, Journal of Integer Sequences, 8 (2005), no. 2, Article 05.2.1.
[2] A. H. Clifford and G. B. Preston, The Algebraic Theory of Semigroups. Volume I, Mathematical Surveys and  Monographs, Vol. 7, American Mathematical Society, 1961.
[3] S. Chotchaisthit, Simple proofs determining all nonisomorphic semigroups of order3, App. Math. Sci. Vol. 8(26) (2014), 1261-1269.
[4] J. Chvalina, Commutative hypergroups in the sense of Marty and ordered Sets, Gen. Alg. and Ordered Sets, Proc. Inter. Conf., Olomouc, (1994).
[5] J. Chvalina, Functional Graphs, Quasi-Ordered Sets and Commutative Hypergroups, Masaryk University, Brno, 1995 (in Czech).
[6] P. Conrad, Ordered semigroups, Nagoya Mathematical Journal, 16 (1960), 51–64.
[7] P. Corsini and V. Leoreanu, Applications of Hyperstructure Theory, Advances in Math- ematics, Kluwer Academic Publishers, Dordrecht, 2003.
[8] P. Corsini, Hyperstrutures associated with ordered sets, Bull. Greek Math. Soc., 48 (2003), 7-18.
[9] B. Davvaz, Polygroup Theory and Related System, World Scientific Publishing Co. Pte. Ltd., 2012.
[10] A. Distler, A. D. Jefferson, M. Kelsey, and L. Kotthoff, The Semigroups of Order 10, in Principles and Practice of Constraint Programming (CP 2012), Lecture Notes in Computer Science, Vol. 7514, Springer, 2012.
[11] S. K. Das, A Machine Representation of Finite T0 Topologies, Journal of the ACM, 24 (1977), no. 4, 676–692.
[12] M. Ern´e, Struktur- und Anzahlformeln f¨ur Topologien auf endlichen Mengen, manuscripta mathematica, 11 (1974), 221–259.
[13] M. Ern´e and K. Stege, Counting Finite Posets and Topologies, Order, 8 (1991), 247–265.
[14] J. W. Evans, F. Harary, and M. S. Lynn, On the Computer Enumeration of Finite Topologies, Communications of the ACM, 10 (1967), no. 5, 295–298.
[15] G. E. Forsythe, SWAC computes 126 distinct semigroups of order 4, Proc. Amer. Math. Soc., 6 (1955), 443–447.
[16] S. H. Ghazavi, S. M. Anvarieh and S. Mirvakili, EL2–hyperstructures derived from (partially) quasi ordered hyperstructures, Iranain Journal of Mathematical Sciences and Informatics, 10 (2015), no. 2, 99-114.
[17] S. H. Ghazavi, S. M. Anvarieh and S. Mirvakili, Ideals in EL-semihypergroups associated to ordered semigroups, Journal of Algebraic Systems, 3 (2016), no. 2, 109 –125.
[18] S. H. Ghazavi and S. M. Anvarieh, EL-hyperstructures associated to n-ary relations, Soft Computing, 21 (2013), 5841-5850.
[19] S. H. Ghazavi and S. Mirvakili, On enumeration of EL-hyperstructures with 2 elements, Journal of Mahani  Mathematical Research Center, (2022), 11(1), 145 - 158.
[20] S. H. Ghazavi and S. Mirvakili, On enumeration and classification of EL2-semihypergroups and EL2-Hv-semihypergroups with 2 elements, Journal of Algebra and related topics, (2023), 11(2), 85 - 97.
[21] S. H. Ghazavi and S. Mirvakili, Ends Lemma based Γ-semihypergroups and their various ideals, Journal of Algebraic Hyperstructures and Logical Algebras, (2025), Vol. 6, no. 2, 139-149.
[22] C. Hollings, Mathematics across the Iron Curtain: A History of the Algebraic Theory of Semigroups, History of  Mathematics, Vol. 41, American Mathematical Society, 2014.
[23] D. Heidari and B. Davvaz, On ordered hyperstructures, U. P. B. Sci. Bull. Series A, 73 (2011), no. 2. [24] S. Hoskova, Binary Hyperstructures Determined by Relational and Transformation Systems, Diss, Faculty of Science, Universityof Ostrava, 2008.
[25] D. J. Kleitman, B. R. Rothschild, and J. H. Spencer, The Number of Semigroups of Order n, Proceedings of the American Mathematical Society, 55 (1976), no. 1, 227–232.
[26] V. Krishnamurthy, On the Number of Topologies on a Finite Set, The American Mathematical Monthly, 73 (1966), no. 2, 154–157.
[27] D. Kleitman and B. Rothschild, The Number of Finite Topologies, Proceedings of the American Mathematical Society, 25 (1970), no. 2, 276–282.
[28] D. J. Kleitman and B. L. Rothschild, Asymptotic Enumeration of Partial Orders on a Finite Set, Transactions of the American Mathematical Society, 205 (1975), 205–220.
[29] C. Massouros and G. Massouros, On the borderline of fields and hyperfields, Mathematics, 11 (2023), 1289.
[30] C. Massouros and G. Massouros, On the borderline of fields and hyperfields, part II—enumeration and classification of the hyperfields of order 7, AIMS Mathematics, 10 (2025), 21287–21421.
[31] R. Migliorato, Ipergruppi di cardinalit 3 e isomorfismi di ipergruppoidi commutativi totalmente regolari, Atti Convegno su Ipergruppi, Udine 1985.
[32] H. Mirabdollahi, S. M. Anvariyeh and S. Mirvakili, The associated hyperringoid to a Krasner hyperring, Journal of Taibah University for Science, 12:3, 348-356.
[33] W. Nakkhasen and B. Pibaljommee Hyperideals in EL-semihyperrings, Thai Journal of Mathematics, (2017), 133-143.
[34] G. Nordo, An algorithm on number of isomorphism classes of hypergroups of order 3, Italian J. Pure Appl. Math. 2 (1997) 3742.
[35] M. Novak, Potential of the Ends lemma to create ring-like hyperstructures from quasi-ordered semigroups, South Bohemia Mathem. Letters, 17 (2009), no. 1, 39-50.
[36] M. Novak, The notion of subhyperstructure of”Ends lemma”-based hyperstructures, Journal of Applied Mathematics, 3 (2010), no. 2, 237-247.
[37] M. Novak, Important elements of EL-hyperstructures, in APLIMAT:10th International Conference, STU in Bratislava, Bratislava, (2011), 151-158.
[38] M. Novak, El–hyperstructures: an overview, Ratio Mathematica, 23 (2012), 65-80.
[39] M. Novak, Some basic properties of EL-hyperstructure, European Journal of Combinatorics, 34 (2013), 446-459.
[40] G. Pfeiffer, Counting Transitive Relations, Journal of Integer Sequences, 7 (2004), no. 3, Article 04.3.2.
[41] M. Novak, On EL-semihypergroup, European Journal of Combinatorics, 44 (2015), 274-286.
[42] P. Rackova, Hypergroups of symmetric matrices, 10th International Congress of Algebraic Hyperstructures and Applications, Proceeding of AHA (2008).
[43] I. G. Rosenberg, Hypergroups and join spaces determined by relations, Italian Journal of Pure and Applied Mathematics, 4 (1998), 93-101.
[44] H. Sharp, Jr., Quasi-Orderings and Topologies on Finite Sets, Proceedings of the American Mathematical Society, 17 (1966), no. 6, 1344–1349.
[45] R. E. Stong, Finite Topological Spaces, Transactions of the American Mathematical Society, 123 (1966), no. 2, 325–340.
[46] Ch. Tsitouras and Ch. G. Massouros, On enumeration of hypergroups of order 3, Comput. Math. Appl. 59 (2010) 519-523.
[47] T. Vougiouklis, Representation of hypergroups by generalized permutations, Algebra Universalis, 29 (1992), 172-183.