-
arXiv:2407.00642 [pdf, ps, other]
Groups elementarily equivalent to metabelian Baumslag$-$Solitar groups and regular bi-interpretability
Abstract: We prove that metabelian Baumslag$-$Solitar group $BS(1,k)$, $k>1$, is (strongly) regularly bi-interpretable with the ring of integers $\mathbb{Z}$, and describe in algebraic terms all groups that are elementarily equivalent to $BS(1,k)$.
Submitted 30 June, 2024; originally announced July 2024.
-
arXiv:1002.4243 [pdf, ps, other]
Algebraic geometry over algebraic structures III: Equationally Noetherian property and compactness
Abstract: In this paper we discuss some special generalizations of equationally Noetherian property which naturally arise in the universal algebraic geometry. We introduce weakly equationally Noetherian, qw-compact, uw-compact, and weakly uw-compact algebras and then examine properties of such algebras. Also we consider the connections between five classes: the class of equationally Noetherian algebras, the… ▽ More
Submitted 18 May, 2010; v1 submitted 22 February, 2010; originally announced February 2010.
Comments: 46 pages; 2 figures
MSC Class: 14A99; 03C05; 08B05
-
arXiv:1002.3562 [pdf, ps, other]
Algebraic geometry over algebraic structures II: Foundations
Abstract: In this paper we introduce elements of algebraic geometry over an arbitrary algebraic structure. We prove Unification Theorems which gather the description of coordinate algebras by several ways.
Submitted 2 February, 2011; v1 submitted 18 February, 2010; originally announced February 2010.
Comments: 55 pages
MSC Class: 03C99; 08A99; 14A99
-
arXiv:0808.2522 [pdf, ps, other]
Unification theorems in algebraic geometry
Abstract: 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.
Submitted 19 August, 2008; originally announced August 2008.
Comments: 28 pages
MSC Class: 70G55; 03C60
-
arXiv:0710.3873 [pdf, ps, other]
Semidomains and Metabelian Product of Metabelian Lie Algebras
Abstract: This paper is the third in a series of papers, the aim of which is to construct algebraic geometry over metabelian Lie algebras.
Submitted 20 October, 2007; originally announced October 2007.
Comments: 14 pages
Journal ref: Journal of Mathematical Sciences, Volume 131, Number 6 / December, 2005, p. 6015-6022
-
arXiv:0710.3872 [pdf, ps, other]
Algebraic Geometry over Free Metabelian Lie Algebra II: Finite Field Case
Abstract: 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:… ▽ More
Submitted 20 October, 2007; originally announced October 2007.
Comments: 31 pages
Journal ref: Journal of Mathematical Sciences, Volume 135, Number 5 / June, 2006, p. 3311-3326
-
arXiv:0710.3871 [pdf, ps, other]
Algebraic Geometry over Free Metabelian Lie Algebra I: U-Algebras and Universal Classes
Abstract: 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 th… ▽ More
Submitted 20 October, 2007; originally announced October 2007.
Comments: 34 pages
Journal ref: Journal of Mathematical Sciences, Volume 135, Number 5 / June, 2006, p 3292-3310