Related papers: Differential algebraic dependence and Novikov depe…

We study completeness in partial differential varieties. We generalize many results from ordinary differential fields to the partial differential setting. In particular, we establish a valuative criterion for differential completeness and…

Differentially-algebraic (D-algebraic) functions are solutions of polynomial equations in the function, its derivatives, and the independent variables. We revisit closure properties of these functions by providing constructive proofs. We…

In this paper, we establish the Composition-Diamond lemma for free differential algebras. As applications, we give Groebner-Shirshov bases for free Lie-differential algebra and free commutative-differential algebra, respectively.

Fixed point subalgebras of finite dimensional factor algebras of algebras of polynomials in n indeterminates over the finite field $\mathbb F_2$ (with respect to all $\mathbb F_2$-algebra automorphisms) are fully described.

This work provides the first step toward the classification of irreducible finite weight modules over twisted affine Lie superalgebras. We study all such modules whether the canonical central element acts as a nonzero multiple of the…

This work presents a sample constructions of two algebras both with the ideal of relations defined by a finite Gr\"obner basis. For the first algebra the question whether a given element is nilpotent is algorithmically unsolvable, for the…

Let k a characteristic zero field. We give a characterization for the finite quiver k-algebras, based on double derivations. More precisely, we prove that if an associative and unitary k-algebra have a family of double derivations…

Let $\mathbb{F}_q$ denote the finite field of $q$ elements with characteristic $p$. Let $\mathbb{Z}_q$ denote the unramified extension of the $p$-adic integers $\mathbb{Z}_p$ with residue field $\mathbb{F}_q$. In this paper, we investigate…

The Nichols algebras of diagonal type with finite root system are either of standard, super or (yet) unidentified type. A concrete description of the defining relations of all those Nichols algebras was given in \cite{A-exp presentation}.…

We prove that the finiteness of a finitely generated category of irreducible algebraic varieties over a field of characteristic zero is decidable. We also obtain a Burnside finiteness criterion for such a category, with applications to…

We completely characterize all nonlinear partial differential equations leaving a given finite-dimensional vector space of analytic functions invariant. Existence of an invariant subspace leads to a re duction of the associated dynamical…

Motivated by the Dani-Mainkar construction, we extend the notion of independence polynomial of graphs to arbitrary 2-step nilpotent Lie algebras. After establishing efficiently computable upper and lower bounds for the independence number,…

Let $A$ be an integral $k$-algebra of finite type over a field $k$ of characteristic zero. Let ${\cal{F}}$ be a family of $k$-derivations on $A$ and $M_{\cal{F}}$ the $A$-module spanned by ${\cal{F}}$. In this paper, we generalize a result…

We provide a differential-algebraic description of forking independence in the stable theory DCF$_{p,m}$ of differentially closed fields of characteristic $p>0$ with $m$-many commuting derivations. As a by-product of this description, we…

The notion of commutative integro-differential algebra was introduced for the algebraic study of boundary problems for linear ordinary differential equations. Its noncommutative analog achieves a similar purpose for linear systems of such…

We introduce the concepts of dependence and independence in a very general framework. We use a concept of rank to study dependence and independence. By means of the rank we identify (total) dependence with inability to create more…

Efficient methods for computing with matrices over finite fields often involve randomised algorithms, where matrices with a certain property are sought via repeated random selection. Complexity analyses for these algorithms require…

We show that a tensor product of irreducible, finite dimensional representations of a simple Lie algebra over a field of characteristic zero, determines the individual constituents uniquely. This is analogous to the uniqueness of prime…

In this paper we develop techniques that eliminate the need of the Generalized Riemann Hypothesis (GRH) from various (almost all) known results about deterministic polynomial factoring over finite fields. Our main result shows that given a…

We introduce a universal algebraic generalization of de Jongh's notion of dependence for formulas of intuitionistic propositional logic, relating it to a notion of dependence defined by Marczewski for elements of an algebraic structure.…