Мальцева Локальные Теоремы

118

теоремы о перенесении свойств с локальных частей модели на всю модель, установленные А. И. Мальцевым. Система подмножеств множества наз. Его локальным покрытием, если каждый элемент из этого множества содержится в нек-ром М i и любые два подмножества М i, Mj содержатся в нек-ром третьем подмножестве М k. Примеры локальных покрытий. Система всех конечных подмножеств данного множества, система всех конечно порожденных подгрупп данной группы. Модель Млокально обладает свойством s, если существует локальное покрытие модели М, состоящее из подмоделей со свойством s. Для свойства моделей s(и соответствующего класса моделей) справедлива локальная теорема, если всякая модель, локально обладающая свойством s, обладает этим свойством в целом.

Источником самых разнообразных локальных теорем является следующая основная локальная теорема (или теорема компактности узкого исчисления предикатов) Мальцева [1]. Если совместна каждая конечная подсистема нек-рой бесконечной системы аксиом узкого исчисления предикатов, то совместна и вся система. А. И. Мальцев [2] указал общий метод получения конкретных локальных теорем теории групп с помощью основной локальной теоремы, положив этим начало моделей теории. Позднее, усовершенствовав свой метод, он доказал [3] локальную теорему для любого свойства, записываемого т. Н. Квазиуниверсальными аксиомами. Вопрос о справедливости локальной теоремы для свойства s, к-рый решался кустарно для каждого s, был тем самым сведен к общему и чисто "грамматическому" вопросу.

Нельзя ли записать 0 квазиуниверсальными аксиомами. Лит.:[1] М а л ь ц е в А. И., "Матем. Сб.", 1936, т. 1, № 3, с.323-36. [2] его же, "Уч. Записки Ивановского гос. Пед. Ин-та", 1941, т. 1, в. 1, с. 3-9. [3] е г о же, "Изв. АН СССР. Сер. Матем.", 1959. Т. 23, № 3, с. 313-36. [4] Каргаполов М. И., Мерзляков Ю. И., Основы теории групп, 2 изд., М., 1977. Ю. И. Мерзляков. .

Значения в других словарях
Малый Объект

категории - понятие, выделяющее такие объекты категории, к-рым присущи свойства математич. Структур с конечным числом образующих (конечномерных линейных пространств, конечно порожденных групп и т. Д.). Пусть - категория с копроизведениями. Объект наз. Малым, если для любого морфизма где - вложения копроизведения, найдется конечное подмножество индексов 1, 2, ..., пи такой морфизм что выполнено равенство в к-ром морфизм а однозначно определяется равенствами Иногда дается более си..

Мальцева Алгебра

м у ф а н г л и е в а алгебра,- линейная алгебра над полем, удовлетворяющая тождествам где - якобиан элементов х, у, z.M. А. Представляют собой естественное обобщение алгебр Ли. Любая М. А. Является бинарно лиевой алгеброй. М. А. Были введены А. И. Мальцевым [1] и названы им муфанг-лиевыми алгебрами ввиду их связи с аналитич. Лупами Муфанг. Касательная алгебра локальной аналитич. Лупы Муфанг является М. А. Верно также и обратное. Любая конечномерная М. А. Над полным нормированным полем..

Мальцевское Произведение

операция на классе всех групп (обозначаемая о), наследственная при переходе к подгруппам сомножителей, т. Е. Если и в каждом сомножителе Gi выбрана подгруппа Hi, то подгруппы Hi,в G должны порождать подгруппу H, являющуюся там же произведением Hi Прямое и свободное произведения групп являются мальцевскими. Существуют и другие М. П., однако до сих пор (1982) не решена проблема Мальцева о существовании (отличного от прямого и свободного) М. П., удовлетворяющего закону ассоциативности и нек..

Мамфорда Гипотеза

- гипотеза о том, что всякая полупростая алгебраич. Группа Gгеометрически редуктивна, т. Е. Обладает следующим свойством. Для любого рационального представления группы Gв конечномерном векторном пространстве Vи любого неподвижного относительно Gненулевого вектора существует G-инвариантный однородный многочлен f положительной степени на пространстве V, для к-рого Гипотеза была сформулирована Д. Мамфордом [1] (в несколько отличном от предыдущего, но эквивалентном ему виде) с целью найти такое ..

Дополнительный поиск Мальцева Локальные Теоремы Мальцева Локальные Теоремы

Добавить комментарий
Комментарии
Комментариев пока нет

На нашем сайте Вы найдете значение "Мальцева Локальные Теоремы" в словаре Математическая энциклопедия, подробное описание, примеры использования, словосочетания с выражением Мальцева Локальные Теоремы, различные варианты толкований, скрытый смысл.

Первая буква "М". Общая длина 26 символа