Нормальный Делитель

- геометрическая конструкция, к-рая характеризует распределение кривизн в цек-рой точке регулярной поверхности в га-мерном евклидовом пространстве . Пусть Р- точка поверхности и есть -мерное подпространство, содержащее нормальное дополнение Nи в Ри касательное к в точке Рнаправление l. Сечение подпространством наз. Нормальным сечением в точке Р. Вектор , лежащий в N, где s - натуральный параметр на сечении , наз. Вектором нормальной кривизны в направлении l. Концы векторов нормальной крив..

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

полугруппы - непустое подмножество , удовлетворяющее следующему условию. Для любых (здесь , если Sсодержит единицу, и есть полугруппа, получаемая из Sприсоединением единицы, если Sне содержит единицу) и любых из следует . Подмножество Nбудет Н. К. Полугруппы Sтогда и только тогда, когда Nявляется классом нек-рой конгруэнции на S. Лит.:[1] Ляпин Е. С, Полугруппы, М., 1960. Л. Н. Шеврин.. ..

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