Э. Ю. Даниярова, А. Г. Мясников, В. Н. Ремесленников, “Алгебраическая геометрия над алгебраическими системами. IV. Эквациональные области и ко-области”, Алгебра и логика, 2010, том 49, номер 6,страницы 715

Эта публикация цитируется в 34 статьях

Алгебраическая геометрия над алгебраическими системами. IV. Эквациональные области и ко-области

Э. Ю. Даниярова^a, А. Г. Мясников^b, В. Н. Ремесленников^a

^a Омский ф-л Ин-та матем. им. С. Л. Соболева СО РАН, г. Омск, РОССИЯ
^b Schaefer School of Engineering and Science, Department of Mathematical Sciences, Stevens Institute of Technology, Hoboken, NJ, USA

Аннотация: Вводятся и изучаются эквациональные области и ко-области. Неформально, эквациональная область – это алгебра, над которой любое конечное объединение алгебраических множеств является алгебраическим множеством; эквациональная ко-область – это алгебра, над которой никакое конечное собственное объединение алгебраических множеств не является алгебраическим множеством.

Ключевые слова: алгебра, алгебраическое множество, универсальная алгебраическая геометрия, дизъюнктивное уравнение, эквациональная область, эквациональная ко-область, дискриминирующая алгебра, ко-дискриминирующая алгебра.

УДК: 512.71+512.577+512.55

Поступило: 07.08.2010
Окончательный вариант: 28.11.2010