arXiv Science⌕ Search

arXiv subjects

V. Remeslennikov

Publications and source records attributed to V. Remeslennikov.

4 recordsLinked to original sources

Unification theorems in algebraic geometry

In this paper, for a given finitely generated algebra (an algebraic structure with arbitrary operations and no predicates) A we study finitely generated limit algebras of A, approaching them via model theory and algebraic geometry. Along the way we lay down foundations of algebraic geometry over arbitrary algebraic structures.

math.AG↗

Algebraic Geometry over Free Metabelian Lie Algebra I: U-Algebras and Universal Classes

This paper is the first in a series of three, the aim of which is to lay the foundations of algebraic geometry over the free metabelian Lie algebra $F$. In the current paper we introduce the notion of a metabelian Lie $U$-algebra and establish connections between metabelian Lie $U$-algebras and special matrix Lie algebras. We define the $Δ$-localisation of a metabelian Lie $U$-algebra $A$ and the direct module extension of the Fitting's radical of $A$ and show that these algebras lie in the universal closure of $A$.

math.AG↗

Algebraic Geometry over Free Metabelian Lie Algebra II: Finite Field Case

This paper is the second in a series of three, the aim of which is to construct algebraic geometry over a free metabelian Lie algebra $F$. For the universal closure of free metabelian Lie algebra of finite rank $r \ge 2$ over a finite field $k$ we find a convenient set of axioms in the language of Lie algebras $L$ and the language $L_{F}$ enriched by constants from $F$. We give a description of: * The structure of finitely generated algebras from the universal closure of $F_r$ in both $L$ and $L_{F_r}$ * The structure of irreducible algebraic sets over $F_r $ and respective coordinate algebras. We also prove that the universal theory of a free metabelian Lie algebra over a finite field is decidable in both languages.

math.AG↗