BINARY REPRESENTATIONS OF ALGEBRAS WITH AT MOST TWO BINARY OPERATIONS. A CAYLEY THEOREM FOR DISTRIBUTIVE LATTICES
|
|
- Ezra Lambert
- 6 years ago
- Views:
Transcription
1 International Journal of Algebra and Computation Vol. 19, No. 1 (2009) c World Scientific Publishing Company BINARY REPRESENTATIONS OF ALGEBRAS WITH AT MOST TWO BINARY OPERATIONS. A CAYLEY THEOREM FOR DISTRIBUTIVE LATTICES YU. M. MOVSISYAN Department of Mathematics, Yerevan State University Yerevan 0025, Armenia yurimovsisyan@yahoo.com Received 24 September 2007 Revised 26 November 2008 Communicated by D. Perrin The notion of binary representation of algebras with at most two binary operations is introduced in this paper, and the binary version of Cayley theorem for distributive lattices is given by hyperidentities. In particular, we get the binary version of Cayley theorem for DeMorgan and Boolean algebras. Keywords: Binary representation; binary Cayley theorem; hyperidentity; semigroup; quasigroup; lattice; distributive lattice; DeMorgan and Boolean algebras. AMS Mathematics Subject Classification: 06D05, 06D30, 06E05, 08A62, 20M30 1. Introduction The binary version of Cayley theorem was first proved for the multiplicative group of a field in [1] (also see [2]). The binary version of Cayley theorem for Boolean algebras is proved in [3] (also see [4 6]). An analogous result is proved for the so-called ternary algebras in [7]. The ordinary Cayley theorem characterizes groups and semigroups in terms of their (faithful) representations by unary transformations (functions). Furthermore, if the initial group or semigroup satisfies an identity, quasi-identity or some formula, then such representation will satisfy (as a unary algebra) the corresponding hyperidentity, conditional hyperidentity or second-order formula. If the initial class of groups or semigroups is not axiomatizable, then such a class is not recognizable by an ordinary Cayley theorem. For example, rings, associative rings, commutative rings, associative-commutative rings, sfields, fields, near-fields or fields of fixed characteristic are axiomatized, but their multiplicative groupoids, multiplicative semigroups and groups are not (Mal tcev, Kogalovski, Sabbach). The situation is analogous for topological rings and topological fields (Pontryagin). 97
2 98 Yu.M.Movsisyan The characterization of these groups and semigroups remains a modern issue in algebra, mathematical logic and topology. On the other hand, having just a unique binary operation (superposition), algebras with two binary operations usually cannot be characterized by unary functions. Having two natural operations (see definitions below) binary transformations (functions) of the type Q Q Q are preferable. It is notable that a considerable role is played by hyperidentities, more specifically by classical binary hyperidentities of idempotency, associativity, distributivity and mediality of the corresponding binary representations. Let us recall that a hyperidentity is a second-order formula of the form: X 1,...,X m x 1,...,x n (w 1 = w 2 ), where w 1, w 2 are words (terms) in the alphabet of functional variables X 1,...,X m and objective variables x 1,...,x n. However hyperidentities are usually presented without universal quantifiers. The hyperidentity w 1 = w 2 is said to be satisfied in the algebra (Q; Σ) if this equality holds whenever every functional variable X i is replaced by an arbitrary operation of the corresponding arity from Σ and every objective variable x j is replaced by an arbitrary element from Q. ThevarietyV of algebras is said to satisfy a certain hyperidentity, if this hyperidentity is satisfied in any algebra of V. In this case the hyperidentity is called a hyperidentity of variety V. For example, if Q( ) is a distributive quasigroup, then the algebra Q(, \,/) satisfies the hyperidentities of distributivity: X(x, Y (y, z)) = Y (X(x, y),x(x, z)), X(Y (x, y),z)=y (X(x, z),x(y, z)). Moreover, if Q(A) is a distributive quasigroup, then the algebra Q(A, A 1, 1 A, 1 (A 1 ), ( 1 A) 1,A ) satisfies these hyperidentities, where A (x, y) =A(y, x), A 1 (x, z) =y A(x, y) =z 1 A(z,y) =x (see [2]). If Q(A) is a medial quasigroup, then the algebra Q(A, A 1, 1 A, 1 (A 1 ), ( 1 A) 1,A ) satisfies the hyperidentity of mediality: X(Y (x, y),y(u, v)) = Y (X(x, u),x(y, v)). 2. Some Preliminary Results on Hyperidentities For the proofs of the following result see [2] (also see [8, 9]). Theorem A. The variety of lattices satisfies the following hyperidentities: X(x, x) =x, (1) X(x, y) =X(y, x), (2)
3 Binary Representations of Algebras 99 X(x, X(y, z)) = X(X(x, y),z), (3) X(Y (X(x, y),z),y(y, z)) = Y (X(x, y),z). (4) Conversely, every hyperidentity of the variety of lattices is a consequence of hyperidentities (1) (4). Theorem B. The variety of modular lattices satisfies the following hyperidentities: (1) (4) and X(Y (x, X(y, z)),y(y, z)) = Y (X(x, Y (y, z)),x(y, z)). (5) Conversely, every hyperidentity of the variety of modular lattices is a consequence of hyperidentities (1) (5). Theorem C. The variety of distributive lattices satisfies the following hyperidentities: (1) (3) and X(x, Y (y, z)) = Y (X(x, y),x(x, z)). (6) Conversely, every hyperidentity of the variety of distributive lattices is a consequence of hyperidentities (1) (3), (6). Theorem D. The variety of Boolean algebras satisfies the following hyperidentities: (1) (3), (6) and F (F (x)) = x, (7) X(F (x),y)=x(f (X(x, y)),y), (8) F (X(F (X(x, y)),f(x(x, F (y))))) = x. (9) Conversely, every hyperidentity of the variety of Boolean algebras is a consequence of hyperidentities (1) (3), (6) (9). Lattices, modular lattices, distributive lattices, Boolean algebras cannot be determined by their hyperidentities [9]. 3. The Concept of Binary Representations of Algebras with One or Two Binary Operations The set of the binary operations defined on the set Q is denoted by FQ 2. If α : A B C and β : A D B are mappings, then define the sum α + β : A D C and the conjugate α : B A C by (α + β)(x, y) =α(x, β(x, y)), α (u, v) =α(v, u), where x A, y D, u B, v A. Ifα : B A C and β : D A B, then define the product α β : D A C by (α β)(x, y) =α(β(x, y),y), where x D, y A.
4 100 Yu.M.Movsisyan Lemma 3.1. (1) The addition α + β is associative. Hence, FQ 2 (+) is a semigroup with a unit element E(x, y) =y. (2) The product α β is associative. Hence, FQ 2 ( ) is a semigroup with unit F (x, y) =x. (3) (α ) = α and (α + β) = α β, (α β) = α + β.hence, the monoids FQ 2 (+) and F Q 2 ( ) are isomorphic. (4) For every fixed set A we obtain two isomorphic categories of sets: Sets A l and Sets A r. The morphisms between sets B and C in SetsA l are mappings of the form A B C, and in Sets A r are mappings of the form B A C. Proof. (1) ((α+β)+γ)(x, y) =(α+β)(x, γ(x, y)) = α(x, β(x, γ(x, y))) = α(x, (β+ γ)(x, y)) = (α +(β + γ))(x, y); (3) (α + β) (x, y) =(α + β)(y, x) =α(y, β(y, x)) = α (β (x, y),y)=(α β )(x, y). Lemma 3.2. The groupoid Q(A) isaquasigroupiffa is invertible in both semigroups F 2 Q ( ) and F 2 Q (+). By denoting E =0andF =1,thenF 2 Q becomes an algebra F 2 Q (+,,, 0, 1) with two binary, one unary, and two nullary operations. Let the set Q, the algebra Γ(+) (not related to Q) with one binary operation be given. The representation of Γ(+) by binary functions of the set Q, or the binary representation of Γ(+) in set Q [1] is a function Γ Q 2 Q which maps every γ Γand(x, y) Q 2 to γ(x, y) Q such that (γ 1 + γ 2 )(x, y) =γ 1 (x, γ 2 (x, y)), for every γ 1,γ 2 Γandx, y Q. If Γ(+) has a unit 0 Γ, then the condition 0(x, y) =y, forx, y Q, is added to the above definition. Suppose such a representation is given. Then to every γ Γ there corresponds a binary operation ϕ(γ) FQ 2 defined by ϕ(γ) :(x, y) γ(x, y). We arrive at the mapping ϕ :Γ FQ 2 with the condition: ϕ(γ 1 + γ 2 )(x, y) =(γ 1 + γ 2 )(x, y) =γ 1 (x, γ 2 (x, y)) = ϕγ 1 (x, ϕγ 2 (x, y)) = (ϕγ 1 + ϕγ 2 )(x, y), i.e. ϕ(γ 1 + γ 2 )=ϕγ 1 + ϕγ 2 and the mapping ϕ is a homomorphism from Γ(+) to FQ 2 (+). Thus, by the representation of Γ(+) by binary functions of set Q, wealso define the homomorphism ϕ :Γ(+) FQ 2 (+). If in addition Γ(+) has a unit 0 Γ, then ϕ(0) = 0, i.e. we obtain a homomorphism between the algebras Γ(+, 0) and FQ 2 (+, 0). The converse is also true: given a homomorphism ϕ :Γ(+) F2 Q (+) or ϕ :Γ(+, 0) FQ 2 (+, 0), then by defining the mapping (γ,x,y) (ϕγ)(x, y) for every γ Γandx, y Q, we obtain a binary representation of Γ in the set Q.
5 Binary Representations of Algebras 101 Now let Γ(+, ) be an algebra with two binary operations. The binary representation of this algebra in Q is defined as a mapping Γ Q 2 Q satisfying: (γ 1 + γ 2 )(x, y) =γ 1 (x, γ 2 (x, y)), (γ 1 γ 2 )(x, y) =γ 1 (γ 2 (x, y),y), for every x, y Q and γ 1,γ 2 Γ. Moreover, if addition or multiplication has a unit element 0 Γor1 Γ, respectively, then the condition 0(x, y) =y or 1(x, y) =x, respectively, for every x, y Q, is added to the definition. We notice, as above, that having a binary representation of Γ(+, ) inthesetq is equivalent to having a homomorphism ϕ :Γ(+, ) FQ 2 (+, ). Moreover, if one or both unit elements exist in Γ(+, ), we have a homomorphism preserving one or both (respectively) unit elements. And finally, let Γ(+,, ) be an algebra with two binary and one unary operations. A binary representation of the algebra Γ(+,, )inthesetqis defined as a mapping Γ Q 2 Q with conditions: (γ 1 + γ 2 )(x, y) =γ 1 (x, γ 2 (x, y)), (γ 1 γ 2 )(x, y) =γ 1 (γ 2 (x, y),y), (γ 1 )(x, y) =γ 1(y, x), for every x, y Q and γ 1,γ 2 Γ. Again, in case + or have a unit element 0 Γ or 1 Γ respectively, the condition 0(x, y) =y or 1(x, y) =x respectively, is added for all x, y Q. Once again, having a binary representation of the algebra Γ(+,, ) in the set Q is equivalent to having a homomorphism ϕ :Γ(+,, ) FQ 2 (+,, ) (and ϕ(0) = 0 or ϕ(1) = 1, provided one or both unit elements exist). The binary representation of an algebra is called faithful, if the corresponding homomorphism is injective. Algebra Γ is said to have a faithful binary representation, if it has a faithful binary representation in a some set Q. Suppose ϕ :Γ FQ 2 is a binary representation of algebra Γ. Then the homomorphic image ϕ(γ) is a subalgebra of the algebra FQ 2. A representation ϕ is said to satisfy an identity (hyperidentity or formula Φ) if that identity (hyperidentity or formula Φ) is satisfied in binary algebra (Q; ϕ(γ)), where ϕ(γ) = {ϕ(γ) γ Γ}. Example. Consider (0, 1) R as a semigroup with the usual product. If Q is a convex subset of a (real or complex) linear space V, then by defining α(x, y) =(1 α)x + αy, α (0, 1), x,y Q, we get a faithful binary representation of the semigroup (0, 1) in Q, satisfying: α(x, y) =(1 α)(y, x), (10) ( ) α(1 β) α(x, β(y, z)) = αβ (x, y),z, (11) 1 αβ
6 102 Yu.M.Movsisyan and the hyperidentities (1), X(Y (x, y),y(u, v)) = Y (X(x, u),x(y, v)), (12) hence satisfying the hyperidentities (6) and X(Y (x, y),z)=y (X(x, z),x(y, z)). (13) In the meantime we get similar definitions of convexors, conrings and conmodules [10 12]. For instance, a convexor on set Q can be defined as a binary representation of the semigroup (0, 1) in Q satisfying the identities (10), (11) and the hyperidentity (1). 4. Binary Representations of Semigroups Proposition 4.1 (Binary Cayley theorem for semigroups). Every semigroup Γ has a faithful binary representation satisfying the hyperidentities: X(x, X(y, z)) = X(X(x, y),x(x, z)), (14) X(X(x, y),x(u, v)) = X(X(x, u),x(y, v)). (15) Proof. Without loss of generality we can suppose that Γ is a monoid. Let Q =Γ and x, y Q, γ Γ. Set γ(x, y) =γ + y, where (+) is the operation of monoid Γ. The condition (γ 1 + γ 2 )(x, y) =γ 1 (x, γ 2 (x, y)) implies from the associativity of addition in Γ. Also, 0(x, y) =0+y = y and the existence of unit 0 Γprovides the faithfulness of the binary representation: γ 1 γ 2 γ 1 (x, 0) γ 2 (x, 0). The aforementioned hyperidentities have a straightforward proof. In case of multiplicative semigroups of associative rings, we obtain an additional hyperidentity (of idempotency). Proposition 4.2 (Binary Cayley theorem for multiplicative semigroups of associative rings). The multiplicative semigroup of associative ring Γ has a faithful binary representation satisfying the hyperidentities (1), (14) and (15). Proof. Without loss of generality we can prove the assertion for associative ring with a unit. Suppose Γ(+, ) is an associative ring with a unit 1 Γ, then by letting Q = Γ and by defining γ(x, y) =(1 γ)x + γy we get the desired faithful binary representation. In case of an associative-commutative ring, the corresponding hyperidentities turn out to be stronger. Corollary 4.1 (Binary Cayley theorem for multiplicative semigroups of associative-commutative rings). The multiplicative semigroup of associativecommutative ring has a faithful binary representation satisfying the hyperidentities (1), (12) (and hence (6), (13)).
7 Binary Representations of Algebras 103 Proposition 4.3 (Binary Cayley theorem for idempotent semigroups). The semigroup Γ is idempotent iff it has a faithful binary representation satisfying the hyperidentities (14), (15), (3) and X(X(y, z),x)=x(x(y, x),x(z,x)), (16) X(X(x, y),x(x, y)) = X(x, y). (17) Proof. Indeed, if Γ(+) has a faithful binary representation satisfying the mentioned hyperidentities, according to (3), (16) and (17) we have (α + α)(x, y) =α(x, α(x, y)) = α(α(x, x),y)=α(α(x, y),α(x, y)) = α(x, y). So Γ is an idempotent semigroup. Proposition 4.4 (Binary Cayley theorem for commutative semigroups). The semigroup Γ is commutative iff it has a faithful binary representation satisfying the hyperidentities (6) and (12). Proof. Indeed, (α + β)(x, y) =α(x, β(x, y)) = β(α(x, x),α(x, y)) = α(β(x, x),β(x, y)) = β(x, α(x, y)) = (β + α)(x, y). Corollary 4.2 (Binary Cayley theorem for semilattices). The semigroup Γ is a semilattice iff it has a faithful binary representation satisfying the hyperidentities (3), (6), (12) and (17) (weak idempotency). 5. Binary Representations of Distributive Lattices, DeMorgan and Boolean Algebras The following result shows that a distributive lattice can be defined by the hyperidentities of its binary representation. Theorem 1 (Binary Cayley theorem for distributive lattices). The algebra Γ(+, ) with two binary operations is a distributive lattice iff it has a faithful binary representation satisfying the hyperidentities (1), (3), (6) and (13). (Compare with Theorem C ). Proof. Without loss of generality we can prove the assertion for bounded distributive lattice. Suppose Γ(+,, 0, 1) is a bounded distributive lattice. Letting Q =Γ and γ(x, y) =γx + y we get a faithful binary representation of Γ(+,, 0, 1) in the set Q satisfying the hyperidentities (1), (3), (6) and (13). Conversely, let us verify the axioms of distributive lattices under the given conditions.
8 104 Yu.M.Movsisyan Idempotency of operations: By setting x = y in the hyperidentity (3) and considering (1), we get α(x, α(x, z)) = α(x, z). (18) Hence, (α+α)(x, y) =α(x, α(x, y)) = α(x, y). Similarly, α(α(x, z),z)=α(x, z) and (α α)(x, y) =α(α(x, y),y)=α(x, y). Commutativity of operations: By setting x = y in the hyperidentity (6) and considering (1), we get and α(x, β(x, z)) = β(α(x, x),α(x, z)) = β(x, α(x, z)) (α + β)(x, y) =α(x, β(x, y)) = β(x, α(x, y)) = (β + α)(x, y). Similarly, the commutativity of product is obtained from the hyperidentity (13). Associativity of operations: This follows from Lemma 3.2. Absorbtion laws: Using (6), (18), (1) and the commutativity of product, we have (α + αβ)(x, y) =α(x, αβ(x, y)) = α(x, α(β(x, y),y)) = α(x, β(α(x, y),y)) = β(α(x, α(x, y)),α(x, y)) = β(α(x, y),α(x, y)) = α(x, y). The second absorbtion law is shows similarly. Distributivity: By definition of sum and product, we have α(β + γ)(x, y) =α((β + γ)(x, y),y)=α(β(x, γ(x, y)),y). Using the commutativity of product, the absorbtion law α + αβ = α, and the hyperidentity (13), we get (αβ + αγ)(x, y) =αβ(x, αγ(x, y)) = βα(x, αγ(x, y)) = β(α(x, αγ(x, y)),αγ(x, y)) = β((α + αγ)(x, y),αγ(x, y)) = β(α(x, y),αγ(x, y)) = β(α(x, y),α(γ(x, y),y)) = α(β(x, γ(x, y)),y). Corollary 5.1 (Binary Cayley theorem for distributive lattices). The algebra Γ(+, ) with two binary operations is a distributive lattice iff it has a faithful binary representation satisfying the hyperidentities (1), (3) and (12). Corollary 5.2 (Binary Cayley theorem for DeMorgan algebras). The algebra Γ(+,,, 0, 1) with two binary, one unary and two nullary operations is a DeMorgan algebra iff it has a faithful binary representation satisfying the hyperidentities (1), (3) and (6).
9 Binary Representations of Algebras 105 Proof. If Γ(+,,, 0, 1) is a DeMorgan algebra, then by letting Q =Γandγ(x, y) = γx + γ y + xy, we obtain the desired faithful binary representation. The converse follows from Theorem 1, since the hyperidentity (13) implies from the hyperidentity (6), for X = α, Y = β. Corollary 5.3 (Dual version). The algebra Γ(+,,, 0, 1) with two binary, one unary and two nullary operations is a DeMorgan algebra iff it has a faithful binary representation satisfying the hyperidentities (1), (3) and (13). The following corollary is equivalent to a result of [3] in the sense that both characterize Boolean algebras by binary functions. Probably, other binary representations of Boolean algebras and distributive lattices are also possible (as in the case of ordinary Cayley theorem), but the formulation of following corollary has the advantage that in it a representation of Boolean algebras rises from the corresponding representation of DeMorgan algebras, and a representation of DeMorgan algebras rises from the corresponding representation of distributive lattices. Corollary 5.4 (Binary Cayley theorem for Boolean algebras). The algebra Γ(+,,, 0, 1) with two binary, one unary and two nullary operations is a Boolean algebra iff it has a faithful binary representation satisfying the hyperidentities (1), (3), (6) and X(x, X(y, x)) = x. Corollary 5.5 (Dual version). The algebra Γ(+,,, 0, 1) with two binary, one unary and two nullary operations is a Boolean algebra iff it has a faithful binary representation satisfying the hyperidentities (1), (3), (13) and X(X(y, x),y)=y. Similar results hold for distributive q-lattices introduced in [13]. Open problems: (1) Characterize (modular) q-lattices by binary representations. (2) Obtain necessary and sufficient conditions for characterization of multiplicative semigroups of associative (associative-commutative) rings by binary representations. (3) Characterize the hyperidentities of variety of (associative) rings. For example, the following hyperidentity is satisfied in every ring: X(X(Y (x, x),y(x, x)),y(x(x, x),x(x, x))) = X(Y (X(x, x),x(x, x)),x(y (x, x),y(x, x))). Historical notes: Addition and multiplication on the set FQ 2 was considered in [14, 15] in relation with orthogonality of Latin squares. Hyperidentities of associativity and distributivity was first considered in binary algebras with quasigroup operations in [15,16]. The general concept of hyperidentity in algebras is studied in monographs [17, 18]. Let J (A) be the term (or polynomial) algebra of the algebra A. Wecallthe hyperidentities of algebra J (A) term hyperidentities of A. Term hyperidentities were first considered in [19, 20], and studied in monographs [21, 22].
10 106 Yu.M.Movsisyan Many related papers can be found in these references. References [1] Yu. M. Movsisyan, The multiplicative group of a field and hyperidentities, Izv. Akad. Nauk SSSR Ser. Mat. 53 (1989) [English transl. in Math. USSR Izvestiya 35 (1990) ]. [2] Yu. M. Movsisyan, Hyperidentities in algebras and varieties, Uspekhi Mat. Nauk 53(1) (1998) [English transl. in Russian Math. Surv. 53(1) (1998) ]. [3] S. L. Bloom, Z. Esik and E. G. Manes, A Cayley theorem for Boolean algebras, Amer. Math. Manthly 97 (1990) [4] G. Bergman, Actions of boolean rings on sets, University of California, Berkely, CA, 94720, preprint. [5] I. Chajda, A representation of the algebra of quasiordered logic by binary functions, Demonstratio Math. XXVII (1994) [6] J. A. Brzozowski, A characterization of de Morgan algebras, Int. J. Algebra Comput. 11(5) (2001) [7] Z. Esik, A Cayley theorem for ternary algebras, Int. J. Algebra Comput. 8(3) (1998) [8] Yu. M. Movsisyan, Hyperidentites of Boolean algebras, Izv. Ross. Akad. Nauk, Ser. Mat. 56 (1992) [English transl. in Russian Acad. Sci. Izv. Math. 40(3) (1993) ]. [9] Yu. M. Movsisyan, Algebras with hyperidentites of the variety of Boolean algebras, Izv. Ross. Akad. Nauk, Ser. Mat. 60 (1996) [English transl. in Russian Acad. Sci. Izv. Math. 60 (1996) ]. [10] L. A. Skornjakov, Convexors, Studia Sci. Math. Hungar. 16 (1981) [11] L. A. Skornjakov, Stochastic acts and conmodules, Semigroup Forum 25 (1982) [12] A. Romanowska and J. D. H. Smith, Modes (World Scientific, 2002). [13] I. Chajda and M. Kotrle, Subdirectly irreducible and congruence q-lattices, Czech. Math. J. 43 (1993) [14] S. K. Stein, On the foundation of quasigroups, Trans. Amer. Math. Soc. 85 (1957) [15] V. D. Belousov, Systems of quasigroups with generalized identities, Uspekhi Mat. Nauk. 20 (1965) (1967); [English transl. in Russian Mathematical Surveys 20 (1965) ]. [16] J. Aczel, Proof of a theorem on distributive type hyperidentities, Algebra Univers. 3 (1971) 1 6. [17] Yu. M. Movsisyan, Introduction to the Theory of Algebras with Hyperidentities (Yerevan State University Press, Yerevan, 1986) (in Russian). [18] Yu. M. Movsisyan, Hyperidentities and Hypervarieties in Algebras (Yerevan State University Press, Yerevan, 1990) (in Russian). [19] W. Taylor, Hyperidentities and hypervarieties, Aequationes Math. 23 (1981) [20] G. Bergman, Hyperidentities of groups and semigroups, Aequationes Math. 23 (1981) [21] K. Denecke and Sh. L. Wismath, Hyperidentities and Clones (Gordon and Breach Science Publishers, 2000). [22] J. Koppitz and K. Denecke, M-Solid Varieties of Algebras (Springer, 2006).
SUPERPRODUCTS, HYPERIDENTITIES, AND ALGEBRAIC STRUCTURES OF LOGIC PROGRAMMING
SUPERPRODUCTS, HYPERIDENTITIES, AND ALGEBRAIC STRUCTURES OF LOGIC PROGRAMMING YU.M.MOVSISYAN 1, A.B.ROMANOWSKA 2, AND J.D.H.SMITH 3 Abstract. Recent developments in logic programming are based on bilattices
More informationComputation of De Morgan and Quasi-De Morgan Functions
Computation of De Morgan and Quasi-De Morgan Functions Yu.M. Movsisyan Yerevan State University Yerevan, Armenia e-mail: yurimovsisyan@yahoo.com V.A. Aslanyan Yerevan State University Yerevan, Armenia
More informationAlgebraic closure of some generalized convex sets
Algebraic closure of some generalized convex sets Anna B. ROMANOWSKA* Warsaw University of Technology, Poland Gábor CZÉDLI University of Szeged, Hungary 1 AFFINE SPACES AND CONVEX SETS 1. Real affine spaces
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 informationMV-algebras and fuzzy topologies: Stone duality extended
MV-algebras and fuzzy topologies: Stone duality extended Dipartimento di Matematica Università di Salerno, Italy Algebra and Coalgebra meet Proof Theory Universität Bern April 27 29, 2011 Outline 1 MV-algebras
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 informationMV -ALGEBRAS ARE CATEGORICALLY EQUIVALENT TO A CLASS OF DRl 1(i) -SEMIGROUPS. (Received August 27, 1997)
123 (1998) MATHEMATICA BOHEMICA No. 4, 437 441 MV -ALGEBRAS ARE CATEGORICALLY EQUIVALENT TO A CLASS OF DRl 1(i) -SEMIGROUPS Jiří Rachůnek, Olomouc (Received August 27, 1997) Abstract. In the paper it is
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 informationMATH 433 Applied Algebra Lecture 22: Semigroups. Rings.
MATH 433 Applied Algebra Lecture 22: Semigroups. Rings. Groups Definition. A group is a set G, together with a binary operation, that satisfies the following axioms: (G1: closure) for all elements g and
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 informationLeft almost semigroups dened by a free algebra. 1. Introduction
Quasigroups and Related Systems 16 (2008), 69 76 Left almost semigroups dened by a free algebra Qaiser Mushtaq and Muhammad Inam Abstract We have constructed LA-semigroups through a free algebra, and the
More informationBENIAMINOV ALGEBRAS REVISED: ONE MORE ALGEBRAIC VERSION OF FIRST-ORDER LOGIC
Jānis Cīrulis BENIAMINOV ALGEBRAS REVISED: ONE MORE ALGEBRAIC VERSION OF FIRST-ORDER LOGIC 1. Introduction E.M. Benjaminov introduced in [1] a class of algebras called by him relational algebras. The term
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 informationOn the lattice of congruences on a fruitful semigroup
On the lattice of congruences on a fruitful semigroup Department of Mathematics University of Bielsko-Biala POLAND email: rgigon@ath.bielsko.pl or romekgigon@tlen.pl The 54th Summer School on General Algebra
More informationIMPLICATION ALGEBRAS
Discussiones Mathematicae General Algebra and Applications 26 (2006 ) 141 153 IMPLICATION ALGEBRAS Ivan Chajda Department of Algebra and Geometry Palacký University of Olomouc Tomkova 40, 779 00 Olomouc,
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 informationBoolean Algebra and Propositional Logic
Boolean Algebra and Propositional Logic Takahiro Kato September 10, 2015 ABSTRACT. This article provides yet another characterization of Boolean algebras and, using this characterization, establishes a
More informationBoolean Semilattices
Boolean Semilattices Clifford Bergman Iowa State University June 2015 Motivating Construction Let G = G, be a groupoid (i.e., 1 binary operation) Form the complex algebra G + = Sb(G),,,,,, G X Y = { x
More informationREFLEXIVITY OF THE SPACE OF MODULE HOMOMORPHISMS
REFLEXIVITY OF THE SPACE OF MODULE HOMOMORPHISMS JANKO BRAČIČ Abstract. Let B be a unital Banach algebra and X, Y be left Banach B-modules. We give a sufficient condition for reflexivity of the space of
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 informationAveraging Operators on the Unit Interval
Averaging Operators on the Unit Interval Mai Gehrke Carol Walker Elbert Walker New Mexico State University Las Cruces, New Mexico Abstract In working with negations and t-norms, it is not uncommon to call
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 informationPolynomials as Generators of Minimal Clones
Polynomials as Generators of Minimal Clones Hajime Machida Michael Pinser Abstract A minimal clone is an atom of the lattice of clones. A minimal function is a function which generates a minimal clone.
More informationNOTES ON CONGRUENCE n-permutability AND SEMIDISTRIBUTIVITY
NOTES ON CONGRUENCE n-permutability AND SEMIDISTRIBUTIVITY RALPH FREESE Abstract. In [1] T. Dent, K. Kearnes and Á. Szendrei define the derivative, Σ, of a set of equations Σ and show, for idempotent Σ,
More informationEmbedding theorems for normal divisible residuated lattices
Embedding theorems for normal divisible residuated lattices Chapman University Department of Mathematics and Computer Science Orange, California University of Siena Department of Mathematics and Computer
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 informationSubdirectly Irreducible Modes
Subdirectly Irreducible Modes Keith A. Kearnes Abstract We prove that subdirectly irreducible modes come in three very different types. From the description of the three types we derive the results that
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 informationPrimitive Ideals of Semigroup Graded Rings
Sacred Heart University DigitalCommons@SHU Mathematics Faculty Publications Mathematics Department 2004 Primitive Ideals of Semigroup Graded Rings Hema Gopalakrishnan Sacred Heart University, gopalakrishnanh@sacredheart.edu
More informationImplicational classes ofde Morgan Boolean algebras
Discrete Mathematics 232 (2001) 59 66 www.elsevier.com/locate/disc Implicational classes ofde Morgan Boolean algebras Alexej P. Pynko Department of Digital Automata Theory, V.M. Glushkov Institute of Cybernetics,
More informationAn Overview of Residuated Kleene Algebras and Lattices Peter Jipsen Chapman University, California. 2. Background: Semirings and Kleene algebras
An Overview of Residuated Kleene Algebras and Lattices Peter Jipsen Chapman University, California 1. Residuated Lattices with iteration 2. Background: Semirings and Kleene algebras 3. A Gentzen system
More informationCross Connection of Boolean Lattice
International Journal of Algebra, Vol. 11, 2017, no. 4, 171-179 HIKARI Ltd, www.m-hikari.com https://doi.org/10.12988/ija.2017.7419 Cross Connection of Boolean Lattice P. G. Romeo P. R. Sreejamol Dept.
More informationRINGS IN POST ALGEBRAS. 1. Introduction
Acta Math. Univ. Comenianae Vol. LXXVI, 2(2007), pp. 263 272 263 RINGS IN POST ALGEBRAS S. RUDEANU Abstract. Serfati [7] defined a ring structure on every Post algebra. In this paper we determine all the
More informationTHE ENDOMORPHISM SEMIRING OF A SEMILATTICE
THE ENDOMORPHISM SEMIRING OF A SEMILATTICE J. JEŽEK, T. KEPKA AND M. MARÓTI Abstract. We prove that the endomorphism semiring of a nontrivial semilattice is always subdirectly irreducible and describe
More informationSkew Boolean algebras
Skew Boolean algebras Ganna Kudryavtseva University of Ljubljana Faculty of Civil and Geodetic Engineering IMFM, Ljubljana IJS, Ljubljana New directions in inverse semigroups Ottawa, June 2016 Plan of
More informationIDEMPOTENT n-permutable VARIETIES
IDEMPOTENT n-permutable VARIETIES M. VALERIOTE AND R. WILLARD Abstract. One of the important classes of varieties identified in tame congruence theory is the class of varieties which are n-permutable for
More informationREGULAR IDENTITIES IN LATTICES
TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 158, Number 1, July 1971 REGULAR IDENTITIES IN LATTICES BY R. PADMANABHANC) Abstract. An algebraic system 3i = is called a quasilattice
More informationSUBALGEBRAS AND HOMOMORPHIC IMAGES OF THE RIEGER-NISHIMURA LATTICE
SUBALGEBRAS AND HOMOMORPHIC IMAGES OF THE RIEGER-NISHIMURA LATTICE Guram Bezhanishvili and Revaz Grigolia Abstract In this note we characterize all subalgebras and homomorphic images of the free cyclic
More informationDiscrete Mathematics. CS204: Spring, Jong C. Park Computer Science Department KAIST
Discrete Mathematics CS204: Spring, 2008 Jong C. Park Computer Science Department KAIST Today s Topics Combinatorial Circuits Properties of Combinatorial Circuits Boolean Algebras Boolean Functions and
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 informationArithmetic Analogues of Derivations
JOURNAL OF ALGEBRA 198, 9099 1997 ARTICLE NO. JA977177 Arithmetic Analogues of Derivations Alexandru Buium Department of Math and Statistics, Uniersity of New Mexico, Albuquerque, New Mexico 87131 Communicated
More informationIMPLICATIVE BCS-ALGEBRA SUBREDUCTS OF SKEW BOOLEAN ALGEBRAS
Scientiae Mathematicae Japonicae Online, Vol. 8, (2003), 597 606 597 IMPLICATIVE BCS-ALGEBRA SUBREDUCTS OF SKEW BOOLEAN ALGEBRAS R. J. BIGNALL AND M. SPINKS Received April 1, 2003 Abstract. The variety
More information8. Distributive Lattices. Every dog must have his day.
8. Distributive Lattices Every dog must have his day. In this chapter and the next we will look at the two most important lattice varieties: distributive and modular lattices. Let us set the context for
More informationPrime and Irreducible Ideals in Subtraction Algebras
International Mathematical Forum, 3, 2008, no. 10, 457-462 Prime and Irreducible Ideals in Subtraction Algebras Young Bae Jun Department of Mathematics Education Gyeongsang National University, Chinju
More informationMathematica Bohemica
Mathematica Bohemica Radomír Halaš Remarks on commutative Hilbert algebras Mathematica Bohemica, Vol. 127 (2002), No. 4, 525--529 Persistent URL: http://dml.cz/dmlcz/133956 Terms of use: Institute of Mathematics
More information4 Composition of Mappings as a Binary Operation
Arkansas Tech University MATH 4033: Elementary Modern Algebra Dr. Marcel B. Finan 4 Composition of Mappings as a Binary Operation For a nonempty set S, let M(S) be the set of all mappings from S to S.
More informationSEMILATTICE CONGRUENCES VIEWED FROM QUASI-ORDERS
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 41, Number 1, November 1973 SEMILATTICE CONGRUENCES VIEWED FROM QUASI-ORDERS TAKAYUKI TAMURA Abstract. Let S be a semigroup. This paper proves that
More informationSome Remarks on Minimal Clones
ALGORITHMIC COMPLEXITY and UNIVERSAL ALGEBRA 2007. 7. 16. 7. 20. Szeged, Hungary Some Remarks on Minimal Clones Hajime MACHIDA (Tokyo) Joint Work with Michael PINSKER (Wien) ALGORITHMIC COMPLEXITY and
More informationBoolean Algebra and Propositional Logic
Boolean Algebra and Propositional Logic Takahiro Kato June 23, 2015 This article provides yet another characterization of Boolean algebras and, using this characterization, establishes a more direct connection
More informationFUZZY BCK-FILTERS INDUCED BY FUZZY SETS
Scientiae Mathematicae Japonicae Online, e-2005, 99 103 99 FUZZY BCK-FILTERS INDUCED BY FUZZY SETS YOUNG BAE JUN AND SEOK ZUN SONG Received January 23, 2005 Abstract. We give the definition of fuzzy BCK-filter
More informationSelf-distributive quasigroups and quandles
Self-distributive quasigroups and quandles David Stanovský Charles University, Prague, Czech Republic Kazakh-British Technical University, Almaty, Kazakhstan stanovsk@karlin.mff.cuni.cz June 2015 David
More informationSemilattices of r-archimedean subdimonoids
BULETINUL ACADEMIEI DE ŞTIINŢE A REPUBLICII MOLDOVA. MATEMATICA Number 3(67), 2011, Pages 108 112 ISSN 1024 7696 Semilattices of r-archimedean subdimonoids Anatolii V. Zhuchok Abstract. We characterize
More informationAlgebras inspired by the equivalential calculus
Algebras inspired by the equivalential calculus Wies law A. DUDEK July 8, 1998 Abstract The equivalential calculus was introduced by Leśniewski in his paper on the protothetic [8]. Such logical system
More informationInternational Journal of Algebra, Vol. 7, 2013, no. 3, HIKARI Ltd, On KUS-Algebras. and Areej T.
International Journal of Algebra, Vol. 7, 2013, no. 3, 131-144 HIKARI Ltd, www.m-hikari.com On KUS-Algebras Samy M. Mostafa a, Mokhtar A. Abdel Naby a, Fayza Abdel Halim b and Areej T. Hameed b a Department
More informationCorrect classes of modules
Algebra and Discrete Mathematics Number?. (????). pp. 1 13 c Journal Algebra and Discrete Mathematics RESEARCH ARTICLE Correct classes of modules Robert Wisbauer Abstract. For a ring R, call a class C
More informationNormal Automorphisms of Free Burnside Groups of Period 3
Armenian Journal of Mathematics Volume 9, Number, 017, 60 67 Normal Automorphisms of Free Burnside Groups of Period 3 V. S. Atabekyan, H. T. Aslanyan and A. E. Grigoryan Abstract. If any normal subgroup
More informationDuality and Automata Theory
Duality and Automata Theory Mai Gehrke Université Paris VII and CNRS Joint work with Serge Grigorieff and Jean-Éric Pin Elements of automata theory A finite automaton a 1 2 b b a 3 a, b The states are
More informationUnions of Dominant Chains of Pairwise Disjoint, Completely Isolated Subsemigroups
Palestine Journal of Mathematics Vol. 4 (Spec. 1) (2015), 490 495 Palestine Polytechnic University-PPU 2015 Unions of Dominant Chains of Pairwise Disjoint, Completely Isolated Subsemigroups Karen A. Linton
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 informationarxiv: v1 [math.ra] 25 May 2013
Quasigroups and Related Systems 20 (2012), 203 209 Congruences on completely inverse AG -groupoids Wieslaw A. Dudek and Roman S. Gigoń arxiv:1305.6858v1 [math.ra] 25 May 2013 Abstract. By a completely
More informationCATEGORY THEORY. Cats have been around for 70 years. Eilenberg + Mac Lane =. Cats are about building bridges between different parts of maths.
CATEGORY THEORY PROFESSOR PETER JOHNSTONE Cats have been around for 70 years. Eilenberg + Mac Lane =. Cats are about building bridges between different parts of maths. Definition 1.1. A category C consists
More informationShifting Lemma and shifting lattice identities
Shifting Lemma and shifting lattice identities Ivan Chajda, Gábor Czédli, and Eszter K. Horváth Dedicated to the memory of György Pollák (1929 2001) Abstract. Gumm [6] used the Shifting Lemma with high
More informationRESIDUATION SUBREDUCTS OF POCRIGS
Bulletin of the Section of Logic Volume 39:1/2 (2010), pp. 11 16 Jānis Cīrulis RESIDUATION SUBREDUCTS OF POCRIGS Abstract A pocrig (A,,, 1) is a partially ordered commutative residuated integral groupoid.
More informationJOIN-COMPLETIONS OF ORDERED ALGEBRAS
JOIN-COMPLETIONS OF ORDERED ALGEBRAS JOSÉ GIL-FÉREZ, LUCA SPADA, CONSTANTINE TSINAKIS, AND HONGJUN ZHOU Abstract. We present a systematic study of join-extensions and joincompletions of ordered algebras,
More informationResearch Statement. MUHAMMAD INAM 1 of 5
MUHAMMAD INAM 1 of 5 Research Statement Preliminaries My primary research interests are in geometric inverse semigroup theory and its connections with other fields of mathematics. A semigroup M is called
More informationQuasigroups and Related Systems 9 (2002), Galina B. Belyavskaya. Abstract
Quasigroups and Related Systems 9 (2002), 1 17 Quasigroup power sets and cyclic Ssystems Galina B. Belyavskaya Abstract We give new constructions of power sets of quasigroups (latin squares) based on pairwise
More informationPROBLEMS, MATH 214A. Affine and quasi-affine varieties
PROBLEMS, MATH 214A k is an algebraically closed field Basic notions Affine and quasi-affine varieties 1. Let X A 2 be defined by x 2 + y 2 = 1 and x = 1. Find the ideal I(X). 2. Prove that the subset
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 informationSOFT IDEALS IN ORDERED SEMIGROUPS
REVISTA DE LA UNIÓN MATEMÁTICA ARGENTINA Vol. 58, No. 1, 2017, Pages 85 94 Published online: November 11, 2016 SOFT IDEALS IN ORDERED SEMIGROUPS E. H. HAMOUDA Abstract. The notions of soft left and soft
More informationNIL, NILPOTENT AND PI-ALGEBRAS
FUNCTIONAL ANALYSIS AND OPERATOR THEORY BANACH CENTER PUBLICATIONS, VOLUME 30 INSTITUTE OF MATHEMATICS POLISH ACADEMY OF SCIENCES WARSZAWA 1994 NIL, NILPOTENT AND PI-ALGEBRAS VLADIMÍR MÜLLER Institute
More informationERRATA: MODES, ROMANOWSKA & SMITH
ERRATA: MODES, ROMANOWSKA & SMITH Line 38 + 4: There is a function f : X Ω P(X) with xf = {x} for x in X and ωf = for ω in Ω. By the universality property (1.4.1) for (X Ω), the mapping f can be uniquely
More informationThe maximal atlas of a foliation. 1 Maximal atlas, isonomy, and holonomy
The maximal atlas of a foliation Talk at 62. PSSL, Utrecht Oct. 1996 Anders Kock We shall describe such maximal atlas and provide it with an algebraic structure that brings along the holonomy groupoid
More informationVARIETIES OF ABELIAN TOPOLOGICAL GROUPS AND SCATTERED SPACES
Bull. Austral. Math. Soc. 78 (2008), 487 495 doi:10.1017/s0004972708000877 VARIETIES OF ABELIAN TOPOLOGICAL GROUPS AND SCATTERED SPACES CAROLYN E. MCPHAIL and SIDNEY A. MORRIS (Received 3 March 2008) Abstract
More informationExtending Algebraic Operations to D-Completions
Replace this file with prentcsmacro.sty for your meeting, or with entcsmacro.sty for your meeting. Both can be found at the ENTCS Macro Home Page. Extending Algebraic Operations to D-Completions Klaus
More informationSubdirectly irreducible commutative idempotent semirings
Subdirectly irreducible commutative idempotent semirings Ivan Chajda Helmut Länger Palacký University Olomouc, Olomouc, Czech Republic, email: ivan.chajda@upol.cz Vienna University of Technology, Vienna,
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 informationDOI: /auom An. Şt. Univ. Ovidius Constanţa Vol. 25(1),2017, ON BI-ALGEBRAS
DOI: 10.1515/auom-2017-0014 An. Şt. Univ. Ovidius Constanţa Vol. 25(1),2017, 177 194 ON BI-ALGEBRAS Arsham Borumand Saeid, Hee Sik Kim and Akbar Rezaei Abstract In this paper, we introduce a new algebra,
More informationPermutation Groups and Transformation Semigroups Lecture 2: Semigroups
Permutation Groups and Transformation Semigroups Lecture 2: Semigroups Peter J. Cameron Permutation Groups summer school, Marienheide 18 22 September 2017 I am assuming that you know what a group is, but
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 informationWreath products of semigroup varieties
Wreath products of semigroup varieties A.V.Mikhalev, A.V. Tishchenko 9 îêòÿáðÿ 2017 ã. Let X be a countable alphabet. A semigroup identity is u v, (1) where u and v are any words in the alphabet X. A semigroup
More informationA GUIDE FOR MORTALS TO TAME CONGRUENCE THEORY
A GUIDE FOR MORTALS TO TAME CONGRUENCE THEORY Tame congruence theory is not an easy subject and it takes a considerable amount of effort to understand it. When I started this project, I believed that this
More informationCongruence Boolean Lifting Property
Congruence Boolean Lifting Property George GEORGESCU and Claudia MUREŞAN University of Bucharest Faculty of Mathematics and Computer Science Academiei 14, RO 010014, Bucharest, Romania Emails: georgescu.capreni@yahoo.com;
More informationWhat s category theory, anyway? Dedicated to the memory of Dietmar Schumacher ( )
What s category theory, anyway? Dedicated to the memory of Dietmar Schumacher (1935-2014) Robert Paré November 7, 2014 Many subjects How many subjects are there in mathematics? Many subjects How many subjects
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 informationOn Regularity of Incline Matrices
International Journal of Algebra, Vol. 5, 2011, no. 19, 909-924 On Regularity of Incline Matrices A. R. Meenakshi and P. Shakila Banu Department of Mathematics Karpagam University Coimbatore-641 021, India
More informationTriregular Leftmost without Loop and Reverse Arc Graph Varieties of Graph Algebra of Type (2,0)
International Mathematical Forum, 5, 2010, no. 12, 557-571 Triregular Leftmost without Loop and Reverse Arc Graph Varieties of Graph Algebra of Type (2,0) Montri Thongmoon and Tiang Poomsa-ard Department
More information370 Y. B. Jun generate an LI-ideal by both an LI-ideal and an element. We dene a prime LI-ideal, and give an equivalent condition for a proper LI-idea
J. Korean Math. Soc. 36 (1999), No. 2, pp. 369{380 ON LI-IDEALS AND PRIME LI-IDEALS OF LATTICE IMPLICATION ALGEBRAS Young Bae Jun Abstract. As a continuation of the paper [3], in this paper we investigate
More informationDistributive Lattices with Quantifier: Topological Representation
Chapter 8 Distributive Lattices with Quantifier: Topological Representation Nick Bezhanishvili Department of Foundations of Mathematics, Tbilisi State University E-mail: nickbezhanishvilli@netscape.net
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 informationGiven a lattice L we will note the set of atoms of L by At (L), and with CoAt (L) the set of co-atoms of L.
ACTAS DEL VIII CONGRESO DR. ANTONIO A. R. MONTEIRO (2005), Páginas 25 32 SOME REMARKS ON OCKHAM CONGRUENCES LEONARDO CABRER AND SERGIO CELANI ABSTRACT. In this work we shall describe the lattice of congruences
More informationZ n -GRADED POLYNOMIAL IDENTITIES OF THE FULL MATRIX ALGEBRA OF ORDER n
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 127, Number 12, Pages 3517 3524 S 0002-9939(99)04986-2 Article electronically published on May 13, 1999 Z n -GRADED POLYNOMIAL IDENTITIES OF THE
More informationON HOW TO CONSTRUCT LEFT SEMIMODULES FROM THE RIGHT ONES
italian journal of pure and applied mathematics n. 32 2014 (561 578) 561 ON HOW TO CONSTRUCT LEFT SEMIMODULES FROM THE RIGHT ONES Barbora Batíková Department of Mathematics CULS Kamýcká 129, 165 21 Praha
More informationON THE SUBGROUPS OF TORSION-FREE GROUPS WHICH ARE SUBRINGS IN EVERY RING
italian journal of pure and applied mathematics n. 31 2013 (63 76) 63 ON THE SUBGROUPS OF TORSION-FREE GROUPS WHICH ARE SUBRINGS IN EVERY RING A.M. Aghdam Department Of Mathematics University of Tabriz
More informationPartial Transformations: Semigroups, Categories and Equations. Ernie Manes, UMass, Amherst Semigroups/Categories workshop U Ottawa, May 2010
1 Partial Transformations: Semigroups, Categories and Equations Ernie Manes, UMass, Amherst Semigroups/Categories workshop U Ottawa, May 2010 2 What is a zero? 0 S, 0x =0=x0 0 XY : X Y, W f X 0 XY Y g
More informationDuality in Logic. Duality in Logic. Lecture 2. Mai Gehrke. Université Paris 7 and CNRS. {ε} A ((ab) (ba) ) (ab) + (ba) +
Lecture 2 Mai Gehrke Université Paris 7 and CNRS A {ε} A ((ab) (ba) ) (ab) + (ba) + Further examples - revisited 1. Completeness of modal logic with respect to Kripke semantics was obtained via duality
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 informationDUAL BCK-ALGEBRA AND MV-ALGEBRA. Kyung Ho Kim and Yong Ho Yon. Received March 23, 2007
Scientiae Mathematicae Japonicae Online, e-2007, 393 399 393 DUAL BCK-ALGEBRA AND MV-ALGEBRA Kyung Ho Kim and Yong Ho Yon Received March 23, 2007 Abstract. The aim of this paper is to study the properties
More informationON FUZZY IDEALS OF PSEUDO MV -ALGEBRAS
Discussiones Mathematicae General Algebra and Applications 28 (2008 ) 63 75 ON FUZZY IDEALS OF PSEUDO MV -ALGEBRAS Grzegorz Dymek Institute of Mathematics and Physics University of Podlasie 3 Maja 54,
More informationFinite pseudocomplemented lattices: The spectra and the Glivenko congruence
Finite pseudocomplemented lattices: The spectra and the Glivenko congruence T. Katriňák and J. Guričan Abstract. Recently, Grätzer, Gunderson and Quackenbush have characterized the spectra of finite pseudocomplemented
More informationGENERALIZED DIFFERENCE POSETS AND ORTHOALGEBRAS. 0. Introduction
Acta Math. Univ. Comenianae Vol. LXV, 2(1996), pp. 247 279 247 GENERALIZED DIFFERENCE POSETS AND ORTHOALGEBRAS J. HEDLÍKOVÁ and S. PULMANNOVÁ Abstract. A difference on a poset (P, ) is a partial binary
More information