The least element 0 of a finite meet semi-distributive lattice is a meet of meet-prime elements. We investigate conditions under which the least element of an algebraic, meet semi-distributive lattice is a (complete) meet of meet-prime elements. For example, this is true if the lattice has only countably many compact elements, or if |L| < 2א0 , or if L is in the variety generated by a finite me...

In this paper we prove that in prime characteristic there is a functor −p-Leib from the category of diassociative algebras to the category of restricted Leibniz algebras, generalizing the functor from associative algebras to restricted Lie algebras. Moreover we define the notion of restricted universal enveloping diassociative algebra Udp(g) of a restricted Leibniz algebra g and we show that Ud...

Let $(X,d)$ be a compactmetric space and let $K$ be a nonempty compact subset of $X$. Let $alpha in (0, 1]$ and let ${rm Lip}(X,K,d^ alpha)$ denote the Banach algebra of all  continuous complex-valued functions $f$ on$X$ for which$$p_{(K,d^alpha)}(f)=sup{frac{|f(x)-f(y)|}{d^alpha(x,y)} : x,yin K , xneq y}

The Terwilliger algebra plays an important role in the theory of association schemes. The present paper gives the explicit structures of the Terwilliger algebras of the group association schemes of the nite groups PSL(2, 7), A6, and S6.

a unital $c^*$ -- algebra $mathcal a,$ endowed withthe lie product $[x,y]=xy- yx$ on $mathcal a,$ is called a lie$c^*$ -- algebra. let $mathcal a$ be a lie $c^*$ -- algebra and$g,h:mathcal a to mathcal a$ be $bbb c$ -- linear mappings. a$bbb c$ -- linear mapping $f:mathcal a to mathcal a$ is calleda lie $(g,h)$ -- double derivation if$f([a,b])=[f(a),b]+[a,f(b)]+[g(a),h(b)]+[h(a),g(b)]$ for all ...

The Lie algebra W = DerA is called the Witt algebra. It consists of “vector fields” f∂, f ∈ A. In particular, dimF W = dimF A = p. As any Lie algebra of derivations of a commutative algebra over F, W has a canonical structure of a restricted Lie algebra. Recall that a restricted Lie algebra is a Lie algebra over F with an additional unary (in general, non-linear) operation g 7→ g satisfying the...

The existence of a final coalgebra is equivalent to the existence of a formal logic with a set (small class) of formulas that has the Hennessy-Milner property of distinguishing coalgebraic states up to bisimilarity. This applies to coalgebras of any functor on the category of sets for which the bisimilarity relation is transitive. There are cases of functors that do have logics with the Henness...