#Ассоциативные кольца и алгебрыАссоциативные кольца и алгебрыИсследуйте Области знанийУ нас представлены тысячи статейТегАссоциативные кольца и алгебрыАссоциативные кольца и алгебрыНайденo 34 статьиТерминыТермины Примитивный многочленПримити́вный многочле́н, многочлен , где – ассоциативно-коммутативное кольцо с однозначным разложением на множители, коэффициенты которого не имеют нетривиальных общих делителей. Любой многочлен можно записать в виде , где – примитивный многочлен, a – наибольший общий делитель коэффициентов многочлена .Термины Локализация в категорияхЛокализа́ция в катего́риях, специальная конструкция, связанная со специальными радикальными подкатегориями. Она впервые появилась в абелевых категориях для описания т. н. категорий Гротендика с помощью категорий модулей над ассоциативными кольцами с единицей.Термины ПочтикольцоПочтикольцо́, одно из обобщений понятия ассоциативного кольца. Почтикольцо – это кольцоид над группой, т. е. универсальная алгебра, в которой имеется ассоциативная операция умножения и операция сложения; относительно сложения почтикольцо должно быть группой (не обязательно коммутативной), причём должен также выполняться правый закон дистрибутивности:Термины Модуль над кольцомМо́дуль над кольцо́м, абелева группа с кольцом операторов. Модуль является обобщением (линейного) векторного пространства над полем для случая, когда заменяется некоторым кольцом.Термины ЭпиморфизмЭпиморфи́зм, понятие, отражающее алгебраические свойства сюръективных отображений множеств. Морфизм категории называется эпиморфизмом, если из равенства следует равенство .Термины Дифференциальная формаДифференциа́льная фо́рма, 1) дифференциальная форма степени (-форма на дифференцируемом многообразии ) – раз ковариантное тензорное поле на . Её можно интерпретировать также как -линейное [над алгеброй гладких вещественных функций на ] отображение , где есть -модуль гладких векторных полей на ; 2) дифференциальная форма на алгебраическом многообразии, аналог понятия дифференциальной формы на дифференцируемом многообразии.Термины Алгебра ЛиА́лгебра Ли, унитарный -модуль над коммутативным кольцом с единицей, который снабжён билинейным отображением прямого произведения в , обладающим следующими двумя свойствами: 1) (откуда вытекает антикоммутативность ; 2) (тождество Якоби). Таким образом, алгебра Ли является алгеброй над (не обязательно ассоциативной); обычным образом определяются понятия подалгебры, идеала, факторалгебры и гомоморфизма алгебр Ли. Алгебра Ли называется коммутативной, если для всех , .Термины Прямая суммаПряма́я су́мма, конструкция, широко используемая в теориях таких математических структур, категории которых близки к абелевым категориям; в неабелевом случае конструкция прямой суммы обычно называется дискретным прямым произведением. Пусть – некоторый класс однотипных алгебраических систем, содержащих одноэлементную (нулевую) подсистему. Прямой суммой или (дискретным) прямым произведением систем , , из класса называется подсистема прямого произведения , состоящая из таких функций , все значения которых, кроме конечного числа, принадлежат соответствующим нулевым подсистемам. Прямая сумма обозначается одним из следующих способов:Научные законы, утверждения, уравнения Теорема Фробениуса (в алгебре)Теоре́ма Фробе́ниуса, теорема, описывающая все конечномерные ассоциативные действительные алгебры без делителей нуля. Доказана Ф. Г. Фробениусом (Frobenius, 1877).Термины Энгелев элементЭ́нгелев элеме́нт, элемент кольца Ли или ассоциативного кольца, для которого определяемое им внутреннее дифференцирование является нильпотентным. Если все элементы конечномерной алгебры Ли над некоторым полем энгелевы, то алгебра нильпотентна (см. в статье Теорема Энгеля). 1234
