Нормальный Комплекс

- название, закрепившееся за алгоритмами некоторого точно охарактеризованного типа. Наряду с рекурсивными функциями и Тьюринга машинами Н. А. Получили известность в качестве одного из наиболее удобных уточнений общего интуитивного представления об алгоритме. Понятие Н. А. Было выработано в 1947 А. А. Марковым в ходе его исследований по проблеме тождества для ассоциативных систем (см. Ассоциативное исчисление). Детально определение и общая теория Н. А. Изложены в [1] (гл. I-V). Всякий Н. А. ,..

нормальная подгруппа, инвариантная подгруппа,- подгруппа Нгруппы G, для к-рой левостороннее разложение группы Gпо подгруппе Нсовпадает с правосторонним, т. Е. Такая подгруппа, что для любого элемента смежные классы аН и На равны (в смысле совпадения этих множеств). Если подгруппа Нявляется Н. Д. Группы G, то говорят также, что Ннормальна в G, и пишут . Если то пишут . Подгруппа Ннормальна в группе Gтогда и только тогда, когда вместе с каждым своим элементом hона содержит все с ним сопряженны..

- морфизм, обладающий характеристическим свойством вложения группы (кольца) в группу (кольцо) в качестве нормального делителя (идеала). Пусть - категория с нулевыми морфизмами. Морфизм наз. Нормальным мономорфизмом, если всякий морфизм для которого из всегда следует однозначно представим в виде Ядро любого морфизма является Н. М. Обратное в общем случае неверно, однако при существовании в категории коядер морфизмов всякий Н. М. Оказывается ядром своего коядра. В любой абелевой категории в..

цикл индекса нуль,- цикл такой, что Гомологичный нулю цикл всегда нормален. Факторгруппа группы нормальных циклов по подгруппе циклов, гомологичных нулю, наз. Приведенной нульмерной группой гомологии. Для связного комплекса приведенная группа - нулевая, что удобно во всякого рода определениях ацикличности. Истинный циклназ. Нормальным, если нормален каждый из циклов А. А. Мальцев.. ..