Related papers: Congruence lattices forcing nilpotency

In this paper we investigate the existence of invariant SKT, balanced and generalized K\"ahler structures on compact quotients $\Gamma \backslash G$, where $G$ is an almost nilpotent Lie group whose nilradical has one-dimensional commutator…

This paper shows that a Poisson algebra is nilpotent if and only if it is both associative and Lie nilpotent and examines various properties of the nilradical and the solvable radical. It introduces a basic Frattini theory for dialgebras…

We say that a hypercomplex nilpotent Lie algebra is $\mathbb{H}$-solvable if there exists a sequence of $\mathbb{H}$-invariant subalgebras $\mathfrak{g}_1^{ \mathbb{H}}\supset\mathfrak{g}_2^{…

Let K be a field of positive characteristic p and KG the group algebra of a group G. It is known that if KG is Lie nilpotent then its upper (or lower) Lie nilpotency index is at most |G'|+1, where |G'| is the order of the commutator…

The Gr\"atzer-Schmidt theorem of lattice theory states that each algebraic lattice is isomorphic to the congruence lattice of an algebra. We study the reverse mathematics of this theorem. We also show that the set of indices of computable…

It is proved that that every nilpotent contraction in a quotient C*-algebra can be lifted to a nilpotent contraction. As a consequence we get that the universal C*-algebra generated by a nilpotent contraction is projective. This answers the…

We affirm a conjecture of Sacks [1972] by showing that every countable distributive lattice is isomorphic to an initial segment of the hyperdegrees, $\mathcal{D}_{h}$. In fact, we prove that every sublattice of any hyperarithmetic lattice…

We call an operator algebra A {\em reversible} if A with reversed multiplication is also an abstract operator algebra (in the modern operator space sense). This class of operator algebras is intimately related to the {\em symmetric operator…

We construct a distributive algebraic lattice D that is not isomorphic to the congruence lattice of any lattice. This solves a long-standing open problem, traditionally attributed to R. P. Dilworth, from the forties. The lattice D has…

We investigate the complexity of isomorphism relations for classes of finitely generated and n-generated computably enumerable (c.e.) algebras, presented via c.e. presentations -- that is, as quotients of term algebras over decidable sets…

We study solvability, nilpotency and splitting property for algebraic supergroups over an arbitrary field $K$ of characteristic $\mathrm{char}\, K \ne 2$. Our first main theorem tells us that an algebraic supergroup $\mathbb{G}$ is solvable…

A compatible nilpotent Leibniz algebra is a vector space equipped with two multiplication structures that interact in a certain natural way. This article presents the classification of these algebras with dimensions less than four, as well…

We show that, if $M$ is a subspace lattice with the property that the rank one subspace of its operator algebra is weak* dense, $L$ is a commutative subspace lattice and $P$ is the lattice of all projections on a separable infinite…

We continue the analysis of the weak commutativity construction for Lie algebras. This is the Lie algebra $\chi(\mathfrak{g})$ generated by two isomorphic copies $\mathfrak{g}$ and $\mathfrak{g}^{\psi}$ of a fixed Lie algebra, subject to…

We refine and advance the study of the local structure of idempotent finite algebras started in [A.Bulatov, The Graph of a Relational Structure and Constraint Satisfaction Problems, LICS, 2004]. We introduce a graph-like structure on an…

We clarify the relationship between the linear commutator and the ordinary commutator by showing that in any variety satisfying a nontrivial idempotent Mal'cev condition the linear commutator is definable in terms of the centralizer…

We argue that it makes sense to talk about ``typical'' properties of lattices, and then show that there is, up to isomorphism, a unique countable lattice L* (the Fraisse limit of the class of finite lattices) that has all ``typical''…

Let V be a variety of not necessarily associative algebras, and A an inverse limit of nilpotent algebras A_i\in V, such that some finitely generated subalgebra S \subseteq A is dense in A under the inverse limit of the discrete topologies…

For an arbitrary group, the subgroups form a lattice with order determined by set inclusion. Not every lattice is isomorphic to the subgroup lattice for a group. However, Birkhoff and Frink proved that any compactly generated lattice is…

We find a class of algebras A satisfying the following property: for every nontrivial noncommutative polynomial, the linear span of all its values in A equals A. This class includes the algebras of all bounded and all compact operators on…