The non-nilpotent graph of a semigroup. (English) Zbl 1264.20062
Authors’ summary: We associate a graph \(\mathcal N_S\) with a semigroup \(S\) (called the upper non-nilpotent graph of \(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 Mal’cev). In case \(S\) is a group this graph has been introduced by A. Abdollahi and M. Zarrin and some remarkable properties have been proved. The aim of this paper is to study this graph (and some related graphs, such as the non-commuting graph) and to discover the algebraic structure of \(S\) determined by the associated graph. It is shown that if a finite semigroup \(S\) has empty upper non-nilpotent graph then \(S\) is positively Engel. On the other hand, a semigroup has a complete upper non-nilpotent graph if and only if it is a completely simple semigroup that is a band. One of the main results states that if all connected \(\mathcal N_S\)-components of a semigroup \(S\) are complete (with at least two elements) then \(S\) is a band that is a semilattice of its connected components and, moreover, \(S\) is an iterated total ideal extension of its connected components. We also show that some graphs, such as a cycle \(C_n\) on \(n\) vertices (with \(n\geq 5\)), are not the upper non-nilpotent graph of a semigroup. Also, there is precisely one graph on 4 vertices that is not the upper non-nilpotent graph of a semigroup with 4 elements. This work also is a continuation of earlier work by Okniński, Riley and the first named author on (Mal’cev) nilpotent semigroups.
Reviewer: Jan Okniński (Warszawa)
MSC:
| 20M10 | General structure theory for semigroups |
| 20M05 | Free semigroups, generators and relations, word problems |
| 05C25 | Graphs and abstract algebra (groups, rings, fields, etc.) |
Keywords:
finite semigroups; nilpotent semigroups; non-nilpotent graphs; non-commuting graphs; completely simple semigroupsReferences:
| [1] | Abdollahi, A., Zarrin, M.: Non-nilpotent graph of a group. Commun. Algebra 38(12), 4390–4403 (2010) · Zbl 1216.20018 · doi:10.1080/00927870903386460 |
| [2] | Abdollahi, A.: Engle graph associated to a group. J. Algebra 318(2), 680–691 (2007) · Zbl 1136.20034 · doi:10.1016/j.jalgebra.2007.09.007 |
| [3] | Abdollahi, A., Akbari, S., Maimani, H.R.: Non-commuting graph of a group. J. Algebra 298, 468–492 (2006) · Zbl 1105.20016 · doi:10.1016/j.jalgebra.2006.02.015 |
| [4] | Akbari, S., Maimani, H.R., Yassemi, S.: When a zero-divisor graph is planar or complete r-partite graph. J. Algebra 270, 169–180 (2003) · Zbl 1032.13014 · doi:10.1016/S0021-8693(03)00370-3 |
| [5] | Akbari, S., Mohammadian, A.: On the zero-divisor graph of a commutative ring. J. Algebra 274(2), 847–855 (2004) · Zbl 1085.13011 · doi:10.1016/S0021-8693(03)00435-6 |
| [6] | Anderson, D.F., Livingston, P.S.: The zero-divisor graph of a commutative ring. J. Algebra 217, 434–447 (1999) · Zbl 0941.05062 · doi:10.1006/jabr.1998.7840 |
| [7] | Beck, I.: Coloring of commutative rings. J. Algebra 116, 208–226 (1988) · Zbl 0654.13001 · doi:10.1016/0021-8693(88)90202-5 |
| [8] | Bertram, E.A.: Some applications of graph theory to finite groups. Discrete Math. 44, 31–43 (1983) · Zbl 0506.05060 · doi:10.1016/0012-365X(83)90004-3 |
| [9] | Bertram, E.A., Herzog, M., Mann, A.: On a graph related to conjugacy classes of groups. Bull. Lond. Math. Soc. 22(6), 569–575 (1990) · Zbl 0743.20017 · doi:10.1112/blms/22.6.569 |
| [10] | Clifford, A.H., Preston, G.B.: The Algebraic Theory of Semigroups. Am. Math. Soc., Providence (1961) · Zbl 0111.03403 |
| [11] | Grigorchuk, R.I.: Cancellative semigroups of power growth. Mat. Zametki 43, 305–319 (1988) (in Russian) · Zbl 0643.20036 |
| [12] | Jespers, E., Okniński, J.: Nilpotent semigroups and semigroup algebras. J. Algebra 169(3), 984–1011 (1994) · Zbl 0818.16022 · doi:10.1006/jabr.1994.1322 |
| [13] | Jespers, E., Okniński, J.: Semigroup algebras and maximal orders. Can. Math. Bull. 42(3), 298–306 (1999) · Zbl 0934.16021 · doi:10.4153/CMB-1999-036-2 |
| [14] | Jespers, E., Riley, D.: Nilpotent linear semigroups. Int. J. Algebra Comput. 16(1), 1–20 (2006) · Zbl 1118.20053 · doi:10.1142/S0218196706002913 |
| [15] | Lallement, G.: On nilpotency in semigroups. Pac. J. Math. 42, 693–700 (1972) · Zbl 0258.20062 · doi:10.2140/pjm.1972.42.693 |
| [16] | Malcev, A.I.: Nilpotent semigroups. Uc. Zap. Ivanovsk. Ped. Inst. 4, 107–111 (1953) (in Russian) |
| [17] | Meleshkin, A.V.: Regular semigroups of polynomial growth. Mat. Zametki 47(2), 58–64 (1990) · Zbl 0695.20034 |
| [18] | Neumann, B.H.: A problem of Paul Erdös on groups. J. Aust. Math. Soc. Ser. A 21, 467–472 (1976) · Zbl 0333.05110 · doi:10.1017/S1446788700019303 |
| [19] | Neumann, B.H., Taylor, T.: Subsemigroups of nilpotent groups. Proc. R. Soc., Ser. A 274, 1–4 (1963) · Zbl 0115.02502 · doi:10.1098/rspa.1963.0110 |
| [20] | Okniński, J.: Semigroup Algebras. Marcel Dekker, New York (1981) · Zbl 0725.16001 |
| [21] | Steinberg, B.: The q-theory of finite semigroups. Ann. Math. 1, 5–9 (1968) · Zbl 0192.36202 |
| [22] | Segev, Y.: The commuting graph of minimal nonsolvable groups. Geom. Dedic. 88, 55–66 (2001) · Zbl 0994.20012 · doi:10.1023/A:1013180005982 |
| [23] | Williams, J.S.: Prime graph components of finite groups. J. Algebra 69(2), 487–513 (1981) · Zbl 0471.20013 · doi:10.1016/0021-8693(81)90218-0 |
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.
