Related papers: On finitely presented algebras

We prove that every finitary polynomial endofunctor of a category $C$ has a final coalgebra if $C$ is locally Cartesian closed, has finite disjoint coproducts and a natural number object. More generally, we prove that the category of…

For a restricted Lie algebra $L$, the conditions under which its restricted enveloping algebra $u(L)$ is semiperfect are investigated. Moreover, it is proved that $u(L)$ is left (or right) perfect if and only if $L$ is finite-dimensional.

We present a short and elegant proof of the complete theory of strict representations of the algebra B^a(E) of all adjointable operators on a Hilbert B-module E by operators on a Hilbert C-module F. Aanalogue for W*-modules and normal…

We study prime monomial algebras. Our main result is that a prime finitely presented monomial algebra is either primitive or it has GK dimension one and satisfies a polynomial identity. More generally, we show this result holds for the…

We show that, for each finite algebra A, either it has symmetric term operations of all arities or else some finite algebra in the variety generated by A has two automorphisms without a common fixed point. We also show this two-automorphism…

We study the problem of whether a given finite algebra with finitely many basic operations contains a cube term; we give both structural and algorithmic results. We show that if such an algebra has a cube term then it has a cube term of…

We initiate the study of computable presentations of real and complex C*-algebras under the program of effective metric structure theory. With the group situation as a model, we develop corresponding notions of recursive presentations and…

This paper gives an algebraic presentation of an algebra called the fused permutations algebra in the one-boundary case. It is obtained through a detailed study of the degenerate cyclotomic Hecke algebra. In particular, we prove that the…

We prove that every finite distributive lattice is isomorphic to a final segment of the d.c.e. Turing degrees (i.e., the degrees of differences of computably enumerable sets). As a corollary, we are able to infer the undecidability of the…

In this note we prove that any affine algebraic monoid can be obtained as the endomorphisms' monoid of a finite-dimensional (nonassociative) algebra.

Jacobson proved that if a Lie algebra admits an invertible derivation, it must be nilpotent. He also suspected, though incorrectly, that the converse might be true: that every nilpotent Lie algebra has an invertible derivation. We prove…

Let k be a field. A finite dimensional k-algebra is said to be minimal representation-infinite provided it is representation-infinite and all its proper factor algebras are representation-finite. Our aim is to classify the special biserial…

We give a survey on the theory of representation-finite and certain minimal representation-infinite algebras.The main goals are the existence of multiplicative bases and of coverings with good properties. Both are attained via…

Representable implication algebras are known to be axiomatised by a finite number of equations (making the representation and finite representation problems decidable here). We show that this also holds in the context of unary (and binary)…

We prove uniqueness of a decomposition of $1$ into indecomposable Hermitian idempotents in an order of a finite-dimensional $\mathbb{Q}$-algebra with positive involution, by generalising a result of Eichler on unique decomposition of…

We classify the finite dimensional representations of the double affine Hecke algebra of type $C^{\vee}C_1$ in the case when $q$ is not a root of 1.

We show that a minimal ideal of a finite-dimensional Lie algebra is either simple or abelian.

Let $G$ be an $\ell$-group (which is short for ``lattice-ordered abelian group''). Baker and Beynon proved that $G$ is finitely presented iff it is finitely generated and projective. In the category $\mathcal U$ of {\it unital}…

We prove that for a finite first order structure $\mathbf{A}$ and a set of first order formulas $\Phi$ in its language with certain closure properties, the finitary relations on $A$ that are definable via formulas in $\Phi$ are uniquely…

It is shown that the fixed point subalgebra of an EALA under a finite order automorphism (satisfying certain properties) is a sum of EALA's, an abelian subalgebra, and a subspace which is contained in the centralizer of the core.