ВПОЛНЕ ХАРАКТЕРИСТИЧЕСКАЯ КОНГРУЭНЦИЯ это:

ВПОЛНЕ ХАРАКТЕРИСТИЧЕСКАЯ КОНГРУЭНЦИЯ

- конгруэнция алгебраической системы , к-рая выдерживает любой эндоморфизм а этой системы, т. е. из следует

В. х. к. алгебраич. системы Аобразуют по включению полную подрешетку решетки всех конгруэнции системы А. Если - многообразие -систем и F - свободная в система счетного ранга, то решетка В. х. к. системы Fинверсно изоморфна решетке всех подмногообразий многообразия . Всякая конгруэнция -алгебры Ас конечным числом порождающих, имеющая конечный индекс в А(т. е. конечное число смежных классов .), содержит В. х. к. алгебры А, также имеющую конечный индекс в А.

Лит.:[1] Мальцев А. И., Алгебраические системы, М., 1970. Д. М. Смирнов. ВПОЛНЕ ХАРАКТЕРИСТИЧЕСКАЯ ПОДГРУППА- подгруппа группы G, инвариантная относительно всех эндоморфизмов группы G. Совокупность всех В. х. л. образует подрешетку в решетке всех подгрупп группы. Коммутант и члены нижнего центрального ряда являются В. х. п. в произвольной группе. Более того, любая вербальная подгруппа группы есть В. х. п. Для свободных групп верно и обратное: любая В. х. п. является вербальной.

Лит.: [1] Магнус В., Каррас А., Солитэр Д., Комбинаторная теория групп, пер. с англ.. М., 1974.

В. Н. Ремесленников.


Математическая энциклопедия. — М.: Советская энциклопедия. . 1977—1985.

Смотреть что такое "ВПОЛНЕ ХАРАКТЕРИСТИЧЕСКАЯ КОНГРУЭНЦИЯ" в других словарях:

  • ВЕРБАЛЬНАЯ КОНГРУЭНЦИЯ — пересечение всех конгруэнции алгебры , факторалгебры по к рым принадлежат иек рому фиксированному многообразию алгебр. Конгруэнция произвольной ал гебрапч. системы наз. вербальной, если существует многообразие систем, для к рого каноническое …   Математическая энциклопедия

  • ВЕРБАЛЬНАЯ ПОДГРУППА — подгруппа группы G, порожденная всевозможными значениями всех слов из нек рого множества когда независимо друг от друга пробегают всю группу G. В. п. нормальна; конгруэнция, определяемая с помощью В. п. на группе, является вербальной конгруэнцией …   Математическая энциклопедия


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»