Прямая Сумма

- конструкция, широко используемая в теориях таких математич. Структур, категории к-рых близки к абелевым категориям;в неабелевом случае конструкция прямой суммы обычно наз. Дискретным прямым произведением. Пусть - нек-рый класс однотипных алгебраич. Систем, содержащих одноэлементную (нулевую) подсистему. Прямой суммой или (дискретным) прямым произведением систем , из класса U наз. Подсиcтема прямого произведения, состоящая из таких функций , все значения к-рых, кроме конечного числа, принадлежат соответствующим нулевым подсистемам. П. С. Обозначается одним из следующих способов. Для конечного числа слагаемых используются также обозначения Непосредственно из определений следует совпадение П. С. И прямого произведения в случае конечности числа слагаемых.

Для каждого слагаемого П. С. существует канонич. Вложение , к-рое элементу сопоставляет функцию , принимающую значение хпри значении аргумента iи равную нулю в остальных случаях. Следовательно, можно считать, что П. С. Содержит свои слагаемые. В случае W-групп (в частности, в случае групп, абелевых групп, векторных пространств, колец) можно дать "внутреннее" определение П. С. W-группа G является П. С. Своих W-подгрупп , если выполнены следующие условия. A) Gпорождается . Б) каждая W-подгруппа Gi является идеалом в G. В) пересечение Gi с W-подгруппой, порожденной остальными идеалами, является нулевой подгруппой для каждого i. Всякое векторное пространство есть П. С. Одномерных подпространств. Всякая свободная абелева группа является П.

С. Бесконечных циклич. Групп. Всякая конечная абелева группа есть П. С. Примерных циклич. Групп. Всякое ассоциативное кольцо с единицей, удовлетворяющее условию минимальности для идеалов, есть П. С. Конечного числа полных колец линейных преобразований подходящих конечномерных векторных пространств. В теории групп, решеток и категорий глубокое развитие получила проблема изоморфизма прямых разложений, начало к-рой было положено теоремой Ремака - Шмидта о центральном изоморфизме прямых разложений групп, обладающих главным рядом (см. Крулля - Ремака - Шмидта теорема). В теории категории иногда П. с. Паз. Понятие, двойственное понятию произведения, т. Е. Копроизведение объектов категории. М. Ш. Цаленко.