Cat
::LeftModule
Категория левого 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.
|
Область, которая должна быть от категории |