相关论文: Prolongations and computational algebra

Canonical extension of finitary ordered structures such as lattices, posets, proximity lattices, etc., is a certain completion which entirely describes the topological dual of the ordered structure and it does so in a purely algebraic and…

Generalized numberings are an extension of Ershov's notion of numbering, based on partial combinatory algebra (pca) instead of the natural numbers. We study various algebraic properties of generalized numberings, relating properties of the…

Considering tensor products of special commutative algebras and general real Clifford algebras, we arrive at extended Clifford algebras. We have found that there are five types of extended Clifford algebras. The class of extended Clifford…

We give a geometric classification of $n$-dimensional nilpotent, commutative nilpotent and anticommutative nilpotent algebras. We prove that the corresponding geometric varieties are irreducible, find their dimensions and describe explicit…

We present a complete computational classification of the combinatorial types of hyperplane sections, or slices, of the regular cube up to dimension six. For each dimension, we determine the exact number of distinct combinatorial types.…

These lectures review the classical Moebius-Lie geometry and recent work on its extension. The latter considers ensembles of cycles (quadrics), which are interconnected through conformal-invariant geometric relations (e.g. "to be…

In this work we provide alternative formulations of the concepts of lambda theory and extensional theory without introducing the notion of substitution and the sets of all, free and bound variables occurring in a term. We also clarify the…

We develop algebraic methods for computations with tensor data. We give 3 applications: extracting features that are invariant under the orthogonal symmetries in each of the modes, approximation of the tensor spectral norm, and…

We characterize completey (give a necessary and suffcient condition using special neat embeddings)for a relation algebra to belong to the amalgamation, strong amalgamation, and superamalgamation base of the class of representable algebras.…

The type and several invariant subspaces related to the upper annihilating series of finite-dimensional nilpotent evolution algebras are introduced. These invariants can be easily computed from any natural basis. Some families of nilpotent…

In this paper we study subalgebras of complex finite dimensional evolution algebras. We obtain the classification of nilpotent evolution algebras whose any subalgebra is an evolution subalgebra with a basis which can be extended to a…

We construct geometric realization for non-exceptional mutation-finite cluster algebras by extending the theory of Fomin and Thurston to skew-symmetrizable case. Cluster variables for these algebras are renormalized lambda lengths on…

In this article we undertake a study of extension complexity from the perspective of formal languages. We define a natural way to associate a family of polytopes with binary languages. This allows us to define the notion of extension…

We apply the notion of 2-extensions of algebras to the deformation theory of algebras. After standard results on butterflies between 2-extensions, we use this (2, 0)-category to give three perspectives on the deformation theory of algebras.…

We study the question of when geometric extension algebras are polynomial quasihereditary. Our main theorem is that under certain assumptions, a geometric extension algebra is polynomial quasihereditary if and only if it arises from an even…

Many fundamental questions in theoretical computer science are naturally expressed as special cases of the following problem: Let $G$ be a complex reductive group, let $V$ be a $G$-module, and let $v,w$ be elements of $V$. Determine if $w$…

We develop an algebraic language theory based on the notion of an Eilenberg--Moore algebra. In comparison to previous such frameworks the main contribution is the support for algebras with infinitely many sorts and the connection to logic…

A late time asymptotic perturbative analysis of curvature coupled complex scalar field models with accelerated cosmological expansion is carried out on the level of formal power series expansions. For this, algebraic analogues of the…

We conjecture recurrence relations satisfied by the degrees of some linearizable lattice equations. This helps to prove linear growth of these equations. We then use these recurrences to search for lattice equations that have linear growth…

We develop a deformation theory for finite-dimensional left-symmetric color algebras, which can be used to construct new algebraic structures and interpret left-symmetric color cohomology spaces of lower degrees. We explore equivalence…