Home The join of split graphs whose completely regular endomorphisms form a monoid
Article Open Access

The join of split graphs whose completely regular endomorphisms form a monoid

  • Hailong Hou , Yanhua Song and Rui Gu EMAIL logo
Published/Copyright: June 22, 2017

Abstract

In this paper, completely regular endomorphisms of the join of split graphs are investigated. We give conditions under which all completely regular endomorphisms of the join of two split graphs form a monoid.

MSC 2010: 05C25; 20M20

1 Introduction and preliminaries

Endomorphism monoids of graphs are generalizations of automorphism groups of graphs. In recent years, much attention has been paid to endomorphism monoids of graphs and many interesting results concerning graphs and their endomorphism monoids have been obtained (cf. [14]). The endomorphism monoids of graphs have valuable applications (cf. [1]) and are related to automata theory (cf. [2, 5]). Let X be a graph. Denote by End(X) the set of all endomorphisms of X. It is known that End(X) forms a monoid with respect to composition of mappings. We call End(X) the endomorphism monoid of X. An element a of a semigroup S is said to be regular if there exists xS such that axa = a. Let fEnd(X). Then f is called a regular endomorphism of X if it is a regular element in End (X). Denote by rEnd(X) the set of all regular endomorphisms of X. For a monoid S, the composition of its two regular elements is not regular in general. So it is natural to ask: Under what conditions does the set rEnd(X) form a monoid for a graph X? In [6], Hou, Gu and Shang characterized the regular endomorphisms of the join of split graphs and the conditions under which the regular endomorphisms of the join of split graphs form a monoid were given. The endomorphism monoids of split graphs and the joins of split graphs were studied by several authors (cf. [713]).

An element a of a semigroup S is said to be completely regular if a = axa and xa = ax hold for some xS. Let fEnd(X) for a graph X. Then f is called a completely regular endomorphism of X if it is a completely regular element in End(X). Denote by cEnd(X) the set of all completely regular endomorphisms of graph X. In general, the composition of its two completely regular elements is also not completely regular for a monoid S. So it is natural to ask: Under what conditions does the set cEnd(X) form a monoid for X? However, it seems difficult to obtain a general answer to this question. Therefore a natural strategy for work towards answering this question is to find various kinds of conditions for various kinds of graphs. In [14], completely regular endomorphisms of split graphs were characterized and the conditions under which the completely regular endomorphisms of split graphs form a monoid were given. In this paper we give an answer to this question in the range of the joins of split graphs.

The graphs considered in this paper are finite undirected graphs without loops and multiple edges. The vertex set of X is denoted by V(X) and the edge set of X is denoted by E(X). If two vertices x1 and x2 are adjacent in X, the edge joining them is denoted by {x1, x2}. For a vertex v of X, denote by NX(v) (or just by N(v)) the set {xV(X)|{x, v} ∈ E(X)}. The cardinality of NX(v) is called the degree of v in X and is denoted by dX(v) (or just d(v)). A subgraph H is called an induced subgraph of X if for any a, bH, {a, b} ∈ E(H) if and only if {a, b} ∈ E(X). A graph X is called complete if {a, b} ∈ E(X) for any a, bV(X). We denote by Kn (or just K) a complete graph with n vertices. A clique of a graph X is a maximal complete subgraph of X. A subset KV(X) is said to be complete if {a, b} ∈ E(X) for any two vertices a, bK with ab. A subset SV(X) is said to be independent if {a, b} ∉ E(X) for any two vertices a, bS. A graph X is called a split graph if its vertex set V(X) can be partitioned into disjoint (non-empty) sets K and S such that K is a complete set and S is an independent set. In this paper, we always assume that a split graph X has a fixed partition V(X) = KS, where K is a maximum complete set and S is an independent set. Since K is a maximum complete set of X, 0 ≤ dX(y) ≤ n−1 for any yS. Let X and Y be two graphs. The join of X and Y, denoted by X + Y, is a graph such that V(X + Y) = V(X)∪ V(Y) and E(X + Y) = E(X)∪ E(Y) ∪ {{x, y} | xV(X), yV(Y)}.

Let X and Y be two graphs. A mapping f from V(X) to V(Y) is called a homomorphism (from X to Y) if {x1, x2} ∈ E(X) implies that {f(x1), f(x2)} ∈ E(Y). A homomorphism f from X to itself is called an endomorphism of X. A endomorphism f is said to be half-strong if {f(a), f(b)} ∈ E(X) implies that there exist x1, x2V(X) with f(x1) = f(a) and f(x2) = f(b) such that {x1, x2} ∈ E(X). Denote by hEnd(X) the set of all half-strong endomorphisms of X.

A retraction of a graph X is an endomorphism f from X to a subgraph Y of X such that the restriction f |Y to V(Y) is the identity mapping on V(Y). It is well known that the idempotents of End(X) are retractions of X. Denote by Idpt(X) the set of all idempotents of End(X). Let fEnd(X). A subgraph of X is called the endomorphic image of X under f, denoted by If, if V(If) = f(V(X)) and {f(a), f(b)} ∈ E(If) if and only if there exist cf−1(f(a)) and df−1(f(b)) such that {c, d} ∈ E(X). By ρf we denote the equivalence relation on V(X) induced by f, i.e., for a, bV(X), (a, b) ∈ ρf if and only if f(a) = f(b). Denote by [a]ρf the equivalence class containing aV(X) with respect to ρf.

We use the standard terminology and notation of semigroup theory as in [2, 15] and of graph theory as in [16]. We list some known results which are used in this paper.

Lemma 1.1

([17]). Let X be a graph and fEnd(X). Then

  1. fhEnd(X) if and only if If is an induced subgraph of X.

  2. If f is regular, then fhEnd(X).

Lemma 1.2

