Algebras over variable theories

We will show that algebras over variable theories form a variety. This variety interprets the type Self of object oriented programming proposed by Abadi and Cardelli in [1]. Received February 14, 2000; accepted in final form April 5, 2001.     

Endoprimal implication algebras

An algebra A is endoprimal if, for all , the only maps which preserve the endomorphisms of A are the n-ary term functions of A. The theory of natural dualities has been a very effective tool for finding finite endoprimal algebras. We study endoprimality within the variety of implication algebras, which does not contain any non-trivial dualisable algebras. We show that there are no non-trivial finite endoprimal implication algebras. We also give some examples of infinite implication algebras which are endoprimal. Received July 28, 1998; accepted in final form January 18, 1999.     

Nonfinitely Based Varieties of Right Alternative Metabelian Algebras

Since 1976, it is known from the paper by V. P. Belkin that the variety RA₂ of right alternative metabelian (solvable of index 2) algebras over an arbitrary field is not Spechtian (contains nonfinitely based subvarieties). In 2005, S. V. Pchelintsev proved that the variety generated by the Grassmann RA₂-algebra of finite rank r over a field ?, for char(?) ≠ 2, is Spechtian iff r = 1. We construct a nonfinitely based variety 𝔐 generated by the Grassmann 𝒱-algebra of rank 2 of certain finitely based subvariety 𝒱 ? RA₂ over a field ?, for char(?) ≠ 2, 3, such that 𝔐 can also be generated by the Grassmann envelope of a five-dimensional superalgebra with one-dimensional even part.     

Amalgamation in finite dimensional cylindric algebras

For every finite n > 1, the embedding property fails in the class of all n-dimensional cylindric type algebras which satisfy the following. Their boolean reducts are boolean algebras and two of the cylindrifications are normal, additive and commute. This result also holds for all subclasses containing the representable n-dimensional cylindric algebras. This considerably strengthens a result of S. Comer on CA _n and provides a strong counterexample for interpolation in finite variable fragments of first order logic. We provide a new modern proof, using an argument inspired by modal logic. February 22, 1999.     

An atomless interval Boolean algebra A such that $ \mathfrak{a} (A) $ < $ \mathfrak{t} (A) $

For any Boolean algebra A, is the smallest cardinality of an infinite partition of unity in A. A tower in a Boolean algebra A is a subset X of A well-ordered by the Boolean ordering, with but with is the smallest cardinality of a tower of A. Given a linearly ordered set L with first element, the interval algebra of L is the algebra of subsets of L generated by the half-open intervals [a, b). We prove that there is an atomless interval algebra A such that . Received January 21, 2002; accepted in final form March 13, 2002.     

双生成元$A_n$型拟遗传代数的拟遗传序

本文讨论双生成元$A_n$型代数的拟遗传序的性质,给出了该类代数的单模序是拟遗传序的充分必要条件,并利用组合技巧得出了该类代数拟遗传序的数目.     

Interpretability Types for Regular Varieties of Algebras

It is proved that for every regular variety V of algebras, an interpretability type [V] in the lattice is primary w.r.t. intersection, and so has at most one covering. Moreover, the sole covering, if any, for [V] is necessarily infinite. For a locally finite regular variety V, [V] has no covering. Cyclic varieties of algebras turn out to be particularly interesting among the regular. Each of these is a variety of n-groupoids (A; f) defined by an identity , where is an n-cycle of degree n 2. Interpretability types of the cyclic varieties form, in , a subsemilattice isomorphic to a semilattice of square-free natural numbers n 2, under taking m n=[m,n] (l.c.m.).     

State classification for a class of measure-valued branching diffusions in a Brownian medium

Summary. The spatial structure of a new class of measure-valued diffusions which arise as limits in distribution of a sequence of interacting branching particle systems is investigated. We obtain the following criterion of state classification for these superprocesses: their effective state space is contained in the set of purely atomic measures or the set of absolutely continuous measures according as ε=0 or ε≠0, when the coefficient of the motion generator is a smooth function. Received: 15 December 1995 / In revised form: 24 March 1997     

