Related papers: Equations over direct powers of algebraic structur…
Generally the study of algebraic deals with the concepts like groups, semigroups, groupoids, loops, rings, near-rings, semirings and vector spaces. The study of bialgebraic structures deals with the study of bistructures like bigroups,…
Relative algebroids provide a framework that unifies Lie algebroids with partial differential equations. In this set of notes, we explain how relative algebroids arise from geometric problems, and give an introduction to their structural…
In this paper we consider the $q$-Brauer algebra over $R$ a commutative noetherian domain. We first construct a new basis for $q$-Brauer algebras, and we then prove that it is a cell basis, and thus these algebras are cellular in the sense…
We introduce and study semi-equational and weakly semi-equational theories, generalizing equationality in stable theories (in the sense of Srour) to the NIP context. In particular, we establish a connection to distality via one-sided strong…
In this article we discuss some applications of the construction of the Ap\'ery set of a good semigroup in $\mathbb{N}^d$ given in the previous paper [Partition of the complement of good semigroup ideals and Ap\'ery sets, Communications in…
We study finite-dimensional nonassociative algebras. We prove the implicit function theorem for such algebras. This allows us to establish a correspondence between such algebras and quasigroups, in the spirit of classical correspondence…
We prove that cellular Noetherian algebras with finite global dimension are split quasi-hereditary over a regular commutative Noetherian ring with finite Krull dimension and their quasi-hereditary structure is unique, up to equivalence. In…
Exactly integrable systems connected to semisimple algebras of second rank with an arbitrary choice of grading are presented in explicit form. General solutions of these systems are expressed in terms of matrix elements of two fundamental…
A deductive system is structurally complete if its admissible inference rules are derivable. For several important systems, like modal logic S5, failure of structural completeness is caused only by the underivability of passive rules, i.e.…
In this paper, we consider the problem of how to establish algebraic structures on nearness approximation spaces. Essentially, our approach is to define the nearness ring, nearness ideal and nearness ring of all weak cosets by considering…
Through abelian categories, homological lemmas for modules admit a self-dual treatment, where half of the proof of a lemma is sufficient to prove the full lemma. In this paper, we show how the context of a `noetherian form', recently…
This paper investigates the structure of fully nonlinear equations and their applications to geometric problems. We solve some fully nonlinear version of the Loewner-Nirenberg and Yamabe problems. Notably, we introduce Morse theory…
The aim of this paper is to give new representation theorems for extended contact algebras. These representation theorems are based on equivalence relations.
With this paper, we gain a better understanding of the set of near-field structures on a fixed scalar group. If we were able to describe all near-field structures on a fixed scalar group, we could describe all near-vector spaces. The…
The first steps towards linearisation of partial orders and equivalence relations are described. The definitions of partial orders and equivalence relations (on sets) are formulated in a way that is standard in category theory and that…
Equational Artinian algebras were introduced in our previous work: {\em Equational conditions in universal algebraic geometry, to appear in Algebra and Logic, 2015}. In this note, we define the notion of {\em radical topology with respect…
This article provides an algebraic study of intermediate inquisitive and dependence logics. While these logics are usually investigated using team semantics, here we introduce an alternative algebraic semantics and we prove it is complete…
For the coordinate algebras of connected affine algebraic groups, we explore the problem of finding a presentation by generators and relations canonically determined by the group structure.
An algebraically expandable (AE) class is a class of algebraic structures axiomatizable by sentences of the form $\forall \exists! \land p = q$. For a logic $L$ algebraized by a quasivariety $\mathcal{Q}$ we show that the AE-subclasses of…
We study the set of homomorphisms from a fixed finitely generated group into a family of groups which are `uniformly acylindrically hyperbolic'. Our main results reduce this study to sets of homomorphisms which do not diverge in an…