([18]). Let G be a graph and fEnd(G). Then f is completely regular if and only if there exists gI dpt(G) such that ρg = ρf and Ig = If.

Lemma 1.3

([6]). Let X + Y be a join of split graphs and fEnd(X + Y). Then the following statements are equivalent.

  1. There exists hI dpt(X + Y) such that Ih = If.

  2. If is an induced subgraph of X + Y and {x, y} ∉ E(X + Y) for any xKi \ If and ySiIf (where i = 1, 2).

Lemma 1.4

([6]). Let X + Y be a join of split graphs and fEnd(X + Y). Then there exists gI dpt(X + Y) such that ρg = ρf if and only if there exists b ∈ [a]ρf such that N(b) = ∪x∈[a]ρf N(x) for any aV(X + Y).

2 Main results

Let X be a split graph with V(X) = K1S1, where K1 = {k1, k2, ⋯, kn} is a maximal complete set and S1 = {x1, x2, ⋯, xs} is an independent set. Let Y be another split graph with V(Y) = K2S2, where K2 = {r1, r2, ⋯, rm} is a maximal complete set and S2 = {y1, y2, ⋯, yt} is an independent set. It is easy to see that the vertex set V(X + Y) of X + Y can be partitioned into three parts K, S1 and S2, i.e., V(X + Y) = KS1S2, where K = K1K2 is a complete set, S1 and S2 are independent sets. Obviously, the subgraph of X + Y induced by K is complete and the subgraph of X + Y induced by S = S1S2 is complete bipartite. Hence in graph X + Y, N(xi) = NX(xi) ∪ V(Y) for xiS1 and N(yi) = NY(yi)∪ V(X) for yiS2. Clearly, X + Y is a split graph extended by the edge set {{xi, yj} | xiS1, yjS2}. In this section, we investigate the completely regular endomorphisms of X + Y and give the conditions under which the completely regular endomorphisms of X + Y form a monoid.

First, we give a characterization of the completely regular endomorphisms for X + Y.

Theorem 2.1

Let X + Y be a join of split graphs and fEnd(X + Y). Then f is completely regular if and only if the following conditions hold:

  1. If is an induced subgraph of X + Y and {x, y} ∉ E(X + Y) for any xK \ If and ySIf.

  2. N(b) = ∪x∈[b]ρf N(x) for any bV(If) with [b]ρfS.

  3. f(a)≠ f(b) for any a, bV(If) with ab.

Proof

Necessity. Since f is completely regular, by Lemma 1.2, there exists gI dpt(X + Y) such that ρg = ρf and Ig = If. By Lemma 1.3, If is an induced subgraph of X + Y and {x, y} ∉ E(X + Y) for any xK \ If and ySIf. Hence (1) holds. Let aV(If). Note that gI dpt(X + Y) and Ig = If, then g(a) = a. It follows from ρg = ρf that g(x) = a for any x ∈ [a]ρf. Let bV(If) be such that [b]ρfS. Then bS and N(b)∩ KV(If) by (1). Thus g(x) = x for any xN(b)∩ K and so N(b)∩ Kg(N(b)). We claim that N(b) = ∪x∈[b]ρf N(x). Otherwise, there exists y ∈ [b]ρf such that N(y)⊈ N(b). Then there exists kK such that kN(y) and kN(b). Note that {k, t} ∈ E for any tN(b). Then {g(k), g(t)} ∈ E and so g(k)∉ g(N(b)). In particular, g(k) ∉ N(b)∩ K. If g(k)∈ N(b)∩ S, then g2 (k) = g(k) since g is idempotent. Since {k, g(k)} ∈ E(X + Y), g(k) forms a loop in X + Y. This is a contradiction. Hence g(k)∉ N(b). Now we get that {g(y), g(k)} = {b, g(k)}∉ E(X + Y). This contradicts {y, k} ∈ E. Hence (2) holds. If f(a)= f(b) for some a, bV(If), then [a]ρf = [b]ρf. Note that gI dpt(X + Y) and ρg = ρf, then g(a) = g(b). This means that {a, b} ⊈ V(Ig) and so IgIf, which yields a contradiction. Hence (3) holds.

Sufficiency. Let X + Y be a join of split graphs and fEnd(X + Y) be such that (1), (2) and (3). Note that f(a) ≠ f(b) for any a, bV(If). Then for any aV(X + Y), there exists only one vertex in [a]ρfV(If). Denote it by [a]ρf. Define a mapping g from V(X + Y) to itself by

g(a)=[a]ρf¯forallaV(X+Y).

Then g is well-defined. In the following, we show that gEnd(X + Y). Let {a, b} ∈ E(X + Y) for some a, bV(X + Y). Since K is a maximum complete set of X + Y, f(K) is a clique of size n + m. We have KIf, |KIf| = n + m − 1 or |KIf| = n + m − 2.

Assume that KIf. Then g(k) = k for any kK. If a, bV(If), then g(a) = a and g(b) = b. Thus {g(a), g(b)} = {a, b} ∈ E(X + Y). If aV(If) and bV(If), then bS. If [b]ρfS, then g(b) = [b]ρf. Note that N([b]ρf) = ∪x ∈ [b]ρf N(x). Then aN([b]ρf). Hence {g(a), g(b)} = {a, [b]ρf} ∈ E(X + Y); If [b]ρfS, then there exists kK ∩[b]ρf. Obviously, {a, k} ∈ E(X + Y). Hence {g(a), g(b)} = {a, k} ∈ E(X + Y). If aV(If) and bV(If), then a, bS. Without loss of generality, we may assume that aS1 and bS2. If g(a)∈ S, then g(a) = [a]ρf for some [a]ρfS1; If g(a)∈ K, then g(a) = k1 for some k1K1. Similarly, if g(b)∈ S, then g(a) = [b]ρf for some [b]ρfS2; If g(b)∈ K, then g(b) = k2 for some k2K2. It is a routine manner to check that {g(a), g(b)} ∈ E(X + Y) for every case. Consequently, gEnd(X + Y).

