Algebraic geometry over algebraic structures. IV. Equational domains and codomains

E. Yu Daniyarova; A. G. Myasnikov; V. N. Remeslennikov

doi:10.1007/s10469-011-9112-2

Algebraic geometry over algebraic structures. IV. Equational domains and codomains

E. Yu Daniyarova
, A. G. Myasnikov
, V. N. Remeslennikov

Department of Mathematical Sciences

RAS - Sobolev Institute of Mathematics, Siberian Branch

Research output: Contribution to journal › Article › peer-review

31 Scopus citations

Abstract

We introduce and study equational domains and equational codomains. Informally, an equational domain is an algebra every finite union of algebraic sets over which is an algebraic set; an equational codomain is an algebra every proper finite union of algebraic sets over which is not an algebraic set.

Original language	English
Pages (from-to)	483-508
Number of pages	26
Journal	Algebra and Logic
Volume	49
Issue number	6
DOIs	https://doi.org/10.1007/s10469-011-9112-2
State	Published - Jan 2011

Keywords

algebra
algebraic set
codiscriminating algebra
discriminating algebra
disjunctive equation
equational codomain
equational domain
universal algebraic geometry

Access to Document

10.1007/s10469-011-9112-2

Cite this

@article{b878aacec7e94c1788483159a3309eb9,

title = "Algebraic geometry over algebraic structures. IV. Equational domains and codomains",

abstract = "We introduce and study equational domains and equational codomains. Informally, an equational domain is an algebra every finite union of algebraic sets over which is an algebraic set; an equational codomain is an algebra every proper finite union of algebraic sets over which is not an algebraic set.",

keywords = "algebra, algebraic set, codiscriminating algebra, discriminating algebra, disjunctive equation, equational codomain, equational domain, universal algebraic geometry",

author = "Daniyarova, \{E. Yu\} and Myasnikov, \{A. G.\} and Remeslennikov, \{V. N.\}",

year = "2011",

month = jan,

doi = "10.1007/s10469-011-9112-2",

language = "English",

volume = "49",

pages = "483--508",

number = "6",

}

TY - JOUR

T1 - Algebraic geometry over algebraic structures. IV. Equational domains and codomains

AU - Daniyarova, E. Yu

AU - Myasnikov, A. G.

AU - Remeslennikov, V. N.

PY - 2011/1

Y1 - 2011/1

N2 - We introduce and study equational domains and equational codomains. Informally, an equational domain is an algebra every finite union of algebraic sets over which is an algebraic set; an equational codomain is an algebra every proper finite union of algebraic sets over which is not an algebraic set.

AB - We introduce and study equational domains and equational codomains. Informally, an equational domain is an algebra every finite union of algebraic sets over which is an algebraic set; an equational codomain is an algebra every proper finite union of algebraic sets over which is not an algebraic set.

KW - algebra

KW - algebraic set

KW - codiscriminating algebra

KW - discriminating algebra

KW - disjunctive equation

KW - equational codomain

KW - equational domain

KW - universal algebraic geometry

UR - https://www.scopus.com/pages/publications/79952248324

UR - https://www.scopus.com/pages/publications/79952248324#tab=citedBy

U2 - 10.1007/s10469-011-9112-2

DO - 10.1007/s10469-011-9112-2

M3 - Article

AN - SCOPUS:79952248324

SN - 0002-5232

VL - 49

SP - 483

EP - 508

JO - Algebra and Logic

JF - Algebra and Logic

IS - 6

ER -

Algebraic geometry over algebraic structures. IV. Equational domains and codomains

Abstract

Keywords

Access to Document

Other files and links

Fingerprint

Cite this