\cat::Категория левого R - модули
Блокноты MuPAD® будут демонтированы в будущем релизе. Используйте live скрипты MATLAB® вместо этого.
Live скрипты MATLAB поддерживают большую часть функциональности MuPAD, хотя существуют некоторые различия. Для получения дополнительной информации смотрите, Преобразовывают Notebook MuPAD в Live скрипты MATLAB.
Cat::LeftModule(R)
Cat::LeftModule(R) представляет категорию левого R - модули.
Cat::LeftModule(R) является Абелева группа вместе с rng R (звонок без модуля) и левое умножение * (_mult).
Левое умножение является операцией, берущей элемент rng R и элемент модуля и возвращающей элемент модуля.
Учитывая кольцевые элементы a, b и элементы модуля x, y следующие 3 distibutive закона должны содержать:
(a b) x = a (b x),
(a + b) x = a x + b x,
a (x + y) = a x + a y.
Остерегайтесь: операция неабелевой полугруппы также записана как * (_mult). "_mult" метода должен обработать ситуацию, если левый модуль является также неабелевой полугруппой. В таком случае это должно и реализовать операцию группы и левое умножение элементами rng.
|
Область, которая должна быть от категории |