Varieties generated by modes of submodes

In a natural way, we can ??lift?? any operation defined on a set A to an operation on the set of all non-empty subsets of A and obtain from any algebra ( ${A, \Omega}$ ) its power algebra of subsets. G. Gr?tzer and H. Lakser proved that for a variety ${\mathcal{V}}$ , the variety ${\mathcal{V}\Sigma}$ generated by power algebras of algebras in ${\mathcal{V}}$ satisfies precisely the consequences of the linear identities true in ${\mathcal{V}}$ . For certain types of algebras, the sets of their subalgebras form subalgebras of their power algebras. They are called the algebras of subalgebras. In this paper, we partially solve a long-standing problem concerning identities satisfied by the variety ${\mathcal{VS}}$ generated by algebras of subalgebras of algebras in a given variety ${\mathcal{V}}$ . We prove that if a variety ${\mathcal{V}}$ is idempotent and entropic and the variety ${\mathcal{V}\Sigma}$ is locally finite, then the variety ${\mathcal{VS}}$ is defined by the idempotent and linear identities true in ${\mathcal{V}}$ .     

Semilattice modes I: the associated semiring

We examine idempotent, entropic algebras (modes) which have a semilattice term. We are able to show that any variety of semilattice modes has the congruence extension property and is residually small. We refine the proof of residual smallness by showing that any variety of semilattice modes of finite type is residually countable. To each variety of semilattice modes we associate a commutative semiring satisfying 1 +r=1 whose structure determines many of the properties of the variety. This semiring is used to describe subdirectly irreducible members, clones, subvariety lattices, and free spectra of varieties of semilattice modes.Presented by J. Berman.Part of this paper was written while the author was supported by a fellowship from the Alexander von Humboldt Stiftung.     

Idempotent semirings with a commutative additive reduct

For every semigroup S , we define a congruence relation ρ on the power semiring (P(S),\cup,\circ) of S . If S is a band, then P(S)/ρ is an idempotent semiring . This enables us to find models for the free objects in the variety of idempotent semiring s whose additive reduct is a semilattice. December 28, 1999     

Certain congruences on E-inversive E-semigroups

A semigroup S is called E-inversive if for every a ∈ S there exists x ∈ S such that ax is idempotent. S is called E-semigroup if the set of idempotents of S forms a subsemigroup. In this paper some special congruences on E-inversive E-semigroups are investigated, such as the least group congruence, a certain semilattice congruence, some regular congruences and a certain idempotent-separating congruence.     

Graded automorphism group of TKK algebra

The classification of extended affine Lie algebras of type A_1 depends on the Tits-Kantor- Koecher (TKK) algebras constructed from semilattices of Euclidean spaces.One can define a unitary Jordan algebra J(S) from a semilattice S of R~v (v≥1),and then construct an extended affine Lie algebra of type A_1 from the TKK algebra T(J(S)) which is obtained from the Jordan algebra J(S) by the so-called Tits-Kantor-Koecher construction.In R~2 there are only two non-similar semilattices S and S′,where S is a lattice and S′is a non-lattice semilattice.In this paper we study the Z~2-graded automorphisms of the TKK algebra T(J(S)).     

Even Set Systems

In phylogenetic combinatorics, the analysis of split systems is a fundamental issue. Here, we observe that there is a canonical one-to-one correspondence between split systems on the one, and “even” set systems on the other hand, i.e., given any finite set X, we show that there is a canonical one-to-one correspondence between the set P (S (X ) ){\mathcal P (\mathcal S (X ) )} consisting of all subsets S{\mathcal S} of the set S (X){\mathcal S (X)} of all splits of the set X (that is, all 2-subsets {A, B}{\{A, B\}} of the power set P (X){\mathcal P (X)} of X for which A ⋃ B = X and A ⋂ B = 0̸ hold) and the set P ^even (P (X)){\mathcal P ^{even} (\mathcal P (X))} consisting of all subsets E of the power set P (X){\mathcal P (X)} of X for which, for each subset Y of X, the number of proper subsets of Y contained in E is even.     

On finite <Emphasis Type="Italic">X</Emphasis>-semilattices of unions

Using a characteristic family of sets, a characteristic mapping, and basis sources of an X-semilattice of unions D, we characterize the class Σ(X, m) consisting of all finite X-semilattices of unions that are isomorphic to a semilattice D given in advance. For a finite set X, the number of elements in the considered class is found. Commutative semigroups of idempotents are known to play a significant role in semigroup theory (see [25, 26]). Moreover, any commutative idempotent semigroup is isomorphic to some X-semilattice of unions (see [26]), whereas X-semilattices play an especially important role in studying many abstract properties of complete semigroups of binary relations (see [1–4, 7–24]). __________ Translated from Sovremennaya Matematika i Ee Prilozheniya (Contemporary Mathematics and Its Applications), Vol. 27, Algebra and Geometry, 2005.     