Assume that |KIf| = n + m − 1. Then there exists x1K \ If. Since any endomorphism f maps a clique to a clique of the same size, f(K) is a clique of size n + m in X + Y. Thus there exist y1SIf such that y1 is adjacent to every vertex of K \ {x1}. Now g(x1) = y1. If a, bV(If), then g(a) = a and g(b) = b. Thus {g(a), g(b)} = {a, b} ∈ E(X + Y). If a = x1 and bK\ {x1}, then g(b) = b. Thus {g(a), g(b)} = {y1, b} ∈ E(X + Y). If a = x1 and bS, then bV(If) by (1). Now [b]ρfS. Otherwise, there exists [b]ρfV(If)∩ S such that N([b]ρf) = ∪x∈[b]ρf N(x). Since {x1, b} ∈ E(X + Y), {x1, [b]ρf} ∈ E(X). Note that g([b]ρf) = [b]ρfIg = If. This contradicts (1). Then there exists k1K \ {x1} such that k1 ∈ [b]ρf. Thus {g(a), g(b)} = {y1, k1} ∈ E(X + Y). If aK \ {x1} and bS \ If, then g(a) = a. If [b]ρfS, then g(b) = [b]ρf. Note that N([b]ρf) = ∪x∈[b]ρf N(x). Then aN([b]ρf). Thus {g(a), g(b)} = {a, [b]ρf} ∈ E(X + Y); If [b]ρfS, then there exists kK ∩[b]ρf. Thus {g(a), g(b)} = {a, g(k)}. If kK \ {x1}, then g(k) = k and so {a, g(k)} = {a, k} ∈ E(X + Y); If k = x1, then g(k) = y1 and so {a, g(k)} = {a, y1} ∈ E(X + Y). If aS \ V(If) and bS \ V(If), without loss of generality, we may assume that aS1 and bS2. If g(a)∈ S, then g(a) = [a]ρf for some [a]ρfS1; If g(a)∈ K, then g(a) = k1 for some k1K1. Similarly, if g(b)∈ S, then g(a) = [b]ρf for some [b]ρfS2; If g(b)∈ K, then g(b) = k2 for some k2K2. It is a routine manner to check that {g(a), g(b)} ∈ E(X + Y) for each cases. Consequently, gEnd(X + Y).

Assume that |KIf| = n + m − 2. Then there exist x1K1 \ If and x2K2 \ If. Note that f(K) is a clique of size n + m in X + Y. Then there exist y1, y2SIf such that y1 is adjacent to every vertex of K \ {x1} and y2 is adjacent to every vertex of K \ {x2}. Obviously, g(x1) = y1 and g(x2) = y2. If a, bV(If), then g(a) = a and g(b) = b. Thus {g(a), g(b)} = {a, b} ∈ E(X + Y). If a ∈ {x1, x2} and bK \ {x1, x2}, then g(b) = b. Without loss of generality, we may assume that a = x1. Thus {g(a), g(b)} = {y1, b} ∈ E(X + Y). If a ∈ {x1, x2} and bS, then bV(If) by (1). Without loss of generality, we may assume that a = x1. We claim that [b]ρfS. Otherwise, there exists [b]ρfV(If)∩ S such that N([b]ρf) = ∪x∈[b]ρf N(x). Since {x1, b} ∈ E(X + Y), {x1, [b]ρf} ∈ E(X + Y). Note that g([b]ρf) = [b]ρfIg = If. This contradicts (1). Then there exists k1K \ {x1} such that k1 ∈ [b]ρf. If k1x2, then {g(a), g(b)} = {y1, k1} ∈ E(X + Y); If k1 = x2, then {g(a), g(b)} = {y1, y2} ∈ E(X + Y). If aK \ {x1, x2} and bS \ If, then g(a) = a. If [b]ρfS, then g(b) = [b]ρf. Note that N([b]ρf) = ∪x ∈ [b]ρf N(x). Then aN([b]ρf). Thus {g(a), g(b)} = {a, [b]ρf} ∈ E(X + Y); If [b]ρfS, then there exists kK ∩[b]ρf. Thus {g(a), g(b)} = {a, g(k)}. If kK \ {x1, x2}, then g(k) = k and so {a, g(k)} = {a, k} ∈ E(X + Y); If k ∈ {x1, x2}, then g(k)∈ {y1, y2} and so {a, g(k)} = {a, yi} (where i = 1 or 2). Note that a ∉ {x1, x2}, then {a, yi} ∈ E(X + Y). If a = x1 and b = x2, then {g(a), g(b)} = {y1, y2} ∈ E(X + Y). If aS \ V(If) and bS \ V(If), without loss of generality, we may assume that aS1 and bS2. If g(a)∈ S, then g(a) = [a]ρf for some [a]ρfS1; If g(a)∈ K, then g(a) = k1 for some k1K1. Similarly, if g(b)∈ S, then g(a) = [b]ρf for some [b]ρfS2; If g(b)∈ K, then g(b) = k2 for some k2K2. It is routine manner to check that {g(a), g(b)} ∈ E(X + Y) for each case. Consequently, gEnd(X + Y).

It is easy to check that gI dpt(X + Y), ρg = ρf and Ig = If. By Lemma 1.2, f is completely regular. □

Next, we start to seek the conditions for X + Y under which cEnd(X + Y) forms a monoid.

Lemma 2.2

If there exist yi, yjS such that N(yi) ⊂ N(yj), then cEnd(X + Y) does not form a monoid.

Proof

Suppose that there exist yi, yjS such that N(yi) ⊂ N(yj). Since K is a maximum complete set of X + Y, for any xS, there exists kxK such that {x, kx} ∉ E(X + Y). Let

