Academia.eduAcademia.edu

Outline

Title
Abstract
Non-Finitely Related Semigroup
References
All Topics
Mathematics
Pure Mathematics

On finitely related semigroups

Profile image of Peter MayrPeter Mayr

2013, Semigroup Forum

https://doi.org/10.1007/S00233-012-9455-6
visibility

…

description

21 pages

link

1 file

Abstract

An algebraic structure is finitely related (has finite degree) if its term functions are determined by some finite set of finitary relations. We show that the following finite semigroups are finitely related: commutative semigroups, 3-nilpotent monoids, regular bands, semigroups with a single idempotent, and Clifford semigroups. Further we provide the first example of a semigroup that is not finitely related: the 6-element Brandt monoid.

Related papers

Semigroup-theoretical characterizations of arithmetical invariants with applications to numerical monoids and Krull monoids
Victor Blanco

Arxiv preprint arXiv: …, 2010

Arithmetical invariants---such as sets of lengths, catenary and tame degrees---describe the non-uniqueness of factorizations in atomic monoids. We study these arithmetical invariants by the monoid of relations and by presentations of the involved monoids. The abstract results will be applied to numerical monoids and to Krull monoids.

View PDFchevron_right
Book Review: The algebraic theory of semigroups
John Rhodes

Bulletin of the American Mathematical Society, 1970

View PDFchevron_right
Some first tantalizing steps into semigroup theory
Christopher Hollings

Semigroup theory is a thriving field in modern abstract algebra, though perhaps not a very well-known one. In this article, we give a brief introduction to the theory of algebraic semigroups and hopefully demonstrate that it has a flavor quite different from that of group theory. In the first few sections, we build up some basic semigroup theory, always with the group analogy at the back of our minds. Then, once we have established enough theory, we break free of this restriction and see some truly “independent” semigroup theory. In the final section, we consider the application of semigroups to the study of “partial symmetries.”

View PDFchevron_right
Semigroups of I-Type
Tatiana Gateva-Ivanova

Journal of Algebra, 1998

View PDFchevron_right
On the semigroup of binary relations
Bob Plemmons

Pacific Journal of Mathematics, 1970

View PDFchevron_right
Chapter 4. Synthesis of the classical and modern theory of finite semigroups
John Rhodes

Advances in Mathematics, 1973

View PDFchevron_right
The q-theory of finite semigroups
Benjamin Steinberg

2001

VIII Preface the reader's convenience an appendix on the basic structure theory, such as Green's relations and Rees's Theorem, but it is by no means complete. The classic treatise of A. H. Clifford and G. B. Preston [66] still serves admirably for learning this material, as does the "Arbib" book . One can also turn to the books of J. M. Howie and P. M. Higgins . For the present text, it is handy to be familiar with a little bit of category theory [177], basic topology , and perhaps some combinatorial group theory .

View PDFchevron_right
N(A)-ternary semigroups
Dr D Madhusudhana Rao
View PDFchevron_right
A Description of a Class of Finite Semigroups That Are Near to Being Mal'Cev Nilpotent
Eric Jespers

Journal of Algebra and Its Applications, 2013

In this paper we continue the investigations on the algebraic structure of a finite semigroup S that is determined by its associated upper non-nilpotent graph N S . The vertices of this graph are the elements of S and two vertices are adjacent if they generate a semigroup that is not nilpotent (in the sense of Malcev). We introduce a class of semigroups in which the Mal'cev nilpotent property lifts through ideal chains. We call this the class of pseudo-nilpotent semigroups. The definition is such that the global information that a semigroup is not nilpotent induces local information, i.e. some two-generated subsemigroups are not nilpotent. It turns out that a finite monoid (in particular, a finite group) is pseudo-nilpotent if and only if it is nilpotent. Our main result is a description of pseudo-nilpotent finite semigroups S in terms of their associated graph N S . In particular, S has a largest nilpotent ideal, say K, and S K is a 0-disjoint union of its connected components (adjoined with a zero) with at least two elements.

View PDFchevron_right
Adequate Semigroups
John Fountain

Proceedings of the Edinburgh Mathematical Society, 1979

A monoid in which every principal right ideal is projective is called a right PP monoid. Special classes of such monoids have been investigated in (2), (3), (4) and (8). There is a well-known internal characterisation of right PP monoids using the relation ℒ* which is defined as follows. On a semigroup S, (a,b) ∈ℒ* if and only if the elements a,b of S are related by Green's relation ℒ* in some oversemigroup of S. Then a monoid S is a right PP monoid if and only if each ℒ*-class of S contains an idempotent. The existence of an identity element is not relevant for the internal characterisation and in this paper we study some classes of semigroups whose idempotents commute and in which each ℒ*-class contains an idempotent. We call such a semigroup a right adequate semigroup since it contains a sufficient supply of suitable idempotents. Dually we may define the relation ℛ* on a semigroup and the notion of a left adequate semigroup. A semigroup which is both left and right adequate w...