Diads and their Application to Topoi

It is well known that the category of coalgebras for a finite-limit preserving comonad on a topos is again a topos, and the category of algebras for a finite-limit preserving monad is a topos if the monad is idempotent, but not in general. A generalisation of this result (Paré et al., Bull Aus Math Soc 39(3):421–431, 1989) is that the full subcategory of fixed points for any idempotent finite-limit preserving endofunctor is again a topos (and indeed a subquotient in the category of topoi and geometric morphisms). Here, we present a common generalisation of all the above results, based on a notion which we call a diad, which is a common generalisation of a monad and a comonad. Many of the constructions that can be applied to monads and comonads can be extended to all diads. In particular, the category of algebras or coalgebras can be generalised to a category of dialgebras for a diad. The generalisation we present here is that the category of dialgebras for a finite-limit preserving left diad (for example, the diad corresponding to a comonad, or any idempotent endofunctor) on a topos is again a topos.     

Matrix Characterization of 4-Ary Algebraic Operations of Idempotent Algebras

Let (U; F) be an idempotent algebra. There is an r-ary essentially algebraic operation in F where there is not any (r + 3)-ary algebraic operation depending on at least r + 1 variables. In this paper, we prove that the set of all 4-ary algebraic operations of this algebras forms a finite De Morgan algebra, and then we characterize this De Morgan algebra.     

Endoprimal algebras

An algebra A is endoprimal if, for all the only maps from A ^k to A which preserve the endomorphisms of A are its term functions. One method for finding finite endoprimal algebras is via the theory of natural dualities since an endodualisable algebra is necessarily endoprimal. General results on endoprimality and endodualisability are proved and then applied to the varieties of sets, vector spaces, distributive lattices, Boolean algebras, Stone algebras, Heyting algebras, semilattices and abelian groups. In many classes the finite endoprimal algebras turn out to be endodualisable. We show that this fails in general by proving that , regarded as either a bounded semilattice or upper-bounded semilattice is dualisable, endoprimal but not endodualisable. Received May 16, 1997; accepted in final form November 6, 1997.     

Invariance of dimension of p-subspaces in bernstein algebras *

The purpose of this paper is to prove that some vector subspaces, called p-subspaces, obtained from the Peirce decomposition of a Bernstein algebra A relative to an idempotent have dimensions which are independent of the idempotent used to decompose A. In particular, for Bernstein-Jordan algebras, this fact is true for every such subspace and this implies that all p-subspaces of a Bernstein algebra, contained in V, for A = Ke + U + V, have invariant dimension. Finally we classify all p-subspaces of degree ≥ 3, contained in U, in a Bernstein algebra A, relative to the invariance (or not) of dimension.     

On Constantive Simple and Order-Primal Algebras

A finite algebra is said to be order-primal if its clone of all term operations is the set of all operations defined on A which preserve a given partial order ≤ on A. In this paper we study algebraic properties of order-primal algebras for connected ordered sets (A; ≤). Such order-primal algebras are constantive, simple and have no non-identical automorphisms. We show that in this case cannot have only unary fundamental operations or only one at least binary fundamental operation. We prove several properties of the varieties and the quasi-varieties generated by constantive and simple algebras and apply these properties to order-primal algebras. Further, we use the properties of order-primal algebras to formulate new primality criteria for finite algebras.* Research supported by the Hungarian research grant No. TO34137 and by the János Bolyai grant.** Research supported by the Thailand Research Fund.     

On ∗-minimal ∗-ideals and ∗-biideals in involution rings

For semiprime involution rings, we determine some ∗-minimal ∗-ideals using idempotent elements. Nevertheless, ∗-minimal ∗-biideals are characterized by idempotent elements. Moreover, the involutive version of a theorem due to Steinfeld, which investigates a semiprime involution ring A if A=SocA, is given. Finally, semiprime involution rings having no proper nonzero ∗-biideals are characterized.     

Remarks on the lattices of fuzzy subsets of a groupoid

In this paper we give a necessary and sufficient condition for a groupoid D such that the sup-min product is distributive over arbitrary intersection of fuzzy subsets of D, and correct some results from the paper [S. Ray, The lattice of all idempotent fuzzy subsets of a groupoid, Fuzzy Sets and Systems 96 (1998) 239–245]. Also, we prove that the set of all idempotent fuzzy sets forms a complete lattice, which is a complete join-sublattice of the lattice of all fuzzy subgroupoids. This result extends the corresponding result from the above mentioned paper.     