f(x)=yj,x=yi,x,otherwise.andg(x)=kx,x=yj,x,otherwise.

Then f and g are idempotent endomorphisms of X + Y and so they are completely regular. It is easy to see that yj = (fg)(yi)∈ Ifg and (fg)−1(yj) = {yi}. Since |N(yi)∩ K | < |N(yj)∩ K |, Ifg is not an induced subgraph of X + Y. By Theorem 2.1, fg is not completely regular. Therefore cEnd(X + Y) does not form a monoid. □

Lemma 2.3

If there exist yi, yjS with ij such that |N(yi)∩ K |=| N(yj)∩ K |, then cEnd(X + Y) does not form a monoid.

Proof

Suppose that there exist yi, yjS with ij such that |N(yi)∩ K N(yj)∩ K |. Let p be a bijection of K such that p(N(yi)) = N(yj) and p(N(yj)) = N(yi). Since K is a maximum complete set of X + Y, for any xS, there exists kxK such that {x, kx}∉ E(X). Let

f(x)=p(x),xK,yj,x=yi,yi,x=yj,kx,otherwise.

It is easy to check that f is completely regular. Let

g(x)=x,xK,yi,x=yi,kx,otherwise.

Then g is an idempotent endomorphism of X + Y and so it is completely regular. It is easy to see that yj = (fg)(yi)∈ Ifg, (fg)(K) = K and (fg)(yj)∈ K. Thus there exists kK such that (fg)(yj) = f(k). By Theorem 2.1 fg is not completely regular. Therefore cEnd(X + Y) does not form a monoid. □

Up to now, we have obtained the following necessary conditions for cEnd(X + Y) being a monoid:

  1. N(yi) ⊄ N(yj) for any yi, yjS.

  2. |N(yi)∩ K |≠|N(yj)∩ K | for any yi, yjS with ij.

To show that (A) and (B) are also sufficient for cEnd(X + Y) being a monoid, we need the following characterization of completely regular endomorphisms of X + Y satisfying (A) and (B).

Lemma 2.4

Let X + Y be a join of split graphs satisfying (A) and (B), and let fcEnd(X + Y). If there exists yS such that [y] ρfS, then [y] ρf = {y}.

Proof

Let fcEnd(X + Y). By Theorem 2.1 (3), f(a)≠ f(b) for any a, bV(If). Thus there exists y0V(If)∩[y]ρf. It follows from Theorem 2.1 (2) that N(y0) = ∪x∈[y] ρf N(x). Thus N(b)⊆ N(y0) for any b ∈ [y] ρf. It follows from (A) that N(b) = N(y0). In particular, N(b)∩ K = N(y0)∩ K. It follows from (B) that b = y0 = y. Hence [y] ρf = {y}. □

Theorem 2.5

Let X + Y be a join of split graphs satisfying (A) and (B), and let fEnd(X + Y). Then fcEnd(X + Y) if and only if one of the following conditions hold:

  1. For xK, f(x)∈ K; for yS, either f(y) = y, or f(y)∈ K.

  2. f(K)≠ K and IfK.

  3. There exist x1K, y1S with N(y1) = K \ {x1} such that f(x1) = y1 and f(y1) = x1;f(K \ {x1}) = K \ {x1}; for yS with {y, y1} ∉ E(X + Y), f(y)∈ K \ {x1}; for yS with {y, y1} ∈ E(X + Y), either f(y) = y, or f(y)∈ K.

Proof

Necessity. Let X + Y be a join of split graphs satisfying (A) and (B) and let fcEnd(X + Y). We divide it into two cases to discuss:

Case 1. Assume that f(K) = K. For any yS, if f(y)∉ K, then f(y) ∈ S. Since f(K) = K, [y] ρfS. By Lemma 2.4, [y]ρf = {y}. Since f(K) = K, |N(y)∩ K | = |N(f(y)) ∩ K |. It follows from (B) that f(y) = y. Hence f is an endomorphism of X + Y satisfying (1).