On Some Extremal Varieties of Associative Algebras

Suppose that F is a field of prime characteristic p and V _p is the variety of associative algebras over F defined by the identities [[x, y], z] = 0 and x ^p = 0 if p > 2 and by the identities [[x, y], z] = 0 and x ⁴ = 0 if p = 2 (here [x, y] = xy ? yx). As is known, the free algebras of countable rank of the varieties V _p contain non-finitely generated T-spaces. We prove that the varieties V _p are minimal with respect to this property.     

Consistent lattices and Steinitz spaces

It is well-known that a finite lattice L is isomorphic to the lattice of flats of a matroid if and only if L is geometric. A result due to Edelman (see [1], Theorem 3.3) states that a lattice is meet-distributive if and only if it is isomorphic to the lattice of all closed sets of a convex geometry. In this note we prove that a finite lattice is the lattice of closed sets of a closure space with the Steinitz exchange property if and only if it is a consistent lattice. Received February 28, 1997; accepted in final form February 2, 1998.     

On a Remarkable Class of Left-symmetric Algebras and its Relationship with the Class of Novikov Algebras

We discuss locally simply transitive affine actions of Lie groups G on finite-dimensional vector spaces such that the commutator subgroup [G, G] is acting by translations. In other words, we consider left-symmetric algebras satisfying the identity [x, y]·z = 0. We derive some basic characterizations of such left-symmetric algebras, and we highlight their relationships with the so-called Novikov algebras and derivation algebras.     

Study of an identity

We solve the word problem of the identity x(yz) = (xy)(yz) by investigating a certain group describing the geometry of that identity. We also construct a concrete realization of the one-generated free algebra relative to the above identity. Received March 23, 2001; accepted in final form July 6, 2002.     

Laura Skew Group Algebras

We prove that if A is an artin algebra, G is a finite group acting on A such that |G| is invertible in A, and R = A[G]^b is a basic algebra associated with the skew group algebra, then A is left supported (or right supported, or laura, or left glued, or right glued, or weakly shod, or shod) if and only if so is R.     

Congruence join semidistributivity is equivalent to a congruence identity

We show that a locally finite variety is congruence join semidistributive if and only if it satisfies a congruence identity that is strong enough to force join semidistributivity in any lattice. Received February 9, 2000; accepted in final form November 23, 2000.     

Distributive lattices with a decidable monadic second order theory

A class of finite distributive lattices has a decidable monadic second order theory iff (a) the join irreducible elements of its members have a decidable monadic second order theory, and (b) the width of the lattices is bounded. Similar results are obtained for the monadic chain and the monadic antichain theory where quantification is restricted to chains and antichains, resp. Furthermore, there is no (up to finite difference) maximal set of finite distributive lattices with a decidable monadic (chain or antichain, resp.) theory. Received December 6, 2000; accepted in final form May 30, 2002.     

Reductive Modes

A mode is an idempotent and entropic algebra. We show that each variety R_m of m-step left reductive Ω-modes is the Mal'cev product (relative to modes) of R_kand R_m-k. The dual result holds for varieties R _n ¹ of n-step right reductive Ω-modes. The main result says that the join R_m V R _n ¹ is independent and coincides with the Mal'cev product R_m ∘ R _n ¹ . We also give an equational characterization of this variety, and discuss the structure of such modes. This revised version was published online in June 2006 with corrections to the Cover Date.     

Algebraic coalitions

The idea of an algebra in is introduced. Within congruence modular varieties such algebras are shown to be the abelian algebras with a one-element subalgebra. This leads on to the notion of algebraic coalition, which is characterized for congruence modular varieties and for varieties of Jónsson–Tarski algebras. This characterization displays an intimate relationship between algebraic coalitions, Gumm difference terms, and the centre of an algebra. Received July 16, 1996; accepted in final form May 2, 1997.     

Algebraic coalitions: 2

This paper continues the investigation of [2] into the notions of algebra in and of coalition. Here these notions are characterized for the variety of semilattices, more generally for any variety of inverse semigroups, and for subtractive varieties. Received June 25, 1997 accepted in final form October 16, 1998.