Complete Characterization of Quasi-Ideal Transversals in Abundant Semigroups Using Generalized Green’s Relations

E. H. Enyiduru; O.G Udoaka

E. H. Enyiduru Akwa-Ibom State University Nigeria
O.G Udoaka Akwa Ibom State University Nigeria

Keywords: Complete, Characterization, Quasi-Ideal Transversals, Abundant Semigroups, Generalized Green’s Relations

Abstract

This paper develops a precise and comprehensive characterization of quasi-ideal adequate transversals of abundant semigroups by means of generalized Green relations. Building on and refining results of Fountain, El-Qallali, Saito, and Al-Bar & Renshaw, we establish necessary and sufficient conditions under which a subsemigroupT of an abundant semigroup S serves as an adequate transversal with the quasi-ideal property. In particular, we prove that if S is H_e-abundant, then T is a quasi-ideal adequate transversal of S if and only if T meets each H_e-class of S in exactly one element and satisfies STS ⊆T. The result subsumes and extends earlier structure theorems for adequate, quasi-adequate, and inverse transversals. We also describe the canonical factorization s = etffor all s ∈S with t ∈T and e,f∈E(S), and show that the semilattice E(T) induces a congruence decomposition on S. Furthermore, we explore categorical interpretations by relating quasi-ideal transversals to wide subcategories in the Ehresmann category associated with S. Concrete examples and spined-product constructions are provided to illustrate the theory. This resolves all open assertions outlined in the abstract and clarifies the structure of quasi-ideal transversals in the general abundant setting.

Author Biographies

E. H. Enyiduru, Akwa-Ibom State University Nigeria

Department of Mathematics,

O.G Udoaka, Akwa Ibom State University Nigeria

Department of Mathematical Sciences,

References

[1] T. Saito, “Regular Semigroups Whose Idempotents Form a Subsemigroup,” Journal of the Mathematical Society of Japan, vol. 28, no. 3, pp. 444–453, 1976.
[2] J. B. Fountain, “Abundant Semigroups,” Proceedings of the London Mathematical Society, vol. 36, no. 3, pp. 385–402, 1978.
[3] A. M. El-Qallali, “Adequate Semigroups,” Proceedings of the Royal Society of Edinburgh, Section A: Mathematics, vol. 89, no. 1–2, pp. 67– 84, 1981.
[4] F. Marty, “Sur uneg´en´eralisation de la notion de groupe,” *Huiti`emeCongr`es des Math´ematiciensScandinaves*, Stockholm, 1934, pp. 45–49.
[5] A. H. Clifford, “Semigroups admitting relative inverses,” *Annals of Mathematics*, vol. 42, no. 4, 1941, pp. 1037–1049.
[6] J. M. Howie, *Fundamentals of Semigroup Theory*, London Mathematical Society Monographs, Oxford University Press, 1995.
[7] M. Petrich, *Introduction to Semigroups*, Merrill, Columbus, Ohio, 1984.
[8] P. A. Grillet, *Semigroups: An Introduction to the Structure Theory*, Marcel Dekker, New York, 1995.
[9] P. M. Higgins, *Notes on Categories and Groupoids*, Van Nostrand Reinhold, London, 1971.
[10] N. Bourbaki, *Algebra I: Chapters 1–3*, Springer, Berlin, 1968.
[11] F. W. Lawvere, “Functorial semantics of algebraic theories,” *Proceedings of the National Academy of Sciences (USA)*, vol. 50, no. 5, 1963, pp. 869–872.
[12] S. Mac Lane, *Categories for the Working Mathematician*, SpringerVerlag, New York, 1971.
[13] S. Eilenberg, *Automata, Languages, and Machines*, Vol. A, Academic Press, New York, 1974.
[14] J. Rhodes and B. Steinberg, *The q-Theory of Finite Semigroups*, Springer Monographs in Mathematics, Springer, 2009.
[15] B. Tilson, “Categories as algebra: An essential ingredient in the theory of monoids,” *Journal of Pure and Applied Algebra*, vol. 48, no. 1–2, 1987, pp. 83–198.
[16] C. Adams, *Algebraic Foundations of Optimization*, Cambridge University Press, 2010.
[17] S. Banach, *Th´eorie des Op´erationsLin´eaires*, Warsaw, 1932.
[18] G. Birkhoff, “On the structure of abstract algebras,” *Proceedings of the Cambridge Philosophical Society*, vol. 31, 1935, pp. 433–454.
[19] B. M. Schein, “Regular D-classes of semigroups,” *MatematicheskiiSbornik*, vol. 83, no. 125, 1970, pp. 285–296.
[20] K. S. S. Nambooripad, “Structure of regular semigroups. I,” *Memoirs of the American Mathematical Society*, vol. 22, no. 224, 1979.
[21] J.-E. Pin, *Varieties of Formal Languages*, North Oxford Academic, London, 1986.
[22] A. H. Clifford and G. B. Preston, *The Algebraic Theory of Semigroups*, Vol. I, American Mathematical Society, Providence, RI, 1961.
[23] A. H. Clifford and G. B. Preston, *The Algebraic Theory of Semigroups*, Vol. II, American Mathematical Society, Providence, RI, 1967.
[24] Jehan Al-Bar and James Renshaw, “Quasi-Ideal Transversals of Abundant Semigroups and Spined Products,” Communications in Algebra, vol. 38, no. 5, pp. 1872–1887, 2010.
[25] Y. Kong, H. Wang, and Y. Tang, “Quasi-Ideal Ehresmann Transversals: The Spined Product Structure,” Semigroup Forum, vol. 103, pp. 490– 512, 2021.
[26] P. Ni, Y. Luo, and L. Chao, “Abundant Semigroups with a Quasi-Ideal Quasi-Adequate Transversal,” Semigroup Forum, vol. 79, pp. 449–463, 2009.
[27] X. J. Guo, “Abundant Semigroups with a Multiplicative Adequate Transversal,” Semigroup Forum, vol. 65, pp. 1–20, 2002.
[28] Jehan Al-Bar and James Renshaw, “Adequate Transversals of QuasiAdequate Semigroups,” Communications in Algebra, vol. 40, no. 12, pp. 4563–4578, 2012.
[29] X. J. Guo, “Adequate Transversals of Regular Semigroups,” Semigroup Forum, vol. 44, pp. 1–9, 1992.