Case 2. Assume that f(K)≠ K. Then there exist xiK, y1S such that f(xi) = y1 and |N(y1)∩ K | = n + m − 1. Now N(y1)∩ K = K \ {x1} for some x1K. By (B), y1 is the only vertex in S such that |N(y1)∩ K | = n + m − 1. Thus there are exactly two cliques of order n + m in X + Y. They are induced by K and f(K) = (K \ {x1})∪{y1}, respectively. Hence f(K \ {xi}) = K \ {x1}. There are two cases:

  1. xix1. Then x1If. Otherwise, since f(K \ {xi}) = K \ {x1}, f−1(x1)⊆ S. Let yf−1(x1). By Lemma 2.4, [y]ρf = {y}. It follows from {x1, y1}∉ E(X + Y) that {xj, y}∉ E(X + Y). Thus yy1. It follows from (B) that |N(y)∩ K | ≤ n + m − 2. Thus there exists k0K \ {xi} such that {k0, y}∉ E(X + Y). Obviously, {f(y), f(k0)} = {x1, f(k0)} ∈ E(X + Y). But {y, t}∉ E(X + Y) for any t ∈ [k0] ρf. Hence f is not half-strong. Note that fhEnd(X + Y) if and only if If is an induced subgraph of X + Y. This contradicts Theorem 2.1 (1). It follows from Theorem 2.1 (1) that yIf for any yS with {y, x1} ∈ E(X + Y). In particular, yIf for any yS with {y, y1} ∈ E(X + Y). Let yS with {xi, y} ∈ E(X + Y). Then {f(xj), f(y)} = {y1, f(y)} ∈ E(X + Y). Hence f(y)∈ N(y1)∩ K = K \ {x1}.

    Let yS with {xi, y}∉ E(X + Y). Then N(y)∩ KK \ {xi}. If f(y) ∈ S, then {x1, f(y)} ∉ E(X + Y) since x1If. Thus N(f(y))⊆ N(y1). It follows from (A) that N(f(y)) = N(y1). By (B), we have f(y) = y1. If f(y)∈ K, then f(y)≠ x1. Otherwise, [y] ρfS. Since fcEnd(X + Y), If is an induced subgraph of X + Y and [y]ρf = {y}. Note that {x, x1} ∈ E(X + Y) for any xK \ {x1}. Then N(y)∩ K = K \ {xi}. Thus we have |N(y) ∩ K | = |N(y1)∩ K | = n + m − 1. This contradicts (B) . Hence If is a subgraph of X + Y induced by (K \ {x1}) ∪ {y1} and so IfK.

  2. xi = x1. Then f(x1) = y1 and f(K \ {x1}) = K \ {x1}. Since {y1, k} ∈ E(X + Y) for any kK \ {x1}, f(y1) is adjacent to every vertex of f(K \ {x1}) = K \ {x1}. Thus f(y1) ∈ {x1, y1}.

    If f(y1) = y1, then x1If by Theorem 2.1 (3). It follows from Theorem 2.1 (1) that yIf for any yS with {x1, y} ∈ E(X + Y). Note that y1 is the only vertex in S, which is not adjacent to x1. Then If is a subgraph of X + Y induced by (K \ {x1})∪{y1} and so IfK.

    If f(y1) = x1, then x1If. Let yS \ {y1} be such that {y, y1}∉ E(X + Y). It follows from (A) and (B) that {x1, y} ∈ E(X + Y). Thus {f(x1), f(y)} = {y1, f(y)} ∈ E(X + Y). If f(y)∈ S, f(y) and y1 lie in the different Si (where i ∈ {1, 2 Note that [y]ρfS, then [y]ρf = {y}. Since f is half-strong, f((N(y)∩ K) \ {x1}) = (N(f(y))∩ K) \ {x1}. Hence |N(y)∩ K N(f(y))∩ K |. This contradicts (B). Hence f(y)∈ K \ {x1} for any yS \ {y1} with {y, y1}∉ E(X + Y). Let yS be such that {y, y1} ∈ E(X + Y). If f(y)∉ K, then f(y)∈ S. Since {x1, y} ∈ E(X + Y), {f(x1), f(y)} = {y1, f(y)} ∈ E(X + Y). Thus f(y)≠ y1. Then [y]ρfS and so [y]ρf = {y} by Lemma 2.4. Note that If is an induced subgraph of X + Y. Then |N(y)∩ K N(f(y))∩ K |. It follows from (B) that f(y) = y. Hence f is an endomorphism of X + Y satisfying (3).

Sufficiency. This follows directly from Theorem 2.1. □

Corollary 2.6

Let X + Y be a join of split graphs satisfying (A) and (B), and let fEnd(X + Y). If IfK, then fcEnd(X + Y).

Proof

This follows directly from Theorem 2.5. □

Now we prove that cEnd(X + Y) forms a monoid for X + Y satisfying (A) and (B).

Theorem 2.7

Let X + Y be a join of split graphs satisfying (A) and (B). Then cEnd(X + Y) forms a monoid.

Proof

Let X + Y be a join of split graphs satisfying (A) and (B). We only need to show that the composition of any two completely regular endomorphisms of X + Y is also completely regular in every case. Let f be an arbitrary completely regular endomorphism of X + Y. Then by Theorem 2.5, f acts in one of the following ways:

  1. For xK, f(x)∈ K; for yS, either f(y) = y, or f(y)∈ K.

  2. f(K)≠ K and IfK.

  3. There exist x1K, y1S with N(y1) = K \ {x1} such that f(x1) = y1 and f(y1) = x1; f(K \ {x1}) = K \ {x1}; for yS with {y, y1}∉ E(X + Y), f(y)∈ K \ {x1}; for yS with {y, y1} ∈ E(X + Y), either f(y) = y, or f(y)∈ K.

It is straightforward to see that the composition of any such two completely regular endomorphisms is still a completely regular endomorphism of X + Y. The proof is complete. □

Up to now we have

Theorem 2.8

Let X + Y be a join of split graphs. Then cEnd(X + Y) forms a monoid if and only if

  1. N(yi) ⊄ N(yj) for any yi, yjS, and

  2. | N(yi) ∩ K | ≠ | N(yj) ∩ K | for any yi, yjS with ij.

Proof

Necessity follows directly from Lemmas 2.2 and 2.3.

Sufficiency follows directly from Theorem 2.7. □

Acknowledgement

The authors want to express their gratitude to the referees for their helpful suggestions and comments.

This research was partially supported by the National Natural Science Foundation of China(No.11301151), the Key Project of the Education Department of Henan Province(No.13A110249), the Subsidy Scheme of Young Teachers of Henan Province(No.2014GGJS-057) and the Innovation Team Funding of Henan University of Science and Technology(No.2015XTD010).

References

[1] Kelarev A.V., Ryan J. and Yearwood J., Cayley graphs as classifiers for data mining: The influence of asymmetries, Discrete Math., 2009, 309, 5360-5369.10.1016/j.disc.2008.11.030Search in Google Scholar

[2] Kelarev A.V., Graph algebras and automata, Marcel Dekker, New York, 2003.10.1201/9781482276367Search in Google Scholar

[3] Kelarev A.V. and Praeger C.E., On transitive Cayley graphs of groups and semigroups, Euro.J.Combin., 2003, 24, 59-72.10.1016/S0195-6698(02)00120-8Search in Google Scholar

[4] Wilkeit E., Graphs with regular endomorphism monoid, Arch.Math., 1996, 66, 344-352.10.1007/BF01207836Search in Google Scholar

[5] Kelarev A.V., Labelled Cayley graphs and minimal automata, Australasian J. Combinatorics, 2004, 30, 95-101.Search in Google Scholar

[6] Hou H., Gu R. and Shang Y., The join of split graphs whose regular endomorphisms form a monoid, Communications in Algebra, 2014, 42, 795-802.10.1080/00927872.2012.724746Search in Google Scholar

[7] Fan S., Retractions of split graphs and End-orthodox split graphs, Discrete Math., 2002, 257, 161-164.10.1016/S0012-365X(02)00388-6Search in Google Scholar

[8] Hou H., Luo Y. and Gu R., The join of split graphs whose half-strong endomorphisms form a monoid, Acta Mathematica Sinica, English Series, 2010, 26, 1139-1148.10.1007/s10114-010-8342-xSearch in Google Scholar

[9] Hou H., Luo Y. and Fan X., End-regular and End-orthodox joins of split graphs, Ars Combinatoria, 2012, 105, 305-318.Search in Google Scholar

[10] Hou H., Gu R. and Shang Y., The join of split graphs whose quasi-strong endomorphisms form a monoid, Bulletin of the Australian Mathematical Society, 2015, 91, 1-10.10.1017/S000497271400046XSearch in Google Scholar

[11] Li W. and Chen J., Endomorphism-regularity of split graphs, European J. Combin., 2001, 22, 207-216.10.1006/eujc.2000.0443Search in Google Scholar

[12] Lu D., Wu T., Endomorphism monoids of generalized split graphs, Ars Combinatoria, 2013, 111, 357-373.Search in Google Scholar

[13] Luo Y., Zhang W., Qin Y. and Hou H., Split graphs whose half-strong endomorphisms form a monoid, Science China Mathematics, 2012, 55, 1303-1320.10.1007/s11425-011-4331-5Search in Google Scholar

[14] Hou H. and Gu R., Split graphs whose completely regular endomorphisms form a monoid, Ars Combinatoria, 2016, 127, 79-88.10.1515/math-2017-0071Search in Google Scholar

[15] Howie J.M., Fundamentals of semigroup theory, Clarendon Press, Oxford, 1995.Search in Google Scholar

[16] Godsil C. and Royle G., Algebraic graph theory, Springer-verlag, New York, 2000.10.1007/978-1-4613-0163-9Search in Google Scholar

[17] Li W., Graphs with regular monoid, Discrete Math., 2003, 265, 105-118.10.1016/S0012-365X(02)00625-8Search in Google Scholar

[18] Li W., Split graphs with completely regular endomorphism monoids, Journal of Mathematics Research and Exposition, 2006, 26, 253-263.Search in Google Scholar

Received: 2016-7-6
Accepted: 2017-5-8
Published Online: 2017-6-22

© 2017 Hou et al.

This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 3.0 License.

Articles in the same Issue

  1. Regular Articles
  2. Integrals of Frullani type and the method of brackets
  3. Regular Articles
  4. Edge of chaos in reaction diffusion CNN model
  5. Regular Articles
  6. Calculus using proximities: a mathematical approach in which students can actually prove theorems
  7. Regular Articles
  8. An investigation on hyper S-posets over ordered semihypergroups
  9. Regular Articles
  10. The Leibniz algebras whose subalgebras are ideals
  11. Regular Articles
  12. Fixed point and multidimensional fixed point theorems with applications to nonlinear matrix equations in terms of weak altering distance functions
  13. Regular Articles
  14. Matrix rank and inertia formulas in the analysis of general linear models
  15. Regular Articles
  16. The hybrid power mean of quartic Gauss sums and Kloosterman sums
  17. Regular Articles
  18. Tauberian theorems for statistically (C,1,1) summable double sequences of fuzzy numbers
  19. Regular Articles
  20. Some properties of graded comultiplication modules
  21. Regular Articles
  22. The characterizations of upper approximation operators based on special coverings
  23. Regular Articles
  24. Bi-integrable and tri-integrable couplings of a soliton hierarchy associated with SO(4)
  25. Regular Articles
  26. Dynamics for a discrete competition and cooperation model of two enterprises with multiple delays and feedback controls
  27. Regular Articles
  28. A new view of relationship between atomic posets and complete (algebraic) lattices
  29. Regular Articles
  30. A class of extensions of Restricted (s, t)-Wythoff’s game
  31. Regular Articles
  32. New bounds for the minimum eigenvalue of 𝓜-tensors
  33. Regular Articles
  34. Shintani and Shimura lifts of cusp forms on certain arithmetic groups and their applications
  35. Regular Articles
  36. Empirical likelihood for quantile regression models with response data missing at random
  37. Regular Articles
  38. Convex combination of analytic functions
  39. Regular Articles
  40. On the Yang-Baxter-like matrix equation for rank-two matrices
  41. Regular Articles
  42. Uniform topology on EQ-algebras
  43. Regular Articles
  44. Integrations on rings
  45. Regular Articles
  46. The quasilinear parabolic kirchhoff equation
  47. Regular Articles
  48. Avoiding rainbow 2-connected subgraphs
  49. Regular Articles
  50. On non-Hopfian groups of fractions
  51. Regular Articles
  52. Singularly perturbed hyperbolic problems on metric graphs: asymptotics of solutions
  53. Regular Articles
  54. Rings in which elements are the sum of a nilpotent and a root of a fixed polynomial that commute
  55. Regular Articles
  56. Superstability of functional equations related to spherical functions
  57. Regular Articles
  58. Evaluation of the convolution sum involving the sum of divisors function for 22, 44 and 52
  59. Regular Articles
  60. Weighted minimal translation surfaces in the Galilean space with density
  61. Regular Articles
  62. Complete convergence for weighted sums of pairwise independent random variables
  63. Regular Articles
  64. Binomials transformation formulae for scaled Fibonacci numbers
  65. Regular Articles
  66. Growth functions for some uniformly amenable groups
  67. Regular Articles
  68. Hopf bifurcations in a three-species food chain system with multiple delays
  69. Regular Articles
  70. Oscillation and nonoscillation of half-linear Euler type differential equations with different periodic coefficients
  71. Regular Articles
  72. Osculating curves in 4-dimensional semi-Euclidean space with index 2
  73. Regular Articles
  74. Some new facts about group 𝒢 generated by the family of convergent permutations
  75. Regular Articles
  76. lnfinitely many solutions for fractional Schrödinger equations with perturbation via variational methods
  77. Regular Articles
  78. Supersolvable orders and inductively free arrangements
  79. Regular Articles
  80. Asymptotically almost automorphic solutions of differential equations with piecewise constant argument
  81. Regular Articles
  82. Finite groups whose all second maximal subgroups are cyclic
  83. Regular Articles
  84. Semilinear systems with a multi-valued nonlinear term
  85. Regular Articles
  86. Positive solutions for Hadamard differential systems with fractional integral conditions on an unbounded domain
  87. Regular Articles
  88. Calibration and simulation of Heston model
  89. Regular Articles
  90. One kind sixth power mean of the three-term exponential sums
  91. Regular Articles
  92. Cyclic pairs and common best proximity points in uniformly convex Banach spaces
  93. Regular Articles
  94. The uniqueness of meromorphic functions in k-punctured complex plane
  95. Regular Articles
  96. Normalizers of intermediate congruence subgroups of the Hecke subgroups
  97. Regular Articles
  98. The hyperbolicity constant of infinite circulant graphs
  99. Regular Articles
  100. Scott convergence and fuzzy Scott topology on L-posets
  101. Regular Articles
  102. One sided strong laws for random variables with infinite mean
  103. Regular Articles
  104. The join of split graphs whose completely regular endomorphisms form a monoid
  105. Regular Articles
  106. A new branch and bound algorithm for minimax ratios problems
  107. Regular Articles
  108. Upper bound estimate of incomplete Cochrane sum
  109. Regular Articles
  110. Value distributions of solutions to complex linear differential equations in angular domains
  111. Regular Articles
  112. The nonlinear diffusion equation of the ideal barotropic gas through a porous medium
  113. Regular Articles
  114. The Sheffer stroke operation reducts of basic algebras
  115. Regular Articles
  116. Extensions and improvements of Sherman’s and related inequalities for n-convex functions
  117. Regular Articles
  118. Classification lattices are geometric for complete atomistic lattices
  119. Regular Articles
  120. Possible numbers of x’s in an {x, y}-matrix with a given rank
  121. Regular Articles
  122. New error bounds for linear complementarity problems of weakly chained diagonally dominant B-matrices
  123. Regular Articles
  124. Boundedness of vector-valued B-singular integral operators in Lebesgue spaces
  125. Regular Articles
  126. On the Golomb’s conjecture and Lehmer’s numbers
  127. Regular Articles
  128. Some applications of the Archimedean copulas in the proof of the almost sure central limit theorem for ordinary maxima
  129. Regular Articles
  130. Dual-stage adaptive finite-time modified function projective multi-lag combined synchronization for multiple uncertain chaotic systems
  131. Regular Articles
  132. Corrigendum to: Dual-stage adaptive finite-time modified function projective multi-lag combined synchronization for multiple uncertain chaotic systems
  133. Regular Articles
  134. Convergence and stability of generalized φ-weak contraction mapping in CAT(0) spaces
  135. Regular Articles
  136. Triple solutions for a Dirichlet boundary value problem involving a perturbed discrete p(k)-Laplacian operator
  137. Regular Articles
  138. OD-characterization of alternating groups Ap+d
  139. Regular Articles
  140. On Jordan mappings of inverse semirings
  141. Regular Articles
  142. On generalized Ehresmann semigroups
  143. Regular Articles
  144. On topological properties of spaces obtained by the double band matrix
  145. Regular Articles
  146. Representing derivatives of Chebyshev polynomials by Chebyshev polynomials and related questions
  147. Regular Articles
  148. Chain conditions on composite Hurwitz series rings
  149. Regular Articles
  150. Coloring subgraphs with restricted amounts of hues
  151. Regular Articles
  152. An extension of the method of brackets. Part 1
  153. Regular Articles
  154. Branch-delete-bound algorithm for globally solving quadratically constrained quadratic programs
  155. Regular Articles
  156. Strong edge geodetic problem in networks
  157. Regular Articles
  158. Ricci solitons on almost Kenmotsu 3-manifolds
  159. Regular Articles
  160. Uniqueness of meromorphic functions sharing two finite sets
  161. Regular Articles
  162. On the fourth-order linear recurrence formula related to classical Gauss sums
  163. Regular Articles
  164. Dynamical behavior for a stochastic two-species competitive model
  165. Regular Articles
  166. Two new eigenvalue localization sets for tensors and theirs applications
  167. Regular Articles
  168. κ-strong sequences and the existence of generalized independent families
  169. Regular Articles
  170. Commutators of Littlewood-Paley gκ -functions on non-homogeneous metric measure spaces
  171. Regular Articles
  172. On decompositions of estimators under a general linear model with partial parameter restrictions
  173. Regular Articles
  174. Groups and monoids of Pythagorean triples connected to conics
  175. Regular Articles
  176. Hom-Lie superalgebra structures on exceptional simple Lie superalgebras of vector fields
  177. Regular Articles
  178. Numerical methods for the multiplicative partial differential equations
  179. Regular Articles
  180. Solvable Leibniz algebras with NFn Fm1 nilradical
  181. Regular Articles
  182. Evaluation of the convolution sums ∑al+bm=n lσ(l) σ(m) with ab ≤ 9
  183. Regular Articles
  184. A study on soft rough semigroups and corresponding decision making applications
  185. Regular Articles
  186. Some new inequalities of Hermite-Hadamard type for s-convex functions with applications
  187. Regular Articles
  188. Deficiency of forests
  189. Regular Articles
  190. Perfect codes in power graphs of finite groups
  191. Regular Articles
  192. A new compact finite difference quasilinearization method for nonlinear evolution partial differential equations
  193. Regular Articles
  194. Does any convex quadrilateral have circumscribed ellipses?
  195. Regular Articles
  196. The dynamic of a Lie group endomorphism
  197. Regular Articles
  198. On pairs of equations in unlike powers of primes and powers of 2
  199. Regular Articles
  200. Differential subordination and convexity criteria of integral operators
  201. Regular Articles
  202. Quantitative relations between short intervals and exceptional sets of cubic Waring-Goldbach problem
  203. Regular Articles
  204. On θ-commutators and the corresponding non-commuting graphs
  205. Regular Articles
  206. Quasi-maximum likelihood estimator of Laplace (1, 1) for GARCH models
  207. Regular Articles
  208. Multiple and sign-changing solutions for discrete Robin boundary value problem with parameter dependence
  209. Regular Articles
  210. Fundamental relation on m-idempotent hyperrings
  211. Regular Articles
  212. A novel recursive method to reconstruct multivariate functions on the unit cube
  213. Regular Articles
  214. Nabla inequalities and permanence for a logistic integrodifferential equation on time scales
  215. Regular Articles
  216. Enumeration of spanning trees in the sequence of Dürer graphs
  217. Regular Articles
  218. Quotient of information matrices in comparison of linear experiments for quadratic estimation
  219. Regular Articles
  220. Fourier series of functions involving higher-order ordered Bell polynomials
  221. Regular Articles
  222. Simple modules over Auslander regular rings
  223. Regular Articles
  224. Weighted multilinear p-adic Hardy operators and commutators
  225. Regular Articles
  226. Guaranteed cost finite-time control of positive switched nonlinear systems with D-perturbation
  227. Regular Articles
  228. A modified quasi-boundary value method for an abstract ill-posed biparabolic problem
  229. Regular Articles
  230. Extended Riemann-Liouville type fractional derivative operator with applications
  231. Topical Issue on Topological and Algebraic Genericity in Infinite Dimensional Spaces
  232. The algebraic size of the family of injective operators
  233. Topical Issue on Topological and Algebraic Genericity in Infinite Dimensional Spaces
  234. The history of a general criterium on spaceability
  235. Topical Issue on Topological and Algebraic Genericity in Infinite Dimensional Spaces
  236. On sequences not enjoying Schur’s property
  237. Topical Issue on Topological and Algebraic Genericity in Infinite Dimensional Spaces
  238. A hierarchy in the family of real surjective functions
  239. Topical Issue on Topological and Algebraic Genericity in Infinite Dimensional Spaces
  240. Dynamics of multivalued linear operators
  241. Topical Issue on Topological and Algebraic Genericity in Infinite Dimensional Spaces
  242. Linear dynamics of semigroups generated by differential operators
  243. Special Issue on Recent Developments in Differential Equations
  244. Isomorphism theorems for some parabolic initial-boundary value problems in Hörmander spaces
  245. Special Issue on Recent Developments in Differential Equations
  246. Determination of a diffusion coefficient in a quasilinear parabolic equation
  247. Special Issue on Recent Developments in Differential Equations
  248. Homogeneous two-point problem for PDE of the second order in time variable and infinite order in spatial variables
  249. Special Issue on Recent Developments in Differential Equations
  250. A nonlinear plate control without linearization
  251. Special Issue on Recent Developments in Differential Equations
  252. Reduction of a Schwartz-type boundary value problem for biharmonic monogenic functions to Fredholm integral equations
  253. Special Issue on Recent Developments in Differential Equations
  254. Inverse problem for a physiologically structured population model with variable-effort harvesting
  255. Special Issue on Recent Developments in Differential Equations
  256. Existence of solutions for delay evolution equations with nonlocal conditions
  257. Special Issue on Recent Developments in Differential Equations
  258. Comments on behaviour of solutions of elliptic quasi-linear problems in a neighbourhood of boundary singularities
  259. Special Issue on Recent Developments in Differential Equations
  260. Coupled fixed point theorems in complete metric spaces endowed with a directed graph and application
  261. Special Issue on Recent Developments in Differential Equations
  262. Existence of entropy solutions for nonlinear elliptic degenerate anisotropic equations
  263. Special Issue on Recent Developments in Differential Equations
  264. Integro-differential systems with variable exponents of nonlinearity
  265. Special Issue on Recent Developments in Differential Equations
  266. Elliptic operators on refined Sobolev scales on vector bundles
  267. Special Issue on Recent Developments in Differential Equations
  268. Multiplicity solutions of a class fractional Schrödinger equations
  269. Special Issue on Recent Developments in Differential Equations
  270. Determining of right-hand side of higher order ultraparabolic equation
  271. Special Issue on Recent Developments in Differential Equations
  272. Asymptotic approximation for the solution to a semi-linear elliptic problem in a thin aneurysm-type domain
  273. Topical Issue on Metaheuristics - Methods and Applications
  274. Learnheuristics: hybridizing metaheuristics with machine learning for optimization with dynamic inputs
  275. Topical Issue on Metaheuristics - Methods and Applications
  276. Nature–inspired metaheuristic algorithms to find near–OGR sequences for WDM channel allocation and their performance comparison
  277. Topical Issue on Cyber-security Mathematics
  278. Monomial codes seen as invariant subspaces
  279. Topical Issue on Cyber-security Mathematics
  280. Expert knowledge and data analysis for detecting advanced persistent threats
  281. Topical Issue on Cyber-security Mathematics
  282. Feedback equivalence of convolutional codes over finite rings
Downloaded on 14.9.2025 from https://www.degruyterbrill.com/document/doi/10.1515/math-2017-0071/html
Scroll to top button