Related papers: Generalized Eilenberg Theorem I: Local Varieties o…

Let G be any group and F an algebraically closed field of characteristic zero. We show that any G-graded finite dimensional associative G-simple algebra over F is determined up to a G-graded isomorphism by its G-graded polynomial…

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…

In this paper we prove that in classifying of complex filiform Leibniz algebras, for which its naturally graded algebra is non-Lie algebra, it suffices to consider some special basis transformations. Moreover, we establish a criterion…

In this article, we study bounded-below locally finite $\mathbb{Z}$-graded algebras, which are referred to as commonly graded algebras in literature. Commonly graded algebras have almost similar theory as that of connected graded algebras,…

Let G be a semisimple linear algebraic group defined over rational numbers, K be a maximal compact subgroup of its real points and {\Gamma} be an arithmetic lattice. One can associate a probability measure {\mu}(H) on {\Gamma}\G for each…

We study the linearization of line bundles and the local structure of actions of connected linear algebraic groups, in the setting of seminormal varieties. We show that several classical results about normal varieties extend to that…

We define the notion of a partial action on a generalized Boolean algebra and associate to every such system and commutative unital ring $R$ an $R$-algebra. We prove that every strongly $E^{\ast}$-unitary inverse semigroup has an associated…

P\l onka sums consist of a general construction that provides structural description for algebras in regularized varieties, whose examples range from Clifford semigroups to many algebras of logic including involutive bisemilattices, Bochvar…

Let $A$ be a semisimple Banach algebra with non-trivial, and possibly infinite-dimensional socle. Addressing a problem raised by Harte and Hernandez, we first define a characteristic polynomial for elements belonging to the socle, and we…

We study the problem of matrix Lie algebra conjugacy. Lie algebras arise centrally in areas as diverse as differential equations, particle physics, group theory, and the Mulmuley--Sohoni Geometric Complexity Theory program. A matrix Lie…

We present algebraic semantics for the classical logic of proofs based on Boolean algebras. We also extend the language of the logic of proofs in order to have a Boolean structure on justification terms and equality predicate on terms. In…

For a commutative semiring S, by an S-algebra we mean a commutative semiring A equipped with a homomorphism from S to A. We show that the subvariety of S-algebras determined by the identities 1+2x=1 and x^2=x is closed under non-empty…

We show there is a class of symplectic Lie algebra representations over any field of characteristic not 2 or 3 that have many of the exceptional algebraic and geometric properties of both symmetric three forms in two dimensions and…

We present a new method of establishing a bijective correspondence - in fact, a lattice isomorphism - between action- and coaction-invariant ideals of C*-algebras and their crossed products by a fixed locally compact group. It is known that…

The notion of overlap algebra introduced by G. Sambin provides a constructive version of complete Boolean algebra. Here we first show some properties concerning overlap algebras: we prove that the notion of overlap morphism corresponds…

$\nabla$-algebra is a natural generalization of Heyting algebra, unifying many algebraic structures including bounded lattices, Heyting algebras, temporal Heyting algebras and the algebraic presentation of the dynamic topological systems.…

This article explores the structure theory of compatible generalized derivations of finite-dimensional $\omega$-Lie algebras over a field $\mathbb{K}$. We prove that any compatible quasiderivation of an $\omega$-Lie algebra can be embedded…

The "coquecigrue" problem for Leibniz algebras is that of finding an appropriate generalization of Lie's third theorem, that is, of finding a generalization of the notion of group such that Leibniz algebras are the corresponding tangent…

Let X_0 be a compact connected Riemann surface of genus g with D_0\subset X_0 an ordered subset of cardinality n, and let E_G be a holomorphic principal G-bundle on X_0, where G is a complex reductive affine algebraic group, that admits a…

We develop a discrete gauge-theoretic framework for superposition in large language models (LLMs) that replaces the single-global-dictionary premise with a sheaf-theoretic atlas of local semantic charts. Contexts are clustered into a…