View PDFchevron_right

References (34)

  1. Aichinger, E., Mayr, P., McKenzie, R.: On the number of finite algebraic structures. J. Eur. Math. Soc. (2011, to appear). Available from arXiv:1103.2265v1
  2. Baker, K.A.: Finite equational bases for finite algebras in a congruence-distributive equational class. Adv. Math. 24(3), 207-243 (1977)
  3. Baker, K.A., Pixley, A.F.: Polynomial interpolation and the Chinese remainder theorem for algebraic systems. Math. Z. 143(2), 165-174 (1975)
  4. Barto, L.: Finitely related algebras in congruence distributive varieties have near unanimity terms. Can. J. Math.. Published electronically: 2011-12-24. doi:10.4153/CJM-2011-087-3
  5. Berman, J., Idziak, P., Marković, P., McKenzie, R., Valeriote, M., Willard, R.: Varieties with few subalgebras of powers. Trans. Am. Math. Soc. 362(3), 1445-1473 (2010)
  6. Bodnarčuk, V.G., Kalužnin, L.A., Kotov, V.N., Romov, B.A.: Galois theory for Post algebras. I, II. Kibernetika 3, 1-10 (1969); ibid. 5, 1-9 (1969)
  7. Bova, S., Chen, H., Valeriote, M.: Generic expression hardness results for primitive positive formula comparison. In: 38th International Colloquium on Automata, Languages, and Programming (ICALP), Zürich, Switzerland. Springer, Berlin (2011)
  8. Bryant, R.M.: The laws of finite pointed groups. Bull. Lond. Math. Soc. 14(2), 119-123 (1982)
  9. Burris, S., Sankappanavar, H.P.: A Course in Universal Algebra. Springer, New York (1981)
  10. Clifford, A.H., Preston, G.B.: The Algebraic Theory of Semigroups. Vol. I. Mathematical Surveys, vol. 7. Am. Math. Soc., Providence (1961)
  11. Davey, B.A., Jackson, M.G., Pitkethly, J.G., Szabó, C.: Finite degree: algebras in general and semi- groups in particular. Semigroup Forum 83(1), 89-122 (2011)
  12. Dolinka, I.: Finite regular bands are finitely related. Bull. Aust. Math. Soc.. Published online: 15 May 2012, available on CJO 2012. doi:10.1017/S0004972712000263
  13. Evans, T.: The lattice of semigroup varieties. Semigroup Forum 2(1), 1-43 (1971)
  14. Feder, T., Vardi, M.: The computational structure of monotone monadic SNP and constraint satisfac- tion: a study through datalog and group theory. SIAM J. Comput. 28(1), 57-104 (1999) (electronic)
  15. Fennemore, C.: All varieties of bands. Semigroup Forum 1(2), 172-179 (1970)
  16. Geiger, D.: Closed systems of functions and predicates. Pac. J. Math. 27, 95-100 (1968)
  17. Gerhard, J.A.: The lattice of equational classes of idempotent semigroups. J. Algebra 15, 195-224 (1970)
  18. Grillet, P.A.: Commutative Semigroups. Advances in Mathematics (Dordrecht), vol. 2. Kluwer Aca- demic, Dordrecht (2001)
  19. Howie, J.M.: Fundamentals of Semigroup Theory. London Mathematical Society Monographs. New Series, vol. 12. Clarendon/Oxford University Press, Oxford (1995). Oxford Science Publications
  20. Jablonskiȋ, S.V.: The structure of the upper neighborhood for predicate-describable classes in P k . Dokl. Akad. Nauk SSSR 218, 304-307 (1974)
  21. Kleitman, D.J., Rothschild, B.R., Spencer, J.H.: The number of semigroups of order n. Proc. Am. Math. Soc. 55(1), 227-232 (1976)
  22. Klíma, O.: Complexity issues of checking identities in finite monoids. Semigroup Forum 79(3), 435- 444 (2009)
  23. Koubek, V., Rödl, V.: Note on the number of monoids of order n. Comment. Math. Univ. Carol. 26(2), 309-314 (1985)
  24. Marković, P., Maróti, M., McKenzie, R.: Finitely related clones and algebras with cube terms. Order 29(2), 345-359 (2012)
  25. Mel'nik, I.I.: Varieties and lattices of varieties of semigroups. In: Studies in Algebra, no. 2 (Russian), pp. 47-57. Izdat. Saratov Univ., Saratov (1970)
  26. Perkins, P.: Bases for equational theories of semigroups. J. Algebra 11, 298-314 (1969)
  27. Petrich, M., Reilly, N.R.: Completely Regular Semigroups. Canadian Mathematical Society Series of Monographs and Advanced Texts, vol. 23. Wiley, New York (1999). A Wiley-Interscience Publication
  28. Pöschel, R., Kalužnin, L.A.: Funktionen-und Relationenalgebren. Mathematische Monographien [Mathematical Monographs], vol. 15. VEB Deutscher Verlag der Wissenschaften, Berlin (1979). Ein Kapitel der diskreten Mathematik. [A chapter in discrete mathematics]
  29. Romov, B.A.: Local characteristics of Post algebras. I. Kibernetika 5, 38-45 (1976)
  30. Rosenberg, I.G.: Completeness properties of multiple-valued logic algebras. In: Computer Science and Multiple-Valued Logic: Theory and Applications. North-Holland, Amsterdam (1977)
  31. Rosenberg, I.G., Szendrei, Á.: Degrees of clones and relations. Houst. J. Math. 9(4), 545-580 (1983)
  32. Saliȋ, V.N.: Equationally normal varieties of semigroups. Izv. Vysš. Učebn. Zaved., Mat. 5(84), 61-68 (1969)
  33. Seif, S.: The Perkins semigroup has co-NP-complete term-equivalence problem. Int. J. Algebra Com- put. 15(2), 317-326 (2005)
  34. Willard, R.: Essential arities of term operations in finite algebras. Discrete Math. 149(1-3), 239-259 (1996)

