Seven lectures on universal algebraic geometry

DOI10.1090/CONM/726/14611MaRDI QIDQ5239109zbMATH OpenOpenAlexFDO

Authors B. Plotkin

Publication date 22 October 2019

Published in Groups, Algebras and Identities (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/0204245

Mathematics Subject Classification ID

Cylindric and polyadic algebras; relation algebras (03G15) Research exposition (monographs, survey articles) pertaining to general algebraic systems (08-02) Varieties (08B99) Categories of algebras (08C05) Foundations of algebraic geometry (14A99)

Abstract: Some notions of algebraic geometry can be defined for arbitrary varieties of algebras. This leads to universal algebraic geometry. The main idea of the presented theory is to consider interactions between algebra, logic and geometry in algebras from a given variety of algebras.

Cites work

• A Note on Algebraically Closed Groups
• A question of B. Plotkin about the semigroup of endomorphisms of a free group
• Adjunction of Elements To Groups
• Algebraic geometry in first-order logic
• Algebraic geometry in varieties of algebras with the given algebra of constants
• Algebraic geometry over groups. I: Algebraic sets and ideal theory
• Algebraic geometry over groups. II: Logical foundations
• Algebraically Closed Groups
• Automorphisms of categories of free algebras of varieties
• Categories of algebraic sets
• Combinatorial group theory.
• Cyclic splittings of finitely presented groups and the canonical JSJ deccomposition
• Cylindric algebras. Part II
• DECIDABILITY OF THE UNIVERSAL AND POSITIVE THEORIES OF A FREE GROUP
• Diophantine geometry over groups. I: Makanin-Razborov diagrams
• Equations in groups
• GEOMETRIC EQUIVALENCE OF ALGEBRAS
• Geometric equivalence of groups.
• Geometrical aspect of databases and knowledge bases.
• Geometrical equivalence of groups
• Groups with Multiple Operators
• Groups With Parametric Exponents
• scientific article; zbMATH DE number 3425669 (Why is no real title available?)
• scientific article; zbMATH DE number 3133601 (Why is no real title available?)
• scientific article; zbMATH DE number 3164639 (Why is no real title available?)
• scientific article; zbMATH DE number 3987554 (Why is no real title available?)
• scientific article; zbMATH DE number 49378 (Why is no real title available?)
• scientific article; zbMATH DE number 49900 (Why is no real title available?)
• scientific article; zbMATH DE number 3457109 (Why is no real title available?)
• scientific article; zbMATH DE number 3567031 (Why is no real title available?)
• scientific article; zbMATH DE number 3572315 (Why is no real title available?)
• scientific article; zbMATH DE number 491078 (Why is no real title available?)
• scientific article; zbMATH DE number 521219 (Why is no real title available?)
• scientific article; zbMATH DE number 1160674 (Why is no real title available?)
• scientific article; zbMATH DE number 2062219 (Why is no real title available?)
• scientific article; zbMATH DE number 1487713 (Why is no real title available?)
• scientific article; zbMATH DE number 1512768 (Why is no real title available?)
• scientific article; zbMATH DE number 1522507 (Why is no real title available?)
• scientific article; zbMATH DE number 2174397 (Why is no real title available?)
• scientific article; zbMATH DE number 803212 (Why is no real title available?)
• scientific article; zbMATH DE number 849994 (Why is no real title available?)
• scientific article; zbMATH DE number 848041 (Why is no real title available?)
• scientific article; zbMATH DE number 1419249 (Why is no real title available?)
• scientific article; zbMATH DE number 1429686 (Why is no real title available?)
• scientific article; zbMATH DE number 3227055 (Why is no real title available?)
• scientific article; zbMATH DE number 3307642 (Why is no real title available?)
• scientific article; zbMATH DE number 3332554 (Why is no real title available?)
• scientific article; zbMATH DE number 3343706 (Why is no real title available?)
• scientific article; zbMATH DE number 3358752 (Why is no real title available?)
• scientific article; zbMATH DE number 3363785 (Why is no real title available?)
• scientific article; zbMATH DE number 3367095 (Why is no real title available?)
• scientific article; zbMATH DE number 3392531 (Why is no real title available?)
• scientific article; zbMATH DE number 3194966 (Why is no real title available?)
• Irreducible affine varieties over a free group. I: Irreducibility of quadratic equations and Nullstellensatz
• Irreducible affine varieties over a free group. II: Systems in triangular quasi-quadratic form and description of residually free groups
• Radicals and Plotkin's problem concerning geometrically equivalent groups
• The Automorphism Group of a Free Group is Complete
• The verbal topology of a group
• Two theorems about equationally Noetherian groups
• Varieties of algebras and algebraic varieties
• Varieties of algebras and algebraic varieties. Categories of algebraic varieties
• Zariski geometries

Cited in

(23)

• Algebraic geometry over algebraic structures. VI: Geometrical equivalence
• Method of verbal operations and automorphisms of the category of free algebras
• Automorphisms of the category of free finitely generated algebras
• Algebraic sets of universal algebras and algebraic closure operator
• Universal algebraic geometry: syntax and semantics
• Orbits of primitive k-homogeneous groups on (n-k)-partitions with applications to semigroups
• Syntax versus semantics in knowledge bases – I
• Types of points and algebras
• The automorphisms of endomorphism semigroups of relatively free groups
• scientific article; zbMATH DE number 797370 (Why is no real title available?)
• Algebraic Logic and Knowledge Bases
• New problems in universal algebraic geometry illustrated by Boolean equations
• Attaching a matrix algebra to affine group schemes: polynomial identities
• On automorphisms of categories with applications to universal algebraic geometry
• Automorphisms of the category of free dimonoids
• Automorphisms of categories of free algebras with unit for classical varieties of non-associative algebras
• Wreath products of semigroups and Plotkin's problem
• A note on determinability of free objects in four classes of strong doppelsemigroups
• Free strict n-tuple semigroups are determined by their endomorphism semigroups
• Tropicalization through the lens of Łukasiewicz logic, with a topos theoretic perspective
• Automorphisms of the category of free non-associative algebras with unit
• Free g-dimonoids are determined by their endomorphism semigroups
• Multi-sorted logic and logical geometry: some problems.

This page was built for publication: Seven lectures on universal algebraic geometry

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5239109)