SearcharxivSearch

arXiv subjects

I. Kazachkov

Publications and source records attributed to I. Kazachkov.

4 recordsLinked to original sources

Subgroup Conjugacy Separability in Residually Free Groups

We prove that finitely presented residually free groups are subgroup conjugacy separable. Furthermore, if they are of type $FP_\infty$, then they are also subgroup conjugacy distinguished. Using a connection between conjugacy separability and residual finiteness of outer automorphism group established by Grossman in \cite{Grossman}, we show that finitely presented residually free groups have residually finite outer automorphism groups.

math.GR

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