Triregular Leftmost without Loop and Reverse Arc Graph Varieties of Graph Algebra of Type (2,0)
|
|
- Nathan Bernard Norris
- 5 years ago
- Views:
Transcription
1 International Mathematical Forum, 5, 2010, no. 12, Triregular Leftmost without Loop and Reverse Arc Graph Varieties of Graph Algebra of Type (2,0) Montri Thongmoon and Tiang Poomsa-ard Department of Mathematics, Faculty of Science Mahasarakham University, Mahasarakham 44150, Thailand Abstract Graph algebras establish a connection between directed graphs without multiple edges and special universal algebras of type (2,0). We say that a graph G satisfies a term equation s t if the corresponding graph algebra A(G) satisfies s t. A class of graph algebras V is called a graph variety if V = Mod g Σ where Σ is a subset of T (X) T (X). A graph variety V = Mod g Σ is called a triregular leftmost without loop and reverse arc graph variety if Σ is a set of triregular leftmost without loop and reverse arc term equations. In this paper we characterize all triregular leftmost without loop and reverse arc graph varieties. For varieties and other basic concept of universal algebra see e.g. [2] Mathematics Subject Classification: 05B25, 08B15 Keywords: varieties, triregular leftmost without loop and reverse arc graph varieties, term, binary algebra, graph algebra 1 Introduction. Graph algebras have been invented in [12] to obtain examples of nonfinitely based finite algebras. To recall this concept, let G = (V, E) be a (directed) graph with the vertex set V and the set of edges E V V. Define the graph algebra A(G) corresponding to G with the underlying set V { }, where is a symbol outside V, and with two basic operations, namely a nullary operation pointing to and a binary one denoted by juxtaposition, given for
2 558 M. Thongmoon and T. Poomsa-ard u, v V { } by uv = { u, if (u, v) E,, otherwise. In [11] graph varieties had been investigated for finite undirected graphs in order to get graph theoretic results (structure theorems) from universal algebra via graph algebras. In [10] these investigations are extended to arbitrary (finite) directed graphs where the authors ask for a graph theoretic characterization of graph varieties, i.e., of classes of graphs which can be defined by term equations for their corresponding graph algebras. The answer is a theorem of Birkhoff-type, which uses graph theoretic closure operations. A class of finite directed graphs is equational (i.e., a graph variety) if and only if it is closed with respect to finite restricted pointed subproducts and isomorphic copies. In [6] T. Poomsa-ard characterized hyperidentitis in the class of associative graph algebras. In [7], [8] T. Poomsa-ard, J. Wetweerapong and C. Samartkoon characterized hyperidentitis in the class of idempotent graph algebras and the class of transitive graph algebras respectively. In [4] J. Khampakdee and T. Poomsa-ard characterized hyperidentities in the class of (xy)x x(yy). In [3] M. Krapeedaeng and T. Poomsa-ard characterized all biregular leftmost graph varieties. In [1] A. Anantpinitwatna and T. Poomsa-ard characterized hyperidentities in biregular leftmost graph varieties. We say that a graph variety V = Mod g Σ is called a triregular without loop and reverse arc graph variety if Σ is a set of triregular without loop and reverse arc term equations. In this paper we characterize all triregular without loop and reverse arc graph varieties. 2 Terms and graph varieties In [9] R. Pöschel was introduced terms for graph algebras, the underlying formal language has to contain a binary operation symbol (juxtaposition) and a symbol for the constant (denoted by, too). Definition 2.1. The set T (X) of all terms over the alphabet is defined inductively as follows: X = {x 1, x 2, x 3,...} (i) every variable x i, i = 1, 2, 3,..., and are terms; (ii) if t 1 and t 2 are terms, then t 1 t 2 is a term;
3 Triregular leftmost without loop and reverse arc graph varieties 559 (iii) T (X) is the set of all terms which can be obtained from (i) and (ii) in finitely many steps. Terms built up from the two-element set X 2 = {x 1, x 2 } of variables are thus binary terms. We denote the set of all binary terms by T (X 2 ). The leftmost variable of a term t is denoted by L(t) and rightmost variable of a term t is denoted by R(t). A term, in which the symbol occurs is called a trivial term. Definition 2.2. For each non-trivial term t of type τ = (2, 0) one can define a directed graph G(t) = (V (t), E(t)), where the vertex set V (t) is the set of all variables occurring in t and the edge set E(t) is defined inductively by E(t) = φ if t is a variable and E(t 1 t 2 ) = E(t 1 ) E(t 2 ) {(L(t 1 ), L(t 2 ))} where t = t 1 t 2 is a compound term. L(t) is called the root of the graph G(t), and the pair (G(t), L(t)) is the rooted graph corresponding to t. Formally, we assign the empty graph φ to every trivial term t. Definition 2.3. A non-trivial term t of type τ = (2, 0) is called a term without loop and reverse arc if and only if for any x V (t), (x, x) / E(t) and for any x, y V (t) with x y if (x, y) E(t), then (y, x) / E(t). A term equation s t of type τ = (2, 0) is called triregular leftmost without loop and reverse arc term equation if and only if V (s) = V (t), V (t) = 3, L(s) = L(t) and s, t are terms without loop and reverse arc. Definition 2.4. We say that a graph G = (V, E) satisfies a term equation s t if the corresponding graph algebra A(G) satisfies s t (i.e., we have s = t for every assignment V (s) V (t) V { }), and in this case, we write G = s t. Given a class G of graphs and a set Σ of term equations (i.e., Σ T (X) T (X)) we introduce the following notation: G = Σ if G = s t for all s t Σ, G = s t if G = s t for all G G, G = Σ if G = Σ for all G G, IdG = {s t s, t T (X), G = s t}, Mod g Σ = {G G is a graph and G = Σ}, V g (G) = Mod g IdG. V g (G) is called the graph variety generated by G and G is called graph variety if V g (G) = G. G is called equational if there exists a set Σ of term equations such that G = Mod g Σ. Obviously V g (G) = G if and only if G is an equational class. In [9] it was shown that any non-trivial term t over the class of graph algebras has a uniquely determined normal form term NF (t) and there is an
4 560 M. Thongmoon and T. Poomsa-ard algorithm to construct the normal form term to a given term t. Now, we want to describe how to construct the normal form term. Let t be a non-trivial term. The normal form term of t is the term NF (t) constructed by the following algorithm: (i) Construct G(t) = (V (t), E(t)). (ii) Construct for every x V (t) the list l x = (x i1,..., x ik(x) ) of all outneighbors (i.e., (x, x ij ) E(t), 1 j k(x)) ordered by increasing indices i 1... i k(x) and let s x be the term (...((xx i1 )x i2 )...x ik(x) ). (iii) Starting with x := L(t), Z := V (t), s := L(t), choose the variable x i Z V (s) with the least index i, substitute the first occurrence of x i by the term s xi, denote the resulting term again by s and put Z := Z \ {x i }. Continue this procedure while Z φ. The resulting term is the normal form NF (t). The algorithm stops after a finite number of steps, since G(t) is a rooted graph. Without difficulties one shows G(NF (t)) = G(t), L(NF (t)) = L(t). Definition 2.5. Let G = (V, E) and G = (V, E ) be graphs. A homomorphism h from G into G is a mapping h : V V carrying edges to edges,that is, for which (u, v) E implies (h(u), h(v)) E. Further in [5] it was proved the following proposition: Proposition 2.1. Let G = (V, E) be a graph and let h : X { } V { } be an evaluation of the variables such that h( ) =. Consider the canonical extension of h to the set of all terms. Then there holds: if t is a trivial term then h(t) =. Otherwise, if h : G(t) G is a homomorphism of graphs, then h(t) = h(l(t)), and if h is not a homomorphism of graphs, then h(t) =. By the property of the normal form term and Proposition 2.1, we have the following proposition: Proposition 2.2. Let G = (V, E) be a graph s and t be non-trivial terms. Then G = s t if and only if G = NF (s) NF (t). 3 Triregular leftmost without loop and reverse arcs graph varieties We see that if s and t are terms such that V (s) V (t) or L(s) L(t), then there exists a complete graph (a complete graph which has more than one vertices) which does not belong to the graph variety Mod g {s t}. In this study we will investigate only the graph varieties which contain all complete graphs. By Proposition 2.2, we see that for any Σ T (X) T (X) and Σ is the set of term equations NF (s) NF (t), if s t Σ. Then Mod g Σ
5 Triregular leftmost without loop and reverse arc graph varieties 561 and Mod g Σ are the same graph variety. Hence if we want to find all triregular leftmost without loop and reverse arcs graph varieties, then it is enough to find all graph varieties Mod g Σ such that Σ is any subset of T T, where T = {s 1, s 2, s 3, s 4, s 5, s 6, s 7 } and s 1 = x(yz), s 2 = x(zy), s 3 = (xy)z, s 4 = x(y(zx)), s 5 = x(z(yx)), s 6 = (x(yz))z, s 7 = (xy)(zy)}. Clearly, for each i = 1, 2, 3,..., 7, K 0 = Mod g {s i s i } is the set of all graph algebras. In [5] it was proved: Proposition 3.1. Let s and t be non-trivial terms from T (X) with variables V (s) = V (t) = {x 0, x 1,..., x n } and L(s) = L(t). Then a graph G = (V, E) satisfies s t if and only if the graph algebra A(G) has the following property: A mapping h : V (s) V is a homomorphism from G(s) into G iff it is a homomorphism from G(t) into G. Proposition 3.1 gives a method to check whether a graph G = (V, E) satisfies the term equation s t. The following are all graphs with at most two vertices which satisfy at least one term equation s i s j, i = 1, 2,..., 7, j = 1, 2,..., 7, i j. G 1 G 2 G 3 G 4 G 5 G 6 G 7 G 8 G 9 The following are all connected graphs with three vertices which each edges are above graphs. G 10 G 11 G 12 G 13 G 14 G 15 G 16 G 17 G 18 G 19 G 20 G 21 G 22 G 23
6 562 M. Thongmoon and T. Poomsa-ard G 27 G 24 G 25 G 26 G 28 G 29 G 30 G 31 G 32 G 33 G 34 G 35 G 36 G 37 G 38 G 39 G 40 G 41 G 42 G 43 G 44 G 45 G 46 G 47 G 48 G 49 G 50 G 51 G 52 G 53 G 54 G 55 G 56 G 57 G 58 G 59 G 60 G 61 G 62 G 63 G 64 G 65 G 66 G 67 G 68 G 69 G 70 G 71 G 72
7 Triregular leftmost without loop and reverse arc graph varieties 563 G 73 G 74 G 75 G 76 G 77 G 78 G 79 G 80 G 81 G 82 G 83 G 84 G 85 G 86 G 87 G 88 G 89 G 90 G 91 G 92 G 93 G 94 G 95 Then all triregular leftmost without loop and reverse arc graph varieties are characterized by the following theorems: Theorem 3.1. Let G = (V, E) be a graph and K 1 = Mod g {x(yz) x(zy)}. Then G K 1 if and only if for any a, b, c V, (a, b), (b, c) E if and only if (a, c), (c, b) E. Proof. Let G = (V, E) be a graph. Suppose that G K 1 and for any a, b, c V, suppose that (a, b), (b, c) E. Let s and t be non-trivial terms such that s = x(yz) and t = x(zy) and let h : V (s) V be a function such that h(x) = a, h(y) = b and h(z) = c. We see that h is a homomorphism from G(s) into G. By Proposition 3.1, we have h is a homomorphism from G(t) into G. Since (x, z), (z, y) E(t), we have (h(x), h(z)) = (a, c) E and (h(z), h(y)) = (c, b) E. In the same way, if (a, c), (c, b) E, then we can prove that (a, b), (b, c) E. Conversely, suppose that G = (V, E) be a graph which has property that, for any a, b, c V, (a, b), (b, c) E if and only if (a, c), (c, b) E. Let s and t be non-trivial terms such that s = x(yz) and t = x(zy) and let h : V (s) V be a function. Suppose that h is a homomorphism from G(s) into G. Since
8 564 M. Thongmoon and T. Poomsa-ard (x, y), (y, z) E(s), we have (h(x), h(y)), (h(y), h(z)) E. By assumption we get (h(x), h(z)), (h(z), h(y)) E. Hence h is a homomorphism from G(t) into G. In the same way we can prove that, if h is a homomorphism from G(t) into G, then it is a homomorphism from G(s) into G. Then, by Proposition 3.1 we get A(G) satisfies s t. By Theorem 3.1, we see that the graphs which belong to K 1 are the graphs G i A, A = { G 1,G 2,G 3,G 4,G 9,G 10,G 11,G 14,G 24,G 26,G 64,G 95 } and all graphs such that every induced subgraph with at most three vertices of each component is one of these graphs. Theorem 3.2. Let G = (V, E) be a graph and K 2 = Mod g {x(yz) (xy)z}. Then G K 2 if and only if for any a, b, c V, if (a, b) E, then (b, c) E if and only if (a, c) E. Proof. Let G = (V, E) be a graph. Suppose that G K 2 and for any a, b, c V, suppose that (a, b), (b, c) E. Let s and t be non-trivial terms such that s = x(yz) and t = (xy)z and let h : V (s) V be a function such that h(x) = a, h(y) = b and h(z) = c. We see that h is a homomorphism from G(s) into G. By Proposition 3.1, we have h is a homomorphism from G(t) into G. Since (x, z) E(t), we have (h(x), h(z)) = (a, c) E. In the same way, if (a, b), (a, c) E, then we can prove that (b, c) E. Conversely, suppose that G = (V, E) be a graph which has property that, for any a, b, c V, if (a, b) E, then (b, c) E if and only if (a, c) E. Let s and t be non-trivial terms such that s = x(yz) and t = (xy)z and let h : V (s) V be a function. Suppose that h is a homomorphism from G(s) into G. Since (x, y), (y, z) E(s), we have (h(x), h(y)), (h(y), h(z)) E. By assumption we get (h(x), h(y)), (h(x), h(z)) E. Hence h is a homomorphism from G(t) into G. In the same way we can prove that, if h is a homomorphism from G(t) into G, then it is a homomorphism from G(s) into G. Then, by Proposition 3.1 we get A(G) satisfies s t. By Theorem 3.2, we see that the graphs which belong to K 2 are the graphs G i B, B = {G 1,G 2,G 4,G 9,G 14,G 26,G 64,G 95 } and all graphs such that every induced subgraph with at most three vertices of each component is one of these graphs. Theorem 3.3. Let G = (V, E) be a graph and K 3 = Mod g {x(yz) x(y(zx))}. Then G K 3 if and only if for any a, b, c V if (a, b), (b, c) E, then (c, a) E. Proof. Let G = (V, E) be a graph. Suppose that G K 3 and for any a, b, c V, suppose that (a, b), (b, c) E. Let s and t be non-trivial terms such that s = x(yz) and t = x(y(zx)) and let h : V (s) V be a function such that h(x) = a, h(y) = b and h(z) = c. We see that h is a homomorphism from G(s)
9 Triregular leftmost without loop and reverse arc graph varieties 565 into G. By Proposition 3.1, we have h is a homomorphism from G(t) into G. Since (z, x) E(t), we have (h(z), h(x)) = (c, a) E. Conversely, suppose that G = (V, E) be a graph which has property that, for any a, b, c V, if (a, b), (b, c) E, then (c, a) E. Let s and t be nontrivial terms such that s = x(yz) and t = x(y(zx)) and let h : V (s) V be a function. Suppose that h is a homomorphism from G(s) into G. Since (x, y), (y, z) E(s), we have (h(x), h(y)), (h(y), h(z)) E. By assumption we get (h(z), h(x)) E. Hence h is a homomorphism from G(t) into G. Clearly that, if h is a homomorphism from G(t) into G, then it is a homomorphism from G(s) into G. Then, by Proposition 3.1 we get A(G) satisfies s t. By Theorem 3.3, we see that the graphs which belong to K 3 are the graphs G i C, C = { G 1,G 2 G 3,G 9,G 10,G 24,G 66,G 95 } and all graphs such that every induced subgraph with at most three vertices of each component is one of these graphs. Theorem 3.4. Let G = (V, E) be a graph and K 4 = Mod g {x(yz) x(z(yx))}. Then G K 4 if and only if for any a, b, c V, (a, b), (b, c) E if and only if (a, c), (c, b), (b, a) E. Proof. The proof is similar as the proof of Theorem 3.1. By Theorem 3.4, we see that the graphs which belong to K 4 are the graphs G i D, D = {G 1,G 2,G 3,G 9,G 10,G 24,G 95 } and all graphs such that every induced subgraph with at most three vertices of each component is one of these graphs. Theorem 3.5. Let G = (V, E) be a graph and K 5 = Mod g {x(yz) (x(yz))z}. Then G K 5 if and only if for any a, b, c V if (a, b), (b, c) E, then (a, c) E. Proof. The proof is similar as the proof of Theorem 3.3. By Theorem 3.5, we see that the graphs which belong to K 5 are the graphs G i E, E = {G 1,G 2,...,G 6,G 9,...,G 15,G 24,...,G 29,G 52,...,G 59,G 64,G 65,G 82,G 83, G 95 } and all graphs such that every induced subgraph with at most three vertices of each component is one of these graphs. Theorem 3.6. Let G = (V, E) be a graph and K 6 = Mod g {(xy)z x(y(zx))}. Then G K 6 if and only if for any a, b, c V, if (a, b) E, then (a, c) E if and only if (b, c), (c, a) E. Proof. The proof is similar as the proof of Theorem 3.2. By Theorem 3.6, we see that the graphs which belong to K 6 are the graphs G i F, F = {G 1,G 2,G 9,G 95 } and all graphs such that every induced subgraph with at most three vertices of each component is one of these graphs.
10 566 M. Thongmoon and T. Poomsa-ard Theorem 3.7. Let G = (V, E) be a graph and K 7 = Mod g {(xy)z (x(yz))z}. Then G K 7 if and only if for any a, b, c V if (a, b), (a, c) E, then (b, c) E. Proof. The proof is similar as the proof of Theorem 3.3. By Theorem 3.7, we see that the graphs which belong to K 7 are the graphs G i H, H = {G 1,G 2,G 4,G 9,G 14,G 26,G 34,G 51,G 64,G 95 } and all graphs such that every induced subgraph with at most three vertices of each component is one of these graphs. Theorem 3.8. Let G = (V, E) be a graph and K 8 = Mod g {x(y(zx)) x(z(yx))}. Then G K 8 if and only if for any a, b, c V, (a, b), (b, c), (c, a) E if and only if (a, c), (c, b), (b, a) E. Proof. The proof is similar as the proof of Theorem 3.1. By Theorem 3.8, we see that the graphs which belong to K 8 are the graphs G i I, I = {G 1,G 2,...,G 65,G 78,...;G 83,G 92,...,G 95 } and all graphs such that every induced subgraph with at most three vertices of each component is one of these graphs. Theorem 3.9. Let G = (V, E) be a graph and K 9 = Mod g {x(y(zx)) (x(yz))z}. Then G K 9 if and only if for any a, b, c V, if (a, b), (b, c) E, then (c, a) E if and only if (a, c) E. Proof. The proof is similar as the proof of Theorem 3.2. By Theorem 3.9, we see that the graphs which belong to K 9 are the graphs G i J, J = {G 1,G 2,G 3,G 7,G 8,G 9,G 10,G 16,G 24,G 30,G 31,G 38,G 39,G 46,...,G 51, G 92,...,G 95 } and all graphs such that every induced subgraph with at most three vertices of each component is one of these graphs. Theorem Let G = (V, E) be a graph and K 10 = Mod g {(x(yz))z (xy)(zy)}. Then G K 10 if and only if for any a, b, c V, if (a, c), (a, b) E, then (b, c) E if and only if (c, b) E. Proof. The proof is similar as the proof of Theorem 3.2. By Theorem 3.10, we see that the graphs which belong to K 10 are the graphs G i L, L = {G 1,...,G 4,G 7,...,G 11,G 14,G 16,G 19, G 24,G 26,G 30,G 31,G 32,G 34,G 38, G 39,G 41,G 43,G 46,...,G 52,G 55,G 60, G 61,G 64,G 66,G 70,G 73,G 78,G 80,G 89,G 92,...G 95 } and all graphs such that every induced subgraph with at most three vertices of each component is one of these graphs. By checking the graphs in K 1 and the graphs in Mod g {x(yz) (xy)(zy)}, we found that they are the same graph variety. After that we use the Proposition 3.1 recheck again as the following theorem:
11 Triregular leftmost without loop and reverse arc graph varieties 567 Theorem Let K = Mod g {x(yz) (xy)(zy)}. Then K = K 1. Proof. Let G = (V, E) be a graph. Suppose that G K 1. Let s, t and t are terms such that s = x(yz), t = (xy)(zy) and t = x(zy) and let h : V (s) V be a function. Suppose that h is a homomorphism from G(s) into G. Since (x, y), (y, z) E(s), we have (h(x), h(y)), (h(y), h(z)) E. Since G K 1. By Theorem 3.1 we have (h(x), h(z)), (h(z), h(y)) E. So h is a homomorphism from G(t ) into G. From (h(x), h(y)), (h(x), h(z)), (h(z), h(y)) E, we have that h is a homomorphism from G(t) into G. Suppose that h is a homomorphism from G(t) into G. Since (x, y), (z, y), (x, z) E(t), we have (h(x), h(y)), (h(z), h(y)), (h(x), h(z)) E. Since G K 1 and (h(x), h(z)), (h(z), h(y)) E. By Theorem 3.1 we have (h(x), h(y)), (h(y), h(z)) E. So we have that h is a homomorphism from G(s) into G. Then, by Proposition 3.1 we get G K. Let G K. Suppose that h is a homomorphism from G(s) into G. Since (x, y), (y, z) E(s), we have (h(x), h(y)), (h(y), h(z)) E. Since G K. By Proposition 3.1 we have h is a homomorphism from G(t) into G. Since (z, y), (x, z) E(t), we get (h(z), h(y)), (h(x), h(z)) E. Hence h is a homomorphism from G(t ) into G. Suppose that h is a homomorphism from G(t ) into G. Since (x, z), (z, y), E(t ), we have (h(x), h(z)), (h(z), h(y)) E. Let h : V (t ) V be a function such that h (x) = h(x), h (y) = h(z) and h (z) = h(y). Hence h is a homomorphism from G(s) into G. Since G K, we get that h is a homomorphism from G(t) into G. Since (x, z), (z, y) E(t) we have (h (x), h (z)) = (h(x), h(y)) E and (h (z), h (y)) = (h(y), h(z)) E. Hence h is a homomorphism from G(s) into G. Then, by Proposition 3.1 we get G K 1. Hence K = K 1. In the similar way, we have the following K 1 = Mod g {x(yz) x(zy)} = Mod g {x(yz) (xy)(zy)} = Mod g {x(zy) (x(yz))z}; K 2 = Mod g {x(yz) (xy)z} = Mod g {x(zy) (xy)z}; K 3 = Mod g {x(yz) x(y(zx))} = Mod g {x(zy) x(z(yx))}; K 4 = Mod g {x(yz) x(z(yx))} = Mod g {x(zy) x(y(zx))}; K 5 = Mod g {x(yz) (x(yz))z} = Mod g {x(zy) (xy)(zy)}; K 6 = Mod g {(xy)z x(y(zx))} = Mod g {(xy)z x(z(yx))};
12 568 M. Thongmoon and T. Poomsa-ard K 7 = Mod g {(xy)z (x(yz))z} = Mod g {(xy)z (xy)(zy)}; K 9 = Mod g {x(y(zx)) (x(yz))z} = Mod g {x(y(zx)) (xy)(zy)} = Mod g {x(z(yx)) (x(yz))z} = Mod g {x(z(yx)) (xy)(zy)}. Hence there are only ten triregular leftmost without loop and reverse arc graph varieties Mod g {s i s j } with i j for all i = 1, 2, 3,..., 7, j = 1, 2, 3,..., 7. Since for any Σ T T, we have the triregular leftmost without loop and reverse arc graph varieties Mod g Σ = s t Σ Mod g{s t}. Therefore we can find all triregular leftmost without loop and reverse arc graph varieties in the following way: At first let A = {K 0, K 1,..., K 10 }. Find the intersection between two elements of A. If there are some of them do not belong to A, then add them into A to get the set A 1. Do the same manner for A 1 to get A 2. Continuing this process until to get the set A n such that all intersection between two elements of A n belong to itself. Then, A n close under inclusion. Let K 11 = K 5 K 10. Then by Theorem 3.5 and Theorem 3.10 we see that the graphs which belong to K 11 are the graphs G i M, M = {G 1, G 2,G 3,G 4,G 9, G 10,G 11,G 14,G 24,G 26,G 52,G 55,G 64,G 95 } and all graphs such that every induced subgraph with at most three vertices of each component is one of these graphs. Let K 12 = K 7 K 9. Then by Theorem 3.7 and Theorem 3.9 we see that the graphs which belong to K 12 are the graphs G i N, N = {G 1, G 2,G 9,G 51,G 95 } and all graphs such that every induced subgraph with at most three vertices of each component is one of these graphs. Let K 13 = K 8 K 10. Then by Theorem 3.8 and Theorem 3.10 we see that the graphs which belong to K 13 are the graphs G i O, O = {G 1, G 2,G 3,G 4,G 7,G 8, G 9,G 10,G 11,G 14, G 16,G 19,G 24,G 26,G 30,G 31,G 32,G 34,G 38, G 39,G 41,G 43,G 46,G 47, G 48,G 49,G 50,G 51, G 52,G 55,G 60,G 61,G 64,G 78,G 80,G 92,G 93,G 94,G 95 } and all graphs such that every induced subgraph with at most three vertices of each component is one of these graphs. Further we prove that K 3 K 9 = K 4 and K 3 K 10 as the following theorems. Theorem K 3 K 9 = K 4. Proof. Let G = (V, E) be a graph. Suppose that G K 4. For any a, b, c V, suppose that (a, b), (b, c) E. Since G K 4, we have (a, c), (c, b), (b, a) E. From (a, c), (c, b) E and G K 4 we have (c, a) E. Hence G K 3. For any a, b, c V, suppose (a, b), (b, c), (c, a) E. From (b, c), (c, a) E and G K 4, we have (a, c) E. Suppose (a, b), (b, c), (a, c) E. From (a, b), (b, c) E and G K 4, we have (c, b), (b, a) E. From (a, c), (c, b) E and G K 4 we have (c, a) E. Hence G K 9. So G K 3 K 9. Therefore
13 Triregular leftmost without loop and reverse arc graph varieties 569 K 4 K 3 K 9. Suppose that G K 3 K 9. For any a, b, c V, suppose that (a, b), (b, c) E. Since G K 3, we have (c, a) E. From (a, b), (b, c), (c, a) E and G K 9, we have (a, c) E. From (c, a), (a, b), (b, c) E and G K 9, we have (c, b) E. From (b, c), (c, a), (a, b) E and G K 9 we have (b, a) E. For any a, b, c V, suppose that (a, c), (c, b), (b, a) E. Since G K 9, we have (a, b) E. From (b, a), (a, c), (c, b) E and G K 9, we have (b, c) E. Then, we have G K 4. Hence K 3 K 9 K 4. Therefore K 3 K 9 = K 4. Theorem K 3 K 10. Proof. Let G = (V, E) be a graph. Let G K 3 and for any a, b, c V, suppose that (a, c), (a, b), (b, c) E. From (a, b), (b, c) E and G K 3, we have (c, a) E. From (c, a), (a, c) E and G K 3, we have (c, c) E. From (b, c), (c, c) E and G K 3, we have (c, b) E. Suppose that (a, c), (a, b), (c, b) E. From (a, c), (c, b) E and G K 3, we have (b, a) E. From (b, a), (a, b) E and G K 3, we have (b, b) E. From (c, b), (b, b) E and G K 3, we have (b, c) E. Then G K 10. Therefore K 3 K 10. In the similar way, we have K 8 K 10 = K 13, K 5 K 10 = K 11, K 7 K 9 = K 12, K 1 K 7 = K 2, K 2 K 4 = K 6, K 12 K 2 = K 6, K 12 K 4 = K 6, K 1 K 9 = K 4, K 1 K 3 = K 4, K 9 K 13, K 5 K 8, K 1 K 11, K 2 K 1, K 11 K 13 and K 7 K 13. We found that the set K = {K 0, K 1, K 3,..., K 13 } close under inclusion. Hence K is the set of all triregular leftmost without loop and reverse arc graph varieties. Since the intersection of any family of triregular leftmost without loop and reverse arc graph varieties is again a triregular leftmost without loop and reverse arc graph variety, K forms a poset under inclusion, in which two elements have a greatest lower bound (their intersection) and least upper bound (the intersection of all triregular leftmost without loop and reverse arc graph varieties which contain both of them), Thus we have a lattice (K;, ), called the triregular leftmost without loop and reverse arc lattice of graph varieties. The following is the Hasse diagram of this lattice.
14 570 M. Thongmoon and T. Poomsa-ard K 0 K 10 K 8 K 13 K 5 K 3 K 9 K 11 K 1 K 7 K 4 K 2 K12 K 6 Acknowledgment The authors are very grateful to the referee for his careful work and suggestions which improved the quality of the paper. We also would like to thank the Faculty of Science, Mahasarakham University for their financial support. References [1] A. Ananpinitwatna and T. Poomsa-ard, Identities in biregular leftmost graph varieties of type (2,0), Asian-European J. of Math., 2(1), 2009, [2] K. Denecke and S.L. Wismath, Universal Algebra and Applications in Theoretical Computer Science, ChapmanHall/CRC [3] M. Krapeedang and T. Poomsa-ard, Biregular leftmost graph varieties of graph algebras of type (2,0), will be appear. [4] J. Khampakdee and T. Poomsa-ard, Hyperidentities in (xy)x x(yy) graph algebras of type (2,0), Bull. Khorean Math. Soc. 44(2007), no. 4, [5] E. W. Kiss, R. Pöschel and P. Pröhle, Subvarieties of varieties generated by graph algebras, Acta Sci. Math. (Szeged) 54(1990), no [6] T. Poomsa-ard, Hyperidentities in associative graph algebras, Discuss. Math. Gen. Algebra Appl. 20(2000), no. 2,
15 Triregular leftmost without loop and reverse arc graph varieties 571 [7] T. Poomsa-ard, J. Wetweerapong and C. Samartkoon Hyperidentities in idempotent graph algebras, Thai J. Math. 2(2004), no. 1, [8] T. Poomsa-ard, J. Wetweerapong and C. Samartkoon Hyperidentities in transitive graph algebras, Discuss. Math. Gen. Algebra Appl. 25(2005), no. 1, [9] R. Pöschel, The equational logic for graph algebras, Z. Math. Logik Grundlag. Math. 35(1989), no. 3, [10] R. Pöschel, Graph algebras and graph varieties, Algebra Universalis, 27(1990), no. 4, [11] R. Pöschel and W. Wessel, Classes of graphs definable by graph algebras identities or quasiidentities, Comment. Math. Univ. Carolonae 28(1987), [12] C. R. Shallon, Nonfinitely based finite algebras derived from lattices, Ph. D. Dissertation, Uni. of California, Los Angeles, Received: August, 2009
Identities in (X(YZ))Z with Reverse Arc Graph Varieties of Type (2,0)
International Mathematical Forum, 5, 2010, no. 28, 1365-1376 Identities in (X(YZ))Z with Reverse Arc Graph Varieties of Type (2,0) Apinant Anantpinitwatna and Tiang Poomsa-ard Department of Mathematics,
More informationClasses of Universal Graphs Definable by Universal Graph Algebra Quasi-Identities
International Mathematical Forum, Vol. 8, 2013, no. 16, 789-799 HIKARI Ltd, www.m-hikari.com Classes of Universal Graphs Definable by Universal Graph Algebra Quasi-Identities P. Jampachon and T. Poomsa-ard
More informationEquational Logic. Chapter Syntax Terms and Term Algebras
Chapter 2 Equational Logic 2.1 Syntax 2.1.1 Terms and Term Algebras The natural logic of algebra is equational logic, whose propositions are universally quantified identities between terms built up from
More informationFuzzy M-solid subvarieties
International Journal of Algebra, Vol. 5, 2011, no. 24, 1195-1205 Fuzzy M-Solid Subvarieties Bundit Pibaljommee Department of Mathematics, Faculty of Science Khon kaen University, Khon kaen 40002, Thailand
More informationGENERATING SETS AND DECOMPOSITIONS FOR IDEMPOTENT TREE LANGUAGES
Atlantic Electronic http://aejm.ca Journal of Mathematics http://aejm.ca/rema Volume 6, Number 1, Summer 2014 pp. 26-37 GENERATING SETS AND DECOMPOSITIONS FOR IDEMPOTENT TREE ANGUAGES MARK THOM AND SHEY
More informationMinimal Characteristic Algebras for Rectangular k-normal Identities
Algebra Colloquium 18 : 4 (2011) 611 628 Algebra Colloquium c 2011 AMSS CAS & SUZHOU UNIV Minimal Characteristic Algebras for Rectangular k-normal Identities K. Hambrook S.L. Wismath Department of Mathematics
More informationOn the Complete Join of Permutative Combinatorial Rees-Sushkevich Varieties
International Journal of Algebra, Vol. 1, 2007, no. 1, 1 9 On the Complete Join of Permutative Combinatorial Rees-Sushkevich Varieties Edmond W. H. Lee 1 Department of Mathematics, Simon Fraser University
More informationEQUATIONS OF TOURNAMENTS ARE NOT FINITELY BASED
EQUATIONS OF TOURNAMENTS ARE NOT FINITELY BASED J. Ježek, P. Marković, M. Maróti and R. McKenzie Abstract. The aim of this paper is to prove that there is no finite basis for the equations satisfied by
More informationSection Summary. Relations and Functions Properties of Relations. Combining Relations
Chapter 9 Chapter Summary Relations and Their Properties n-ary Relations and Their Applications (not currently included in overheads) Representing Relations Closures of Relations (not currently included
More informationClosure operators on sets and algebraic lattices
Closure operators on sets and algebraic lattices Sergiu Rudeanu University of Bucharest Romania Closure operators are abundant in mathematics; here are a few examples. Given an algebraic structure, such
More informationUniversal Algebra for Logics
Universal Algebra for Logics Joanna GRYGIEL University of Czestochowa Poland j.grygiel@ajd.czest.pl 2005 These notes form Lecture Notes of a short course which I will give at 1st School on Universal Logic
More informationSIMPLE LOGICS FOR BASIC ALGEBRAS
Bulletin of the Section of Logic Volume 44:3/4 (2015), pp. 95 110 http://dx.doi.org/10.18778/0138-0680.44.3.4.01 Jānis Cīrulis SIMPLE LOGICS FOR BASIC ALGEBRAS Abstract An MV-algebra is an algebra (A,,,
More informationMULTI-HYPERSUBSTITUTIONS AND COLOURED SOLID VARIETIES arxiv: v2 [math.ra] 29 Nov 2008
MULTI-HYPERSUBSTITUTIONS AND COLOURED SOLID VARIETIES arxiv:0811.4764v2 [math.ra] 29 Nov 2008 K. DENECKE, J. KOPPITZ, SL. SHTRAKOV Abstract. Hypersubstitutions are mappings which map operation symbols
More informationTHE LATTICE OF SUBVARIETIES OF SEMILATTICE ORDERED ALGEBRAS
THE LATTICE OF SUBVARIETIES OF SEMILATTICE ORDERED ALGEBRAS A. PILITOWSKA 1 AND A. ZAMOJSKA-DZIENIO 2 Abstract. This paper is devoted to the semilattice ordered V-algebras of the form (A, Ω, +), where
More informationDISTRIBUTIVE, STANDARD AND NEUTRAL ELEMENTS IN TRELLISES. 1. Introduction
Acta Math. Univ. Comenianae Vol. LXXVII, 2 (2008), pp. 167 174 167 DISTRIBUTIVE, STANDARD AND NEUTRAL ELEMENTS IN TRELLISES SHASHIREKHA B. RAI Abstract. In this paper, the concepts of distributive, standard
More informationIntroduction to Kleene Algebras
Introduction to Kleene Algebras Riccardo Pucella Basic Notions Seminar December 1, 2005 Introduction to Kleene Algebras p.1 Idempotent Semirings An idempotent semiring is a structure S = (S, +,, 1, 0)
More information1. Quivers and their representations: Basic definitions and examples.
1 Quivers and their representations: Basic definitions and examples 11 Quivers A quiver Q (sometimes also called a directed graph) consists of vertices and oriented edges (arrows): loops and multiple arrows
More informationDefinition: A binary relation R from a set A to a set B is a subset R A B. Example:
Chapter 9 1 Binary Relations Definition: A binary relation R from a set A to a set B is a subset R A B. Example: Let A = {0,1,2} and B = {a,b} {(0, a), (0, b), (1,a), (2, b)} is a relation from A to B.
More informationSection 7.1 Relations and Their Properties. Definition: A binary relation R from a set A to a set B is a subset R A B.
Section 7.1 Relations and Their Properties Definition: A binary relation R from a set A to a set B is a subset R A B. Note: there are no constraints on relations as there are on functions. We have a common
More informationIntroduction to generalized topological spaces
@ Applied General Topology c Universidad Politécnica de Valencia Volume 12, no. 1, 2011 pp. 49-66 Introduction to generalized topological spaces Irina Zvina Abstract We introduce the notion of generalized
More informationFREE STEINER LOOPS. Smile Markovski, Ana Sokolova Faculty of Sciences and Mathematics, Republic of Macedonia
GLASNIK MATEMATIČKI Vol. 36(56)(2001), 85 93 FREE STEINER LOOPS Smile Markovski, Ana Sokolova Faculty of Sciences and Mathematics, Republic of Macedonia Abstract. A Steiner loop, or a sloop, is a groupoid
More informationP.S. Gevorgyan and S.D. Iliadis. 1. Introduction
MATEMATIČKI VESNIK MATEMATIQKI VESNIK 70, 2 (208), 0 9 June 208 research paper originalni nauqni rad GROUPS OF GENERALIZED ISOTOPIES AND GENERALIZED G-SPACES P.S. Gevorgyan and S.D. Iliadis Abstract. The
More informationSemigroup, monoid and group models of groupoid identities. 1. Introduction
Quasigroups and Related Systems 16 (2008), 25 29 Semigroup, monoid and group models of groupoid identities Nick C. Fiala Abstract In this note, we characterize those groupoid identities that have a (nite)
More informationF -inverse covers of E-unitary inverse monoids
F -inverse covers of E-unitary inverse monoids Outline of Ph.D. thesis Nóra Szakács Supervisor: Mária B. Szendrei Doctoral School of Mathematics and Computer Science University of Szeged 2016 1 1 Introduction
More informationThe variety of commutative additively and multiplicatively idempotent semirings
Semigroup Forum (2018) 96:409 415 https://doi.org/10.1007/s00233-017-9905-2 RESEARCH ARTICLE The variety of commutative additively and multiplicatively idempotent semirings Ivan Chajda 1 Helmut Länger
More informationA Structure of KK-Algebras and its Properties
Int. Journal of Math. Analysis, Vol. 6, 2012, no. 21, 1035-1044 A Structure of KK-Algebras and its Properties S. Asawasamrit Department of Mathematics, Faculty of Applied Science, King Mongkut s University
More informationUnary Automatic Graphs: An Algorithmic Perspective 1
Unary Automatic Graphs: An Algorithmic Perspective 1 This paper studies infinite graphs produced from a natural unfolding operation applied to finite graphs. Graphs produced via such operations are of
More informationcse303 ELEMENTS OF THE THEORY OF COMPUTATION Professor Anita Wasilewska
cse303 ELEMENTS OF THE THEORY OF COMPUTATION Professor Anita Wasilewska LECTURE 1 Course Web Page www3.cs.stonybrook.edu/ cse303 The webpage contains: lectures notes slides; very detailed solutions to
More informationSets and Motivation for Boolean algebra
SET THEORY Basic concepts Notations Subset Algebra of sets The power set Ordered pairs and Cartesian product Relations on sets Types of relations and their properties Relational matrix and the graph of
More informationNEW CLASSES OF SET-THEORETIC COMPLETE INTERSECTION MONOMIAL IDEALS
NEW CLASSES OF SET-THEORETIC COMPLETE INTERSECTION MONOMIAL IDEALS M. R. POURNAKI, S. A. SEYED FAKHARI, AND S. YASSEMI Abstract. Let be a simplicial complex and χ be an s-coloring of. Biermann and Van
More informationBoolean Algebra CHAPTER 15
CHAPTER 15 Boolean Algebra 15.1 INTRODUCTION Both sets and propositions satisfy similar laws, which are listed in Tables 1-1 and 4-1 (in Chapters 1 and 4, respectively). These laws are used to define an
More informationMath.3336: Discrete Mathematics. Chapter 9 Relations
Math.3336: Discrete Mathematics Chapter 9 Relations Instructor: Dr. Blerina Xhabli Department of Mathematics, University of Houston https://www.math.uh.edu/ blerina Email: blerina@math.uh.edu Fall 2018
More informationClC (X ) : X ω X } C. (11)
With each closed-set system we associate a closure operation. Definition 1.20. Let A, C be a closed-set system. Define Cl C : : P(A) P(A) as follows. For every X A, Cl C (X) = { C C : X C }. Cl C (X) is
More informationFinite Simple Abelian Algebras are Strictly Simple
Finite Simple Abelian Algebras are Strictly Simple Matthew A. Valeriote Abstract A finite universal algebra is called strictly simple if it is simple and has no nontrivial subalgebras. An algebra is said
More informationDISTRIBUTIVE LATTICES ON GRAPH ORIENTATIONS
DISTRIBUTIVE LATTICES ON GRAPH ORIENTATIONS KOLJA B. KNAUER ABSTRACT. Propp gave a construction method for distributive lattices on a class of orientations of a graph called c-orientations. Given a distributive
More informationLecture Notes: Selected Topics in Discrete Structures. Ulf Nilsson
Lecture Notes: Selected Topics in Discrete Structures Ulf Nilsson Dept of Computer and Information Science Linköping University 581 83 Linköping, Sweden ulfni@ida.liu.se 2004-03-09 Contents Chapter 1.
More informationD-bounded Distance-Regular Graphs
D-bounded Distance-Regular Graphs CHIH-WEN WENG 53706 Abstract Let Γ = (X, R) denote a distance-regular graph with diameter D 3 and distance function δ. A (vertex) subgraph X is said to be weak-geodetically
More informationON VARIETIES OF LEFT DISTRIBUTIVE LEFT IDEMPOTENT GROUPOIDS
ON VARIETIES OF LEFT DISTRIBUTIVE LEFT IDEMPOTENT GROUPOIDS DAVID STANOVSKÝ Abstract. We describe a part of the lattice of subvarieties of left distributive left idempotent groupoids (i.e. those satisfying
More informationJónsson posets and unary Jónsson algebras
Jónsson posets and unary Jónsson algebras Keith A. Kearnes and Greg Oman Abstract. We show that if P is an infinite poset whose proper order ideals have cardinality strictly less than P, and κ is a cardinal
More informationINVERSE LIMITS AND PROFINITE GROUPS
INVERSE LIMITS AND PROFINITE GROUPS BRIAN OSSERMAN We discuss the inverse limit construction, and consider the special case of inverse limits of finite groups, which should best be considered as topological
More informationOn the Structure of Rough Approximations
On the Structure of Rough Approximations (Extended Abstract) Jouni Järvinen Turku Centre for Computer Science (TUCS) Lemminkäisenkatu 14 A, FIN-20520 Turku, Finland jjarvine@cs.utu.fi Abstract. We study
More informationOn star forest ascending subgraph decomposition
On star forest ascending subgraph decomposition Josep M. Aroca and Anna Lladó Department of Mathematics, Univ. Politècnica de Catalunya Barcelona, Spain josep.m.aroca@upc.edu,aina.llado@upc.edu Submitted:
More informationACLT: Algebra, Categories, Logic in Topology - Grothendieck's generalized topological spaces (toposes)
ACLT: Algebra, Categories, Logic in Topology - Grothendieck's generalized topological spaces (toposes) Steve Vickers CS Theory Group Birmingham 2. Theories and models Categorical approach to many-sorted
More informationCharacterizing the Equational Theory
Introduction to Kleene Algebra Lecture 4 CS786 Spring 2004 February 2, 2004 Characterizing the Equational Theory Most of the early work on Kleene algebra was directed toward characterizing the equational
More informationWhen does a semiring become a residuated lattice?
When does a semiring become a residuated lattice? Ivan Chajda and Helmut Länger arxiv:1809.07646v1 [math.ra] 20 Sep 2018 Abstract It is an easy observation that every residuated lattice is in fact a semiring
More informationCHAPTER 4. βs as a semigroup
CHAPTER 4 βs as a semigroup In this chapter, we assume that (S, ) is an arbitrary semigroup, equipped with the discrete topology. As explained in Chapter 3, we will consider S as a (dense ) subset of its
More informationANNIHILATOR IDEALS IN ALMOST SEMILATTICE
BULLETIN OF THE INTERNATIONAL MATHEMATICAL VIRTUAL INSTITUTE ISSN (p) 2303-4874, ISSN (o) 2303-4955 www.imvibl.org /JOURNALS / BULLETIN Vol. 7(2017), 339-352 DOI: 10.7251/BIMVI1702339R Former BULLETIN
More informationA MODEL-THEORETIC PROOF OF HILBERT S NULLSTELLENSATZ
A MODEL-THEORETIC PROOF OF HILBERT S NULLSTELLENSATZ NICOLAS FORD Abstract. The goal of this paper is to present a proof of the Nullstellensatz using tools from a branch of logic called model theory. In
More informationThe Essentially Equational Theory of Horn Classes
The Essentially Equational Theory of Horn Classes Hans E. Porst Dedicated to Professor Dr. Dieter Pumplün on the occasion of his retirement Abstract It is well known that the model categories of universal
More informationFREE SYSTEMS OF ALGEBRAS AND ULTRACLOSED CLASSES
Acta Math. Univ. Comenianae Vol. LXXV, 1(2006), pp. 127 136 127 FREE SYSTEMS OF ALGEBRAS AND ULTRACLOSED CLASSES R. THRON and J. KOPPITZ Abstract. There is considered the concept of the so-called free
More informationTutorial Obtain the principal disjunctive normal form and principal conjunction form of the statement
Tutorial - 1 1. Obtain the principal disjunctive normal form and principal conjunction form of the statement Let S P P Q Q R P P Q Q R A: P Q Q R P Q R P Q Q R Q Q R A S Minterm Maxterm T T T F F T T T
More informationFinite homogeneous and lattice ordered effect algebras
Finite homogeneous and lattice ordered effect algebras Gejza Jenča Department of Mathematics Faculty of Electrical Engineering and Information Technology Slovak Technical University Ilkovičova 3 812 19
More information20 Group Homomorphisms
20 Group Homomorphisms In Example 1810(d), we have observed that the groups S 4 /V 4 and S 3 have almost the same multiplication table They have the same structure In this paragraph, we study groups with
More informationSimplification by Truth Table and without Truth Table
Engineering Mathematics 2013 SUBJECT NAME SUBJECT CODE MATERIAL NAME MATERIAL CODE REGULATION UPDATED ON : Discrete Mathematics : MA2265 : University Questions : SKMA1006 : R2008 : August 2013 Name of
More informationCompleteness of Star-Continuity
Introduction to Kleene Algebra Lecture 5 CS786 Spring 2004 February 9, 2004 Completeness of Star-Continuity We argued in the previous lecture that the equational theory of each of the following classes
More informationA note on congruence lattices of slim semimodular
A note on congruence lattices of slim semimodular lattices Gábor Czédli Abstract. Recently, G. Grätzer has raised an interesting problem: Which distributive lattices are congruence lattices of slim semimodular
More informationA CHARACTERIZATION OF LOCALLY FINITE VARIETIES THAT SATISFY A NONTRIVIAL CONGRUENCE IDENTITY
A CHARACTERIZATION OF LOCALLY FINITE VARIETIES THAT SATISFY A NONTRIVIAL CONGRUENCE IDENTITY KEITH A. KEARNES Abstract. We show that a locally finite variety satisfies a nontrivial congruence identity
More informationRemarks on categorical equivalence of finite unary algebras
Remarks on categorical equivalence of finite unary algebras 1. Background M. Krasner s original theorems from 1939 say that a finite algebra A (1) is an essentially multiunary algebra in which all operations
More informationcse303 ELEMENTS OF THE THEORY OF COMPUTATION Professor Anita Wasilewska
cse303 ELEMENTS OF THE THEORY OF COMPUTATION Professor Anita Wasilewska LECTURE 3 CHAPTER 1 SETS, RELATIONS, and LANGUAGES 6. Closures and Algorithms 7. Alphabets and Languages 8. Finite Representation
More information1 Introduction We adopt the terminology of [1]. Let D be a digraph, consisting of a set V (D) of vertices and a set E(D) V (D) V (D) of edges. For a n
HIGHLY ARC-TRANSITIVE DIGRAPHS WITH NO HOMOMORPHISM ONTO Z Aleksander Malnic 1 Dragan Marusic 1 IMFM, Oddelek za matematiko IMFM, Oddelek za matematiko Univerza v Ljubljani Univerza v Ljubljani Jadranska
More informationA Note on Generalized Topology
International Mathematical Forum, Vol. 6, 2011, no. 1, 19-24 A Note on Generalized Topology Gh. Abbaspour Tabadkan and A. Taghavi Faculty of Mathematics and Computer Sciences Damghan University, Damghan,
More informationarxiv: v1 [math.gr] 10 Sep 2018
THE LATTICE OF VARIETIES OF IMPLICATION SEMIGROUPS SERGEY V. GUSEV, HANAMANTAGOUDA P. SANKAPPANAVAR, AND BORIS M. VERNIKOV arxiv:1809.03148v1 [math.gr] 10 Sep 2018 Abstract. An implication semigroup is
More informationOn injective constructions of S-semigroups. Jan Paseka Masaryk University
On injective constructions of S-semigroups Jan Paseka Masaryk University Joint work with Xia Zhang South China Normal University BLAST 2018 University of Denver, Denver, USA Jan Paseka (MU) 10. 8. 2018
More informationChapter 9: Relations Relations
Chapter 9: Relations 9.1 - Relations Definition 1 (Relation). Let A and B be sets. A binary relation from A to B is a subset R A B, i.e., R is a set of ordered pairs where the first element from each pair
More informationON FUZZY TOPOLOGICAL BCC-ALGEBRAS 1
Discussiones Mathematicae General Algebra and Applications 20 (2000 ) 77 86 ON FUZZY TOPOLOGICAL BCC-ALGEBRAS 1 Wies law A. Dudek Institute of Mathematics Technical University Wybrzeże Wyspiańskiego 27,
More informationCOMBINATORIAL GROUP THEORY NOTES
COMBINATORIAL GROUP THEORY NOTES These are being written as a companion to Chapter 1 of Hatcher. The aim is to give a description of some of the group theory required to work with the fundamental groups
More informationHOW IS A CHORDAL GRAPH LIKE A SUPERSOLVABLE BINARY MATROID?
HOW IS A CHORDAL GRAPH LIKE A SUPERSOLVABLE BINARY MATROID? RAUL CORDOVIL, DAVID FORGE AND SULAMITA KLEIN To the memory of Claude Berge Abstract. Let G be a finite simple graph. From the pioneering work
More informationarxiv:math/ v1 [math.gm] 21 Jan 2005
arxiv:math/0501341v1 [math.gm] 21 Jan 2005 SUBLATTICES OF LATTICES OF ORDER-CONVEX SETS, I. THE MAIN REPRESENTATION THEOREM MARINA SEMENOVA AND FRIEDRICH WEHRUNG Abstract. For a partially ordered set P,
More informationA NEW COMBINATORIAL FORMULA FOR CLUSTER MONOMIALS OF EQUIORIENTED TYPE A QUIVERS
A NEW COMBINATORIAL FORMULA FOR CLUSTER MONOMIALS OF EQUIORIENTED TYPE A QUIVERS D. E. BAYLERAN, DARREN J. FINNIGAN, ALAA HAJ ALI, KYUNGYONG LEE, CHRIS M. LOCRICCHIO, MATTHEW R. MILLS, DANIEL PUIG-PEY
More informationSYNTACTIC SEMIGROUP PROBLEM FOR THE SEMIGROUP REDUCTS OF AFFINE NEAR-SEMIRINGS OVER BRANDT SEMIGROUPS
SYNTACTIC SEMIGROUP PROBLEM FOR THE SEMIGROUP REDUCTS OF AFFINE NEAR-SEMIRINGS OVER BRANDT SEMIGROUPS JITENDER KUMAR AND K. V. KRISHNA Abstract. The syntactic semigroup problem is to decide whether a given
More informationTutorial on Universal Algebra, Mal cev Conditions, and Finite Relational Structures: Lecture I
Tutorial on Universal Algebra, Mal cev Conditions, and Finite Relational Structures: Lecture I Ross Willard University of Waterloo, Canada BLAST 2010 Boulder, June 2010 Ross Willard (Waterloo) Universal
More informationAxioms of Kleene Algebra
Introduction to Kleene Algebra Lecture 2 CS786 Spring 2004 January 28, 2004 Axioms of Kleene Algebra In this lecture we give the formal definition of a Kleene algebra and derive some basic consequences.
More informationPartial cubes: structures, characterizations, and constructions
Partial cubes: structures, characterizations, and constructions Sergei Ovchinnikov San Francisco State University, Mathematics Department, 1600 Holloway Ave., San Francisco, CA 94132 Abstract Partial cubes
More informationNOTES ON PLANAR SEMIMODULAR LATTICES. IV. THE SIZE OF A MINIMAL CONGRUENCE LATTICE REPRESENTATION WITH RECTANGULAR LATTICES
NOTES ON PLANAR SEMIMODULAR LATTICES. IV. THE SIZE OF A MINIMAL CONGRUENCE LATTICE REPRESENTATION WITH RECTANGULAR LATTICES G. GRÄTZER AND E. KNAPP Abstract. Let D be a finite distributive lattice with
More informationClass Notes on Poset Theory Johan G. Belinfante Revised 1995 May 21
Class Notes on Poset Theory Johan G Belinfante Revised 1995 May 21 Introduction These notes were originally prepared in July 1972 as a handout for a class in modern algebra taught at the Carnegie-Mellon
More informationAnna University, Chennai, November/December 2012
B.E./B.Tech. DEGREE EXAMINATION, NOVEMBER/DECEMBER 2012 Fifth Semester Computer Science and Engineering MA2265 DISCRETE MATHEMATICS (Regulation 2008) Part - A 1. Define Tautology with an example. A Statement
More informationMITSCH S ORDER AND INCLUSION FOR BINARY RELATIONS
MITSCH S ORDER AND INCLUSION FOR BINARY RELATIONS D. G. FITZGERALD Abstract. Mitsch s natural partial order on the semigroup of binary relations has a complex relationship with the compatible partial order
More informationBINARY REPRESENTATIONS OF ALGEBRAS WITH AT MOST TWO BINARY OPERATIONS. A CAYLEY THEOREM FOR DISTRIBUTIVE LATTICES
International Journal of Algebra and Computation Vol. 19, No. 1 (2009) 97 106 c World Scientific Publishing Company BINARY REPRESENTATIONS OF ALGEBRAS WITH AT MOST TWO BINARY OPERATIONS. A CAYLEY THEOREM
More informationFoundations of Mathematics
Foundations of Mathematics Andrew Monnot 1 Construction of the Language Loop We must yield to a cyclic approach in the foundations of mathematics. In this respect we begin with some assumptions of language
More informationFrom Residuated Lattices to Boolean Algebras with Operators
From Residuated Lattices to Boolean Algebras with Operators Peter Jipsen School of Computational Sciences and Center of Excellence in Computation, Algebra and Topology (CECAT) Chapman University October
More informationOn α-embedded subsets of products
European Journal of Mathematics 2015) 1:160 169 DOI 10.1007/s40879-014-0018-0 RESEARCH ARTICLE On α-embedded subsets of products Olena Karlova Volodymyr Mykhaylyuk Received: 22 May 2014 / Accepted: 19
More information3. Abstract Boolean Algebras
3. ABSTRACT BOOLEAN ALGEBRAS 123 3. Abstract Boolean Algebras 3.1. Abstract Boolean Algebra. Definition 3.1.1. An abstract Boolean algebra is defined as a set B containing two distinct elements 0 and 1,
More informationTHE MAXIMAL SUBGROUPS AND THE COMPLEXITY OF THE FLOW SEMIGROUP OF FINITE (DI)GRAPHS
THE MAXIMAL SUBGROUPS AND THE COMPLEXITY OF THE FLOW SEMIGROUP OF FINITE (DI)GRAPHS GÁBOR HORVÁTH, CHRYSTOPHER L. NEHANIV, AND KÁROLY PODOSKI Dedicated to John Rhodes on the occasion of his 80th birthday.
More informationRelation between Graphs
Max Planck Intitute for Math. in the Sciences, Leipzig, Germany Joint work with Jan Hubička, Jürgen Jost, Peter F. Stadler and Ling Yang SCAC2012, SJTU, Shanghai Outline Motivation and Background 1 Motivation
More informationA GENERAL THEORY OF ZERO-DIVISOR GRAPHS OVER A COMMUTATIVE RING. David F. Anderson and Elizabeth F. Lewis
International Electronic Journal of Algebra Volume 20 (2016) 111-135 A GENERAL HEORY OF ZERO-DIVISOR GRAPHS OVER A COMMUAIVE RING David F. Anderson and Elizabeth F. Lewis Received: 28 April 2016 Communicated
More informationJames J. Madden LSU, Baton Rouge. Dedication: To the memory of Paul Conrad.
Equational classes of f-rings with unit: disconnected classes. James J. Madden LSU, Baton Rouge Dedication: To the memory of Paul Conrad. Abstract. This paper introduces several families of equational
More informationReachability relations and the structure of transitive digraphs
Reachability relations and the structure of transitive digraphs Norbert Seifter Montanuniversität Leoben, Leoben, Austria seifter@unileoben.ac.at Vladimir I. Trofimov Russian Academy of Sciences, Ekaterinburg,
More informationA collection of topological Ramsey spaces of trees and their application to profinite graph theory
A collection of topological Ramsey spaces of trees and their application to profinite graph theory Yuan Yuan Zheng Abstract We construct a collection of new topological Ramsey spaces of trees. It is based
More informationRelations on Hypergraphs
Relations on Hypergraphs John Stell School of Computing, University of Leeds RAMiCS 13 Cambridge, 17th September 2012 Relations on a Set Boolean algebra Converse R = R Complement R = R Composition & residuation
More informationThe Blok-Ferreirim theorem for normal GBL-algebras and its application
The Blok-Ferreirim theorem for normal GBL-algebras and its application Chapman University Department of Mathematics and Computer Science Orange, California University of Siena Department of Mathematics
More informationNOTES ON PLANAR SEMIMODULAR LATTICES. IV. THE SIZE OF A MINIMAL CONGRUENCE LATTICE REPRESENTATION WITH RECTANGULAR LATTICES
NOTES ON PLANAR SEMIMODULAR LATTICES. IV. THE SIZE OF A MINIMAL CONGRUENCE LATTICE REPRESENTATION WITH RECTANGULAR LATTICES G. GRÄTZER AND E. KNAPP Abstract. Let D be a finite distributive lattice with
More informationSUBLATTICES OF LATTICES OF ORDER-CONVEX SETS, III. THE CASE OF TOTALLY ORDERED SETS
SUBLATTICES OF LATTICES OF ORDER-CONVEX SETS, III. THE CASE OF TOTALLY ORDERED SETS MARINA SEMENOVA AND FRIEDRICH WEHRUNG Abstract. For a partially ordered set P, let Co(P) denote the lattice of all order-convex
More informationChordal Graphs, Interval Graphs, and wqo
Chordal Graphs, Interval Graphs, and wqo Guoli Ding DEPARTMENT OF MATHEMATICS LOUISIANA STATE UNIVERSITY BATON ROUGE, LA 70803-4918 E-mail: ding@math.lsu.edu Received July 29, 1997 Abstract: Let be the
More informationNote on p-competition Graphs and Paths
Southeast Asian Bulletin of Mathematics (2018) 42: 575 584 Southeast Asian Bulletin of Mathematics c SEAMS. 2018 Note on p-competition Graphs and Paths Y. Kidokoro, K. Ogawa, S. Tagusari, M. Tsuchiya Department
More informationDomination in Cayley Digraphs of Right and Left Groups
Communications in Mathematics and Applications Vol. 8, No. 3, pp. 271 287, 2017 ISSN 0975-8607 (online); 0976-5905 (print) Published by RGN Publications http://www.rgnpublications.com Domination in Cayley
More informationThe cocycle lattice of binary matroids
Published in: Europ. J. Comb. 14 (1993), 241 250. The cocycle lattice of binary matroids László Lovász Eötvös University, Budapest, Hungary, H-1088 Princeton University, Princeton, NJ 08544 Ákos Seress*
More informationTHE CLOSED-POINT ZARISKI TOPOLOGY FOR IRREDUCIBLE REPRESENTATIONS. K. R. Goodearl and E. S. Letzter
THE CLOSED-POINT ZARISKI TOPOLOGY FOR IRREDUCIBLE REPRESENTATIONS K. R. Goodearl and E. S. Letzter Abstract. In previous work, the second author introduced a topology, for spaces of irreducible representations,
More informationMyung-Hwan Kim and Byeong-Kweon Oh. Department of Mathematics, Seoul National University, Seoul , Korea
REPRESENTATIONS OF POSITIVE DEFINITE SENARY INTEGRAL QUADRATIC FORMS BY A SUM OF SQUARES Myung-Hwan Kim and Byeong-Kweon Oh Department of Mathematics Seoul National University Seoul 151-742 Korea Abstract.
More information7. Homotopy and the Fundamental Group
7. Homotopy and the Fundamental Group The group G will be called the fundamental group of the manifold V. J. Henri Poincaré, 895 The properties of a topological space that we have developed so far have
More informationArc-transitive pentavalent graphs of order 4pq
Arc-transitive pentavalent graphs of order 4pq Jiangmin Pan Bengong Lou Cuifeng Liu School of Mathematics and Statistics Yunnan University Kunming, Yunnan, 650031, P.R. China Submitted: May 22, 2012; Accepted:
More information