Related papers: Varieties of positive modal algebras and structura…

We describe isomorphisms of groups of several periodic infinite matrices and isomorphisms of groups of invertible elements of unital locally matrix algebras.

We prove that strongly homotopy algebras (such as $A_\infty$, $C_\infty$, sh Lie, $B_\infty$, $G_\infty$,...) are homotopically invariant in the category of chain complexes. An important consequence is a rigorous proof that `strongly…

We prove some basic results about irreducible components of varieties of modules for an arbitrary finitely generated associative algebra. Our work generalizes results of Kac and Schofield on representations of quivers, but our methods are…

It is proved that if any Z-graded weak module for vertex operator algebra V is completely reducible, then V is rational and C_2-cofinite. That is, V is regular. This gives a natural characterization of regular vertex operator algebras.

We give an algebraic proof of the criterion for hereditary structural completeness of an intermediate logic, or, equivalently, of the primitiveness of a variety of Heyting algebras.

We investigate the behavior of finitely generated projective modules over a down-up algebra. Specifically, we show that every noetherian down-up algebra $A(\alpha,\beta,\gamma)$ has a non-free, stably free right ideal. Further, we compute…

This paper is a report on a computer check of some positivity properties of the Hecke algebra in type H4, including the non-negativity of the coefficients of the structure constants in the Kazhdan-Lusztig basis. This answers a long-standing…

We prove that two finite-dimensional commutative algebras over an algebraically closed field are isomorphic if and only if they give rise to isomorphic representations of the category of finite sets and surjective maps.

The aim of this paper is to introduce and study a large class of $\mathfrak{g}$-module algebras which we call factorizable by generalizing the Gauss factorization of (square or rectangular) matrices. This class includes coordinate algebras…

As an instance of a linear action of a Hopf algebra on a free associative algebra, we consider finite group gradings of a free algebra induced by gradings on the space spanned by the free generators. The homogeneous component corresponding…

We prove that a countable dimensional associative algebra (resp. a countable semigroup) of locally subexponential growth is $M_\infty$-embeddable as a left ideal in a finitely generated algebra (resp. semigroup) of subexponential growth.…

We prove that persistently finite algebras are not created by completions of algebras, in any ordered discriminator variety. A persistently finite algebra is one without infinite simple extensions. We prove that finite measurable relation…

Let k be an algebraically closed field of characteristic 0. We conclude the classification of finite dimensional pointed Hopf algebras whose group of group-likes is S_4. We also describe all pointed Hopf algebras over S_5 whose…

We completely characterise when the sequence of free subgroup numbers of a finitely generated virtually free group is ultimately periodic modulo a given prime power.

Symmetric and k-cyclic structure of modal pseudocomplemented De Morgan algebras algebras was introduced previously. In this paper, we first present the construction of epimorphims between finite symmetric (or 2-cyclic) modal…

It is well-known that the basic modal logic of all topological spaces is $S4$. However, the structure of basic modal and hybrid logics of classes of spaces satisfying various separation axioms was until present unclear. We prove that modal…

It is a celebrated result of McKinsey and Tarski [28] that S4 is the logic of the closure algebra X+ over any dense-in-itself separable metrizable space. In particular, S4 is the logic of the closure algebra over the reals R, the rationals…

We prove that a variety of algebras whose finitely generated members are free must be definitionally equivalent to the variety of sets, the variety of pointed sets, a variety of vector spaces over a division ring, or a variety of affine…

We introduce and characterize a particularly tractable class of unital type 1 C*-algebras with bounded dimension of irreducible representations. Algebras in this class are called recursive subhomogeneous algebras, and they have an inductive…

Nilpotent Leibniz algebras with isomorphic maximal subalgebras are considered. The algebras are classified for coclass zero, one, and two. The results are field dependent.