КОНЕЧНО ОПРЕДЕЛЕННАЯ ГРУППА
- КОНЕЧНО ОПРЕДЕЛЕННАЯ ГРУППА
- группа, обладающая конечным числом образующих и задаваемая в этих образующих конечным числом соотношений. Таких групп с точностью до изоморфизма счетное множество. Для любой конечной системы образующих К. о. г. из всякой системы определяющих соотношений, связывающих эти образующие, можно выбрать конечную подсистему, уже достаточную для задания группы.
Лит.:[1] Курош А. Г., Теория групп, 3 изд., М., 1967.
Математическая энциклопедия. — М.: Советская энциклопедия.
И. М. Виноградов.
1977—1985.
Смотреть что такое "КОНЕЧНО ОПРЕДЕЛЕННАЯ ГРУППА" в других словарях:
Конечно определенная группа — Для общего описания теории групп см. Группа (математика) и Теория групп. Курсив обозначает ссылку на этот словарь. # А Б В Г Д Е Ё Ж З И Й К Л М Н О П Р С Т У … Википедия
РЕДУКТИВНАЯ ГРУППА — линейная алгебраич. группа G, удовлетворяющая одному из следующих эквивалентных условий: 1) радикал связной компоненты единицы G0 группы G есть алгебраический тор, 2).унипотентный радикал группы G0 тривиален, 3) группа G0 разлагается в… … Математическая энциклопедия
ДИАГОНАЛИЗИРУЕМАЯ АЛГЕБРАИЧЕСКАЯ ГРУППА — аффинная алгебраич. группа G, изоморфная замкнутой подгруппе алгебраического тора. Таким образом, Gизоморфна замкнутой подгруппе мультипликативной группы всех диагональных матриц нек рого фиксированного порядка. Если Gопределена над полем k и… … Математическая энциклопедия
ШЕВАЛЛЕ ГРУППА — линейная алгебраич. группа над нек рым полем, связанная с полупростой комплексной алгеброй Ли. Пусть Ли полупростая алгебра над ее подалгебра Картана, система корней алгебры относительно система простых корней, базис Шевалле алгебры его линейная… … Математическая энциклопедия
АЛГОРИТМИЧЕСКАЯ СВОДИМОСТЬ — одно из основных понятий алгоритмов теории и ее приложений Возникло в связи с тем, что неразрешимость (и разрешимость) многих алгоритмических проблем устанавливается большей частью не непосредственно, а путем сведения к исследуемой проблеме такой … Математическая энциклопедия
ЧЕТЫРЕХМЕРНОЕ МНОГООБРАЗИЕ — топологич. пространство, каждая точка к рого имеет окрестность, гомеоморфную четырехмерному числовому пространству или замкнутому полупространству Это определение обычно дополняют требованием того, чтобы Ч. м., как топологич. пространство, было… … Математическая энциклопедия
ЖЕЛУДОК — ЖЕЛУДОК. (gaster, ventriculus), расширенный отдел кишечника, имеющий благодаря наличию специальных желез значение особо важного пищеварительного органа. Ясно диференцированные «желудки» многих беспозвоночных, особенно членистоногих и… … Большая медицинская энциклопедия
ФИНИТНО АППРОКСИМИРУЕМАЯ ПОЛУГРУППА — резидуально конечная полугруппа, полугруппа, для любых двух различных элементов аи bк рой существует такой ее гомоморфизм j в конечную полугруппу S, что Свойство полугруппы Sбыть Ф. а. п. эквивалентно тому, что . подпрямое произведение конечных… … Математическая энциклопедия
Доллар США — (US USD) Доллар США это денежная единица Соединенных Штатов Америки Доллар США : курс и номинал денежной единицы США, история и перспективы развития резервной валюты мира Содержание >>>>>>>>> … Энциклопедия инвестора
Гулаг — Обыск при входе в лагерь на рисунке Ефросиньи Керсновской ГУЛАГ (Главное управление исправительно трудовых лагерей, трудовых поселений и мест заключения) подразделение НКВД (МВД) СССР, осуществлявшее руководство системой исправительно трудовых… … Википедия