Related papers

Some algebraic structures on the generalization general products of monoids and semigroups
Ahmad Wazzan

Arabian Journal of Mathematics

For arbitrary monoids A and B, in Cevik et al. (Hacet J Math Stat 2019:1–11, 2019), it has been recently defined an extended version of the general product under the name of a higher version of Zappa products for monoids (or generalized general product) $$A^{\oplus B}$$ A ⊕ B $$_{\delta }\bowtie _{\psi }B^{\oplus A}$$ δ ⋈ ψ B ⊕ A and has been introduced an implicit presentation as well as some theories in terms of finite and infinite cases for this product. The goals of this paper are to present some algebraic structures such as regularity, inverse property, Green’s relations over this new generalization, and to investigate some other properties and the product obtained by a left restriction semigroup and a semilattice.

View PDFchevron_right
The early development of the algebraic theory of semigroups
Christopher Hollings

Archive for history of exact sciences, 2009

In the history of mathematics, the algebraic theory of semigroups is a relative new-comer, with the theory proper developing only in the second half of the twentieth century. Before this, however, much groundwork was laid by researchers arriving at the study of semigroups from the directions of both group and ring theory. In this paper, we will trace some major strands in the early development of the algebraic theory of semigroups. We will begin with the aspects of the theory which were directly inspired by, and were analogous to, existing results for both groups and rings, before moving on to consider the first independent theorems on semigroups: theorems with no group or ring analogues.

View PDFchevron_right
On permutative semigroup algebras
Thomas Nordahl

Algebra Universalis, 1988

View PDFchevron_right
Structure of Regular Semigroups
Mulugeta Dawud

2015

This paper concerned with basic concepts and some results on (idempotent) semigroup satisfying the identities of three variables. The motivation of taking three for the number of variables has come from the fact that many important identities on idempotent semigroups are written by three or fewer independent variables. We consider the semigroup satisfying the property abc = ac and prove that it is left semi-normal and right quasi-normal. Again an idempotent semigroup with an identity aba = ab and aba = ba (ab = a, ab = b) is always a semilattices and normal. An idempotent semigroup is normal if and only if it is both left quasi-normal and right quasi-normal. If a semigroup is rectangular then it is left and right semi-regular.

View PDFchevron_right
On categorical semigroups
Bob Monzo

Bulletin of the Australian Mathematical Society, 1973

A semigroup S is called categorical if every ideal I of S has the property that abc є I (a, b, c є S) implies ab є I or be bc є I Necessary and sufficient conditions for an orthodox semigroup to be categorical are found and then used to characterize those bands which appear as an isomorphic copy of the band of idempotents of some orthodox categorical semigroup and to simplify the proof of a theorem of Mario Petrich. The structure of commutative categorical semigroups is found modulo the structure of abelian groups and categorical semilattices.

View PDFchevron_right

Related topics

  • Pure Mathematics
    • 580 California St., Suite 400
    San Francisco, CA, 94104
    © 2025 Academia. All rights reserved