Related papers: Generalization of terms via universal algebra

Essentially generalizing Lie's results, we prove that the contact equivalence groupoid of a class of (1+1)-dimensional generalized nonlinear Klein-Gordon equations is the first-order prolongation of its point equivalence groupoid, and then…

The critical point between varieties A and B of algebras is defined as the least cardinality of the semilattice of compact congruences of a member of A but of no member of B, if it exists. The study of critical points gives rise to a whole…

We expand our previously founded basic theory of equiresidual algebraic geometry over an arbitrary commutative field, to a well-behaved theory of (equiresidual) algebraic varieties over a commutative field, thanks to the generalisation of…

A generalization of topos theory is proposed giving an abstract realization of such categories as, say, the categories of manifolds and of Grothendieck schemes on the one hand, and permitting one, on the other hand, a view on…

We elucidate a close connection between the Theory of Judgment Aggregation (more generally, Evaluation Aggregation), and a relatively young but rapidly growing field of universal algebra, that was primarily developed to investigate…

The main objective of this paper is to show that the notion of type which was developed within the frames of logic and model theory has deep ties with geometric properties of algebras. These ties go back and forth from universal algebraic…

We present a common framework to study varieties in great generality from a categorical point of view. The main application of this study is in the setting of algebraic categories, where we introduce Birkhoff varieties which are essentially…

We investigate atomicity of free algebras and various forms of amalgamation for BL and MV algebras, and also Heyting algebras, though the latter algebras may not be linearly ordered, so strictly speaking their corresponding intuitionistic…

In this paper we establish a new characterization of 4-valued modal algebras considered by A. Monteiro. In order to obtain this characterization we introduce a new class of algebras named generalized I-algebras. This class contains strictly…

We study generic graded contractions of Lie algebras from the perspectives of group cohomology, affine algebraic geometry and monoidal categories. We show that generic graded contractions with a fixed support are classified by a certain…

We consider a natural generalisation of symmetric Nakayama algebras, namely, symmetric special biserial algebras with at most one non-uniserial indecomposable projective module. We describe the basic algebras explicitly by quiver and…

In the theory of generalized cluster algebras, we build the so-called cluster formula and $D$-matrix pattern. Then as applications, some fundamental conjectures of generalized cluster algebras are solved affirmatively.

We consider Euclidean lattices spanned by images of algebraic conjugates of an algebraic number under Minkowski embedding, investigating their rank, properties of their automorphism groups and sets of minimal vectors. We are especially…

Quasi-trees generalize trees in that the unique "path" between two nodes may be infinite and have any countable order type. They are used to define the rank-width of a countable graph in such a way that it is equal to the least upper-bound…

We consider categories of rational maps to algebraic groups and study existence and construction of universal objects for such categories, using the duality theory of Laumon 1-motives. In particular, we obtain functorial descriptions of the…

This paper provides an extensive study of the homotopy theory of types of algebras with units, like unital associative algebras or unital commutative algebras for instance. To this purpose, we endow the Koszul dual category of curved…

All algebras in a very large, axiomatically defined class of quantum nilpotent algebras are proved to possess quantum cluster algebra structures under mild conditions. Furthermore, it is shown that these quantum cluster algebras always…

In this paper, using some conditions that arise naturally in Alon's combinatorial Nullstellensatz as well as its various extensions and generalizations, we characterize Gr\"{o}bner bases consisting of monic polynomials, which helps us to…

We introduce a new example of unital commutative $n$-dimensional group algebra $\mathbb{R}_n$ for $n \geq 2$. The algebra $\mathbb{R}_n$ and the complex numbers $\mathbb{C}$ are astonishingly alike. The zero divisor set of the algebra has…

We prove two completeness results for Kleene algebra with tests and a top element, with respect to guarded string languages and binary relations. While the equational theories of those two classes of models coincide over the signature of…