Geodesics in Graphs,an Extremal Set Problem,and Perfect Hash Families

 A set U of vertices of a graph G is called a geodetic set if the union of all the geodesics joining pairs of points of U is the whole graph G. One result in this paper is a tight lower bound on the minimum number of vertices in a geodetic set. In order to obtain that result, the following extremal set problem is solved. Find the minimum cardinality of a collection 𝒮 of subsets of [n]={1,2,…,n} such that, for any two distinct elements x,y∈[n], there exists disjoint subsets A _x ,A _y ∈𝒮 such that x∈A _x and y∈A _y . This separating set problem can be generalized, and some bounds can be obtained from known results on families of hash functions. Received: May 19, 2000 Final version received: July 5, 2001     

Cohomological Characterizations of Biprojective and Biflat Banach Algebras

 Let A be a biprojective Banach algebra, and let A-mod-A be the category of Banach A-bimodules. In this paper, for every given -mod-A, we compute all the cohomology groups . Furthermore, we give some cohomological characterizations of biprojective Banach algebras. In particular, we show that the following properties of a Banach algebra A are equivalent to its biprojectivity: (i) for all -mod -A; (ii) for all -mod-A; (iii) for all -mod-A. (Here and are, respectively, the Banach A-bimodules of left, right and double multipliers of X.) Further, if A is a biflat Banach algebra and -mod-A, we compute all the cohomology groups , where is the Banach A-bimodule dual to X. Also, we give cohomological characterizations of biflat Banach algebras. We prove that a Banach algebra A is biflat if and only if any of the following conditions is valid: (i’) for all -mod-A; (ii’) for all -mod-A; (iii’) for all -mod-A.     

Cohomological Characterizations of Biprojective and Biflat Banach Algebras

 Let A be a biprojective Banach algebra, and let A-mod-A be the category of Banach A-bimodules. In this paper, for every given -mod-A, we compute all the cohomology groups . Furthermore, we give some cohomological characterizations of biprojective Banach algebras. In particular, we show that the following properties of a Banach algebra A are equivalent to its biprojectivity: (i) for all -mod -A; (ii) for all -mod-A; (iii) for all -mod-A. (Here and are, respectively, the Banach A-bimodules of left, right and double multipliers of X.) Further, if A is a biflat Banach algebra and -mod-A, we compute all the cohomology groups , where is the Banach A-bimodule dual to X. Also, we give cohomological characterizations of biflat Banach algebras. We prove that a Banach algebra A is biflat if and only if any of the following conditions is valid: (i’) for all -mod-A; (ii’) for all -mod-A; (iii’) for all -mod-A. Received 16 June 1998     

Join-semilattices whose sections are residuated PO-monoids

We generalize the concept of an integral residuated lattice to join-semilattices with an upper bound where every principal order-filter (section) is a residuated semilattice; such a structure is called a sectionally residuated semilattice. Natural examples come from propositional logic. For instance, implication algebras (also known as Tarski algebras), which are the algebraic models of the implication fragment of the classical logic, are sectionally residuated semilattices such that every section is even a Boolean algebra. A similar situation rises in case of the Lukasiewicz multiple-valued logic where sections are bounded commutative BCK-algebras, hence MV-algebras. Likewise, every integral residuated (semi)lattice is sectionally residuated in a natural way. We show that sectionally residuated semilattices can be axiomatized as algebras (A, r, →, ⇝, 1) of type 〈3, 2, 2, 0〉 where (A, →, ⇝, 1) is a {→, ⇝, 1}-subreduct of an integral residuated lattice. We prove that every sectionally residuated lattice can be isomorphically embedded into a residuated lattice in which the ternary operation r is given by r(x, y, z) = (x · y) ∨ z. Finally, we describe mutual connections between involutive sectionally residuated semilattices and certain biresiduation algebras. This work was supported by the Czech Government via the project MSM6198959214.     

The Lattice of Subvarieties of Semilattice Ordered Algebras

This paper is devoted to the semilattice ordered \(\mathcal{V}\) -algebras of the form (A, Ω, +?), where + is a join-semilattice operation and (A, Ω) is an algebra from some given variety \(\mathcal{V}\) . We characterize the free semilattice ordered algebras using the concept of extended power algebras. Next we apply the result to describe the lattice of subvarieties of the variety of semilattice ordered \(\mathcal{V}\) -algebras in relation to the lattice of subvarieties of the variety \(\mathcal{V}\) .