Algebraic geometry over algebraic structures.~IV. Equational domains and codomains
Algebra i logika, Tome 49 (2010) no. 6, pp. 715-756.

Voir la notice de l'article provenant de la source Math-Net.Ru

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, universal algebraic geometry, disjunctive equation, discriminating algebra, codiscriminating algebra.
Mots-clés : equational domain, equational codomain
@article{AL_2010_49_6_a1,
     author = {\'E Yu. Daniyarova and A. G. Myasnikov and V. N. Remeslennikov},
     title = {Algebraic geometry over algebraic {structures.~IV.} {Equational} domains and codomains},
     journal = {Algebra i logika},
     pages = {715--756},
     publisher = {mathdoc},
     volume = {49},
     number = {6},
     year = {2010},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/AL_2010_49_6_a1/}
}
TY  - JOUR
AU  - É Yu. Daniyarova
AU  - A. G. Myasnikov
AU  - V. N. Remeslennikov
TI  - Algebraic geometry over algebraic structures.~IV. Equational domains and codomains
JO  - Algebra i logika
PY  - 2010
SP  - 715
EP  - 756
VL  - 49
IS  - 6
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/AL_2010_49_6_a1/
LA  - ru
ID  - AL_2010_49_6_a1
ER  - 
%0 Journal Article
%A É Yu. Daniyarova
%A A. G. Myasnikov
%A V. N. Remeslennikov
%T Algebraic geometry over algebraic structures.~IV. Equational domains and codomains
%J Algebra i logika
%D 2010
%P 715-756
%V 49
%N 6
%I mathdoc
%U http://geodesic.mathdoc.fr/item/AL_2010_49_6_a1/
%G ru
%F AL_2010_49_6_a1
É Yu. Daniyarova; A. G. Myasnikov; V. N. Remeslennikov. Algebraic geometry over algebraic structures.~IV. Equational domains and codomains. Algebra i logika, Tome 49 (2010) no. 6, pp. 715-756. http://geodesic.mathdoc.fr/item/AL_2010_49_6_a1/

[1] E. Daniyarova, A. Myasnikov, V. Remeslennikov, “Unification theorems in algebraic geometry”, Aspects of infinite groups. A Festschrift in honor of A. Gaglione, Papers of the conf. in honour of A. Gaglione's 60th birthday (Fairfield, USA, March 2007), Algebra Discr. Math. (Hackensack), 1, eds. B. Fine et al., World Sci., Hackensack, NJ, 2008, 80–111 | MR | Zbl

[2] E. Daniyarova, A. Miasnikov, V. Remeslennikov, Algebraic geometry over algebraic structures. II: Foundations, submitted to J. Algebra, arXiv: 1002.3562v2[math.AG]

[3] E. Daniyarova, A. Miasnikov, V. Remeslennikov, Algebraic geometry over algebraic structures. III: Equationally Noetherian property and compactness, submitted to South. Asian Bull. Math., arXiv: 1002.4243v2[math.AG]

[4] R. Khartskhorn, Algebraicheskaya geometriya, Mir, M., 1970

[5] I. R. Shafarevich, Osnovy algebraicheskoi geometrii, MTsNMO, M., 2007

[6] G. Baumslag, A. Myasnikov, V. Remeslennikov, “Algebraic geometry over groups. I: Algebraic sets and ideal theory”, J. Algebra, 219:1 (1999), 16–79 | DOI | MR | Zbl

[7] G. Baumslag, A. Myasnikov, V. Remeslennikov, “Discriminating and codiscriminating groups”, J. Group Theory, 3:4 (2000), 467–479 | DOI | MR | Zbl

[8] V. A. Gorbunov, Algebraicheskaya teoriya kvazimnogoobrazii, Sib. shkola algebry i logiki, Nauchnaya kniga (IDMI), Novosibirsk, 1999 | Zbl

[9] E. Yu. Daniyarova, V. N. Remeslennikov, “Ogranichennaya algebraicheskaya geometriya nad svobodnoi algebroi Li”, Algebra i logika, 44:3 (2005), 269–304 | MR | Zbl

[10] I. V. Chirkov, M. A. Shevelin, “Deliteli nulya v svobodnykh proizvedeniyakh algebr Li s ob'edineniem”, Sib. matem. zh., 45:1 (2004), 229–238 | MR | Zbl

[11] V. N. Latyshev, “O delitelyakh nulya v konechnomernykh antikommutativnykh algebrakh”, Izv. vuzov. Matem., 1961, no. 2, 100–108 | MR | Zbl

[12] V. T. Filippov, “Pervichnye algebry Maltseva”, Matem. zametki, 31:5 (1982), 669–678 | MR | Zbl

[13] K. A. Zhevlakov, A. M. Slinko, I. P. Shestakov, A. I. Shirshov, Koltsa, blizkie k assotsiativnym, Nauka, M., 1978 | MR | Zbl

[14] S. V. Pchelintsev, “Pervichnye alternativnye algebry i absolyutnye deliteli nulya”, Izv. RAN. Ser. matem., 50:1 (1986), 79–100 | MR | Zbl

[15] I. P. Shestakov, “Absolyutnye deliteli nulya i radikaly konechno porozhdënnykh alternativnykh algebr”, Algebra i logika, 15:5 (1976), 585–602 | MR | Zbl

[16] M. Casals-Ruiz, I. Kazachkov, “Elements of algebraic geometry and the positive theory of partially commutative groups”, Can. J. Math., 62:3 (2010), 481–519, arXiv: 0710.4077v2[math.GR] | DOI | MR | Zbl

[17] A. Yu. Ol'shanskii, “On residualing homomorphisms and G-subgroups of hyperbolic groups”, Int. J. Algebra Comput., 3:4 (1993), 365–409 | DOI | MR

[18] A. Myasnikov, V. Remeslennikov, “Algebraic geometry over groups. II: Logical foundations”, J. Algebra, 234:1 (2000), 225–276 | DOI | MR | Zbl

[19] P. Morar, A. Shevlyakov, “Algebraic geometry over additive positive monoids. Systems of coefficient free equations”, Combinatorial and geometric group theory, Dortmund Carleton Conf., 2010, 261–278 | Zbl

[20] A. N. Shevlyakov, “Algebraic geometry over natural numbers. The classification of coordinate monoids”, Groups, Complex. Cryptol., 2:1 (2010), 91–111 | DOI | MR | Zbl